Reducible Holonomy in Closed Torsion Geometries

Leander Stecker

arxiv: 2602.01458 · v2 · submitted 2026-02-01 · 🧮 math.DG

Reducible Holonomy in Closed Torsion Geometries

Leander Stecker This is my paper

Pith reviewed 2026-05-16 08:19 UTC · model grok-4.3

classification 🧮 math.DG

keywords reducible holonomyclosed torsionRiemannian submersionSKT structuresBismut Hermitian EinsteinsHKT structureshomogeneous geometries

0 comments

The pith

A connection with closed skew-symmetric torsion and reducible holonomy admits a locally defined Riemannian submersion with projected geometry on the base.

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

The paper establishes that a manifold equipped with a connection whose torsion is both closed and skew-symmetric, and whose holonomy representation is reducible, necessarily carries a locally defined Riemannian submersion onto a lower-dimensional base that inherits an induced geometry. This general fact is used to recover previously known submersion theorems for non-Kähler Bismut Hermitian Einstein manifolds and for sHKT structures as direct instances. In the homogeneous setting, the same mechanism produces an explicit holonomy decomposition for SKT structures on semisimple Lie groups, yielding holomorphic submersions onto generalized flag manifolds. A reader would care because the result supplies a uniform local reduction procedure that applies whenever the two stated conditions hold, without requiring global completeness or curvature bounds.

Core claim

A connection with closed skewsymmetric torsion and reducible holonomy admits a locally defined Riemannian submersion together with a projected geometry on the base. The same principle recovers known submersion results for non-Kähler Bismut Hermite Einstein manifolds and sHKT structures, while for homogeneous SKT structures on semi-simple Lie groups it produces the holonomy decomposition that leads to holomorphic submersions over generalized flag manifolds.

What carries the argument

The reducible holonomy representation of the closed skew-symmetric torsion connection, which decomposes the tangent bundle into invariant subbundles and induces the local Riemannian submersion.

If this is right

Submersion theorems for non-Kähler Bismut Hermite Einstein manifolds follow immediately as special cases.
sHKT structures admit locally defined Riemannian submersions equipped with projected geometry on the base.
Homogeneous SKT structures on semisimple Lie groups admit holonomy decompositions that produce holomorphic submersions over generalized flag manifolds.

Where Pith is reading between the lines

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

If the manifold is additionally complete, the local submersion may extend to a global fibration, though the paper restricts attention to the local setting.
The same reduction principle could be tested on other torsion geometries whose holonomy representations are known to be reducible, such as certain calibrated structures.
The induced geometry on the base is expected to inherit the closed torsion property, permitting iterative dimension reduction.

Load-bearing premise

The closedness and skew-symmetry of the torsion together with reducibility of the holonomy representation suffice to produce the local submersion, without any further curvature or completeness assumptions.

What would settle it

An explicit manifold carrying a closed skew-symmetric torsion connection whose holonomy is reducible yet which admits no local Riemannian submersion at any point would serve as a counterexample.

read the original abstract

The purpose of this note is to show that a connection with closed skewsymmetric torsion and reducible holonomy admits a locally defined Riemannian submersion together with a projected geometry on the base. We reframe known submersion results for non-K\"ahler Bismut Hermite Einstein manifolds and sHKT structures in this context. For homogeneous SKT structures on semi-simple Lie groups we obtain the holonomy decomposition leading to holomorphic submersions over generalized flag manifolds.

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 note gives a clean local submersion theorem for closed skew-symmetric torsion connections with reducible holonomy, correctly reframing some known cases without hidden gaps.

read the letter

The main takeaway is that a connection with closed skew-symmetric torsion and reducible holonomy admits a locally defined Riemannian submersion, with the geometry descending to the base. The closed torsion condition makes the holonomy-invariant orthogonal distribution integrable, and the projection of the connection works directly on the quotient without completeness or global curvature assumptions. This packages earlier submersion results for non-Kähler Bismut-Hermitian Einstein manifolds and sHKT structures under one hypothesis, and it produces holomorphic submersions over generalized flag manifolds for homogeneous SKT structures on semisimple Lie groups. The local character keeps the argument tight and avoids extra hypotheses that often appear in global statements. The homogeneous examples serve as direct checks that the descended geometry stays well-defined and preserves the torsion and holonomy properties. The soft spot is scope rather than correctness. The core result organizes existing submersion theorems instead of uncovering a new mechanism, and it stays strictly inside the closed skew-symmetric torsion class. No boundary cases or sharpness tests are explored, so it is not clear how much the reducibility assumption can be relaxed. This is a note for specialists already working with Bismut connections, SKT manifolds, or homogeneous Hermitian geometry. A reader who knows the cited submersion theorems will see the unification quickly and can use the holonomy condition as a quick test for when a submersion exists. It deserves a serious referee because the local argument is self-contained and the applications are explicit, even if the overall reach stays narrow.

Referee Report

0 major / 2 minor

Summary. The manuscript shows that a connection with closed skew-symmetric torsion and reducible holonomy admits a locally defined Riemannian submersion together with a projected geometry on the base. It reframes known submersion results for non-Kähler Bismut-Hermitian-Einstein manifolds and sHKT structures in this context, and for homogeneous SKT structures on semi-simple Lie groups derives the holonomy decomposition leading to holomorphic submersions over generalized flag manifolds.

Significance. If the result holds, the local integrability argument unifies several constructions in torsion geometry under the single assumption of reducible holonomy, yielding a clean submersion without completeness or global curvature hypotheses. The explicit homogeneous SKT examples and the reframing of Bismut-Hermitian-Einstein cases provide direct verification that the projected geometry is well-defined and strengthen the applicability of the framework to both homogeneous and non-homogeneous settings.

minor comments (2)

§2: The definition of the projected torsion form on the base could be stated more explicitly immediately after the integrability argument to improve readability.
The abstract would benefit from a one-sentence indication of the key step (local integrability of the holonomy-invariant distribution) to orient readers before the reframing examples.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. We appreciate the recognition that the local integrability argument provides a unifying perspective on submersion results in torsion geometry.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained from given assumptions

full rationale

The central claim follows from the closed skew-symmetric torsion condition ensuring integrability of the holonomy-invariant distribution, combined with reducible holonomy to produce the local Riemannian submersion and projected geometry. No equations reduce a prediction to a fitted input by construction, no self-citations form a load-bearing chain that replaces independent verification, and the reframing of Bismut-Hermitian-Einstein and SKT examples serves as illustration rather than circular justification. The local character of the result avoids any need for global hypotheses that might otherwise require external data. This is the standard case of a direct geometric consequence from stated conditions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, ad-hoc axioms, or invented entities; the result rests on standard definitions of closed skew-symmetric torsion and reducible holonomy from differential geometry.

axioms (2)

domain assumption The torsion tensor is skew-symmetric and closed (dT=0).
Invoked in the opening sentence as the setting for the connection.
domain assumption Holonomy representation is reducible.
Central hypothesis that triggers the local submersion.

pith-pipeline@v0.9.0 · 5357 in / 1309 out tokens · 23907 ms · 2026-05-16T08:19:46.223544+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.

Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

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

Theorem 2.3: Suppose ∇ is a metric connection with closed skew torsion T and TM = H ⊕ V splits orthogonally as a representation of the holonomy group Hol(∇). ... there exists a locally defined Riemannian submersion π: (M,g)→(N,g_N) with totally geodesic fibers tangent to V
Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Theorem 4.3: g splits as a representation of the Bismut holonomy as g = t ⊕ ⊕_{α∈Δ_Imax} g^R_α ⊕ (⊕_{α∈Δ+∖Δ_Imax} g^R_α)

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.

Geometries with parallel, skew-symmetric and closed torsion
math.DG 2026-05 unverdicted novelty 7.0

PSCT manifolds locally split into products of well-understood factors for complete local classification, with analysis of almost Hermitian G-structures in Gray-Hervella classes.