G-equivariance of formal models of flag varieties

DOI10.4171/RSMUP/104MaRDI QIDQ6082477zbMATH OpenOpenAlexFDO

Authors Andrés Sarrazola Alzate

Publication date 6 November 2023

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

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

zbMATH Keywords

admissible locally analytic representationsBeilinson-Bernstein correspondenceflag varietiesformal modelslocalization

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Group actions on varieties or schemes (quotients) (14L30) Representations of Lie and linear algebraic groups over local fields (22E50) Sheaves of differential operators and their modules, (D)-modules (32C38)

Abstract: Let $mathbbG$ be a split connected reductive group scheme over the ring of integers $mathfrako$ of a finite extension $L|mathbb{Q}_p$ and $lambdainX(mathbbT)$ an algebraic character of a split maximal torus $mathbbTsubseteqmathbbG$. Let us also consider $X^{extrig}$ the rigid analytic flag variety of $mathbbG$ and $G=mathbbG(L)$. In the first part of this paper, we introduce a family of $lambda$-twisted differential operators on a formal model $mathfrakY$ of $X^{extrig}$. We compute their global sections and we prove coherence together with several cohomological properties. In the second part, we define the category of coadmissible $G$-equivariant arithmetic $mathcalD(lambda)$-modules over the family of formal models of the rigid flag variety $X^{extrig}$. We show that if $lambda$ is such that $lambda+ho$ is dominant and regular ($ho$ being the Weyl character), then the preceding category is anti-equivalent to the category of admissible locally analytic $G$-representations, with central character $lambda$. In particular, we generalize the results of Huyghe-Patel-Strauch-Schmidt for algebraic characters (cf. [25] in the text).

Review text

Summary: Let \(\mathbb{G}\) be a split connected reductive group scheme over the ring of integers \(\mathfrak{o}\) of a finite extension \(L|\mathbb{Q}_p\) and \(\lambda\in X(\mathbb{T})\) an algebraic character of a split maximal torus \(\mathbb{T}\subseteq\mathbb{G}\). Let us also consider the rigid analytic flag variety \(X^{\mathrm{rig}}\) of \(\mathbb{G}\) and \(G=\mathbb{G}(L)\). In the first part of this paper, we introduce a family of \(\lambda\)-twisted differential operators on a formal model \(\mathcal{Y}\) of \(X^{\mathrm{rig}}\). We compute their global sections and we prove coherence together with several cohomological properties. In the second part, we define the category of coadmissible \(G\)-equivariant arithmetic \(\mathcal{D}(\lambda)\)-modules over the family of formal models of the rigid flag variety \(X^{\mathrm{rig}}\). We show that if \(\lambda\) is such that \(\lambda + \rho\) is dominant and regular \((\rho\) being the Weyl character), then the preceding category is anti-equivalent to the category of admissible locally analytic \(G\)-representations, with central character \(\lambda\). In particular, we generalize the main results from a paper by Huyghe, Patel, Schmidt and Strauch (2019) for algebraic characters.

Recommendations

• \(\mathscr{D}^{\dagger}\)-affinity of formal models of flag varieties
• Equivariant \mathcal D-modules on rigid analytic spaces
• \(\mathcal{D}\)-arithmetic modules on the flag variety
• A Beilinson-Bernstein theorem for twisted arithmetic differential operators on the formal flag variety
• scientific article; zbMATH DE number 4156805

Cites work

• ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
• \(\mathcal{D}\)-arithmetic modules on the flag variety
• \(\mathscr{D}^{\dagger}\)-affinity of formal models of flag varieties
• \(D\)-modules, perverse sheaves, and representation theory. Translated from the Japanese by Kiyoshi Takeuchi
• Algebras of p-adic distributions and admissible representations
• Arithmetic structures for differential operators on formal schemes
• Distribution algebras and arithmetic \(\mathcal{D}\)-modules
• scientific article; zbMATH DE number 7034435 (Why is no real title available?)
• scientific article; zbMATH DE number 5282820 (Why is no real title available?)
• scientific article; zbMATH DE number 3747331 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1076972 (Why is no real title available?)
• scientific article; zbMATH DE number 1748084 (Why is no real title available?)
• scientific article; zbMATH DE number 1765814 (Why is no real title available?)
• scientific article; zbMATH DE number 1822312 (Why is no real title available?)
• Lectures on formal and rigid geometry
• Locally analytic distributions and \(p\)-adic representation theory, with applications to \(\text{GL}_{2}\)
• Locally analytic representations and sheaves on the Bruhat-Tits building
• Locally analytic representations of \(\mathrm{GL}(2,L)\) via semistable models of \(\mathbb{P}^1\)
• Locally analytic vectors in representations of locally \(p\)-adic analytic groups
• Noncommutative Noetherian rings. With the cooperation of L. W. Small.
• Notes on Crystalline Cohomology. (MN-21)
• Néron Models
• One-dimensional affine group schemes
• Primitive ideals in enveloping algebras
• Reductive groups over a local field
• Un théorème de Beilinson-Bernstein pour les $\mathcal{D}$-modules arithmétiques
• Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)

Cited in

(5)

• \(\mathscr{D}^{\dagger}\)-affinity of formal models of flag varieties
• G-stable pieces and partial flag varieties
• Existence of Equivariant Models of Spherical Varieties and OtherG-varieties
• Induction equivalence for equivariant 𝒟-modules on rigid analytic spaces
• A Beilinson-Bernstein theorem for twisted arithmetic differential operators on the formal flag variety

This page was built for publication: \(G\)-equivariance of formal models of flag varieties

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