The Langlands formula and perverse sheaves
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916503082762240 |
|---|---|
| author | Kapranov, Mikhail Schechtman, Vadim Schiffmann, Olivier Yuan, Jiangfan |
| author_facet | Kapranov, Mikhail Schechtman, Vadim Schiffmann, Olivier Yuan, Jiangfan |
| contents | For a complex reductive Lie algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$ and Weyl group $W$ we consider the category $\text{Perv}(W \backslash \mathfrak{h})$ of perverse sheaves on $W \backslash \mathfrak{h}$ smooth w.r.t. the natural stratification. We construct a category $\boldsymbol{\mathcal{C}}$ such that $\text{Perv}(W\backslash \mathfrak{h})$ is identified with the category of functors from $\boldsymbol{\mathcal{C}}$ to vector spaces. Objects of $\boldsymbol{\mathcal{C}}$ are labelled by standard parabolic subalgebras in $\mathfrak{g}$. It has morphisms analogous to the operations of parabolic induction (Eisenstein series) and restriction (constant term) of automorphic forms. In particular, the Langlands formula for the constant term of an Eisenstein series has a counterpart in the form of an identity in $\boldsymbol{\mathcal{C}}$. We define $\boldsymbol{\mathcal{C}}$ as the category of $W$-invariants (in an appropriate sense) in the category $Q$ describing perverse sheaves on $\mathfrak{h}$ smooth w.r.t. the root arrangement. This matches, in an interesting way, the definition of $W \backslash \mathfrak{h}$ itself as the spectrum of the algebra of $W$-invariants. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_01638 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Langlands formula and perverse sheaves Kapranov, Mikhail Schechtman, Vadim Schiffmann, Olivier Yuan, Jiangfan Representation Theory Algebraic Geometry Category Theory For a complex reductive Lie algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$ and Weyl group $W$ we consider the category $\text{Perv}(W \backslash \mathfrak{h})$ of perverse sheaves on $W \backslash \mathfrak{h}$ smooth w.r.t. the natural stratification. We construct a category $\boldsymbol{\mathcal{C}}$ such that $\text{Perv}(W\backslash \mathfrak{h})$ is identified with the category of functors from $\boldsymbol{\mathcal{C}}$ to vector spaces. Objects of $\boldsymbol{\mathcal{C}}$ are labelled by standard parabolic subalgebras in $\mathfrak{g}$. It has morphisms analogous to the operations of parabolic induction (Eisenstein series) and restriction (constant term) of automorphic forms. In particular, the Langlands formula for the constant term of an Eisenstein series has a counterpart in the form of an identity in $\boldsymbol{\mathcal{C}}$. We define $\boldsymbol{\mathcal{C}}$ as the category of $W$-invariants (in an appropriate sense) in the category $Q$ describing perverse sheaves on $\mathfrak{h}$ smooth w.r.t. the root arrangement. This matches, in an interesting way, the definition of $W \backslash \mathfrak{h}$ itself as the spectrum of the algebra of $W$-invariants. |
| title | The Langlands formula and perverse sheaves |
| topic | Representation Theory Algebraic Geometry Category Theory |
| url | https://arxiv.org/abs/2412.01638 |