pith. sign in

arxiv: 2604.12507 · v1 · submitted 2026-04-14 · 🧮 math.DG · math.AG· math.AT

Strong formality below middle degree implies strong formality

Lapo Rubini This is my paper

Pith reviewed 2026-05-10 14:37 UTC · model grok-4.3

classification 🧮 math.DG math.AGmath.AT
keywords strong formalitycomplex manifoldshyperplane sectionsKähler manifolds∂∂-manifoldsde Rham cohomologypluripotential theorycohomology rings
0
0 comments X

The pith

A compact complex manifold with trivial first cohomology is strongly formal exactly when it is strongly formal up to degree n-1.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that a compact connected complex manifold of dimension n with vanishing first de Rham cohomology is strongly formal if and only if it is (n-1)-strongly formal. It reaches this equivalence by showing that hyperplane sections of strongly formal manifolds remain strongly formal and by verifying the property directly for generalized complete intersections from positive line bundles as well as for Kähler manifolds whose central cohomology has width n/2 minus 1 and for ∂∂-manifolds without nontrivial multiplicative relations below degree n+2. The argument rests on an adaptation of s-strong formality to the pluripotential setting. A sympathetic reader would care because the result reduces the range of degrees that must be checked to confirm the full formality property, which in turn simplifies the passage from cohomology data to statements about the manifold's rational homotopy type.

Core claim

A compact, connected complex manifold of dimension n with trivial first de Rham cohomology group is strongly formal if and only if it is (n-1)-strongly formal. This equivalence follows from the inheritance of strong formality under hyperplane sections, which applies in particular to generalized complete intersections defined by positive line bundles with trivial first cohomology, together with direct proofs that compact Kähler manifolds with central cohomology of width n/2 - 1 and compact ∂∂-manifolds with no nontrivial multiplicative relations in cohomology below degree n+2 are strongly formal.

What carries the argument

The notion of s-strong formality, adapted to the pluripotential setting on complex manifolds, which reduces the verification of strong formality to conditions only up to a chosen degree s.

If this is right

  • Hyperplane sections of strongly formal manifolds inherit strong formality.
  • Generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology are strongly formal.
  • Compact Kähler manifolds with central cohomology of width n/2 - 1 are strongly formal.
  • Compact ∂∂-manifolds with no nontrivial multiplicative relations in cohomology below degree n+2 are strongly formal.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The degree-reduction result may allow formality proofs for additional high-dimensional examples by checking only lower-degree data.
  • Similar equivalences could be tested in other geometric categories where a comparable s-strong formality can be defined.
  • The equivalence points toward a possible simplification in rational homotopy calculations that rely on formality to recover homotopy type from cohomology alone.

Load-bearing premise

The adaptation of s-strong formality to the pluripotential setting on complex manifolds together with the assumption that the first de Rham cohomology vanishes.

What would settle it

A compact connected complex manifold of dimension n with vanishing first de Rham cohomology that is (n-1)-strongly formal yet fails to be strongly formal, for instance by exhibiting a multiplicative obstruction in degree n or higher.

read the original abstract

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. Furthermore, we establish the strong formality of compact K\"ahler manifolds with central cohomology of width $\frac{n}{2}-1$ and, more generally, of compact $\partial\bar{\partial}$-manifolds with no non-trivial multiplicative relations in cohomology below degree $n+2$. These results arise from the notion of $s$-strong formality, which we adapt from a work of Fernandez and Mu\~noz to the pluripotential setting. Specifically, we prove that a compact, connected complex manifold of dimension $n$ with trivial first de Rham cohomology group is strongly formal if and only if it is $(n-1)$-strongly formal.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript adapts the notion of s-strong formality from Fernández and Muñoz to the pluripotential setting on complex manifolds. It proves that hyperplane sections of strongly formal manifolds inherit strong formality, with applications to generalized complete intersections defined by positive line bundles having trivial first de Rham cohomology. Additional results establish strong formality for compact Kähler manifolds whose central cohomology has width n/2-1 and, more generally, for compact ∂∂-manifolds with no non-trivial multiplicative relations in cohomology below degree n+2. The central theorem states that a compact connected complex n-fold with H^1_dR=0 is strongly formal if and only if it is (n-1)-strongly formal.

Significance. If the derivations hold, the equivalence reduces the verification of strong formality to degrees up to n-1 under the H^1-vanishing hypothesis, which is a practical advance for computations on complex manifolds and complete intersections. The inheritance property under hyperplane sections is a clear strength, extending prior formality results in a functorial way. The adaptation to the pluripotential setting and the explicit use of the H^1 condition to control multiplicative relations provide a clean criterion that could be applied to other classes of manifolds.

minor comments (3)
  1. The adaptation of s-strong formality to the pluripotential setting (mentioned in the abstract and introduction) should include a brief explicit statement of the dga or current-based model used, to make the inheritance under hyperplane sections immediately verifiable.
  2. In the statement of the main equivalence, clarify whether the (n-1)-strong formality is defined with respect to the same adapted notion or the original Fernández-Muñoz version; a short comparison paragraph would remove ambiguity.
  3. The bibliography entry for Fernández and Muñoz should be expanded with full title, journal, and year for standard citation completeness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their supportive summary, recognition of the significance of the H^1-vanishing criterion, and recommendation of minor revision. No major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper adapts the external notion of s-strong formality from Fernández-Muñoz to a pluripotential setting on complex manifolds and then proves an if-and-only-if equivalence between strong formality and (n-1)-strong formality under the explicit assumption of vanishing first de Rham cohomology. The derivation proceeds via inheritance of the property under hyperplane sections, control of low-degree multiplicative relations, and standard cohomological arguments; none of these steps reduce by construction to a fitted parameter, a self-referential definition, or a load-bearing self-citation. The central claim therefore rests on independent mathematical content rather than on re-labeling or circular closure of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard background facts about de Rham cohomology, Kähler and ∂∂-manifolds, and the external definition of s-strong formality; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard properties of de Rham cohomology and the ∂∂-lemma on compact complex manifolds
    Invoked when stating triviality of H^1 and when working with cohomology rings.
  • domain assumption The definition of s-strong formality as adapted from Fernandez and Muñoz
    The paper explicitly adapts this notion to the pluripotential setting as the foundation for all subsequent statements.

pith-pipeline@v0.9.0 · 5433 in / 1356 out tokens · 21966 ms · 2026-05-10T14:37:22.937413+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Angella and N

    D. Angella and N. Tardini,Quantitative and qualitative cohomological properties for non-Kähler manifolds, Proc. Amer. Math. Soc.145(2017), no. 1, 273–285

    work page 2017

  2. [2]

    Angella and A

    D. Angella and A. Tomassini,On Bott-Chern cohomology and formality, Journal of Geometry and Physics 93(2015), 52–61

    work page 2015

  3. [3]

    N.CesarinoandA.Tomassini,Aeppli-Bott-Chern Massey products on non-Kähler solvmanifolds,2025.https: //arxiv.org/abs/2512.05894

    work page arXiv 2025

  4. [4]

    Chi,Polarized Hodge Structures for Clemens Manifolds, Mathematische Annalen389(2024), 525–541

    L. Chi,Polarized Hodge Structures for Clemens Manifolds, Mathematische Annalen389(2024), 525–541

    work page 2024

  5. [5]

    Deligne, P

    P. Deligne, P. Griffiths, J. Morgan, and D. Sullivan,Real homotopy theory of Kähler manifolds, Inventiones mathematicae29(1975), no. 3, 245–274

    work page 1975

  6. [6]

    Fernandez and V

    M. Fernandez and V. Muñoz,Formality of Donaldson submanifolds, Math Z.500(2005), 149–175

    work page 2005

  7. [7]

    Friedman,On threefolds with trivial canonical bundle, Proceedings of Symposia in Pure Mathematics (1991), 103–134

    R. Friedman,On threefolds with trivial canonical bundle, Proceedings of Symposia in Pure Mathematics (1991), 103–134

    work page 1991

  8. [8]

    Huybrechts,Complex Geometry:An Introduction, Universitext, Springer Berlin Heidelberg, 2005

    D. Huybrechts,Complex Geometry:An Introduction, Universitext, Springer Berlin Heidelberg, 2005

    work page 2005

  9. [9]

    Holomorphic linking numbers,

    L. Martín-Merchán and J. Stelzig,Holomorphic linking numbers, ABC Massey products, and Calabi-Yau 3-folds, 2025.https://arxiv.org/abs/2512.02187

    work page arXiv 2025

  10. [10]

    Milivojevic and J

    A. Milivojevic and J. Stelzig,Bigraded notions of formality and Aeppli-Bott-Chern-Massey products, Com- munications in Analysis and Geometry32(2024), 2901–2933

    work page 2024

  11. [11]

    Neisendorfer and L

    J. Neisendorfer and L. Taylor,Dolbeault Homotopy Theory, Transactions of the American Mathematical Society245(1978), 183–210

    work page 1978

  12. [12]

    Placini, J

    G. Placini, J. Stelzig, and L. Zoller,Nontrivial Massey products on compact Kähler manifolds, 2024.https: //arxiv.org/abs/2404.09867

    work page arXiv 2024

  13. [13]

    ,Strong formality of toric and homogeneous compact Kähler manifolds, 2025.https://arxiv.org/ abs/2510.17288

    work page arXiv 2025

  14. [14]

    Rubini,Some computations on trivial canonical-bundle solvmanifolds, Journal of Geometry and Physics 216(2025), 105586

    L. Rubini,Some computations on trivial canonical-bundle solvmanifolds, Journal of Geometry and Physics 216(2025), 105586

    work page 2025

  15. [15]

    Sferruzza and A

    T. Sferruzza and A. Tomassini,Dolbeault and Bott-Chern formalities: Deformations and∂¯∂-lemma, Journal of Geometry and Physics175(2022), 104470

    work page 2022

  16. [16]

    ,Bott-Chern formality and Massey products on strong Kähler with torsion and Kähler solvmanifolds, J. Geom. Anal.34(2024), no. 348

    work page 2024

  17. [17]

    ,Hermitian geometrically formal manifolds, 2025.https://arxiv.org/abs/2507.10263

    work page arXiv 2025

  18. [18]

    Stelzig,On the structure of double complexes, Journal of the London Mathematical Society104(2021), no

    J. Stelzig,On the structure of double complexes, Journal of the London Mathematical Society104(2021), no. 2, 956–988

    work page 2021

  19. [19]

    ,Pluripotential homotopy theory, Advances in Mathematics460(2025), 110038

    work page 2025

  20. [20]

    Sullivan,Differential forms and the topology of manifolds, Manifolds—Tokyo 1973 (Proc

    D. Sullivan,Differential forms and the topology of manifolds, Manifolds—Tokyo 1973 (Proc. Internat. Conf., Tokyo, 1973), 1975, pp. 37–49

    work page 1973

  21. [21]

    Ulisse Dini

    N. Tardini and A. Tomassini,On geometric Bott-Chern formality and deformations, Ann. Mat. Pura Appl. (4)196(2017), no. 1, 349–362. (Lapo Rubini)Dipartimento Di Matematica E Informatica “Ulisse Dini”, Università Degli Studi di Firenze, viale Morgagni 67/a, 50134, Florence, Italy Email address:lapo.rubini@unifi.it 18

    work page 2017