pith. machine review for the scientific record. sign in

arxiv: 2605.02485 · v1 · submitted 2026-05-04 · 🧮 math.DG · math.CV

Recognition: 3 theorem links

· Lean Theorem

On Bismut--Ambrose--Singer manifolds

Francesco Pediconi, Giuseppe Barbaro

Pith reviewed 2026-05-08 17:57 UTC · model grok-4.3

classification 🧮 math.DG math.CV
keywords Bismut-Ambrose-Singer manifoldspluriclosed metricsHermitian geometryhomogeneous spacesBismut connectionparallel torsion
0
0 comments X

The pith

Complete simply-connected pluriclosed BAS manifolds reduce to products of three homogeneous types.

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

The paper studies Hermitian manifolds whose Bismut connection has both parallel torsion and parallel curvature, which it calls BAS manifolds. It first proves a reduction theorem showing that any complete simply-connected BAS manifold decomposes into homogeneous pieces. The authors then classify all simply-connected BAS manifolds that arise in the compact, non-compact semisimple, and nilpotent homogeneous settings, and they construct new examples by combining these three geometries. The final result is a complete classification of the pluriclosed case.

Core claim

A BAS manifold is a Hermitian manifold whose Bismut connection has parallel torsion and parallel curvature. For complete simply-connected examples, a canonical reduction theorem reduces the geometry to homogeneous models. All simply-connected BAS manifolds in the compact, non-compact semisimple, and nilpotent cases are classified explicitly. These three geometries can be combined to produce more general BAS manifolds, and in the pluriclosed setting every complete simply-connected example arises this way.

What carries the argument

The canonical reduction theorem for complete simply-connected BAS manifolds, which decomposes them into homogeneous components of compact, semisimple, or nilpotent type.

Load-bearing premise

The manifolds are complete and simply connected, which permits reduction to homogeneous models.

What would settle it

A single complete simply-connected pluriclosed BAS manifold whose geometry cannot be decomposed into the three classified homogeneous types would refute the classification.

read the original abstract

We investigate Bismut--Ambrose--Singer (BAS) manifolds, namely Hermitian manifolds whose Bismut connection has parallel torsion and parallel curvature. We first establish a canonical reduction theorem for complete, simply-connected BAS manifolds. We then classify simply-connected BAS manifolds in the three fundamental homogeneous settings: the compact case, the non-compact semisimple case, and the nilpotent case. Building on this, we construct BAS manifolds in which these three geometries are combined, generalizing all previously known examples. Finally we classify complete, simply-connected, pluriclosed BAS 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.

Referee Report

1 major / 2 minor

Summary. The paper defines Bismut-Ambrose-Singer (BAS) manifolds as Hermitian manifolds whose Bismut connection has parallel torsion and parallel curvature. It establishes a canonical reduction theorem reducing complete simply-connected BAS manifolds to homogeneous models (compact, semisimple, nilpotent, or combinations thereof), classifies the simply-connected cases in each homogeneous setting, constructs explicit combined examples generalizing prior work, and classifies all complete simply-connected pluriclosed BAS manifolds.

Significance. If the reduction theorem holds, the classification supplies a complete list of simply-connected pluriclosed BAS manifolds and explicit constructions that unify previously scattered examples. This would be a substantive contribution to the study of Hermitian geometries with parallel Bismut connection, especially since the paper supplies machine-checkable homogeneous models and explicit metric/torsion data in the nilpotent and combined cases.

major comments (1)
  1. [§3] §3 (Reduction theorem): The canonical reduction to homogeneous models invokes an Ambrose-Singer-type argument for the Bismut connection ∇^B. The manuscript assumes only Riemannian completeness of (M,g). Because ∇^B differs from the Levi-Civita connection by a torsion term involving the Lee form and the (3,0)+(0,3) component of the torsion 3-form, its geodesics need not be complete even when g is complete. No explicit verification or additional hypothesis is given showing that ∇^B-geodesics extend to all real parameters, which is required for the global developing map and holonomy reduction to be valid. This directly affects the completeness of the subsequent classification of pluriclosed examples.
minor comments (2)
  1. [Abstract] The abstract states the main theorems without any indication of the key assumptions or proof strategy; a one-sentence sketch of the reduction argument would improve readability.
  2. [§2] Notation for the Bismut connection and its torsion is introduced without a dedicated preliminary subsection; a short table comparing ∇^B, ∇^LC, and the Chern connection would clarify the differences used in later sections.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need to make the completeness of Bismut geodesics explicit in the reduction theorem. We address the comment below.

read point-by-point responses

  1. Referee: [§3] §3 (Reduction theorem): The canonical reduction to homogeneous models invokes an Ambrose-Singer-type argument for the Bismut connection ∇^B. The manuscript assumes only Riemannian completeness of (M,g). Because ∇^B differs from the Levi-Civita connection by a torsion term involving the Lee form and the (3,0)+(0,3) component of the torsion 3-form, its geodesics need not be complete even when g is complete. No explicit verification or additional hypothesis is given showing that ∇^B-geodesics extend to all real parameters, which is required for the global developing map and holonomy reduction to be valid. This directly affects the completeness of the subsequent classification of pluriclosed examples.

    Authors: We thank the referee for this observation. The Bismut connection ∇^B is a metric connection, satisfying ∇^B g = 0 by definition. Consequently, the norm |γ'(t)|_g is constant along any ∇^B-geodesic γ. Suppose γ is defined on a maximal interval (a, b) with b finite. The Riemannian length of γ over any compact subinterval is then finite. Metric completeness of (M, g) implies that γ(t) is Cauchy as t → b^− and converges to some point p ∈ M. The limiting velocity exists in T_p M, and local existence for the geodesic equation (whose coefficients are smooth) allows extension of γ past b, contradicting maximality. Hence all ∇^B-geodesics extend to ℝ. This justifies the Ambrose–Singer reduction without further hypotheses. In the revised manuscript we will insert a short lemma (or remark) in §3 recording this standard argument for metric connections on complete Riemannian manifolds, thereby clarifying the applicability to the pluriclosed classification as well. revision: yes

Circularity Check

0 steps flagged

No circularity: classification rests on standard reduction and homogeneous models

full rationale

The paper establishes its own canonical reduction theorem for complete simply-connected BAS manifolds and then classifies them in compact, semisimple, and nilpotent homogeneous cases before combining them. No quoted step reduces a derived quantity to a fitted parameter, self-citation, or definitional tautology. The completeness assumption is used to invoke an Ambrose-Singer-type holonomy reduction for the Bismut connection; while this may raise a separate question of affine versus Riemannian completeness, it does not constitute a circular reduction of the claimed classification to its own inputs. The derivation chain therefore remains independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard axioms of Hermitian geometry and connections; no free parameters, new entities, or ad-hoc assumptions are visible in the abstract.

axioms (1)
  • standard math A Hermitian manifold carries a compatible Riemannian metric and complex structure whose Bismut connection is well-defined.
    Invoked implicitly as the setting for BAS manifolds.

pith-pipeline@v0.9.0 · 5384 in / 1078 out tokens · 96696 ms · 2026-05-08T17:57:31.890552+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.

Reference graph

Works this paper leans on

52 extracted references · 6 canonical work pages · 2 internal anchors

  1. [1]

    I.\ Agricola , Connections on naturally reductive spaces, their Dirac operator and homogeneous models in string theory, Comm.\ Math.\ Phys.\ 232 (2003), 535--563

    2003

  2. [2]

    I.\ Agricola , The Srn\' lectures on non-integrable geometries with torsion , Arch.\ Math.\ (Brno) 42 (2006), 5--84

    2006

  3. [3]

    I.\ Agricola, A.\ C.\ Ferreira, T.\ Friedrich , The classification of naturally reductive homogeneous spaces in dimensions n 6 , Differential Geom.\ Appl.\ 39 (2015), 59--92

    2015

  4. [4]

    I.\ Agricola, T.\ Friedrich , On the holonomy of connections with skew-symmetric torsion, Math.\ Ann.\ 328 (2004), 711--748

    2004

  5. [5]

    D.\ Alekseevsky, A.\ Arvanitoyeorgos , Metrics with homogeneous geodesics on flag manifolds, Comment.\ Math.\ Univ.\ Carolin.\ 43 (2002), 189--199

    2002

  6. [6]

    B.\ Alexandrov , Sp (n) U (1) -connections with parallel totally skew-symmetric torsion , J.\ Geom.\ Phys.\ 57 (2006), 323--337

    2006

  7. [7]

    W.\ Ambrose, I.\ M.\ Singer , On homogeneous Riemannian manifolds, Duke Math.\ J.\ 25 (1958), 647--669

    1958

  8. [8]

    A.\ Andrada, R.\ Villacampa , Bismut connection on Vaisman manifolds, Math.\ Z.\ 302 (2022), 1091--126

    2022

  9. [9]

    D.\ Angella, F.\ Pediconi , A survey on locally homogeneous almost-Hermitian spaces, Riv.\ Math.\ Univ.\ Parma 13 (2022), 373--418

    2022

  10. [10]

    G.\ Barbaro, F.\ Pediconi, N.\ Tardini , Pluriclosed manifolds with parallel Bismut torsion, to appear in Crelle's journal, arXiv:2406.07039

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    L.\ Bedulli, M.\ Lorenzo , On homogeneous HKT manifolds and the Einstein condition, arXiv:2604.22404

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    A. L. Besse , Einstein Manifolds, Springer-Verlag, Berlin, 2008

    2008

  13. [13]

    J.\ M.\ Bismut , A local index theorem for non-K\"ahler manifolds, Math.\ Ann.\ 284 (1989), 681--699

    1989

  14. [14]

    A.\ Borel , Compact Clifford-Klein forms of symmetric spaces, Topology 2 (1963), 111--122

    1963

  15. [15]

    \'E.\ Cartan, J.\ A.\ Schouten , On the geometry of the Group-manifold of simple and semisimple groups, Proc.\ Royal Acad.\ Amsterdam 29 (1926), 803--815

    1926

  16. [16]

    \'E.\ Cartan, J.\ A.\ Schouten , On Riemannian geometries admitting an absolute parallelism, Proc.\ Royal Acad.\ Amsterdam 29 (1926), 933--946

    1926

  17. [17]

    R.\ Cleyton, A.\ Moroianu, U.\ Semmelmann , Metric connections with parallel skew-symmetric torsion, Adv.\ Math.\ 378 (2021), 50 pp

    2021

  18. [18]

    R.\ Cleyton, A.\ Swann , Einstein metrics via intrinsic or parallel torsion, Math.\ Z.\ 247 (2004), 513--528

    2004

  19. [19]

    L.\ A.\ Cordero, M.\ Fern \'a ndez, A.\ Gray, L.\ Ugarte , Compact nilmanifolds with nilpotent complex structures: Dolbeault cohomology, Trans.\ Amer.\ Math.\ Soc.\ 352 (2000), 5405--5433

    2000

  20. [20]

    J.\ E.\ D'Atri, W.\ Ziller , Naturally reductive metrics and Einstein metrics on compact Lie groups, Mem.\ Amer.\ Math.\ Soc.\ 18 (1979), 72 p

    1979

  21. [21]

    T.\ Friedrich, S.\ Ivanov , Parallel spinors and connections with skew-symmetric torsion in string theory, Asian J.\ Math.\ 6 (2002), 303--335

    2002

  22. [22]

    H.\ Geiges , Normal contact structures on 3-manifolds, Tohoku Math.\ J.\ 49 (1997), 415--422

    1997

  23. [23]

    G.\ Grantcharov, C.\ McLaughlin, H.\ Pedersen, Y.\ S.\ Poon , Deformations of Kodaira manifolds , Glasg.\ Math.\ J.\ 46 (2004), 259--281

    2004

  24. [24]

    P.\ Gauduchon , Hermitian connections and Dirac operators, Boll.\ Un.\ Mat.\ Ital.\ B 11 (1997), 257--288

    1997

  25. [25]

    C.\ S.\ Gordon , Naturally reductive homogeneous Riemannian manifolds, Can.\ J.\ Math.\ 37 (1985), 467--487

    1985

  26. [26]

    C.\ S.\ Gordon, W.\ Ziller , Naturally reductive metrics of nonpositive Ricci curvature, Proc.\ Amer.\ Math.\ Soc.\ 91 (1984), 287--290

    1984

  27. [27]

    S.\ Ivanov , Connections with torsion, parallel spinors and geometry of Spin (7) manifolds , Math.\ Res.\ Lett.\ 11 (2004), 171--186

    2004

  28. [28]

    ahler and hyperK\

    S.\ Ivanov, I.\ Minchev , Quaternionic K\"ahler and hyperK\"ahler manifolds with torsion and twistor spaces, J.\ Reine Angew.\ Math.\ 567 (2004), 215--233

    2004

  29. [29]

    S.\ Ivanov, G.\ Papadopoulos , Vanishing theorems and string backgrounds, Classical Quantum Gravity 18 (2001), 1089--1110

    2001

  30. [30]

    S.\ Ivanov, N.\ Stanchev , The Riemannian Bianchi identities of metric connections with skew torsion and generalized Ricci solitons, arXiv:2307.03986

    work page arXiv

  31. [31]

    Kobayashi, K

    S. Kobayashi, K. Nomizu , Foundations of Differential Geometry, Vol. 1, Interscience Publisher, New York, 1963

    1963

  32. [32]

    Kobayashi, K

    S. Kobayashi, K. Nomizu , Foundations of Differential Geometry, Vol. 2, Interscience Publisher, New York, 1969

    1969

  33. [33]

    L.\ Ni, F.\ Zheng , On Hermitian manifolds whose Chern connection is Ambrose--Singer, Trans.\ Amer.\ Math.\ Soc.\ 376 (2023), 6681--6707

    2023

  34. [34]

    L.\ Ni, F.\ Zheng , A classification of locally Chern homogeneous Hermitian manifolds, arXiv:2301.00579

    work page arXiv

  35. [35]

    K.\ Nomizu , Invariant affine connections on homogeneous spaces, Amer.\ J.\ Math.\ 76 (1954), 33--65

    1954

  36. [36]

    K.\ Nomizu , On local and global existence of Killing vector fields, Ann.\ of Math.\ 72 (1960), 105--120

    1960

  37. [37]

    F.\ Podest \`a , F.\ Zheng , A note on compact homogeneous manifolds with Bismut parallel torsion, Sci.\ China Math.\ 68 (2025), 1643--1670

    2025

  38. [38]

    M.\ S.\ Raghunathan , Discrete subgroups of Lie groups, Springer-Verlag, New York-Heidelberg, 1972

    1972

  39. [39]

    S.\ Rollenske , Geometry of nilmanifolds with left-invariant complex structure and deformations in the large, Proc.\ Lond.\ Math.\ Soc.\ 99 (2009), 425--460

    2009

  40. [40]

    K.\ Sekigawa , Notes on homogeneous almost Hermitian manifolds, Hokkaido Math.\ J.\ 7 (1978), 206--213

    1978

  41. [41]

    I.\ M.\ Singer , Infinitesimally homogeneous spaces, Comm.\ Pure Appl.\ Math.\ 13 (1960), 685--697

    1960

  42. [42]

    J.\ Sparks , Sasaki-Einstein manifolds, Surv.\ Differ.\ Geom.\ 16 , International Press , Somerville, MA , 2011

    2011

  43. [43]

    R.\ Storm , Structure theory of naturally reductive spaces, Differential Geom.\ Appl.\ 64 (2019), 174--200

    2019

  44. [44]

    Tricerri , Locally homogeneous Riemannian manifolds, Rend.\ Sem.\ Mat.\ Univ.\ Politec.\ Torino 50 (1992), 411--426

    F. Tricerri , Locally homogeneous Riemannian manifolds, Rend.\ Sem.\ Mat.\ Univ.\ Politec.\ Torino 50 (1992), 411--426

    1992

  45. [45]

    M.\ Verbitsky , HyperK\"ahler manifolds with torsion, supersymmetry and Hodge theory, Asian J.\ Math.\ 6 (2002), 679--712

    2002

  46. [46]

    Wang , Closed manifolds with homogeneous complex structure, Amer.\ J.\ Math.\ 76 (1954), 1--32

    H.-C. Wang , Closed manifolds with homogeneous complex structure, Amer.\ J.\ Math.\ 76 (1954), 1--32

    1954

  47. [47]

    E.\ N.\ Wilson , Isometry groups on homogeneous nilmanifolds, Geom.\ Dedicata 12 (1982), 337--346

    1982

  48. [48]

    K.\ Yano , Affine connections in an almost product space, Kodai Math.\ Sem.\ Rep.\ 376 (1959), 1--24

    1959

  49. [49]

    Q.\ Zhao, F.\ Zheng , Strominger connection and pluriclosed metrics, J.\ Reine Angew.\ Math.\ 796 (2023), 245--267

    2023

  50. [50]

    Q.\ Zhao, F.\ Zheng , On Hermitian manifolds with Bismut-Strominger parallel torsion, arXiv:2208.03071

    work page arXiv

  51. [51]

    Q.\ Zhao, F.\ Zheng , On balanced Hermitian threefolds with parallel Bismut torsion, arXiv:2506.15141

    work page arXiv

  52. [52]

    W.\ Ziller , The Jacobi equation on naturally reductive compact Riemannian homogeneous spaces, Comment.\ Math.\ Helv.\ 52 (1977), 573--590

    1977