Locally analytic $\rm{Ext}^1$ for $\rm{GL}_2(\mathbb{Q}_p)$ in de Rham non trianguline case

Yiwen Ding

2023-07-08

Abstract:We prove Breuil's conjecture on locally analytic $\rm{Ext}^1$ for $\rm{GL}_2(\mathbb{Q}_p)$ in de Rham non-trianguline case.

Number Theory,Representation Theory

What problem does this paper attempt to address?

Locally analytic vectors of some crystabelian representations of GL_2(Qp)

Ruochuan Liu

DOI: https://doi.org/10.1112/S0010437X11005525

2012-01-01

Compositio Mathematica

Abstract:For V a two-dimensional p-adic representation of G(Qp), we denote by B(V) the admissible unitary representation of GL(2)(Q(p)) attached to V under the p-adic local Langlands correspondence of GL(2)(Q(p)) initiated by Breuil. In this paper, building on the works of Berger-Breuil and Colmez, we determine the locally analytic vectors B(V)(an) of B(V) when V is irreducible, crystabelian and Frobenius semisimple with distinct Hodge-Tate weights; this proves a conjecture of Breuil. Using this result, we verify Emerton's conjecture that dim Ref(eta circle times psi)(V) = dim Exp(eta vertical bar.vertical bar circle times x psi)(B(V)(an) circle times (x vertical bar .vertical bar circle det)) for those V which are irreducible, crystabelian and Frobenius semisimple.
Towards the wall-crossing of locally $\mathbb{Q}_p$-analytic representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

Yiwen Ding

2024-04-09

Abstract:Let $K$ be a finite extension of $\mathbb{Q}_p$. We study the locally $\mathbb{Q}_p$-analytic representations $\pi$ of $\mathrm{GL}_n(K)$ of integral weights that appear in spaces of $p$-adic automorphic representations. We conjecture that the translation of $\pi$ to the singular block has an internal structure which is compatible with certain algebraic representations of $\mathrm{GL}_n$, analogously to the mod $p$ local-global compatibility conjecture of Breuil-Herzig-Hu-Morra-Schraen. We next make some conjectures and speculations on the wall-crossings of $\pi$. In particular, when $\pi$ is associated to a two dimensional de Rham Galois representation, we make conjectures and speculations on the relation between the Hodge filtrations of $\rho$ and the wall-crossings of $\pi$, which have a flavour of the Breuil-Strauch conjecture. We collect some results towards the conjectures and speculations.

Number Theory,Representation Theory
Locally analytic vectors, anticylotomic extensions and a conjecture of Kedlaya

Léo Poyeton

2024-12-04

Abstract:Let $K$ be a finite extension of $\mathbf{Q}_p$ and let $\mathcal{G}_K = \mathrm{Gal}(\overline{\mathbf{Q}_p}/K)$. Fontaine has constructed a useful classification of $p$-adic representations of $\mathcal{G}_K$ in terms of cyclotomic $(\varphi,\Gamma)$-modules. Lately, interest has risen around a generalization of the theory of $(\varphi,\Gamma)$-modules, replacing the cyclotomic extension with an arbitrary infinitely ramified $p$-adic Lie extension. Computations from Berger suggest that locally analytic vectors should provide such a generalization for any arbitrary infinitely ramified $p$-adic Lie extension, and this has been conjectured by Kedlaya. In this paper, we focus on the case of $\mathbf{Z}_p$-extensions, using recent work of Berger-Rozensztajn and Porat on an integral version of locally analytic vectors, and prove that Kedlaya's conjecture does not hold for anticyclotomic extensions. This also provide an example of an extension for which there is no overconvergent lift of its field of norms and for which there exist nontrivial higher locally analytic vectors

Number Theory
Locally Analytic Vectors Of Unitary Principal Series Of Gl(2)(Q(P))

Ruochuan Liu,Bingyong Xie,Yuancao Zhang

2012-01-01

Abstract:The p-adic local Lane lands correspondence for GL(2)(Q(p)) attaches to any 2-dimensional irreducible p-adic representation V of G(Qp), an admissible unitary representation Pi(V) of GL(2)(Q(p)). The unitary principal series of GL(2)(Q(p)) are those Pi(V) corresponding to tritinguline representations. In this article, for p > 2, using the machinery of Colmez, we determine the space of locally analytic vectors Pi(V)(an) for all non-exceptional unitary principal series Pi(V) of GL(2)(Q(p)) by proving a conjecture of Emerton.
Locally cyclic extensions with Galois group $GL_2(p)$

Sara Arias-de-Reyna,Joachim König

2023-10-04

Abstract:Using Galois representations attached to elliptic curves, we construct Galois extensions of $\mathbb{Q}$ with group $GL_2(p)$ in which all decomposition groups are cyclic. This is the first such realization for all primes $p$.

Number Theory
Locally analytic vectors and decompletion in mixed characteristic

Gal Porat

2024-08-27

Abstract:In $p$-adic Hodge theory and the $p$-adic Langlands program, Banach spaces with $\mathbb{Q}_p$-coefficients and $p$-adic Lie group actions are central. Studying the subrepresentation of $\Gamma$-locally analytic vectors, $W^{\mathrm{la}}$, is useful because $W^{\mathrm{la}}$ can be analyzed via the Lie algebra $\mathrm{Lie}(\Gamma)$, which simplifies the action of $\Gamma$. Additionally, $W^{\mathrm{la}}$ often behaves as a decompletion of $W$, making it closer to an algebraic or geometric object. This article introduces a notion of locally analytic vectors for $W$ in a mixed characteristic setting, specifically for $\mathbb{Z}_p$-Tate algebras. This generalization encompasses the classical definition and also specializes to super-Hölder vectors in characteristic $p$. Using binomial expansions instead of Taylor series, this new definition bridges locally analytic vectors in characteristic $0$ and $p$. Our main theorem shows that under certain conditions, the map $W \mapsto W^{\mathrm{la}}$ acts as a descent, and the derived locally analytic vectors $\mathrm{R}_{\mathrm{la}}^i(W)$ vanish for $i \geq 1$. This result extends Theorem C of \cite{Po24}, providing new tools for propagating information about locally analytic vectors from characteristic $0$ to characteristic $p$. We provide three applications: a new proof of Berger-Rozensztajn's main result using characteristic $0$ methods, the introduction of an integral multivariable ring $\widetilde{\mathbf{A}}_{\mathrm{LT}}^{\dagger,\mathrm{la}}$ in the Lubin-Tate setting, and a novel interpretation of the classical Cohen ring ${\mathbf{A}}_{\mathbb{Q}_p}$ from the theory of $(\varphi,\Gamma)$-modules in terms of locally analytic vectors.

Number Theory
Locally analytic vectors and rings of periods

Léo Poyeton

2024-12-04

Abstract:In this paper, we try to extend Berger's and Colmez's point of view, using locally analytic vectors in order to generalize classical cyclotomic theory, in higher rings of periods. We also explain how the formalism of locally analytic vectors recovers the ring $\mathbf{B}_{Sen}$ of Colmez, and extends to Sen theory in the de Rham case, and to classical $(\varphi,\Gamma)$-modules theory. We explain what happens when we try to generalize constructions of $(\varphi,\Gamma)$-modules to arbitrary infinitely ramified $p$-adic Lie extensions, and provide a conjecture on the structure of the locally analytic vectors in the corresponding rings. We also highlight the fact that the situation should be very different, depending on wether the $p$-adic Lie extension ``contains a cyclotomic extension'' or not. Finally, we explain how some of these constructions may be related to the construction of a ring of trianguline periods.

Number Theory
Locally analytic vector bundles on the Fargues-Fontaine curve

Gal Porat

DOI: https://doi.org/10.2140/ant.2024.18.899

2024-06-27

Abstract:In this article, we develop a version of Sen theory for equivariant vector bundles on the Fargues-Fontaine curve. We show that every equivariant vector bundle canonically descends to a locally analytic vector bundle. A comparison with the theory of $(\varphi,\Gamma)$-modules in the cyclotomic case then recovers the Cherbonnier-Colmez decompletion theorem. Next, we focus on the subcategory of de Rham locally analytic vector bundles. Using the p-adic monodromy theorem, we show that each locally analytic vector bundle $\mathcal{E}$ has a canonical differential equation for which the space of solutions has full rank. As a consequence, $\mathcal{E}$ and its sheaf of solutions $\mathrm{Sol}(\mathcal{E})$ are in a natural correspondence, which gives a geometric interpretation of a result of Berger on $(\varphi,\Gamma)$-modules. In particular, if $V$ is a de Rham Galois representation, its associated filtered $(\varphi,N,G_{K})$-module is realized as the space of global solutions to the differential equation. A key to our approach is a vanishing result for the higher locally analytic vectors of representations satisfying the Tate-Sen formalism, which is also of independent interest.

Number Theory
Non-tempered Ext Branching Laws for the $p$-adic General Linear Group

Mohammed Saad Qadri

2024-12-03

Abstract:Let $F$ be a non-archimedean local field. Let $\pi_1$ and $\pi_2$ be irreducible Arthur type representations of $\mathrm{GL}_n(F)$ and $\mathrm{GL}_{n-1}(F)$ respectively. We study Ext branching laws when $\pi_1$ and $\pi_2$ are products of discrete series representations and their Aubert-Zelevinsky duals. We obtain an Ext analogue of the local non-tempered Gan-Gross-Prasad conjecture in this case.

Representation Theory
Change of weights for locally analytic representations of $\rm{GL}_2(\mathbb{Q}_p)$

Yiwen Ding

2023-07-10

Abstract:Let $D_1\subset D_2$ be $(\varphi, \Gamma)$-modules of rank $2$ over the Robba ring, and $\pi(D_1)$, $\pi(D_2)$ be the associated locally analytic representations of $\rm{GL}_2(\mathbb{Q}_p)$ via the $p$-adic local Langlands correspondence. We describe the relation between $\pi(D_1)$ and $\pi(D_2)$.

Number Theory,Representation Theory
Localized Gouvêa-Mazur conjecture

Rufei Ren

2024-03-31

Abstract:Gouvêa-Mazur [GM] made a conjecture on the local constancy of slopes of modular forms when the weight varies $p$-adically. Since one may decompose the space of modular forms according to associated residual Galois representations, the Gouvêa-Mazur conjecture makes sense for each such component. We prove the localized Gouvêa-Mazur conjecture when the residual Galois representation is irreducible and its restriction to $\textrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ is reducible and very generic.

Mathematics
On the Analytic Langlands Corrrespondence for $\operatorname{PGL}_2$ in Genus 0 with Wild Ramification

Daniil Klyuev,Atticus Wang

2023-12-02

Abstract:The analytic Langlands correspondence was developed by Etingof, Frenkel and Kazhdan in <a class="link-https" data-arxiv-id="1908.09677" href="https://arxiv.org/abs/1908.09677">arXiv:1908.09677</a>, <a class="link-https" data-arxiv-id="2103.01509" href="https://arxiv.org/abs/2103.01509">arXiv:2103.01509</a>, <a class="link-https" data-arxiv-id="2106.05243" href="https://arxiv.org/abs/2106.05243">arXiv:2106.05243</a>, <a class="link-https" data-arxiv-id="2311.03743" href="https://arxiv.org/abs/2311.03743">arXiv:2311.03743</a>. For a curve $X$ and a group $G$ over a local field $F$, in the tamely ramified setting one considers the variety $\operatorname{Bun}_G$ of stable $G$-bundles on $X$ with Borel reduction at a finite subset $S\subset X$ of points. On one side of this conjectural correspondence there are Hecke operators on $L^2(\operatorname{Bun}_G)$, the Hilbert space of square-integrable half-densities on $\operatorname{Bun}_G$; on the other side there are certain opers with regular singularities at $S$. In this paper we prove the main conjectures of analytic Langlands correspondence in the case $G = \operatorname{PGL}_2$, $X=\mathbb{P}^1_{\mathbb{C}}$ with wild ramification, i.e. when several points in $S$ are collided together.

Algebraic Geometry,Mathematical Physics,Functional Analysis,Representation Theory
Cohomologie de systèmes locaux $p$-adiques sur les revêtements du demi-plan de Drinfeld

Arnaud Vanhaecke

2024-08-30

Abstract:Colmez, Dospinescu and Niziol have shown that the only $p$-adic representations of $\rm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)$ appearing in the $p$-adic étale cohomology of the coverings of Drinfeld's half-plane are the $2$-dimensional cuspidal representations (i.e. potentially semi-stable, whose associated Weil-Deligne representation is irreducible) with Hodge-Tate weights $0$ and $1$ and their multiplicities are given by the $p$-adic Langlands correspondence. We generalise this result to arbitrary weights, by considering the $p$-adic étale cohomology with coefficients in the symmetric powers of the universal local system on Drinfeld's tower. A novelty is the appearance of potentially semistable $2$-dimensional non-cristabelian representations, with expected multiplicity. The key point is that the local systems we consider turn out to be particularly simple: they are "isotrivial opers" on a curve. We develop a recipe to compute the proétale cohomology of such a local system using the Hyodo-Kato cohomology of the curve and the de Rham complex of the flat filtered bundle associated to the local system.

Number Theory
Splitting and expliciting the de Rham complex of the Drinfeld space

Christophe Breuil,Zicheng Qian

2024-07-25

Abstract:Let $p$ be a prime number, $K$ a finite extension of $\mathbb{Q}_p$ and $n$ an integer $\geq 2$. We completely and explicitly describe the global sections $\Omega^\bullet$ of the de Rham complex of the Drinfeld space over $K$ in dimension $n-1$ as a complex of (duals of) locally $K$-analytic representations of $\mathrm{GL}_n(K)$. Using this description, we construct an explicit section in the derived category of (duals of) finite length admissible locally $K$-analytic representations of $\mathrm{GL}_n(K)$ to the canonical morphism of complexes $\Omega^\bullet \twoheadrightarrow H^{n-1}(\Omega^\bullet)[-(n-1)]$.

Number Theory,Representation Theory
Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$

Yingying Wang

DOI: https://doi.org/10.1007/s00209-024-03455-2

2024-03-15

Abstract:We give a description of the cohomology groups of the structure sheaf on smooth compactifications $\overline{X}(w)$ of Deligne--Lusztig varieties $X(w)$ for ${\rm GL}_n$, for all elements $w$ in the Weyl group. As a consequence, we obtain the ${\rm mod}\ p^m$ and integral $p$-adic étale cohomology of $\overline{X}(w)$. Moreover, using our result for $\overline{X}(w)$ and a spectral sequence associated to a stratification of $\overline{X}(w)$, we deduce the ${\rm mod}\ p^m$ and integral $p$-adic étale cohomology with compact support of $X(w)$. In our proof of the main theorem, in addition to considering the Demazure--Hansen smooth compactifications of $X(w)$, we show that a similar class of constructions provide smooth compactifications of $X(w)$ in the case of ${\rm GL}_n$. Furthermore, we show in the appendix that the Zariski closure of $X(w)$, for any connected reductive group $G$ and any $w$, has pseudo-rational singularities.

Algebraic Geometry,Representation Theory
Locally conjugate Galois sections

Wojciech Porowski

2023-12-13

Abstract:We consider sections of the étale homotopy exact sequence of a hyperbolic curve over a number field. We prove that two sections whose restrictions to decomposition groups are conjugate on a set of valuations of density one are globally conjugate, which establishes the local-global principle for the conjugacy classes of sections. In fact, we obtain this result as a corollary of a more general property concerning sections of the étale homotopy exact sequence, so-called finite covering property, which we prove as our main result.

Number Theory,Algebraic Geometry
On the GL(2n) eigenvariety: branching laws, Shalika families and $p$-adic $L$-functions

Daniel Barrera Salazar,Mladen Dimitrov,Andrew Graham,Andrei Jorza,Chris Williams

2024-10-31

Abstract:In this paper, we prove that a $\mathrm{GL}(2n)$-eigenvariety is étale over the (pure) weight space at non-critical Shalika points, and construct multi-variable $p$-adic $L$-functions varying over the resulting Shalika components. Our constructions hold in tame level 1 and Iwahori level at $p$, and give $p$-adic variation of $L$-values (of regular algebraic cuspidal automorphic representations of $\mathrm{GL}(2n)$ admitting Shalika models) over the whole pure weight space. In the case of $\mathrm{GL}(4)$, these results have been used by Loeffler and Zerbes to prove cases of the Bloch--Kato conjecture for $\mathrm{GSp}(4)$. Our main innovations are: (a) the introduction and systematic study of `Shalika refinements' of local representations of $\mathrm{GL}(2n)$, evaluating their attached local twisted zeta integrals; and (b) the $p$-adic interpolation of representation-theoretic branching laws for $\mathrm{GL}(n) \times \mathrm{GL}(n)$ inside $\mathrm{GL}(2n)$. Using (b), we give a construction of multi-variable $p$-adic functionals on the overconvergent cohomology groups for $\mathrm{GL}(2n)$, interpolating the zeta integrals of (a). We exploit the resulting non-vanishing of these functionals to prove our main arithmetic applications.

Number Theory
On the non-abelian Hodge locus I

Philip Engel,Salim Tayou

2023-05-02

Abstract:We partially resolve conjectures of Deligne and Simpson concerning $\mathbb Z$-local systems on quasi-projective varieties that underlie a polarized variation of Hodge structure. For local systems of "compact type", we prove (1) a relative form of Deligne's finiteness theorem, for any family of quasi-projective varieties, and (2) algebraicity of the corresponding non-abelian Hodge locus.

Algebraic Geometry,Geometric Topology
Companion points and locally analytic socle conjecture for Steinberg case

Yiqin He

2024-10-30

Abstract:In this paper, we will modify the Breuil-Hellmann-Schraen's (more generally, resp.,Breuil-Ding's) local model for the trianguline variety (resp.,Bernstein paraboline variety) to certain semistable (resp., potentially semistable) non-crystalline point with regular Hodge-Tate weights. Then we deduce several local-global compatibility results, including a classicality result, and the existence of expected companion points on the (definite) eigenvariety and locally analytic socle conjecture for certain semistable non-crystalline Galois representations (in other words, the so-called Steinberg case), under some wild hypothesis on on trianguline variety and the usual Taylor-Wiles assumptions.

Number Theory,Representation Theory
Two theorems on the vanishing of Ext

Olgur Celikbas,Souvik Dey,Toshinori Kobayashi,Hiroki Matsui,Arash Sadeghi

2023-10-08

Abstract:We prove two theorems on the vanishing of Ext over commutative Noetherian local rings. Our first theorem shows that there are no Burch ideals which are rigid over non-regular local domains. Our second theorem reformulates a conjecture of Huneke-Wiegand in terms of the vanishing of Ext, and highlights its relation with the celebrated Auslander-Reiten conjecture. We also discuss several consequences of our results, for example, about the rigidity of the Frobenius endomorphism in prime characteristic p and a generalization of a result of Araya.

Commutative Algebra

Locally analytic $\rm{Ext}^1$ for $\rm{GL}_2(\mathbb{Q}_p)$ in de Rham non trianguline case

Locally analytic vectors of some crystabelian representations of GL_2(Qp)

Towards the wall-crossing of locally $\mathbb{Q}_p$-analytic representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

Locally analytic vectors, anticylotomic extensions and a conjecture of Kedlaya

Locally Analytic Vectors Of Unitary Principal Series Of Gl(2)(Q(P))

Locally cyclic extensions with Galois group $GL_2(p)$

Locally analytic vectors and decompletion in mixed characteristic

Locally analytic vectors and rings of periods

Locally analytic vector bundles on the Fargues-Fontaine curve

Non-tempered Ext Branching Laws for the $p$-adic General Linear Group

Change of weights for locally analytic representations of $\rm{GL}_2(\mathbb{Q}_p)$

Localized Gouvêa-Mazur conjecture

On the Analytic Langlands Corrrespondence for $\operatorname{PGL}_2$ in Genus 0 with Wild Ramification

Cohomologie de systèmes locaux $p$-adiques sur les revêtements du demi-plan de Drinfeld

Splitting and expliciting the de Rham complex of the Drinfeld space

Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$

Locally conjugate Galois sections

On the GL(2n) eigenvariety: branching laws, Shalika families and $p$-adic $L$-functions

On the non-abelian Hodge locus I

Companion points and locally analytic socle conjecture for Steinberg case

Two theorems on the vanishing of Ext