arxiv: 2604.27081 · v1 · submitted 2026-04-29 · 🧮 math.DG · math.SG

Recognition: unknown

Symplectic structure on the character varieties of Sasakian threefolds

Indranil Biswas , Ambar N. Sengupta

Authors on Pith no claims yet

Pith reviewed 2026-05-07 08:32 UTC · model grok-4.3

classification 🧮 math.DG math.SG

keywords Sasakian threefoldcharacter varietysymplectic formSL(r,C) representationsSU(r) representationsclosed 2-formirreducible homomorphisms

0 comments

The pith

Compact Sasakian threefolds induce a closed algebraic 2-form on their SL(r,C) character varieties whose restriction to SU(r) representations is symplectic.

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

For any compact Sasakian threefold M the paper builds a natural algebraic 2-form on the space of irreducible representations of its fundamental group into SL(r, complex numbers). The form is shown to be closed on this entire character variety. Its restriction to the subspace of irreducible representations into the special unitary group SU(r) is proved to be a symplectic form. This links the contact geometry of the threefold directly to the symplectic geometry of its representation spaces for any rank r.

Core claim

For a compact Sasakian threefold M, a natural algebraic 2-form is constructed on the irreducible SL(r, C)-character variety R of M. This 2-form is shown to be closed. Its restriction to the space of irreducible homomorphisms to SU(r) is symplectic.

What carries the argument

The natural algebraic 2-form on the irreducible SL(r,C)-character variety R constructed from the Sasakian structure of the threefold M.

If this is right

The SL(r,C) character variety of M carries a closed algebraic 2-form.
The irreducible SU(r) character variety of M carries a symplectic structure.
The construction applies uniformly to any compact Sasakian threefold and any positive integer r.
The 2-form arises directly from the Sasakian geometry without additional choices.

Where Pith is reading between the lines

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

The symplectic form may be used to define invariants of the representation space that are sensitive to the Sasakian geometry of M.
Analogous constructions could be attempted on character varieties of manifolds equipped with other geometric structures such as contact or CR structures.
The closed 2-form on the complex character variety might interact with the algebraic geometry of the variety in ways that produce new cohomology classes.

Load-bearing premise

A natural algebraic 2-form on the character variety can be constructed from the Sasakian structure of M and is closed.

What would settle it

An explicit computation of the 2-form for a concrete Sasakian threefold such as the standard 3-sphere, checking whether the form fails to be closed on the SL(r,C) variety or fails to be nondegenerate on the SU(r) part.

read the original abstract

Take a compact Sasakian threefold $M$ and consider the associated irreducible $\text{SL}(r,{\mathbb C})$-character variety ${\mathcal R} := \text{Hom}(\pi_1(M, x_0), \text{SL}(r, {\mathbb C}))^{ir}/ \text{SL}(r, {\mathbb C})$ of $M$, where $\text{Hom}(\pi_1(M, x_0), \text{SL}(r, {\mathbb C}))^{ir}$ is the space of irreducible homomorphisms. We first construct a natural algebraic $2$-form on $\mathcal R$. Then it is shown that this $2$--form is closed. Finally we show that the restriction of this $2$--form to $\text{Hom}(\pi_1(M, x_0), \text{SU}(r))^{ir}$ is symplectic.

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

The paper gives a direct construction of a closed algebraic 2-form on the SL(r,C) character variety of a compact Sasakian threefold and proves the restriction to the irreducible SU(r) locus is symplectic.

read the letter

The core result is a natural 2-form on the irreducible SL(r,C)-character variety R of a compact Sasakian threefold M, built from the transverse Kähler structure on the adjoint bundle. They show the form is closed using flatness of the connections, then verify that its restriction to the SU(r) representations is symplectic via the positive pairing from the Sasakian metric. The steps in sections 3 and 4 line up without gaps or circular moves, and the stress-test confirms the non-degeneracy argument holds under the stated hypotheses. That is the concrete advance: an explicit symplectic structure tied to the Sasakian geometry rather than a general abstract existence claim. The construction is algebraic where it needs to be and uses the manifold's transverse structure in a straightforward way, which is the part that works cleanly. The main limitation is scope. The result is specific to Sasakian threefolds, so it does not immediately extend to arbitrary 3-manifolds or higher-dimensional cases, and the paper does not spend much time comparing the form to other known symplectic structures on character varieties such as Goldman's. That keeps the impact contained but does not break the central argument. The paper is aimed at people working on moduli of representations or Sasakian geometry. A reader already interested in symplectic forms on representation spaces will find the explicit construction useful and checkable. It is worth sending to peer review because the claims are grounded in verifiable steps and the evidence in the manuscript supports them.

Referee Report

0 major / 3 minor

Summary. The paper takes a compact Sasakian threefold M and constructs a natural algebraic 2-form on the associated irreducible SL(r, ℂ)-character variety R = Hom(π₁(M, x₀), SL(r, ℂ))^{ir} / SL(r, ℂ). It proves that this 2-form is closed and that its restriction to the irreducible SU(r)-character variety is symplectic.

Significance. If the result holds, this provides a symplectic structure on character varieties of Sasakian threefolds induced naturally from the geometry. The construction in §3 uses the transverse Kähler structure on the adjoint bundle to define the 2-form. Closedness is shown in §4 via the flatness of the connections and the property d(dα)=0. Non-degeneracy on the SU(r) locus follows from the positive-definite pairing induced by the Sasakian metric. This is a solid contribution to the interface between Sasakian geometry and representation varieties, with explicit derivations that support the central claims.

minor comments (3)

[Introduction] The space R is defined using the irreducible homomorphisms, but a brief explanation of why the quotient is taken by SL(r, ℂ) and how irreducibility is preserved would help readers new to the area.
[§4] The argument for closedness references the flatness of connections; explicitly stating the relevant differential form α and its properties in this section would enhance clarity.
Consider including a short discussion on the dependence of the 2-form on the choice of Sasakian structure or its invariance properties.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation of minor revision. The report accurately captures the main contributions: the construction of a natural algebraic 2-form on the irreducible SL(r,ℂ)-character variety of a compact Sasakian threefold, the proof of its closedness, and the verification that its restriction to the irreducible SU(r)-character variety is symplectic. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper constructs a natural algebraic 2-form on the character variety R directly from the transverse Kähler structure induced by the Sasakian metric on the adjoint bundle (as described in the construction steps). Closedness is verified using the flatness of the connections and the standard identity d(dα)=0, which are external differential-form properties independent of the target result. Non-degeneracy on the SU(r) locus follows from the positive-definite pairing supplied by the Sasakian metric itself. No equation reduces to a self-definition, no fitted parameter is relabeled as a prediction, and no load-bearing step relies on a self-citation chain or imported uniqueness theorem. The derivation is therefore self-contained against external geometric facts and does not collapse to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities are explicitly stated or derivable.

pith-pipeline@v0.9.0 · 5460 in / 938 out tokens · 37407 ms · 2026-05-07T08:32:30.441420+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

38 extracted references · 1 canonical work pages

[1]

M. F. Atiyah and R. Bott, The Yang-Mills equations over Riemann surfaces, Philos. Trans. Roy. Soc. London 308 (1983), 523--615

1983
[2]

Biswas and H

I. Biswas and H. Kasuya, Higgs bundles and flat connections over compact Sasakian manifolds, Comm. Math. Phy. 385 (2021), 267--290

2021
[3]

Biswas and M

I. Biswas and M. Mj, Higgs bundles on Sasakian manifolds. Inter. Math. Res. Not. (2018), 3490--3506

2018
[4]

Biswas and G

I. Biswas and G. Schumacher, Vector bundles on Sasakian manifolds, Adv. Theo. Math. Phy. 14 (2010), 541--561

2010
[5]

C. P. Boyer and K. Galicki, Sasakian geometry, Oxford Mathematical Monographs. Oxford University Press, Oxford, 2008

2008
[6]

D. S. Fine, Quantum Yang–Mills on a Riemann surface, Comm. Math. Phy. 140 (1991), 321--338

1991
[7]

D. S. Fine, Topological sectors and measures on moduli space in quantum Yang–Mills on a Riemann surface, Jour. Math. Phy. 37 (1996), 1161--1170

1996
[8]

Forman, Small volume limits of 2-d Yang–Mills, Comm

R. Forman, Small volume limits of 2-d Yang–Mills, Comm. Math. Phy. 151 (1993), 39--52

1993
[9]

J. P. Gauntlett, D. Martelli, J. Sparks and S.-T. Yau, Obstructions to the existence of Sasaki-Einstein metrics, Comm. Math. Phys. 273 (2007), 803--827

2007
[10]

W. M. Goldman, The symplectic nature of fundamental groups of surfaces, Adv. in Math. 54 (1984), 200--225

1984
[11]

Huebschmann, Poisson geometry of flat connections for SU(2) -bundles on surfaces, Math

J. Huebschmann, Poisson geometry of flat connections for SU(2) -bundles on surfaces, Math. Zeit. 221 (1996), 243--259

1996
[12]

Jeffrey and J

L. Jeffrey and J. Weitsman, Symplectic geometry of the moduli space of flat connections on a Riemann surface: inductive decompositions and vanishing theorems, Canadian Jour. Math. 52 (2000), 582--612

2000
[13]

Kasuya, Non-abelian Hodge correspondence and moduli spaces of flat bundles on Sasakian manifolds with fixed basic structures, preprint, arXiv:2410.19281

H. Kasuya, Non-abelian Hodge correspondence and moduli spaces of flat bundles on Sasakian manifolds with fixed basic structures, preprint, arXiv:2410.19281

work page arXiv
[14]

King and A

C. King and A. N. Sengupta, An explicit description of the symplectic structure of moduli spaces of flat connections, Jour. Math. Phy. (Special Issue on Topology and Physics) 35 (1994), 5338--5353

1994
[15]

King and A

C. King and A. N. Sengupta, The semiclassical limit of the two dimensional quantum Yang–Mills model, Jour. Math. Phy. (Special Issue on Topology and Physics) 35 (1994), 5354--5361

1994
[16]

King and A

C. King and A. N. Sengupta, A new 2-form for connections on surfaces with boundary, Lett. Math. Phy. 34 (1995), 135--147

1995
[17]

King and A

C. King and A. N. Sengupta, A symplectic structure for connections on surfaces with boundary, Comm. Math. Phy. 175 (1996), 657--671

1996
[18]

L\'evy, Yang–Mills Measure on Compact Surfaces, Memoirs of the American Mathematical Society 166 , no

T. L\'evy, Yang–Mills Measure on Compact Surfaces, Memoirs of the American Mathematical Society 166 , no. 790, 2003

2003
[19]

L\'evy, Two-dimensional Markovian holonomy fields, Ast\'erisque, vol

T. L\'evy, Two-dimensional Markovian holonomy fields, Ast\'erisque, vol. 329, 2010

2010
[20]

Liu, Heat kernel and moduli space, Math

K. Liu, Heat kernel and moduli space, Math. Res. Lett. (1996), 743--762

1996
[21]

Maldacena, The large N limit of superconformal field theories and supergravity, Adv

J. Maldacena, The large N limit of superconformal field theories and supergravity, Adv. Theor. Math. Phys. 2 (1998), 231--252

1998
[22]

Martelli and J

D. Martelli and J. Sparks, Notes on toric Sasaki-Einstein seven-manifolds and AdS4/CFT3, J. High Energy Phys. 2008, no. 11, 016, 26 pp

2008
[23]

Martelli, J

D. Martelli, J. Sparks and S.-T. Yau, Sasaki-Einstein manifolds and volume minimisation, Comm. Math. Phys. 280 (2008), 611--673

2008
[24]

Ornea and M

L. Ornea and M. Verbitsky, Sasakian structures on CR-manifolds, Geom. Dedicata 125 (2007), 159--173

2007
[25]

Rukimbira, Chern-Hamilton's conjecture and K-contactness, Houston Jour

P. Rukimbira, Chern-Hamilton's conjecture and K-contactness, Houston Jour. Math. 21 (1995), 709--718

1995
[26]

A. N. Sengupta, Quantum gauge theory on compact surfaces, Ann. of Phy. 221 (1993), 17--52

1993
[27]

A. N. Sengupta, Gauge theory on compact surfaces, Memoirs of the American Mathematical Society, vol. 126, no. 600, 1997

1997
[28]

A. N. Sengupta, Quantum Yang--Mills theory on compact surfaces, in Stochastic Analysis and Applications in Physics, ed. A. I. Cardoso et al., NATO ASI Series, Kluwer Academic Publishers, 1994

1994
[29]

A. N. Sengupta, The semiclassical limit of SU(2) and SO(3) gauge theory over the torus, Comm. Math. Phy. 169 (1995), 297--314

1995
[30]

A. N. Sengupta, The moduli space of Yang–Mills connections over compact surfaces, Rev. Math. Phy. 9 (1997), 77--121

1997
[31]

A. N. Sengupta, Yang–Mills on surfaces with boundary: quantum theory and symplectic limit, Comm. Math. Phy. 183 (1997), 661--706

1997
[32]

A. N. Sengupta, The moduli space of flat connections on oriented surfaces with boundary, Jour. Funct. Anal. 190 (2002), 179--232

2002
[33]

A. N. Sengupta, The volume measure for flat connections as limit of the Yang--Mills measure, Jour. Geom. Phy. 47 (2003), 398--426

2003
[34]

Sparks, New results in Sasaki-Einstein geometry, Progr

J. Sparks, New results in Sasaki-Einstein geometry, Progr. Math., 271, Birkh\"auser Boston, Inc., Boston, MA, 2009, 161--184

2009
[35]

Sparks, Sasaki-Einstein geometry, Adv

J. Sparks, Sasaki-Einstein geometry, Adv. Lect. Math. (ALM) , 18 International Press, Somerville, MA, 2011, 319--328

2011
[36]

Sparks, Sasaki-Einstein manifolds, Surv

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

2011
[37]

Witten, On quantum gauge theories in two dimensions, Comm

E. Witten, On quantum gauge theories in two dimensions, Comm. Math. Phy. 141 (1991), 153--209

1991
[38]

Witten, Two-dimensional gauge theories revisited, Jour

E. Witten, Two-dimensional gauge theories revisited, Jour. Geom. Phy. 9 (1992), 303--368

1992