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

On fibrations with formal elliptic fibers

Manuel Amann , Vitali Kapovitch This is my paper

classification math.AT math.DG

keywords formalfibrationellipticahlerapplicationassociatedbasecase

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original 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)

Forward citations

Cited by 1 Pith paper

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

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

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.