On fibrations with formal elliptic fibers

Manuel Amann; Vitali Kapovitch

On fibrations with formal elliptic fibers

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1112.3556 v3 pith:TYJVDJVY submitted 2011-12-15 math.AT math.DG

Manuel Amann , Vitali Kapovitch This is my paper · ORCID

classification math.ATmath.DG

keywords formalfibrationellipticahlerapplicationassociatedbasecase

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

abstract

We prove that for a fibration of simply-connected spaces of finite type $F\hookrightarrow E\to B$ with $F$ being positively elliptic and $H^*(F,\qq)$ not possessing non-trivial derivations of negative degree, the base $B$ is formal if and only if the total space $E$ is formal. Moreover, in this case the fibration map is a formal map. As a geometric application we show that positive quaternion K\"ahler manifolds are formal and so are their associated twistor fibration maps.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Obstruction sequences to homotopy equivalences
math.AT 2025-09 conditional novelty 6.0 of 10

Gauge-theoretic obstruction sequences characterize homotopy equivalences between algebras over properads and colored operads, with applications to minimal models over general fields and in etale cohomology.

Pith tools