skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: The Jordan–Chevalley decomposition for 𝐺-bundles on elliptic curves
We study the moduli stack of degree 0 0 semistable G G -bundles on an irreducible curve E E of arithmetic genus 1 1 , where G G is a connected reductive group in arbitrary characteristic. Our main result describes a partition of this stack indexed by a certain family of connected reductive subgroups H H of G G (the E E -pseudo-Levi subgroups), where each stratum is computed in terms of H H -bundles together with the action of the relative Weyl group. We show that this result is equivalent to a Jordan–Chevalley theorem for such bundles equipped with a framing at a fixed basepoint. In the case where E E has a single cusp (respectively, node), this gives a new proof of the Jordan–Chevalley theorem for the Lie algebra g \mathfrak {g} (respectively, algebraic group G G ). We also provide a Tannakian description of these moduli stacks and use it to show that if E E is not a supersingular elliptic curve, the moduli of framed unipotent bundles on E E are equivariantly isomorphic to the unipotent cone in G G . Finally, we classify the E E -pseudo-Levi subgroups using the Borel–de Siebenthal algorithm, and compute some explicit examples.  more » « less
Award ID(s):
2202363
PAR ID:
10415288
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Representation Theory of the American Mathematical Society
Volume:
26
Issue:
39
ISSN:
1088-4165
Page Range / eLocation ID:
1268 to 1323
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We consider a special class of unipotent periods for automorphic forms on a finite cover of a reductive adelic group $$\mathbf {G}(\mathbb {A}_\mathbb {K})$$ G ( A K ) , which we refer to as Fourier coefficients associated to the data of a ‘Whittaker pair’. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal elements for the quasi-order are ‘Levi-distinguished’ Fourier coefficients, which correspond to taking the constant term along the unipotent radical of a parabolic subgroup, and then further taking a Fourier coefficient with respect to a $${\mathbb K}$$ K -distinguished nilpotent orbit in the Levi quotient. Thus one can express any Fourier coefficient, including the form itself, in terms of higher Levi-distinguished coefficients. In companion papers we use this result to determine explicit Fourier expansions of minimal and next-to-minimal automorphic forms on split simply-laced reductive groups, and to obtain Euler product decompositions of certain Fourier coefficients. 
    more » « less
  2. Abstract We study Hecke operators associated with curves over a non-archimedean local field $$K$$ and over the rings $$O/\mathfrak{m}^{N}$$, where $$O\subset K$$ is the ring of integers. Our main result is commutativity of a certain “small” local Hecke algebra over $$O/\mathfrak{m}^{N}$$, associated with a connected split reductive group $$G$$ such that $[G,G]$ is simply connected. The proof uses a Hecke algebra associated with $$G(K(\!(t)\!))$$ and a global argument involving $$G$$-bundles on curves. 
    more » « less
  3. For a simple, simply connected, complex group G, we prove an explicit formula to compute the Atiyah class of parabolic determinant of cohomology line bundle on the moduli space of parabolic G-bundles. This generalizes an earlier result of Beilinson-Schechtman. 
    more » « less
  4. Let $$G$$ be a semisimple simply connected complex algebraic group. Let $$U$$ be the unipotent radical of a Borel subgroup in $$G$$. We describe the coordinate rings of $$U$$ (resp., $G/U$, $$G$$) in terms of two (resp., four, eight) birational charts introduced by Lusztig [Total positivity in reductive groups, Birkhäuser Boston, Boston, MA, 1994; Bull. Inst. Math. Sin. (N.S.) 14 (2019), pp. 403–459] in connection with the study of total positivity. 
    more » « less
  5. Let G G be a reductive group, and let X X be a smooth quasi-projective complex variety. We prove that any G G -irreducible, G G -cohomologically rigid local system on X X with finite order abelianization and quasi-unipotent local monodromies is integral. This generalizes work of Esnault and Groechenig [Selecta Math. (N. S. ) 24 (2018), pp. 4279–4292; Acta Math. 225 (2020), pp. 103–158] when G = G L n G= \mathrm {GL}_n , and it answers positively a conjecture of Simpson [Inst. Hautes Études Sci. Publ. Math. 75 (1992), pp. 5–95; Inst. Hautes Études Sci. Publ. Math. 80 (1994), pp. 5–79] for G G -cohomologically rigid local systems. Along the way we show that the connected component of the Zariski-closure of the monodromy group of any such local system is semisimple; this moreover holds when we relax cohomological rigidity to rigidity. 
    more » « less