On fibrations with formal elliptic fibers (Q456792): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
In this paper the authors study formality for fibrations of simply connected spaces. If \(F\hookrightarrow E\to B\) is a fibration of simply connected spaces, the rational homotopic properties of the fibre link the formality of the base with that of the total space. A space \(X\) is called \(F_0\) if it is rationally elliptic and has positive Euler characteristic. \(F_0\)-spaces are known to be formal. The Halperin conjecture states that an \(F_0\)-space \(X\) has the property that \(H^*(X;\mathbb{Q})\) has no negative degree derivations. Let \(F\hookrightarrow E\to B\) be a fibration of simply connected spaces. It is known (see \textit{G. Lupton}, [Proceedings of the workshop, Banach Center, Warsaw, Poland, June 9--13. Warsaw: Polish Academy of Sciences, Banach Cent. Publ. 45, 115--135 (1997; Zbl 0931.55007)]) that if \(F\) is an \(F_0\)-space and \(H^*(F;\mathbb{Q})\) has no negative degree derivations, then the formality of \(B\) implies that of \(E\). The main result of the paper is a generalization of this fact. Namely, the authors prove that if \(F\) is elliptic, formal and such that \(H^*(F;\mathbb{Q})\) has no negative degree derivations, then \(E\) is formal if and only if \(B\) is. Furthermore, when \(E\) and \(B\) are formal, so is the map \(E\to B\). They provide an example of a formal, elliptic space \(X\), such that \(H^*(X;\mathbb{Q})\) has no negative degree derivations, but is not \(F_0\). They also show that there exists a fibration \(F\hookrightarrow E\to B\) such that the base is formal, the fibre is formal, satisfies that \(H^*(F;\mathbb{Q})\) has no negative degree derivations yet is hyperbolic, and the total space is not formal. The main application of this result is the proof of formality of compact, positive quaternion Kähler manifolds, i.e. compact quaternion Kähler manifolds whose sectional curvature is positive. Indeed, such a manifold \(M\) is simply connected and the total space of its twistor fibration \(S^2\to Z\to M\) is known to be Kähler. The thesis follows from their result and from the celebrated result of \textit{P. Deligne} et al., [Invent. Math. 29, 245--274 (1975; Zbl 0312.55011)] that compact Kähler manifolds are formal. This is the first paper in which techniques of rational homotopy theory are used in the context of the LeBrun-Salamon conjecture, which says that a positive quaternion Kähler manifold is a symmetric space (indeed, symmetric spaces are well known to be formal). | |||
Property / review text: In this paper the authors study formality for fibrations of simply connected spaces. If \(F\hookrightarrow E\to B\) is a fibration of simply connected spaces, the rational homotopic properties of the fibre link the formality of the base with that of the total space. A space \(X\) is called \(F_0\) if it is rationally elliptic and has positive Euler characteristic. \(F_0\)-spaces are known to be formal. The Halperin conjecture states that an \(F_0\)-space \(X\) has the property that \(H^*(X;\mathbb{Q})\) has no negative degree derivations. Let \(F\hookrightarrow E\to B\) be a fibration of simply connected spaces. It is known (see \textit{G. Lupton}, [Proceedings of the workshop, Banach Center, Warsaw, Poland, June 9--13. Warsaw: Polish Academy of Sciences, Banach Cent. Publ. 45, 115--135 (1997; Zbl 0931.55007)]) that if \(F\) is an \(F_0\)-space and \(H^*(F;\mathbb{Q})\) has no negative degree derivations, then the formality of \(B\) implies that of \(E\). The main result of the paper is a generalization of this fact. Namely, the authors prove that if \(F\) is elliptic, formal and such that \(H^*(F;\mathbb{Q})\) has no negative degree derivations, then \(E\) is formal if and only if \(B\) is. Furthermore, when \(E\) and \(B\) are formal, so is the map \(E\to B\). They provide an example of a formal, elliptic space \(X\), such that \(H^*(X;\mathbb{Q})\) has no negative degree derivations, but is not \(F_0\). They also show that there exists a fibration \(F\hookrightarrow E\to B\) such that the base is formal, the fibre is formal, satisfies that \(H^*(F;\mathbb{Q})\) has no negative degree derivations yet is hyperbolic, and the total space is not formal. The main application of this result is the proof of formality of compact, positive quaternion Kähler manifolds, i.e. compact quaternion Kähler manifolds whose sectional curvature is positive. Indeed, such a manifold \(M\) is simply connected and the total space of its twistor fibration \(S^2\to Z\to M\) is known to be Kähler. The thesis follows from their result and from the celebrated result of \textit{P. Deligne} et al., [Invent. Math. 29, 245--274 (1975; Zbl 0312.55011)] that compact Kähler manifolds are formal. This is the first paper in which techniques of rational homotopy theory are used in the context of the LeBrun-Salamon conjecture, which says that a positive quaternion Kähler manifold is a symmetric space (indeed, symmetric spaces are well known to be formal). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Giovanni Bazzoni / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P62 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C26 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55R20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6094107 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
formality | |||
Property / zbMATH Keywords: formality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
elliptic space | |||
Property / zbMATH Keywords: elliptic space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(F_0\)-space | |||
Property / zbMATH Keywords: \(F_0\)-space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
twistor space | |||
Property / zbMATH Keywords: twistor space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
positive quaternion Kähler manifold | |||
Property / zbMATH Keywords: positive quaternion Kähler manifold / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963790817 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1112.3556 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(\hat A\)-genus of \(S^{1}\)-manifolds with finite second homotopy group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997903 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Einstein manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur les variétés analytiques complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Lefschetz property, formality and blowing up in symplectic geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Real homotopy theory of Kähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Positive quaternionic Kähler manifolds and symmetry rank / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal Spaces with Finite-Dimensional Rational Homotopy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4861185 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4505020 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formality of Donaldson submanifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5387213 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Erratum to ``The signature and the elliptic genus of \(\pi_2\)-finite manifolds with circle actions'' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Obstructions to homotopy equivalences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tate resolutions for commutative graded algebras over a local ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On products of harmonic forms. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On formality of generalized symmetric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formality in an equivariant setting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong rigidity of positive quaternion-Kähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3490631 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4249376 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some topological properties of Kaehler manifolds and homogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On length and product of harmonic forms in Kähler geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reduced weighted complete intersection and derivations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quaternionic Kaehler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2771292 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The set of multiplicative predifferentials and the rational cohomology algebra of fibre spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Filtered model of a fibration and rational obstruction theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational fibrations, homogeneous spaces with positive Euler characteristics and Jacobians / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On formality of a class of compact homogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4071851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5732721 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational homotopy of Serre fibrations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Eilenberg-Moore Models for Fibrations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Manifolds with parallel differential forms and Kähler identities for \(G_{2}\)-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Realisation de Morphismes Donnes en Cohomologie et Suite Spectrale D'Eilenberg-Moore / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:15, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On fibrations with formal elliptic fibers |
scientific article |
Statements
On fibrations with formal elliptic fibers (English)
0 references
16 October 2012
0 references
In this paper the authors study formality for fibrations of simply connected spaces. If \(F\hookrightarrow E\to B\) is a fibration of simply connected spaces, the rational homotopic properties of the fibre link the formality of the base with that of the total space. A space \(X\) is called \(F_0\) if it is rationally elliptic and has positive Euler characteristic. \(F_0\)-spaces are known to be formal. The Halperin conjecture states that an \(F_0\)-space \(X\) has the property that \(H^*(X;\mathbb{Q})\) has no negative degree derivations. Let \(F\hookrightarrow E\to B\) be a fibration of simply connected spaces. It is known (see \textit{G. Lupton}, [Proceedings of the workshop, Banach Center, Warsaw, Poland, June 9--13. Warsaw: Polish Academy of Sciences, Banach Cent. Publ. 45, 115--135 (1997; Zbl 0931.55007)]) that if \(F\) is an \(F_0\)-space and \(H^*(F;\mathbb{Q})\) has no negative degree derivations, then the formality of \(B\) implies that of \(E\). The main result of the paper is a generalization of this fact. Namely, the authors prove that if \(F\) is elliptic, formal and such that \(H^*(F;\mathbb{Q})\) has no negative degree derivations, then \(E\) is formal if and only if \(B\) is. Furthermore, when \(E\) and \(B\) are formal, so is the map \(E\to B\). They provide an example of a formal, elliptic space \(X\), such that \(H^*(X;\mathbb{Q})\) has no negative degree derivations, but is not \(F_0\). They also show that there exists a fibration \(F\hookrightarrow E\to B\) such that the base is formal, the fibre is formal, satisfies that \(H^*(F;\mathbb{Q})\) has no negative degree derivations yet is hyperbolic, and the total space is not formal. The main application of this result is the proof of formality of compact, positive quaternion Kähler manifolds, i.e. compact quaternion Kähler manifolds whose sectional curvature is positive. Indeed, such a manifold \(M\) is simply connected and the total space of its twistor fibration \(S^2\to Z\to M\) is known to be Kähler. The thesis follows from their result and from the celebrated result of \textit{P. Deligne} et al., [Invent. Math. 29, 245--274 (1975; Zbl 0312.55011)] that compact Kähler manifolds are formal. This is the first paper in which techniques of rational homotopy theory are used in the context of the LeBrun-Salamon conjecture, which says that a positive quaternion Kähler manifold is a symmetric space (indeed, symmetric spaces are well known to be formal).
0 references
formality
0 references
elliptic space
0 references
\(F_0\)-space
0 references
twistor space
0 references
positive quaternion Kähler manifold
0 references
0 references
0 references
0 references
0 references