pith. sign in

arxiv: 2605.18306 · v1 · pith:EVTDWFJQnew · submitted 2026-05-18 · 🧮 math.DG

Integrability of generalized structures on odd exact Courant algebroids using generalized connections

Vicente Cort\'es , Liana David , Marius Mirea This is my paper

Pith reviewed 2026-05-20 00:06 UTC · model grok-4.3

classification 🧮 math.DG MSC 53D1853C15
keywords odd exact Courant algebroidsB_n-generalized complex structuresgeneralized connectionsintegrabilitygeneralized pseudo-Hermitian structurestransitive Courant algebroids
0
0 comments X

The pith

Integrability of B_n-generalized almost complex and pseudo-Hermitian structures on odd exact Courant algebroids holds exactly when adapted generalized connections exist.

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 B_n-generalized almost complex or pseudo-Hermitian structure on an odd exact Courant algebroid is integrable if and only if there exists a generalized connection adapted to the structure. This gives an alternative criterion for integrability that replaces direct verification of the Courant bracket conditions with the existence of a compatible connection. The authors then describe the full affine space of all such adapted connections once integrability holds. Readers care because these structures generalize classical complex and Hermitian geometry to a setting that includes an extra line bundle direction, and the connection-based test may simplify both theoretical checks and explicit constructions.

Core claim

On odd exact Courant algebroids, the integrability of a B_n-generalized almost complex structure (respectively, B_n-generalized almost pseudo-Hermitian structure) is equivalent to the existence of a generalized connection that preserves the structure and is compatible with the Courant bracket in the appropriate sense; when the structure is integrable the set of all such adapted connections forms an affine space whose model vector space is determined by the geometry of the algebroid.

What carries the argument

Adapted generalized connections, which are connections on the Courant algebroid that are compatible with the B_n-generalized almost complex or pseudo-Hermitian structure and whose curvature satisfies the integrability condition.

If this is right

  • Integrability can be verified by constructing or proving existence of one adapted connection rather than checking the full Courant bracket closure.
  • For any integrable B_n-generalized complex structure the space of adapted connections is an affine space modeled on a specific vector space of sections.
  • The same equivalence applies to the pseudo-Hermitian case, yielding a connection-based characterization of B_n-generalized pseudo-Kähler structures.
  • The affine space description gives a way to parametrize all possible compatible connections once integrability is known.

Where Pith is reading between the lines

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

  • The connection criterion may make it easier to produce explicit examples of integrable structures by starting from a connection and deriving the structure it preserves.
  • Because odd exact Courant algebroids are transitive and of odd rank, the result may specialize to known integrability conditions on ordinary manifolds when the extra line bundle is trivialized.
  • One could test whether the same adapted-connection test extends to other classes of transitive Courant algebroids beyond the exact odd case.

Load-bearing premise

The given definitions of B_n-generalized almost complex and pseudo-Hermitian structures correctly capture the natural analogues of the classical notions on odd exact Courant algebroids.

What would settle it

Exhibit an explicit B_n-generalized almost complex structure on a concrete odd exact Courant algebroid that is integrable according to the Courant bracket condition yet admits no adapted generalized connection.

read the original abstract

Odd exact Courant algebroids constitute a simple class of transitive Courant algebroids. Their underlying vector bundle is of odd rank and differs from a generalized tangent bundle by the addition of a line bundle. In this article we study natural analogues of almost complex and almost pseudo-Hermitian structures on such Courant algebroids, which are called B_n-generalized almost complex/pseudo-Hermitian structures. The corresponding integrable structures are known as B_n-generalized complex structures and B_n-generalized pseudo-K\"{a}hler structures, respectively. We characterize the integrability of B_n-generalized almost complex/pseudo-Hermitian structures on odd exact Courant algebroids in terms of existence of adapted generalized connections. We describe the affine spaces of adapted generalized connections for such integrable generalized structures.

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 paper introduces B_n-generalized almost complex and almost pseudo-Hermitian structures as natural analogues on odd exact Courant algebroids (transitive Courant algebroids whose underlying bundle has odd rank and is augmented by a line bundle). It proves that these structures are integrable (yielding B_n-generalized complex or pseudo-Kähler structures) if and only if there exist adapted generalized connections, and explicitly describes the affine spaces of all such adapted connections.

Significance. The characterization supplies a concrete, connection-theoretic criterion for integrability in this setting, extending standard methods from generalized complex geometry to the odd exact case. The explicit description of the affine spaces of adapted connections is a useful byproduct that clarifies the moduli of choices once integrability holds.

minor comments (3)
  1. [§2.3] §2.3, definition of adapted generalized connection: the precise compatibility condition with the B_n-structure (e.g., preservation of the eigenbundles or the metric) should be stated as an explicit equation rather than left implicit in the surrounding text.
  2. [Theorem 4.2] Theorem 4.2 (or the main characterization theorem): the proof sketch that existence of an adapted connection implies vanishing of the Nijenhuis tensor could be expanded by one paragraph to indicate where the torsion-free condition is used.
  3. [§1–2] The notation for the line-bundle summand in the odd exact Courant algebroid is introduced without a dedicated symbol; adding a consistent symbol (e.g., L or E_1) would improve readability in later sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the clear summary of its contributions, and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; characterization theorem is self-contained

full rationale

The paper establishes a characterization of integrability for B_n-generalized almost complex and pseudo-Hermitian structures on odd exact Courant algebroids via the existence of adapted generalized connections, with an explicit description of the corresponding affine spaces. This equivalence is derived from the standard definitions of Courant algebroids, generalized connections, and the B_n-structures as direct analogues in the given geometric setting. No step reduces by construction to a fitted input, self-referential definition, or load-bearing self-citation; the central claim rests on independent external frameworks in generalized geometry rather than internal renaming or ansatz smuggling. The derivation chain is therefore self-contained against the paper's own stated assumptions and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard background definitions of Courant algebroids, generalized connections, and the B_n-generalized structures as analogues; no free parameters or invented entities are visible in the abstract.

axioms (1)
  • domain assumption Odd exact Courant algebroids are transitive Courant algebroids whose underlying vector bundle has odd rank and differs from a generalized tangent bundle by addition of a line bundle.
    Invoked in the first sentence of the abstract as the setting for the structures.

pith-pipeline@v0.9.0 · 5670 in / 1332 out tokens · 63501 ms · 2026-05-20T00:06:13.030049+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.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    Baraglia, P

    D. Baraglia, P. Hekmati:Transitive Courant algebroids, String struc- tures andT-duality, Adv. Theor. Math. Physics19(3) (2015), 613-672

    work page 2015

  2. [2]

    Z. Chen, M. Sti´ enon, P. Xu:On regular Courant algebroids, J. Symplec- tic Geometry11(1) (2013), 1-24

    work page 2013

  3. [3]

    Cort´ es, L

    V. Cort´ es, L. David:Generalized connections, spinors and integrability of generalized structures on Courant algebroids, Moscow Math. J.21(4) (2021), 695-736

    work page 2021

  4. [4]

    Cort´ es, L

    V. Cort´ es, L. David:T-duality for transitive Courant algebroids, J. Sym- plectic Geometry21(4) (2023), 775-856

    work page 2023

  5. [5]

    Cort´ es, L

    V. Cort´ es, L. David:Bn-generalized pseudo-K¨ ahler structures, J. Geom Analysis33:261 (2023), 43 pages

    work page 2023

  6. [6]

    Garcia-Fernandez:Ricci flow, Killing spinors andT-duality in gen- eralized geometry, Adv

    M. Garcia-Fernandez:Ricci flow, Killing spinors andT-duality in gen- eralized geometry, Adv. Math.350(2019), 1059-1108

    work page 2019

  7. [7]

    Gualtieri:Generalized complex geometry, Ph.D thesis, University of Oxford, 2004

    M. Gualtieri:Generalized complex geometry, Ph.D thesis, University of Oxford, 2004

    work page 2004

  8. [8]

    Leistner:On the classification of Lorentzian holonomy groups, J

    T. Leistner:On the classification of Lorentzian holonomy groups, J. Diff. Geom.76(2007), 423-484. 15

    work page 2007

  9. [9]

    Rubio:Generalized Geometry of typeB n, Ph.D Thesis, University of Oxford, 2015

    R. Rubio:Generalized Geometry of typeB n, Ph.D Thesis, University of Oxford, 2015. V. Cort´ es: vicente.cortes@math.uni-hamburg.de Department of Mathematics and Center for Mathematical Physics, Uni- versity of Hamburg, Bundesstrasse 55, D-20146, Hamburg, Germany. L. David: liana.david@imar.ro Institute of Mathematics ‘Simion Stoilow’ of the Romanian Acade...

    work page 2015