arXiv research

In this note, we answer positively a question by Belegradek and Kapovitch about the relation between rational homotopy theory and a problem in Riemannian geometry which asks that total spaces of which vector bundles over compact nonnegative curved manifolds admit (complete) metrics with nonnegative curvature.

Study fractional structures on bundle gerbe modules using rational homotopy theory.

Introduces a framework for rational homotopy theory in diffeological spaces.

Study homotopy groups of open books and their pages, pages, and bindings.

Study realizes symplectic algebras and homotopy types on manifolds.

Two approaches study the homotopy of blow ups in algebraic and symplectic geometry.

We establish a link between rational homotopy theory and the problem which vector bundles admit complete Riemannian metric of nonnegative sectional curvature. As an application, we show for a large class of simply-connected nonnegatively curved manifolds that, if C lies in the class and T is a torus of positive dimensi…

This paper explores the relation between the structure of fibre bundles akin to those associated to a closed almost nonnegatively sectionally curved manifold and rational homotopy theory.

We prove that certain involutions defined by Vogell and Burghelea-Fiedorowicz on the rational algebraic $K$-theory of spaces coincide. This gives a way to compute the positive and negative eigenspaces of the involution on rational homotopy groups of pseudoisotopy spaces from the involution on rational $S^{1}$-equivaria…

The study confirms that certain symmetric spaces are formal.

A key open problem in M-theory is the mechanism of "gauge enhancement", which supposedly makes M-branes exhibit the nonabelian gauge degrees of freedom that are seen perturbatively in the limit of 10d string theory. In fact, since only the twisted K-theory classes represented by nonabelian Chan-Paton gauge fields on D-…

Let $X$ be any rational ruled symplectic four-manifold. Given a symplectic embedding $ι:B_{c}\into X$ of the standard ball of capacity $c$ into $X$, consider the corresponding symplectic blow-up $\tX_ι$. In this paper, we study the homotopy type of the symplectomorphism group $\Symp(\tX_ι)$, simplifying and extending t…

Study rational homotopy types of embedding spaces of manifolds.

Abstract: Rational decomposition of homeomorphism spaces for manifolds.

Study calculates homotopy groups and derivatives for disc diffeomorphisms.

Let $X$ and $Y$ be finite complexes. When $Y$ is a nilpotent space, it has a rationalization $Y \to Y_{(0)}$ which is well-understood. Early on it was found that the induced map $[X,Y] \to [X,Y_{(0)}]$ on sets of mapping classes is finite-to-one. The sizes of the preimages need not be bounded; we show, however, that as…

The article confirms Joyce's examples of G2-holonomy are formal spaces.

The study determines fiber homotopy trivial bundles and their impact on curvature.

New topological realization of Kontsevich graph complex for large dimensions.

This paper studies the rational homotopy groups of the group $\mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^\infty$-topology. We present a method to prove that there are many `exotic' non-trivial elements in $π_*\mathrm{Diff}(S^4)\otimes \mathbb{Q}$ parametrized by trivalent graphs. As a corollary of…

We show a de Rham theory for cubical manifolds, and study rational homotopy type of the classifying spaces of smooth quandles. We also show that secondary characteristic classes in \cite{Dup2,DK} produce cocycles of quandles.

We discuss a question by Felix, Oprea, and Tanre concerning nonnegative curvature and (rational) homotopy type.

The paper proves infinite-dimensional rational homotopy groups for a specific embedding space.

The article proves estimates on homotopy and cohomology dimensions in fibrations.

The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases, $T$ is acting on a nice simplicial model category in such a way that $T$ descends…

Study characterizes cohomology and homotopy types for M-theory extensions.

We provide several results on the existence of metrics of non-negative sectional curvature on vector bundles over certain cohomogeneity one manifolds and homogeneous spaces up to suitable stabilization. Beside explicit constructions of the metrics, this is achieved by identifying equivariant structures upon these vecto…

In this paper, it is explained that a topological invariant for 3-manifold $M$ with $b_1(M)=1$ can be constructed by applying Fukaya's Morse homotopy theoretic approach for Chern--Simons perturbation theory to a local system on $M$ of rational functions associated to the free abelian covering of $M$. Our invariant take…

Study on high-dimensional solid tori reveals infinite generation in their diffeomorphism groups.

We provide an alternative proof that Koschorke's $κ$-invariant is injective on the set of link homotopy classes of $n$-component homotopy Brunnian links $BLM(n)$. The existing proof (by Koschorke \cite{Koschorke97}) is based on the Pontryagin--Thom theory of framed cobordisms, whereas ours is closer in spirit to techni…

New homotopy theory reveals the structure of stable curves.

We give explicit formulas for the ranks of the third and fourth homotopy groups of all oriented closed simply-connected four manifolds in terms of their second Betti numbers. We also show that the rational homotopy type of these manifolds is classified by their rank and signature.

We explain how to relate the problem of finding a mirror manifold for a Calabi-Yau manifold to the problem of characterizing the rational homotopy types of closed Kähler manifolds.

\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are formal; indeed, scalability can be thought of as a metric version of formality.…

We use classical results in smoothing theory to extract information about the rational homotopy groups of the space of negatively curved metrics on a high dimensional manifold. It is also shown that smooth M-bundles over spheres equipped with fiberwise negatively curved metrics, represent elements of finite order in th…

Computes homotopy groups of diffeomorphism spaces for high-dimensional manifolds.

Study shows conditions for rational ellipticity of manifolds with symmetries.

In this paper we show how the rich algebraic formalism of Eliashberg-Givental-Hofer's symplectic field theory (SFT) can be used to define higher algebraic structures in Hamiltonian Floer theory. Using the SFT of Hamiltonian mapping tori we show how to define a homotopy extension of the well-known Lie bracket and discus…

Novikov theorem extended to rational Pontryagin classes for cyclic group $C_4$.

We study in this paper the rational homotopy type of the space of symplectic embeddings of the standard ball $B^4(c) \subset \R^4$ into 4-dimensional rational symplectic manifolds. We compute the rational homotopy groups of that space when the 4-manifold has the form $M_λ= (S^2 \times S^2, μω_0 \oplus ω_0)$ where $ω_0$…

New method uses iterated integrals to bridge geometric and homotopy information.

An action of a compact Lie group is called equivariantly formal, if the Leray--Serre spectral sequence of its Borel fibration degenerates at the E_2-term. This term is as prominent as it is restrictive. In this article, also motivated by the lack of junction between the notion of equivariant formality and the concept o…

In this work, it is shown that a simply-connected, rationally-elliptic torus orbifold is equivariantly rationally homotopy equivalent to the quotient of a product of spheres by an almost-free, linear torus action, where this torus has rank equal to the number of odd-dimensional spherical factors in the product. As an a…

A Riemannian manifold is called geometrically formal if the wedge product of harmonic forms is again harmonic, which implies in the compact case that the manifold is topologically formal in the sense of rational homotopy theory. A manifold admitting a Riemannian metric of positive sectional curvature is conjectured to …

Let f be a Morse map from a closed manifold to a circle. S.P.Novikov constructed an analog of the Morse complex for f. The Novikov complex is a chain complex defined over the ring of Laurent power series with integral coefficients and finite negative part. This complex depends on the choice of a gradient-like vector fi…

We characterise simply-connected biquotients which potentially admit metrics of holonomy G_2. We prove that there are at most three real homotopy types of rationally elliptic such manifolds---all of them being formal. In the course of this examination we classify rationally elliptic homotopy types and characterise 7-di…

Study shows looping a 6-manifold over a 4-manifold results in a product of loops on spheres.

Two graph homologies help compute embedding space.