pith. machine review for the scientific record. sign in

arxiv: 2602.00550 · v2 · submitted 2026-01-31 · ✦ hep-th · math-ph· math.MP· math.SG

Recognition: 2 theorem links

· Lean Theorem

Gauged Courant sigma models

Noriaki Ikeda
Authors on Pith no claims yet

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

classification ✦ hep-th math-phmath.MPmath.SG
keywords gauged sigma modelsCourant algebroidsLie algebroidsAKSZ modelsgauge symmetriesfluxesboundariestopological sigma models
0
0 comments X

The pith

Gauged Courant sigma models extend standard Courant models by adding gauge symmetries from Lie groups and algebroids, with consistency from flatness conditions.

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

The paper proposes a new class of sigma models called gauged Courant sigma models. These are built by adding gauge symmetries associated with a Lie group, a Lie groupoid or algebroid, and a Courant algebroid to the target space of Courant sigma models. This creates gauged models of AKSZ type. Consistency comes from geometric identities on the algebroids, where curvatures and torsions act as flatness conditions. The models are further examined in settings that include fluxes and boundaries.

Core claim

We propose gauged Courant sigma models by extending Courant sigma models with additional gauge symmetries from a Lie group, a Lie groupoid or Lie algebroid, and a Courant algebroid on the target space. These become gauged sigma models of AKSZ type. The consistency of the theory is ensured by identities among geometric quantities on Lie algebroids and Courant algebroids, such as curvatures and torsions, which can be interpreted as flatness conditions on the target space. We also analyze geometric structures of these models in the presence of fluxes and boundaries.

What carries the argument

The addition of gauge symmetries from Lie groups, groupoids, and Courant algebroids to Courant sigma models, preserving the AKSZ structure through curvature and torsion flatness conditions.

If this is right

  • The theory remains consistent when including fluxes on the target space.
  • Geometric structures can be analyzed for models with boundaries.
  • New gauged versions of AKSZ sigma models are obtained for target spaces with Lie algebroid structures.
  • The approach systematically incorporates gauge symmetries while relying on algebroid geometry.

Where Pith is reading between the lines

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

  • This could provide a route to constructing new topological field theories with additional symmetries.
  • Connections might exist to generalized geometry used in string theory for flux compactifications.
  • Testing with concrete examples of specific algebroids and groups would confirm the general consistency conditions.

Load-bearing premise

The additional gauge symmetries linked to Lie groups, groupoids, and Courant algebroids can be introduced while keeping the AKSZ-type structure intact, with consistency guaranteed by the geometric identities.

What would settle it

An explicit example of a Lie algebroid and gauge group where the curvature or torsion does not satisfy the flatness condition, resulting in an inconsistent gauged sigma model.

read the original abstract

We propose a new class of sigma models based on Courant sigma models. We refer to these models as gauged Courant sigma models (GCSMs). By introducing additional gauge symmetries, such as those associated with a Lie group, a Lie groupoid (or Lie algebroid), and a Courant algebroid on the target space, Courant sigma models are extended to gauged sigma models of AKSZ type. The consistency of the theory is ensured by identities among geometric quantities on Lie algebroids and Courant algebroids, such as curvatures and torsions, which can be interpreted as flatness conditions on the target space. We also analyze geometric structures of GCSMs in the presence of fluxes and boundaries.

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

2 major / 3 minor

Summary. The paper proposes gauged Courant sigma models (GCSMs) obtained by extending standard Courant sigma models through the addition of gauge symmetries associated with Lie groups, Lie groupoids/Lie algebroids, and Courant algebroids on the target space. The resulting theories are formulated as AKSZ-type sigma models whose consistency follows from standard geometric identities (curvatures and torsions) reinterpreted as flatness conditions on the target. The manuscript further examines the geometric structures of these models in the presence of fluxes and boundaries.

Significance. If the central construction is correct, the work supplies a systematic gauging procedure for Courant sigma models that preserves the AKSZ framework while incorporating algebroid gauge symmetries. This could provide a useful bridge between topological field theories, generalized geometry, and higher-gauge structures, with the reuse of existing curvature/torsion identities as a strength that avoids new obstructions.

major comments (2)
  1. [Section 3] Section 3 (construction of the gauged action): the claim that the additional gauge symmetries preserve the AKSZ master equation relies on the flatness conditions; an explicit computation verifying that the BRST operator remains nilpotent after gauging (including the contribution of the new gauge fields) is needed to confirm there are no hidden obstructions.
  2. [Section 4] Section 4 (boundary terms): the analysis of boundary conditions states that the geometric identities ensure consistency, but the manuscript does not show how the boundary variation vanishes when the flatness conditions are imposed; a short calculation demonstrating cancellation of the boundary terms would make the claim load-bearing.
minor comments (3)
  1. [Section 2] Notation for the various algebroid structures (e.g., the anchor map and the Courant bracket) is introduced without a consolidated table; adding one would improve readability.
  2. [Introduction] The abstract and introduction both refer to 'fluxes' without specifying whether these are H-flux, F-flux, or generalized fluxes; a brief clarification in the introduction would help.
  3. [Section 2.3] Several equations in the geometric identities section contain repeated indices without explicit summation convention; adding a short remark on Einstein summation would remove ambiguity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments, as well as the recommendation for minor revision. We address the two major comments point by point below and will incorporate the requested explicit calculations into the revised manuscript.

read point-by-point responses

  1. Referee: [Section 3] Section 3 (construction of the gauged action): the claim that the additional gauge symmetries preserve the AKSZ master equation relies on the flatness conditions; an explicit computation verifying that the BRST operator remains nilpotent after gauging (including the contribution of the new gauge fields) is needed to confirm there are no hidden obstructions.

    Authors: We agree that an explicit verification strengthens the presentation. The manuscript establishes preservation of the AKSZ master equation via the flatness conditions on target-space curvatures and torsions, which ensure closure of the gauge transformations in the standard AKSZ framework. To address the comment directly, we will add an explicit computation of the BRST operator nilpotency (including contributions from the new gauge fields) as a dedicated paragraph or subsection in Section 3 of the revised version. revision: yes

  2. Referee: [Section 4] Section 4 (boundary terms): the analysis of boundary conditions states that the geometric identities ensure consistency, but the manuscript does not show how the boundary variation vanishes when the flatness conditions are imposed; a short calculation demonstrating cancellation of the boundary terms would make the claim load-bearing.

    Authors: We concur that an explicit demonstration improves clarity. The manuscript invokes the geometric identities (curvatures and torsions reinterpreted as flatness conditions) to guarantee that boundary variations cancel, but we acknowledge the absence of the intermediate steps. In the revised manuscript we will insert a short calculation in Section 4 that explicitly shows the cancellation of the boundary terms once the flatness conditions are imposed. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper extends Courant sigma models by adding gauge symmetries associated with Lie groups, groupoids, and Courant algebroids while preserving AKSZ structure. Consistency is derived from standard, pre-existing identities (curvatures and torsions) on Lie algebroids and Courant algebroids, reinterpreted as target-space flatness conditions. These geometric facts are imported from independent prior literature on algebroid geometry rather than being defined in terms of the new GCSM action or boundary terms. No equation reduces a claimed prediction to a fitted input by construction, no uniqueness theorem is smuggled via self-citation, and the central construction does not rename or self-define its own inputs. The derivation remains self-contained against external algebroid benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that geometric identities (curvatures, torsions) on Lie algebroids and Courant algebroids translate directly into flatness conditions that guarantee consistency of the gauged AKSZ models; no free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption Identities among curvatures and torsions on Lie algebroids and Courant algebroids can be interpreted as flatness conditions ensuring consistency of the gauged theory
    Explicitly stated in the abstract as the mechanism that ensures consistency when additional gauge symmetries are introduced.

pith-pipeline@v0.9.0 · 5415 in / 1318 out tokens · 57448 ms · 2026-05-16T09:16:16.663607+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

52 extracted references · 52 canonical work pages · 24 internal anchors

  1. [1]

    Chern-Simons Gauge Theory coupled with BF Theory

    N. Ikeda,Chern-Simons gauge theory coupled with BF theory, Int. J. Mod. Phys. A18 (2003), 2689-2702 [arXiv:hep-th/0203043 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  2. [2]

    Topological Open Membranes

    C. Hofman and J. S. Park,Topological open membranes, hep-th/0209148

    work page internal anchor Pith review Pith/arXiv arXiv

  3. [3]

    AKSZ-BV Formalism and Courant Algebroid-induced Topological Field Theories

    D. Roytenberg,AKSZ-BV formalism and Courant algebroid-induced topological field theories, Lett. Math. Phys.79(2007) 143 [arXiv:hep-th/0608150]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  4. [4]

    Z.-J. Liu, A. Weinstein and P. Xu,Manin triples for Lie bialgebroids, J. Diff. Geom. 45 (1997), 547-574

    work page 1997

  5. [5]

    The Geometry of the Master Equation and Topological Quantum Field Theory

    M. Alexandrov, M. Kontsevich, A. Schwartz and O. Zaboronsky,The Geometry of the master equation and topological quantum field theory, Int. J. Mod. Phys. A12(1997) 1405 [arXiv:hep-th/9502010]

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  6. [6]

    Hamilton Lie algebroids over Dirac structures and sigma models

    N. Ikeda,Hamilton Lie algebroids over Dirac structures and sigma models, Differ. Geom. Appl.100(2025), 102277 [arXiv:2309.10996 [math.DG]]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  7. [7]

    Two-Dimensional Gravity and Nonlinear Gauge Theory

    N. Ikeda,Two-dimensional gravity and nonlinear gauge theory, Annals Phys.235(1994) 435 [arXiv:hep-th/9312059]

    work page internal anchor Pith review Pith/arXiv arXiv 1994

  8. [8]

    Poisson Structure Induced (Topological) Field Theories

    P. Schaller and T. Strobl,Poisson structure induced (topological) field theories, Mod. Phys. Lett. A9(1994) 3129 [arXiv:hep-th/9405110]

    work page internal anchor Pith review Pith/arXiv arXiv 1994

  9. [9]

    Dirac Sigma Models

    A. Kotov, P. Schaller and T. Strobl,Dirac sigma models, Commun. Math. Phys.260(2005), 455-480 [arXiv:hep-th/0411112 [hep-th]]. – 44 –

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  10. [10]

    Blohmann, and A

    C. Blohmann, and A. Weinstein,Hamiltonian Lie algebroids, Mem. Am. Math. Soc. 295, v+99 pp., Providence, RI: American Mathematical Society (AMS) 2024, [arXiv:1811.11109 [math.SG]]

    work page arXiv 2024

  11. [11]

    Blohmann, S

    C. Blohmann, S. Ronchi, A. Weinstein,Hamiltonian Lie algebroids over Poisson manifolds, [arXiv:2304.03503 [math.SG]]

    work page arXiv

  12. [12]

    Gauging the Poisson sigma model

    R. Zucchini,Gauging the Poisson sigma model, JHEP05(2008), 018 [arXiv:0801.0655 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  13. [13]

    A. S. Cattaneo, F. Schätz,Introduction to supergeometry, [arXiv:1011.3401 [math-ph]]

    work page arXiv

  14. [14]

    N. Ikeda,Lectures on AKSZ Sigma Models for Physicists, Noncommutative Geometry and Physics 4, Workshop on Strings, Membranes and Topological Field Theory: 79-169, 2017, World scientific, Singapore [arXiv:1204.3714 [hep-th]]

    work page arXiv 2017

  15. [15]

    Cueca, A

    M. Cueca, A. Maglio and F. Valencia,Lecture notes on the symplectic geometry of graded manifolds and higher Lie groupoids, [arXiv:2510.09448 [math.SG]]

    work page arXiv

  16. [16]

    Li-Bland and P

    D. Li-Bland and P. Ševera,Integration of exact Courant algebroids, Electron. Res. Announc. Math. Sci. 19 (2012), 58–76

    work page 2012

  17. [17]

    R. A. Mehta and X. Tang.From double Lie groupoids to local Lie 2-groupoids. Bull. Braz. Math. Soc. (N.S.), 42 (2011) 651-681

    work page 2011

  18. [18]

    R. A. Mehta and X. Tang,Symplectic structures on the integration of exact Courant algebroids, J. Geom. Phys. 127 (2018), 68–83

    work page 2018

  19. [19]

    Lie rackoids integrating Courant algebroids

    C. Laurent-Gengoux and F .Wagemann,Lie rackoids integrating Courant algebroids, In: Ann. Global Anal. Geom. 57 (2020) 225-256. arXiv: 1807.05891

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  20. [20]

    Roytenberg,Courant algebroids, derived brackets and even symplecticsupermanifolds, math.DG/9910078

    D. Roytenberg,Courant algebroids, derived brackets and even symplecticsupermanifolds, math.DG/9910078

    work page arXiv

  21. [21]

    I. A. Batalin and G. A. Vilkovisky,Gauge Algebra And Quantization, Phys. Lett. B102 (1981) 27

    work page 1981

  22. [22]

    I. A. Batalin and G. A. Vilkovisky,Quantization Of Gauge Theories With Linearly Dependent Generators, Phys. Rev. D28(1983) 2567, [Erratum-ibid. D30(1984) 508]

    work page 1983

  23. [23]

    AKSZ construction from reduction data

    F. Bonechi, A. Cabrera and M. Zabzine,AKSZ construction from reduction data, JHEP07 (2012), 068 [arXiv:1204.2453 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  24. [24]

    Bonechi, A

    F. Bonechi, A. S. Cattaneo, J. Qiu and M. Zabzine,Equivariant Batalin–Vilkovisky formalism, J. Geom. Phys.154(2020), 103720 [arXiv:1907.07995 [hep-th]]

    work page arXiv 2020

  25. [25]

    Grigoriev and D

    M. Grigoriev and D. Rudinsky,Weak Gauge PDEs, SIGMA21(2025), 096 [arXiv:2408.08287 [hep-th]]

    work page arXiv 2025

  26. [26]

    T-duality, Generalized Geometry and Non-Geometric Backgrounds

    M. Grana, R. Minasian, M. Petrini and D. Waldram,T-duality, Generalized Geometry and Non-Geometric Backgrounds, JHEP04(2009), 075 doi:10.1088/1126-6708/2009/04/075 [arXiv:0807.4527 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/2009/04/075 2009

  27. [27]

    M. A. Heller, N. Ikeda and S. Watamura,Unified picture of non-geometric fluxes and T-duality in double field theory via graded symplectic manifolds, JHEP02(2017), 078 doi:10.1007/JHEP02(2017)078 [arXiv:1611.08346 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep02(2017)078 2017

  28. [28]

    Homotopy moment maps

    M. Callies, Y. Frégier, C. L. Rogers and M. Zambon,Homotopy moment maps, Adv. Math. 303(2016), 954-1043 doi:10.1016/j.aim.2016.08.012 [arXiv:1304.2051 [math.DG]]. – 45 –

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2016.08.012 2016

  29. [29]

    Hirota and N

    Y. Hirota and N. Ikeda,Homotopy momentum sections on multisymplectic manifolds, J. Geom. Phys.182(2022), 104667 doi:10.1016/j.geomphys.2022.104667 [arXiv:2110.12305 [math.SG]]

    work page doi:10.1016/j.geomphys.2022.104667 2022

  30. [30]

    Double Field Theory and Membrane Sigma-Models

    A. Chatzistavrakidis, L. Jonke, F. S. Khoo and R. J. Szabo,Double Field Theory and Membrane Sigma-Models, JHEP07(2018), 015 doi:10.1007/JHEP07(2018)015 [arXiv:1802.07003 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep07(2018)015 2018

  31. [31]

    DFT in supermanifold formulation and group manifold as background geometry

    U. Carow-Watamura, N. Ikeda, T. Kaneko and S. Watamura,DFT in supermanifold formulation and group manifold as background geometry, JHEP04(2019), 002 [arXiv:1812.03464 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  32. [32]

    Reduction of Courant algebroids and generalized complex structures

    H. Bursztyn, G. R. Cavalcanti and M. Gualtieri,Reduction of Courant algebroids and generalized complex structures, Advances in Mathematics,211(2007) 726-765, arXiv:math/0509640 [math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  33. [33]

    Bursztyn, G

    H. Bursztyn, G. R. Cavalcanti and M. Gualtieri,Generalized Kähler and hyper-Kähler quotients, inPoisson geometry in mathematics and physics, 61–77, Contemp. Math., 450, Amer. Math. Soc., Providence, RI, ; MR2397619

    work page

  34. [34]

    Bursztyn, D

    H. Bursztyn, D. Iglesias Ponte and P. Ševera,Courant morphisms and moment maps, Mathematical Research Letters 16 (2009) 215–232

    work page 2009

  35. [35]

    Bursztyn, A

    H. Bursztyn, A. S. Cattaneo, R. A. Mehta and M. Zambon,Graded geometry and generalized reduction, [arXiv:2306.01508 [math.SG]]

    work page arXiv

  36. [36]

    WZW-Poisson manifolds

    C. Klimcik and T. Strobl,WZW-Poisson manifolds, J. Geom. Phys.43(2002) 341 [arXiv:math/0104189]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  37. [37]

    J. S. Park,Topological open p-branes, in: Symplectic Geometry and Mirror Symmetry, eds. K. Fukaya, Y.-G. Oh, K. Ono and G. Tian (World Scientific, 2001) 311-384 hep-th/0012141

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  38. [38]

    Poisson geometry with a 3-form background

    P. Ševera and A. Weinstein,Poisson geometry with a 3 form background, Prog. Theor. Phys. Suppl.144(2001), 145-154 [arXiv:math/0107133 [math.SG]]

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  39. [39]

    Mackenzie,Lie groupoids and Lie algebroids in differential geometry, LMS Lecture Note Series124, Cambridge U

    K. Mackenzie,Lie groupoids and Lie algebroids in differential geometry, LMS Lecture Note Series124, Cambridge U. Press, 1987

    work page 1987

  40. [40]

    J. P. Dufour and N. T. Zung,Poisson Structures and their normal forms, Birkhauser, Progress in Mathematics, 242 (2005)

    work page 2005

  41. [41]

    C. A. Abad, M. Crainic,Representations up to homotopy of Lie algebroids, J. Reine Angew. Math. 663 (2012), 91-126, arXiv:0901.0319 [math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  42. [42]

    Crainic, R

    M. Crainic, R. L. Fernandes,Lectures on integrability of Lie brackets. Geometry and Topology Monographs 17 (2011) 1-107, Geom. Topol. Publ., Coventry

    work page 2011

  43. [43]

    A. D. Blaom.Geometric structures as deformed infinitesimal symmetries, Trans. Amer. Math. Soc.358(2006) 3651. arXiv:math/0404313 [math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  44. [44]

    Branes on Poisson varieties

    M. Gualtieri,Branes on Poisson varieties,The many facets of geometry, 368–394, Oxford Univ. Press, Oxford, ; MR2681704, [arXiv:0710.2719 [math.DG]]

    work page internal anchor Pith review Pith/arXiv arXiv

  45. [45]

    M. Jotz. Lean,Dorfman connections and Courant algebroids, J. Math. Pures Appl. (9)116 (2018), 1–39

    work page 2018

  46. [46]

    Cueca and R

    M. Cueca and R. A. Mehta,Courant cohomology, Cartan calculus, connections, curvature, characteristic classes, Commun. Math. Phys.381(2021) no.3, 1091-1113 doi:10.1007/s00220-020-03894-y [arXiv:1911.05898 [math-ph]]. – 46 –

    work page doi:10.1007/s00220-020-03894-y 2021

  47. [47]

    Chatzistavrakidis, N

    A. Chatzistavrakidis, N. Ikeda and L. Jonke,Geometric BV for twisted Courant sigma models and the BRST power finesse, JHEP07(2024), 115 doi:10.1007/JHEP07(2024)115 [arXiv:2401.00425 [hep-th]]

    work page doi:10.1007/jhep07(2024)115 2024

  48. [48]

    Chatzistavrakidis, C

    A. Chatzistavrakidis, C. Hull, L. Jonke, and S. Lavou, to be published

    work page

  49. [49]

    Chatzistavrakidis and L

    A. Chatzistavrakidis and L. Jonke,Basic curvature & the Atiyah cocycle in gauge theory, J. Phys. A57(2024) no.46, 465401 doi:10.1088/1751-8121/ad88c0 [arXiv:2302.04956 [hep-th]]

    work page doi:10.1088/1751-8121/ad88c0 2024

  50. [50]

    Vaintrob,Lie algebroids and homological vector fields, Uspekhi Mat

    A. Vaintrob,Lie algebroids and homological vector fields, Uspekhi Mat. Nauk,52/2314 (1997) 161

    work page 1997

  51. [51]

    A. S. Cattaneo and G. Felder,On the AKSZ formulation of the Poisson sigma model, Lett. Math. Phys.56, 163 (2001) [arXiv:math/0102108]

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  52. [52]

    Ikeda,Q-manifolds and sigma models, Geometric Methods in Physics XLI, Workshop, Białystok, Poland, 2024 (2025), 119-140, Springer book series, trends in mathematics – 47 –

    N. Ikeda,Q-manifolds and sigma models, Geometric Methods in Physics XLI, Workshop, Białystok, Poland, 2024 (2025), 119-140, Springer book series, trends in mathematics – 47 –

    work page 2024