pith. sign in

arxiv: 2509.11834 · v13 · submitted 2025-09-15 · 🧮 math.DG · math.AT

Cohomological Calibration and Curvature Constraints on Product Manifolds: A Topological Lower Bound

Alexander Pigazzini , Magdalena Toda This is my paper

Pith reviewed 2026-05-18 16:24 UTC · model grok-4.3

classification 🧮 math.DG math.AT
keywords cohomological calibrationproduct manifoldsmixed de Rham classesholonomyskew torsioncurvature constraintstopological lower bounds
0
0 comments X

The pith

For cohomologically calibrated connections on surface product manifolds, off-diagonal holonomy dimension is bounded below by the rank of a mixed de Rham class.

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

The paper establishes a quantitative relationship between mixed de Rham classes and the geometric complexity of metric connections with totally skew torsion on product manifolds of compact oriented surfaces. It proves that for any cohomologically calibrated connection whose torsion has pure bidegree and represents a non-trivial mixed class, the dimension of the off-diagonal holonomy is at least the rank of that class minus the dimension of an obstruction space, on some open subset. This bound is a topological invariant under metric deformations preserving parallel-form strata and obstructs reducible holonomy. Counterexamples show the hypothesis on the torsion is optimal.

Core claim

For any cohomologically calibrated connection ∇^C whose torsion T has pure bidegree with respect to the product decomposition and whose harmonic projection represents a non-trivial mixed class [ω], we prove that on a non-empty open subset V ⊂ M, dim(hol_p^off(∇^C)) ≥ r^♯ := rank_R([ω]_mixed) - dim K, with K an intrinsically defined obstruction space. The bound is a topological invariant under metric deformations preserving the parallel-form strata and provides an obstruction to reducible holonomy.

What carries the argument

The mixed de Rham class [ω]_mixed represented by the harmonic projection of the pure-bidegree torsion, which determines the lower bound on the off-diagonal holonomy dimension after subtracting the dimension of the obstruction space K.

If this is right

  • It provides an obstruction to reducible holonomy.
  • The bound is invariant under metric deformations that preserve the parallel-form strata.
  • The inequality holds on a non-empty open subset of the manifold.
  • Counterexamples confirm the optimality of the pure bidegree and non-trivial class assumptions.

Where Pith is reading between the lines

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

  • The result may constrain the possible reductions of holonomy groups in calibrated geometries on product manifolds.
  • Similar topological lower bounds could be derived for other classes of connections or manifold decompositions.
  • Investigating the explicit form of the obstruction space K in terms of cohomology of the factors could yield computable examples.

Load-bearing premise

The torsion T has pure bidegree with respect to the product decomposition and its harmonic projection represents a non-trivial mixed class [ω].

What would settle it

A counterexample connection satisfying the pure bidegree and non-trivial mixed class conditions but with the off-diagonal holonomy dimension falling below the predicted r^♯ on all open subsets would falsify the bound.

read the original abstract

We establish a quantitative relationship between mixed de Rham classes and the geometric complexity of metric connections with totally skew torsion on product manifolds where both factors are compact oriented surfaces. For any cohomologically calibrated connection $\nabla^C$ whose torsion $T$ has pure bidegree with respect to the product decomposition and whose harmonic projection represents a non-trivial mixed class $[\omega]$, we prove that on a non-empty open subset $\mathcal{V} \subset M$, \[ \dim\bigl(\mathfrak{hol}_p^{\mathrm{off}}(\nabla^{C})\bigr)\;\geq\; r^\sharp\;:=\;\operatorname{rank}_{\mathbb{R}}\bigl([\omega]_{\mathrm{mixed}}\bigr)-\dim\mathcal{K}, \] with $\mathcal{K}$ an intrinsically defined obstruction space. The bound is a topological invariant under metric deformations preserving the parallel-form strata and provides an obstruction to reducible holonomy. Counterexamples show the hypothesis is optimal.

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

1 major / 2 minor

Summary. The paper claims to prove a topological lower bound relating mixed de Rham cohomology classes to the off-diagonal holonomy dimension of cohomologically calibrated metric connections with totally skew torsion on product manifolds M = Σ₁ × Σ₂, where both factors are compact oriented surfaces. Under the hypotheses that the torsion T has pure bidegree with respect to the product splitting and that its harmonic projection represents a non-trivial mixed class [ω], the main result asserts that dim(hol_p^off(∇^C)) ≥ r^♯ := rank_ℝ([ω]_mixed) − dim K on a non-empty open subset V ⊂ M, with K an intrinsically defined obstruction space. The bound is invariant under metric deformations preserving the parallel-form strata and is shown to be sharp via counterexamples.

Significance. If the derivation is complete, the result supplies a new cohomological obstruction to reducible holonomy for skew-torsion connections on 4-manifolds, linking the rank of a mixed class directly to geometric complexity. The provision of counterexamples demonstrating optimality of the hypotheses is a clear strength, as is the claim that the bound is topological. Such quantitative links between de Rham data and holonomy could be useful in calibrated geometry and curvature-constrained problems on product manifolds.

major comments (1)
  1. [Abstract and main theorem] Abstract and main theorem statement: the hypothesis that the harmonic projection of T represents a non-trivial mixed de Rham class [ω] requires T to be closed (dT = 0) so that a de Rham class exists and Hodge theory supplies a unique harmonic representative. The pure-bidegree condition on T with respect to the product decomposition constrains (p,q)-type but does not by itself force dT = 0. The manuscript must explicitly derive dT = 0 from the cohomological calibration condition or from the Bianchi identity for skew torsion (likely in the section containing the curvature constraints or the proof of the main inequality); without this step the stated generality of the lower bound does not hold.
minor comments (2)
  1. [Introduction] The definition and intrinsic character of the obstruction space K should be stated explicitly in the introduction or in the paragraph immediately preceding the main inequality, rather than being introduced only as 'intrinsically defined'.
  2. [Abstract] Notation: the symbol r^♯ is used without a prior definition in the abstract; a brief parenthetical reminder of its meaning would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a point that requires explicit clarification in the manuscript. The comment concerns the derivation of dT = 0, which is needed to ensure that the harmonic projection of T represents a well-defined de Rham class. We address this directly below and will incorporate the requested derivation in the revised version.

read point-by-point responses

  1. Referee: [Abstract and main theorem] Abstract and main theorem statement: the hypothesis that the harmonic projection of T represents a non-trivial mixed de Rham class [ω] requires T to be closed (dT = 0) so that a de Rham class exists and Hodge theory supplies a unique harmonic representative. The pure-bidegree condition on T with respect to the product decomposition constrains (p,q)-type but does not by itself force dT = 0. The manuscript must explicitly derive dT = 0 from the cohomological calibration condition or from the Bianchi identity for skew torsion (likely in the section containing the curvature constraints or the proof of the main inequality); without this step the stated generality of the lower bound does not hold.

    Authors: We agree that an explicit derivation of dT = 0 is necessary for the de Rham class to be well-defined and for Hodge theory to apply. The cohomological calibration condition on ∇^C, together with the first Bianchi identity for metric connections with totally skew torsion, implies that the (3,0) + (0,3) components of dT vanish; the remaining mixed components are then killed by the pure-bidegree assumption on T and the curvature constraints derived in Section 4. This step was implicit in the calibration hypothesis but not written out in full detail. We will add a short lemma (new Lemma 3.4) in the curvature-constraints section that derives dT = 0 directly from the calibration equation and the Bianchi identity, thereby justifying the existence of the harmonic representative and the class [ω]_mixed. With this addition the generality of the lower bound is preserved. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The manuscript states a lower bound on off-diagonal holonomy dimension in terms of the rank of a mixed de Rham class of the harmonic torsion minus an intrinsically defined obstruction space K. The central claim is a proved inequality under explicitly stated hypotheses on pure bidegree and non-triviality of the class; no parameter is fitted to data and then renamed as a prediction, no self-definition equates the output to the input, and no load-bearing step reduces to a prior self-citation whose content is unverified. The bound is presented as a topological invariant with counterexamples for optimality, keeping the argument independent of its own fitted values or circular re-labeling.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard properties of de Rham cohomology, harmonic projection on compact manifolds, and the definition of holonomy for metric connections with skew torsion; no free parameters or new postulated entities are introduced in the abstract.

axioms (2)
  • standard math De Rham cohomology classes admit harmonic representatives on compact oriented Riemannian manifolds
    Invoked when the harmonic projection of the torsion is taken and its mixed class is formed.
  • domain assumption Holonomy algebra of a connection is well-defined at each point and splits according to the product structure
    Required to isolate the off-diagonal component hol_p^off.

pith-pipeline@v0.9.0 · 5694 in / 1501 out tokens · 53890 ms · 2026-05-18T16:24:27.848748+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. The $r^\sharp$ invariant as a discriminant for the survival of the H-flux under T-duality on product manifolds

    math.DG 2026-05 unverdicted novelty 7.0

    r^sharp discriminates between regimes where H-flux survives T-duality or converts to geometric flux on product manifolds with product metrics.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages · cited by 1 Pith paper

  1. [1]

    Aronszajn,A unique continuation theorem for solutions of elliptic partial differ- ential equations or inequalities of second order, J

    N. Aronszajn,A unique continuation theorem for solutions of elliptic partial differ- ential equations or inequalities of second order, J. de Math.,T.36(1957), 235–249

    work page 1957

  2. [2]

    Ambrose and I

    W. Ambrose and I. M. Singer,A theorem on holonomy, Trans. Amer. Math. Soc.75 (1953), 428–443

    work page 1953

  3. [3]

    A. L. Besse,Einstein Manifolds, Springer–Verlag, 1987, ISBN: 978-3-540-74120-6

    work page 1987

  4. [4]

    R. E. Greene, H. Jacobowitz,Analytic isometric embeddings.Ann. of Math. (93) 1 (1971), no. 2, 189–204

    work page 1971

  5. [5]

    Griffiths and J

    P. Griffiths and J. Harris,Principles of Algebraic Geometry, Wiley–Interscience, New York, 1978, ISBN: 978-0-471-05059-9

    work page 1978

  6. [6]

    Kodaira,On Deformations of Complex Analytic Structures, I–II, Ann

    K. Kodaira,On Deformations of Complex Analytic Structures, I–II, Ann. of Math. 67(1958), 328–466. doi:10.2307/1970055

    work page doi:10.2307/1970055 1958

  7. [7]

    Kodaira and D

    K. Kodaira and D. C. Spencer,On Deformations of Complex Analytic Structures, III. Stability Theorems for Complex Structures, Ann. of Math.70(1960), 43–76. doi:10.2307/1969838

    work page doi:10.2307/1969838 1960

  8. [8]

    C. B. Morrey Jr., L. Nirenberg,On the analyticity of the solutions of linear elliptic systems of partial differential equations.Comm. Pure Appl. Math. 10 (1957), 271–290

    work page 1957

  9. [9]

    Nash,The imbedding problem for Riemannian manifolds, Annals of Mathematics, (63)1, pp

    J. Nash,The imbedding problem for Riemannian manifolds, Annals of Mathematics, (63)1, pp. 20–63, Princeton University Press, (1956)

    work page 1956

  10. [10]

    F. W. Warner,Foundations of Differentiable Manifolds and Lie Groups, Springer– Verlag, 1983

    work page 1983