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

Alexander Pigazzini; Magdalena Toda

arxiv: 2605.13603 · v1 · pith:Q5PWXAUEnew · submitted 2026-05-13 · 🧮 math.DG

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

Alexander Pigazzini , Magdalena Toda This is my paper

Pith reviewed 2026-05-14 18:00 UTC · model grok-4.3

classification 🧮 math.DG

keywords T-dualityH-fluxproduct manifoldsBuscher rulescohomological invariantsgeometric fluxparallel formsirreducible kernel

0 comments

The pith

The cohomological invariant r^sharp determines whether the H-flux converts to geometric flux or survives under T-duality on product manifolds.

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

This paper establishes that the invariant r^sharp, defined earlier as a lower bound on the off-diagonal holonomy dimension for metric connections with totally skew torsion, classifies the transformation of the torsion three-form under dimensional reduction and Buscher T-duality. On a product M = Σ_g × M_2 with product metric, r^sharp = 0 identifies a flat circle factor via the de Rham splitting theorem, allowing the full H-flux to become geometric flux in the dual background. When r^sharp = 1, no such factor appears and the flux remains H-flux under duality along every flat circle. For manifolds with torus factors, the same invariant isolates the irreducible kernel component of the flux that cannot be converted into geometric or non-geometric flux in any duality frame.

Core claim

On a product manifold M = Σ_g × M_2 equipped with a product metric, the invariant r^sharp equals zero precisely when the parallel-form strata identify a flat circle factor S^1_β along which Buscher T-duality converts the entire H-flux into geometric flux, and equals one when the flux survives T-duality along every flat circle as irreducible H-flux. When M_2 contains a torus factor, r^sharp detects the irreducible kernel of the H-flux of pure bidegree (2,1) for which the Bouwknegt-Evslin-Mathai obstruction vanishes and successive dualities remain non-interfering and order-independent.

What carries the argument

The r^sharp invariant, a cohomological lower bound for the off-diagonal holonomy dimension of metric connections with totally skew torsion that classifies parallel-form strata under the de Rham splitting theorem.

If this is right

When r^sharp equals zero the full H-flux converts to geometric flux under T-duality along the identified flat circle.
When r^sharp equals one the H-flux survives as H-flux under T-duality along every flat circle factor.
For pure bidegree (2,1) flux on manifolds with torus factors the Bouwknegt-Evslin-Mathai obstruction vanishes automatically.
The dualities are non-interfering and order-independent, and r^sharp isolates the irreducible kernel component that persists across all duality frames.

Where Pith is reading between the lines

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

This classification supplies a metric criterion for choosing duality frames in which the flux is geometrically realized rather than cohomologically hidden.
The same invariant may serve as a diagnostic for flux stability under sequences of T-dualities on manifolds that are only approximately products.
One could check whether r^sharp remains unchanged when the product metric is deformed while preserving the parallel-form strata.

Load-bearing premise

The manifold is a product equipped with a product metric so that the de Rham splitting theorem can identify flat circle factors exactly when r^sharp vanishes.

What would settle it

Compute r^sharp explicitly on a concrete product manifold such as a torus bundle with known parallel forms, apply the Buscher rules along the predicted circle factor, and check whether the resulting dual flux is purely geometric when r^sharp equals zero and remains H-flux when r^sharp equals one.

read the original abstract

We show that the cohomological invariant $r^\sharp$, introduced in [1] as a lower bound for the off-diagonal holonomy dimension of metric connections with totally skew torsion on product manifolds, predicts the behaviour of the torsion $3$-form under both dimensional reduction and Buscher T-duality. On a product $M = \Sigma_g \times M_2$ equipped with a product metric, when $r^\sharp = 0$ the parallel-form strata identify a flat circle factor $S^1_\beta \subset M_2$ via the de Rham splitting theorem, and the entire $H$-flux is converted into geometric flux under T-duality along $S^1_\beta$ (the parallel regime); when $r^\sharp = 1$, no such circle factor exists, and the $H$-flux survives T-duality along every flat circle factor as $H$-flux in the dual background (the transversely irreducible regime). When $M_2 = N \times T^k$ contains a torus factor, we prove that the Bouwknegt--Evslin--Mathai obstruction to successive T-dualities vanishes automatically for $H$-flux of pure bidegree $(2,1)$, that the resulting dualities are non-interfering and order-independent, and that $r^\sharp$ detects the \emph{irreducible kernel} of the $H$-flux: the component that survives T-duality along every flat circle factor and cannot be converted into geometric or non-geometric flux in any duality frame. This provides a metric refinement of topological T-duality: while the latter disregards the Riemannian metric entirely, $r^\sharp$ detects whether the cohomological coupling is aligned with the flat sub-factors identified by the Levi-Civita parallel-form strata.

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.

Desk Editor's Note private letter to a colleague

This paper claims that r^sharp predicts H-flux survival under T-duality by identifying flat circle factors, but the de Rham splitting on a torsion connection may not support the claimed regimes.

read the letter

The paper's main point is that the r^sharp invariant can tell you in advance whether the H-flux on a product manifold will turn entirely into geometric flux under T-duality along flat circles or whether some part will survive as H-flux in the dual. When r^sharp is zero it picks out a parallel circle factor and the flux converts completely; when it is one there is no such factor and the flux has an irreducible component that stays. This is new in the sense that it gives a concrete metric-based prediction for duality outcomes on these spaces, going beyond the purely topological versions. The part about the obstruction vanishing for (2,1) bidegree fluxes on tori and the dualities being non-interfering is also a solid addition, as it shows the setup is consistent for successive transformations. The work does a good job of framing r^sharp as a refinement that brings in the Riemannian structure, which topological T-duality ignores. The regimes are clearly labeled as parallel and transversely irreducible. The potential issue is with the identification of the flat circle factor. The argument uses the de Rham splitting theorem on the parallel forms of the torsion connection. But the standard de Rham theorem applies to the torsion-free Levi-Civita connection, where parallel distributions are integrable and give local products. With non-zero torsion the parallel 1-forms may define distributions that are not integrable or do not correspond to Killing fields of constant length. If that happens the Buscher transformation may not convert the full flux as claimed, and the distinction between the two regimes weakens. The abstract says proofs are given, but this step looks like it needs careful justification that might not be automatic. The math and citations seem standard for the area, with no obvious circularity beyond building on their earlier paper. This paper is for specialists in T-duality and flux compactifications who want metric refinements. A reader working on explicit examples or obstructions would find the claims relevant. I think it deserves peer review to sort out whether the torsion connection issue is handled properly in the details.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that the cohomological invariant r^sharp, introduced in prior work as a lower bound on off-diagonal holonomy dimension for metric connections with totally skew torsion on product manifolds, determines the fate of the torsion 3-form H under dimensional reduction and Buscher T-duality. On M = Σ_g × M_2 with product metric, r^sharp = 0 identifies (via de Rham splitting) a flat circle factor S^1_β ⊂ M_2 along which the entire (2,1)-component of H converts to geometric flux (parallel regime), while r^sharp = 1 implies no such factor exists and H survives as H-flux in every dual frame (transversely irreducible regime). For M_2 containing a torus factor the paper proves that the Bouwknegt–Evslin–Mathai obstruction vanishes automatically for pure bidegree (2,1) H-flux, that successive T-dualities are non-interfering and order-independent, and that r^sharp detects the irreducible kernel of H that cannot be eliminated in any duality frame. This is presented as a metric refinement of topological T-duality.

Significance. If the central claims hold, the work supplies a concrete Riemannian refinement of topological T-duality by linking the survival of H-flux to the parallel-form strata of a torsionful connection. The automatic vanishing of the BEM obstruction for pure (2,1) fluxes on torus factors is a verifiable, falsifiable statement that could be useful in string compactifications. The distinction between parallel and transversely irreducible regimes offers a potential organizing principle for flux configurations once the geometric identification is secured.

major comments (2)

[Introduction and §3] Introduction and §3 (de Rham splitting claim): The manuscript invokes the de Rham splitting theorem to conclude that ∇-parallel 1-forms (where ∇ is the metric connection with totally skew torsion) yield a flat circle factor S^1_β compatible with Buscher rules. The classical de Rham decomposition theorem applies to the torsion-free Levi-Civita connection; for a connection with non-zero skew torsion the parallel distributions need not be integrable or orthogonal in the required sense. The paper must supply an explicit argument or reference showing that the product metric and skew torsion together guarantee the local product structure and Killing property needed for the full conversion of the (2,1)-component of H into geometric flux. This identification is load-bearing for the distinction between the r^sharp = 0 and r^sharp = 1 regimes.
[§4] §4 (BEM obstruction theorem): The statement that the Bouwknegt–Evslin–Mathai obstruction vanishes automatically for H of pure bidegree (2,1) on N × T^k is asserted without an explicit computation of the relevant cohomology class or a self-contained derivation in the provided text. Since this vanishing is used to conclude that dualities are non-interfering and order-independent, the calculation (or a precise reference to the cohomology computation) must be included to support the claim.

minor comments (2)

[Abstract and Introduction] The abstract and introduction use the phrase 'via the de Rham splitting theorem' without recalling the precise statement or hypotheses employed; a short paragraph recalling the version of the theorem applied would improve readability.
[§2] Notation for bidegree components of H (e.g., (2,1) versus (3,0)) should be defined once in §2 and used consistently thereafter.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised regarding the applicability of the de Rham decomposition in the presence of torsion and the need for an explicit BEM obstruction computation are well-taken. We have revised the manuscript to address both by adding explicit arguments and derivations.

read point-by-point responses

Referee: Introduction and §3 (de Rham splitting claim): The manuscript invokes the de Rham splitting theorem to conclude that ∇-parallel 1-forms yield a flat circle factor S^1_β compatible with Buscher rules. The classical theorem applies to the torsion-free Levi-Civita connection; for a connection with non-zero skew torsion the parallel distributions need not be integrable or orthogonal. The paper must supply an explicit argument showing that the product metric and skew torsion guarantee the local product structure and Killing property needed for the full conversion of the (2,1)-component of H into geometric flux.

Authors: We acknowledge the subtlety. In the revised manuscript we add a self-contained argument in §3: because the torsion is totally skew-symmetric and the metric is a product metric, the covariant derivative along parallel 1-forms reduces to the Levi-Civita term plus a torsion contraction that vanishes identically on the (2,1) component. Consequently the parallel vector fields are Killing (Lie derivative of the metric is zero) and the orthogonal distributions are integrable, yielding the required flat circle factor S^1_β when r^sharp=0. This justifies the complete conversion of the (2,1) flux to geometric flux and sharpens the distinction between the two regimes. revision: yes
Referee: §4 (BEM obstruction theorem): The statement that the Bouwknegt–Evslin–Mathai obstruction vanishes automatically for H of pure bidegree (2,1) on N × T^k is asserted without an explicit computation of the relevant cohomology class. The calculation must be included to support that dualities are non-interfering and order-independent.

Authors: We agree that an explicit verification is necessary. In the revised §4 we now include a direct computation: the BEM obstruction class is the image of H under the map H^3(N×T^k,Z)→H^3(N×T^k,R) followed by projection onto the torus homology. For a pure (2,1)-form the integral over any 3-cycle supported on the torus factors vanishes by bidegree (no (3,0) or (0,3) components), so the class is zero. This establishes that successive T-dualities commute and are order-independent, allowing r^sharp to isolate the irreducible kernel. revision: yes

Circularity Check

1 steps flagged

r^sharp from prior self-work is load-bearing for the T-duality prediction claim

specific steps

self citation load bearing [Abstract]
"We show that the cohomological invariant r^sharp, introduced in [1] as a lower bound for the off-diagonal holonomy dimension of metric connections with totally skew torsion on product manifolds, predicts the behaviour of the torsion 3-form under both dimensional reduction and Buscher T-duality."

The prediction that r^sharp = 0 implies full conversion of H-flux to geometric flux (and r^sharp = 1 implies survival of H-flux) is asserted on the basis of the invariant's definition and lower-bound property, which are taken from the authors' overlapping prior work [1] rather than re-derived here; the de Rham splitting is invoked only after that property is assumed.

full rationale

The paper's central claim is that the invariant r^sharp (defined and characterized in the authors' own prior reference [1]) predicts H-flux survival under T-duality on product manifolds. This relies on the properties established in [1] for the parallel-form strata and holonomy bound, combined here with the standard de Rham splitting theorem and bidegree analysis of H. The application to Buscher rules and the distinction between parallel and transversely irreducible regimes therefore inherits its predictive power from the self-citation, yet the present work adds independent content via the product metric assumption and explicit T-duality mapping, preventing a full reduction to definition. No self-definitional loop, fitted prediction, or ansatz smuggling is exhibited in the given text.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the prior definition of r^sharp, the de Rham splitting theorem for identifying flat factors, and standard properties of Buscher T-duality on product metrics.

axioms (1)

standard math de Rham splitting theorem identifies flat circle factors when r^sharp = 0
Invoked directly in the abstract to split the manifold in the parallel regime.

pith-pipeline@v0.9.0 · 5646 in / 1248 out tokens · 75451 ms · 2026-05-14T18:00:49.479081+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

when r^sharp = 0 the parallel-form strata identify a flat circle factor S^1_β ⊂ M_2 via the de Rham splitting theorem, and the entire H-flux is converted into geometric flux under T-duality along S^1_β
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

r^sharp := rank R([ω]mixed) − dim K ... lower bound for the off-diagonal holonomy dimension of metric connections with totally skew torsion

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.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages · 1 internal anchor

[1]

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

A. Pigazzini, M. Toda,Cohomological calibration and curvature constraints on product manifolds: a topological lower bound, arXiv:2509.11834v13 (2025)

work page internal anchor Pith review Pith/arXiv arXiv 2025
[2]

Pigazzini, M

A. Pigazzini, M. Toda,Local topological constraints on Berry curvature in spin–orbit coupled BECs, accepted in JGA (Springer) (2026)

work page 2026
[3]

Buscher,A symmetry of the string background field equations, Phys

T. Buscher,A symmetry of the string background field equations, Phys. Lett. B194 (1987), 59–62. 12 ALEXANDER PIGAZZINI, MAGDALENA TODA

work page 1987
[4]

Buscher,Path integral derivation of quantum duality in nonlinear sigma models, Phys

T. Buscher,Path integral derivation of quantum duality in nonlinear sigma models, Phys. Lett. B201(1988), 466–472

work page 1988
[5]

Bouwknegt, J

P. Bouwknegt, J. Evslin, V. Mathai,T-duality: topology change fromH-flux, Com- mun. Math. Phys.249(2004), 383–415

work page 2004
[6]

Bunke, T

U. Bunke, T. Schick,On the topology of T-duality, Rev. Math. Phys.17(2004), 77–112

work page 2004
[7]

Agricola,The Srn´ ı lectures on non-integrable geometries with torsion, Arch

I. Agricola,The Srn´ ı lectures on non-integrable geometries with torsion, Arch. Math. (Brno)42(2006), suppl., 5–84

work page 2006
[8]

Shelton, W

J. Shelton, W. Taylor, B. Wecht,Nongeometric flux compactifications, JHEP10 (2005), 085

work page 2005
[9]

Waldorf,Geometric T-duality: Buscher rules in general topology, Ann

K. Waldorf,Geometric T-duality: Buscher rules in general topology, Ann. Henri Poincar´ e25(2024), 1285–1358

work page 2024

[1] [1]

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

A. Pigazzini, M. Toda,Cohomological calibration and curvature constraints on product manifolds: a topological lower bound, arXiv:2509.11834v13 (2025)

work page internal anchor Pith review Pith/arXiv arXiv 2025

[2] [2]

Pigazzini, M

A. Pigazzini, M. Toda,Local topological constraints on Berry curvature in spin–orbit coupled BECs, accepted in JGA (Springer) (2026)

work page 2026

[3] [3]

Buscher,A symmetry of the string background field equations, Phys

T. Buscher,A symmetry of the string background field equations, Phys. Lett. B194 (1987), 59–62. 12 ALEXANDER PIGAZZINI, MAGDALENA TODA

work page 1987

[4] [4]

Buscher,Path integral derivation of quantum duality in nonlinear sigma models, Phys

T. Buscher,Path integral derivation of quantum duality in nonlinear sigma models, Phys. Lett. B201(1988), 466–472

work page 1988

[5] [5]

Bouwknegt, J

P. Bouwknegt, J. Evslin, V. Mathai,T-duality: topology change fromH-flux, Com- mun. Math. Phys.249(2004), 383–415

work page 2004

[6] [6]

Bunke, T

U. Bunke, T. Schick,On the topology of T-duality, Rev. Math. Phys.17(2004), 77–112

work page 2004

[7] [7]

Agricola,The Srn´ ı lectures on non-integrable geometries with torsion, Arch

I. Agricola,The Srn´ ı lectures on non-integrable geometries with torsion, Arch. Math. (Brno)42(2006), suppl., 5–84

work page 2006

[8] [8]

Shelton, W

J. Shelton, W. Taylor, B. Wecht,Nongeometric flux compactifications, JHEP10 (2005), 085

work page 2005

[9] [9]

Waldorf,Geometric T-duality: Buscher rules in general topology, Ann

K. Waldorf,Geometric T-duality: Buscher rules in general topology, Ann. Henri Poincar´ e25(2024), 1285–1358

work page 2024