Related papers: Formality is preserved under domination

Let X and Y be finite nilpotent CW complexes with dimension of X less than the connectivity of Y. Generalizing results of Vigu\'e-Poirrier and Yamaguchi, we prove that the mapping space Map(X,Y) is rationally formal if and only if Y has the…

Let $X$ be a nilpotent space such that there exists $p\geq 1$ with $H^p(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>p$. Let $Y$ be a m-connected space with $m\geq p+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We…

Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…

We prove that if G is the circle group or a profinite group, then the all of the homotopical information of the category of rational G-spectra is captured by triangulated structure of the rational G-equivariant stable homotopy category.…

Over a field of characteristic zero we prove two formality conditions. We prove that a dg Lie algebra is formal if and only if its universal enveloping algebra is formal. We also prove that a commutative dg algebra is formal as a dg…

Let $X$ be a simply connected path connected topological space which is formal in the sense of rational homotopy theory. Let $Y=X\cup_\alpha\mathbb{D}^{n}$ where $\alpha:\mathbb{S}^{n-1}\to X$ is a non-torsion element. Then we obtain a…

We study derived intersections of smooth analytic cycles, and provide in some cases necessary and sufficient conditions for this intersection be formal. In particular, if X is a complex submanifold of a complex manifold Y, we prove that X…

A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is…

For a Poincare duality space X and a map X -> B, consider the homotopy fiber product X x^B X. If X is orientable with respect to a multiplicative cohomology theory E, then, after suitably regrading, it is shown that the E-homology of X x^B…

Let $i: \mathrm{L} \hookrightarrow \mathrm{X}$ be a compact K\"{a}hler Lagrangian in a holomorphic symplectic variety $\mathrm{X}/\mathbf{C}$. We use deformation quantisation to show that the endomorphism differential graded algebra…

We show that hyperplane sections of strongly formal manifolds inherit strong formality. In particular, this property holds for generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology group.…

Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present…

One of the interesting and important rational homotopy properties of a topological space $X$ is that of {\em formality}. In this paper we prove the non-formality property of some family homogeneous spaces.

The global formality of Dolgushev depends on the choice of a torsion-free covariant derivative. We prove that the globalized formalities with respect to two different covariant derivatives are homotopic. More explicitly, we derive the…

Let $X$ be a nilpotent space such that there exists $N\geq 1$ with $H^N(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>N$. Let $Y$ be a m-connected space with $m\geq N+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We…

We prove an equivalence of categories from formal complex structures with formal holomorphic maps to homotopy algebras over a simple operad with its associated homotopy morphisms. We extend this equivalence to complex manifolds. A complex…

It is a prominent conjecture (relating Riemannian geometry and algebraic topology) that all simply-connected compact manifolds of special holonomy should be formal spaces, i.e., their rational homotopy type should be derivable from their…

Any modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal factorization system associated to any modality, of which the…

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…

A Riemannian metric on a closed manifold is said to be geometrically formal if the wedge product of any two harmonic forms is harmonic; equivalently, the interior product of any two harmonic forms is harmonic. Given a Riemannian foliation…