Pith. sign in

REVIEW 2 cited by

The rational homotopy type of (n-1)-connected manifolds of dimension up to 5n-3

Not yet reviewed by Pith; the record is open.

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 1505.04184 v3 pith:544X55ZV submitted 2015-05-15 math.AT math.GT

classification math.ATmath.GT
keywords tensorbianchi-masseyconnectedmanifoldsdimensionformalhomotopyrational
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We define the Bianchi-Massey tensor of a topological space X to be a linear map from a subquotient of the fourth tensor power of H*(X). We then prove that if M is a closed (n-1)-connected manifold of dimension at most 5n-3 (and n > 1) then its rational homotopy type is determined by its cohomology algebra and Bianchi-Massey tensor, and that M is formal if and only if the Bianchi-Massey tensor vanishes. We use the Bianchi-Massey tensor to show that there are many (n-1)-connected (4n-1)-manifolds that are not formal but have no non-zero Massey products, and to present a classification of simply-connected 7-manifolds up to finite ambiguity.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Minimal Unital Cyclic $C_\infty$-Algebras and the Real and Rational Homotopy Type of Closed Manifolds

    math.AT 2026-03 conditional novelty 6.0 of 10

    For (r−1)-connected closed manifolds of dimension n ≤ l(r−1)+2, rational homotopy type is determined by the cohomology ring and the minimal cyclic C∞-algebra enhancement up to isotopy modulo l−2.

  2. 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