Poisson geometry of the moduli of local systems on smooth varieties

DOI10.4171/PRIMS/57-3-8MaRDI QIDQ824252zbMATH OpenOpenAlexFDO

Authors Bertrand Toën, Tony Pantev

Publication date 15 December 2021

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1809.03536

zbMATH Keywords

derived moduli stackslocal systemsshifted symplectic structures

Mathematics Subject Classification ID

Stacks and moduli problems (14D23) Families, moduli, classification: algebraic theory (14J10) Symplectic structures of moduli spaces (53D30)

Abstract: We study the moduli of G-local systems on smooth but not necessarily proper complex algebraic varieties. We show that, when suitably considered as derived algebraic stacks, they carry natural Poisson structures, generalizing the well known case of curves. We also construct symplectic leaves of this Poisson structure by fixing local monodromies at infinity, and show that a new feature, called strictness, appears as soon as the divisor at infinity has non-trivial crossings.

Review text

The authors examine the Poisson geometry of moduli spaces of local systems. Let \(X\) be a smooth complex variety of dimension \(d\) and \(G\) a reductive group. If \(X\) is curve than it is well-known that the moduli space of \(G\)-local systems on \(X\) carries a canonical Poisson structure, whose symplectic leaves are moduli of \(G\)-local systems whose monodromy at infinity is fixed (up to conjugacy). The authors give a natural extension of this result to the case of higher dimensions, however even the correct formulation now invariably involves derived geometry. If \(d > 1\) then the moduli space of \(G\)-local systems is naturally replaced by a derived moduli stack \(\mathrm{Loc}_G(X)\) of \(G\)-local systems (note that this takes into account the whole homotopy type of \(X\) as opposed to just the fundamental group). It follows from earlier results of the authors and their collaborators that for any compact oriented (real) manifold \(M\) there is a \((2 - \dim_{ \mathbb R} M)\)-shifted symplectic structure on \(\mathrm{Loc}_G(M)\) and thus a non-degenerate \((2 - \dim_{ \mathbb R} M)\)-shifted Poisson structure. In this new paper the authors show that if \(X\) is a smooth complex variety, not necessarily proper, \(\mathrm{Loc}_G(X)\) carries a canonical \((2-2d)\)-shifted Poission structure. They moreover describe some generalized symplectic leaves of the foliation if \(X\) admits a smooth compactification whose divisor at infinity is simple normal crossing with at most double intersections. Analogously to the case of curves these leaves are given by derived moduli of \(G\)-local system with fixed local monodromy at infinity as long as a technical condition the authors call `strictness' is satisfied. As the authors say this is a first step towards understanding moduli of local systems on higher dimensional open varieties, with nonproper generalizations of Simpson's nonabelian Hodge theory as a key long term motivation. The key ingredient in the proof is the restriction map to the boundary at infinity. Any smooth complex algebraic variety has well-defined boundary at infinity \(\partial X\) that is a compact manifold of real dimension \(2d-1\). Now \(\mathrm{Loc}_G(\partial G)\) has a shifted symplectic structure and by results of Calaque the restriction map is Lagrangian [\textit{D. Calaque}, Contemp. Math. 643, 1--23 (2015; Zbl 1349.14005)]. Then this induces the Poisson structure on \(\mathrm{Loc}_G(X)\) by \textit{V. Melani} and \textit{P. Safronov} [Sel. Math., New Ser. 24, No. 4, 3061--3118 (2018; Zbl 1461.14006); Sel. Math., New Ser. 24, No. 4, 3119--3173 (2018; Zbl 1440.14004)]. The characterization of symplectic leaves is more involved, already the notion of `fixing the monodromy at infinity' is more complicated than in the 1-dimensional case. The paper includes useful discussions of algebraic descriptions of the moduli of \(G\)-local systems and of the boundary at infinity of a smooth complex variety. The special case that \(X\) is a curve is discussed in detail. The authors expect (but do not show) that in this case the 0-shifted symplectic structure they construct agrees with the one that is known from the literature.

Recommendations

• scientific article; zbMATH DE number 896246
• Poisson structures on moduli spaces of parabolic bundles on surfaces
• Shifted Poisson structures and moduli spaces of complexes
• Poisson structures on moduli spaces of sheaves over Poisson surfaces
• Comparison of Poisson structures on moduli spaces

Cites work

• A Lie algebra attached to a projective variety
• Berkovich spaces and tubular descent
• Derived algebraic geometry
• Derived coisotropic structures. I: Affine case
• Derived coisotropic structures. II: Stacks and quantization
• Derived representation schemes and cyclic homology
• Group cohomology and the symplectic structure on the moduli space of representations
• Group systems, groupoids, and moduli spaces of parabolic bundles
• Homotopical algebraic geometry. II. Geometric stacks and applications
• scientific article; zbMATH DE number 2131829 (Why is no real title available?)
• scientific article; zbMATH DE number 1341978 (Why is no real title available?)
• scientific article; zbMATH DE number 3264757 (Why is no real title available?)
• Koszul duality for Lie algebroids
• Lie group valued moment maps
• Mapping class group dynamics on surface group representations
• Poisson varieties from Riemann surfaces
• Principal nilpotent pairs in a semisimple Lie algebra. I
• Quasi-Hamiltonian reduction via classical Chern-Simons theory
• Shifted Poisson and symplectic structures on derived N-stacks
• Shifted Poisson structures and deformation quantization
• Shifted symplectic Lie algebroids
• Shifted symplectic structures
• Varieties of representations of finitely generated groups

Cited in

(8)

• Geometry and braiding of Stokes data; fission and wild character varieties
• Poisson geometry of monic matrix polynomials
• Global geometry on moduli of local systems for surfaces with boundary
• Representation homology of simply connected spaces
• Two-dimensional categorified Hall algebras
• Derived character maps of group representations
• Bosonization of Feigin-Odesskii Poisson varieties
• Calabi-Yau structures on topological Fukaya categories

This page was built for publication: Poisson geometry of the moduli of local systems on smooth varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q824252)