pith. sign in

arxiv: 2601.05183 · v2 · submitted 2026-01-08 · 🧮 math.SG

An Explicit Construction of mathbb{S}¹-Gerbes over the Stack [G/G]

Dadi Ni , Kaichuan Qi This is my paper

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

classification 🧮 math.SG
keywords S1-gerbedifferentiable stack[G/G]Lie groupoidcentral extensionDixmier-Douady classequivariant cohomologyLie group
0
0 comments X

The pith

An explicit S¹-gerbe over the stack [G/G] is constructed via S¹-central extensions of Lie groupoids.

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

For compact connected Lie groups G, the paper gives an explicit construction of an S¹-gerbe over the differentiable stack [G/G]. The gerbe arises from an S¹-central extension of the Lie groupoid that presents the stack. This completes an earlier outline by Behrend-Xu-Zhang and includes a proof of a key differential form identity. When G is simple and simply connected, the Dixmier-Douady class of the gerbe generates the group H³_G(G, Z). A sympathetic reader would care because this supplies a concrete model for a gerbe on a stack that encodes important topological information about the group action.

Core claim

For a compact and connected Lie group G, we present an explicit construction of an S¹-gerbe over the differentiable stack [G/G] in the framework of S¹-central extensions of Lie groupoids. This gives a complete proof of the construction outlined earlier by Behrend-Xu-Zhang, together with an explicit proof of the differential-form identity stated there without proof. In particular, when G is compact, simple, and simply connected, the Dixmier-Douady class of the resulting gerbe is the canonical generator of H³_G(G, Z).

What carries the argument

The S¹-central extension of the Lie groupoid presenting the stack [G/G], which defines the gerbe and carries its Dixmier-Douady class.

Load-bearing premise

That the Behrend-Xu-Zhang outline is correct and the standard theory of S¹-central extensions of Lie groupoids applies directly without additional obstructions for compact connected G.

What would settle it

Direct computation of the Dixmier-Douady class of the constructed gerbe for a compact simple simply connected G that fails to equal the canonical generator of H³_G(G, Z).

read the original abstract

For a compact and connected Lie group $G$, we present an explicit construction of an $\mathbb{S}^1$-gerbe over the differentiable stack $[G/G]$ in the framework of $\mathbb{S}^1$-central extensions of Lie groupoids. This gives a complete proof of the construction outlined earlier by Behrend--Xu--Zhang, together with an explicit proof of the differential-form identity stated there without proof. In particular, when $G$ is compact, simple, and simply connected, the Dixmier--Douady class of the resulting gerbe is the canonical generator of ${\rm H}^3_G(G,\mathbb Z)$.

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 / 2 minor

Summary. The paper presents an explicit construction of an S^1-gerbe over the differentiable stack [G/G] for a compact connected Lie group G, realized as the gerbe associated to an S^1-central extension of the action groupoid G ⋉ G. It completes the outline of Behrend-Xu-Zhang by supplying the missing explicit data and a direct proof of the differential-form identity for the Dixmier-Douady class; when G is compact, simple and simply connected, this class is shown to be the canonical generator of H^3_G(G, Z).

Significance. If the explicit construction and the direct verification of the form identity hold, the work supplies a concrete, computable model for a fundamental gerbe in equivariant cohomology. This strengthens the dictionary between S^1-central extensions of Lie groupoids and gerbes over quotient stacks, and provides a reference object whose class can be evaluated on standard cycles without appeal to abstract existence theorems.

minor comments (2)
  1. [Introduction] The differential-form identity whose proof is supplied should be stated explicitly (as an equation) already in the introduction, rather than only referenced as 'the identity stated there without proof'.
  2. [Section 4] In the verification that the constructed 2-form and 3-form satisfy the cocycle condition on the groupoid, the normalization constants appearing in the explicit formulas should be tracked through the calculation to confirm they cancel without additional assumptions on G.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of our manuscript. We are pleased that the explicit construction of the S^1-gerbe via central extensions of the action groupoid, together with the direct verification of the differential-form identity for the Dixmier-Douady class, is viewed as strengthening the connection between S^1-central extensions and gerbes over quotient stacks. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper supplies an explicit S¹-central extension of the action groupoid G ⋉ G via concrete 2-form and 3-form data on the groupoid. The associated gerbe over [G/G] and its Dixmier-Douady class are obtained directly from these forms and by evaluating the resulting class on the standard 3-cycle. The differential-form identity is verified by direct computation on the explicit data rather than by reduction to any fitted parameter or prior outline. The reference to Behrend-Xu-Zhang is limited to noting that the present work completes their outline; no load-bearing step reduces to a self-citation or self-definition.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard Lie groupoid theory and the prior outline; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math Standard properties of differentiable stacks, Lie groupoids, and S^1-central extensions
    Invoked throughout the construction framework.

pith-pipeline@v0.9.0 · 5402 in / 1164 out tokens · 34463 ms · 2026-05-16T15:59:03.713531+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

26 extracted references · 26 canonical work pages

  1. [1]

    Alekseev, A

    A. Alekseev, A. Malkin, and E. Meinrenken,Lie group valued moment maps, J. Differ- ential Geom.48(1998), no. 3, 445–495. MR1638045

    work page 1998

  2. [2]

    Behrend and P

    K. Behrend and P. Xu,Differentiable stacks and gerbes, J. Symplectic Geom.9(2011), no. 3, 285–341. MR2817778

    work page 2011

  3. [3]

    Behrend, P

    K. Behrend, P. Xu, and B. Zhang,Equivariant gerbes over compact simple Lie groups, C. R. Math. Acad. Sci. Paris336(2003), no. 3, 251–256 (English, with English and French summaries). MR1968268

    work page 2003

  4. [4]

    J. L. Brylinski,Loop spaces, characteristic classes and geometric quantization, Modern Birkh¨ auser Classics, Birkh¨ auser Boston, Inc., Boston, MA, 2008. Reprint of the 1993 edition. MR2362847

    work page 2008

  5. [5]

    Bursztyn, M

    H. Bursztyn, M. Crainic, A. Weinstein, and C. Zhu,Integration of twisted Dirac brack- ets, Duke Math. J.123(2004), no. 3, 549–607. MR2068969 31

    work page 2004

  6. [6]

    A. L. Carey, M. K. Murray, and B. L. Wang,Higher bundle gerbes and cohomology classes in gauge theories, J. Geom. Phys.21(1997), no. 2, 183–197. MR1427865

    work page 1997

  7. [7]

    Crainic,Differentiable and algebroid cohomology, van Est isomorphisms, and char- acteristic classes, Comment

    M. Crainic,Differentiable and algebroid cohomology, van Est isomorphisms, and char- acteristic classes, Comment. Math. Helv.78(2003), no. 4, 681–721. MR2016690

    work page 2003

  8. [8]

    Crainic and R

    M. Crainic and R. L. Fernandes,Integrability of Lie brackets, Ann. of Math. (2)157 (2003), no. 2, 575–620. MR1973056

    work page 2003

  9. [9]

    Crainic, R

    M. Crainic, R. Fernandes, and I. M˘ arcut ¸,Lectures on Poisson geometry, Graduate Studies in Mathematics, vol. 217, American Mathematical Society, Providence, RI,

    work page

  10. [10]

    J. J. Duistermaat and J. A. C. Kolk,Lie groups, Universitext, Springer-Verlag, Berlin,

    work page

  11. [11]

    Gaw¸ edzki and N

    K. Gaw¸ edzki and N. Reis,Basic gerbe over non-simply connected compact groups, J. Geom. Phys.50(2004), no. 1-4, 28–55. MR2078218

    work page 2004

  12. [12]

    ,WZW branes and gerbes, Rev. Math. Phys.14(2002), no. 12, 1281–1334. MR1945806

    work page 2002

  13. [13]

    Giraud,Cohomologie non ab´ elienne, Die Grundlehren der mathematischen Wis- senschaften, Band 179, Springer-Verlag, Berlin-New York, 1971 (French)

    J. Giraud,Cohomologie non ab´ elienne, Die Grundlehren der mathematischen Wis- senschaften, Band 179, Springer-Verlag, Berlin-New York, 1971 (French). MR344253

    work page 1971

  14. [14]

    Ginot and M

    G. Ginot and M. Sti´ enon,G-gerbes, principal 2-group bundles and characteristic classes, J. Symplectic Geom.13(2015), no. 4, 1001–1047. MR3480061

    work page 2015

  15. [15]

    Hitchin,What is a gerbe?, Notices of the AMS50(2003), no

    N. Hitchin,What is a gerbe?, Notices of the AMS50(2003), no. 2, 218–219

    work page 2003

  16. [16]

    Krepski,Groupoid equivariant prequantization, Comm

    D. Krepski,Groupoid equivariant prequantization, Comm. Math. Phys.360(2018), no. 1, 169–195. MR3795190

    work page 2018

  17. [17]

    Lupercio and B

    E. Lupercio and B. Uribe,Gerbes over orbifolds and twistedK-theory, Comm. Math. Phys.245(2004), no. 3, 449–489. MR2045679

    work page 2004

  18. [18]

    Mackenzie,General theory of Lie groupoids and Lie algebroids, London Mathemati- cal Society Lecture Note Series, vol

    K. Mackenzie,General theory of Lie groupoids and Lie algebroids, London Mathemati- cal Society Lecture Note Series, vol. 213, Cambridge University Press, Cambridge, 2005. MR2157566

    work page 2005

  19. [19]

    Marsden, G

    J. Marsden, G. Misio lek, J. Ortega, M. Perlmutter, and T. Ratiu,Hamiltonian reduction by stages, Lecture Notes in Mathematics, vol. 1913, Springer, Berlin, 2007. MR2337886

    work page 1913

  20. [20]

    Meinrenken,The basic gerbe over a compact simple Lie group, Enseign

    E. Meinrenken,The basic gerbe over a compact simple Lie group, Enseign. Math. (2) 49(2003), no. 3-4, 307–333. MR2026898

    work page 2003

  21. [21]

    Meinrenken and C

    E. Meinrenken and C. Woodward,Hamiltonian loop group actions and Verlinde fac- torization., J. Differential Geom.6(1996), no. 2, 207–213. MR1424633

    work page 1996

  22. [22]

    M. K. Murray,Bundle gerbes, J. Lond. Math. Soc.6(1996), no. 2, 207–213. MR1424633

    work page 1996

  23. [23]

    Neeb,A note on central extensions of Lie groups, J

    K-H. Neeb,A note on central extensions of Lie groups, J. Lie Theory6(1996), no. 2, 207–213. MR1424633

    work page 1996

  24. [24]

    Pressley and G

    A. Pressley and G. Segal,Loop groups, Oxford Mathematical Monographs, The Claren- don Press, Oxford University Press, New York, 1986. Oxford Science Publications. MR900587

    work page 1986

  25. [25]

    Weinstein,Symplectic groupoids and Poisson manifolds, Bull

    A. Weinstein,Symplectic groupoids and Poisson manifolds, Bull. Amer. Math. Soc. (N.S.)16(1987), no. 1, 101–104. MR866024

    work page 1987

  26. [26]

    Xu,Momentum maps and Morita equivalence, J

    P. Xu,Momentum maps and Morita equivalence, J. Differential Geom.67(2004), no. 2, 289–333. MR2153080 32 School of Mathematics and Statistics, Henan University, China Email address:nidd@henu.edu.cn Department of Mathematics, Penn State University, USA Email address:kaichuan@psu.edu

    work page 2004