Showing 1–19 of 19 results for author: Caraiani, A

Recent progress on Langlands reciprocity for $\mathrm{GL}_n$: Shimura varieties and beyond

Authors: Ana Caraiani, Sug Woo Shin

Abstract: The goal of these lecture notes is to survey progress on the global Langlands reciprocity conjecture for $\mathrm{GL}_n$ over number fields from the last decade and a half. We highlight results and conjectures on Shimura varieties and more general locally symmetric spaces, with a view towards the Calegari-Geraghty method to prove modularity lifting theorems beyond the classical setting of Taylor-W… ▽ More The goal of these lecture notes is to survey progress on the global Langlands reciprocity conjecture for $\mathrm{GL}_n$ over number fields from the last decade and a half. We highlight results and conjectures on Shimura varieties and more general locally symmetric spaces, with a view towards the Calegari-Geraghty method to prove modularity lifting theorems beyond the classical setting of Taylor-Wiles. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Comments: 56 pages, to appear in the Proceedings of the 2022 IHES summer school on the Langlands program

On the modularity of elliptic curves over imaginary quadratic fields

Authors: Ana Caraiani, James Newton

Abstract: In this paper, we establish the modularity of every elliptic curve $E/F$, where $F$ runs over infinitely many imaginary quadratic fields, including $\mathbb{Q}(\sqrt{-d})$ for $d=1,2,3,5$. More precisely, let $F$ be imaginary quadratic and assume that the modular curve $X_0(15)$, which is an elliptic curve of rank $0$ over $\mathbb{Q}$, also has rank $0$ over $F$. Then we prove that all elliptic c… ▽ More In this paper, we establish the modularity of every elliptic curve $E/F$, where $F$ runs over infinitely many imaginary quadratic fields, including $\mathbb{Q}(\sqrt{-d})$ for $d=1,2,3,5$. More precisely, let $F$ be imaginary quadratic and assume that the modular curve $X_0(15)$, which is an elliptic curve of rank $0$ over $\mathbb{Q}$, also has rank $0$ over $F$. Then we prove that all elliptic curves over $F$ are modular. More generally, when $F/\mathbb{Q}$ is an imaginary CM field that does not contain a primitive fifth root of unity, we prove the modularity of elliptic curves $E/F$ under a technical assumption on the image of the representation of $\mathrm{Gal}(\overline{F}/F)$ on $E[3]$ or $E[5]$. The key new technical ingredient we use is a local-global compatibility theorem for the $p$-adic Galois representations associated to torsion in the cohomology of the relevant locally symmetric spaces. We establish this result in the crystalline case, under some technical assumptions, but allowing arbitrary dimension, arbitrarily large regular Hodge--Tate weights, and allowing $p$ to be small and highly ramified in the imaginary CM field $F$. △ Less

Submitted 29 September, 2023; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: Associated Magma files can be found at https://github.com/jjmnewton/modularity-iqf/. v2: minor updates

MSC Class: 11F33; 11F80

Local geometry of moduli stacks of two-dimensional Galois representations

Authors: Ana Caraiani, Matthew Emerton, Toby Gee, David Savitt

Abstract: We construct moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field, as well as their resolutions by moduli stacks of two-dimensional Breuil-Kisin modules with tame descent data. We study the local geometry of these moduli stacks by comparing them with local models of Shimura varieties at hyperspecial and Iwahori level. We construct moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field, as well as their resolutions by moduli stacks of two-dimensional Breuil-Kisin modules with tame descent data. We study the local geometry of these moduli stacks by comparing them with local models of Shimura varieties at hyperspecial and Iwahori level. △ Less

Submitted 22 July, 2022; originally announced July 2022.

Comments: To appear, Proceedings of the International Colloquium on 'Arithmetic Geometry', TIFR Mumbai, Jan. 6-10, 2020. Comprises portions of the unpublished arXiv:1908.07019. 55 pages

Components of moduli stacks of two-dimensional Galois representations

Authors: Ana Caraiani, Matthew Emerton, Toby Gee, David Savitt

Abstract: In a previous article we introduced various moduli stacks of two-dimensional tamely potentially Barsotti-Tate representations of the absolute Galois group of a p-adic local field, as well as related moduli stacks of Breuil-Kisin modules with descent data. We study the irreducible components of these stacks, establishing in particular that the components of the former are naturally indexed by certa… ▽ More In a previous article we introduced various moduli stacks of two-dimensional tamely potentially Barsotti-Tate representations of the absolute Galois group of a p-adic local field, as well as related moduli stacks of Breuil-Kisin modules with descent data. We study the irreducible components of these stacks, establishing in particular that the components of the former are naturally indexed by certain Serre weights. △ Less

Submitted 9 May, 2024; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: 71 pages. Comprises portions of the unpublished arXiv:1908.07019

Journal ref: Forum of Mathematics, Sigma 12 (2024) e31

The geometric Breuil-Mézard conjecture for two-dimensional potentially Barsotti-Tate Galois representations

Authors: Ana Caraiani, Matthew Emerton, Toby Gee, David Savitt

Abstract: We establish a geometrisation of the Breuil-Mézard conjecture for potentially Barsotti-Tate representations, as well as of the weight part of Serre's conjecture, for moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field. We establish a geometrisation of the Breuil-Mézard conjecture for potentially Barsotti-Tate representations, as well as of the weight part of Serre's conjecture, for moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field. △ Less

Submitted 9 May, 2024; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: To appear, Algebra & Number Theory. 25 pages. Comprises portions of the unpublished arXiv:1908.07019

On the étale cohomology of Hilbert modular varieties with torsion coefficients

Authors: Ana Caraiani, Matteo Tamiozzo

Abstract: We study the étale cohomology of Hilbert modular varieties, building on the methods introduced for unitary Shimura varieties in [CS17, CS19]. We obtain the analogous vanishing theorem: in the "generic" case, the cohomology with torsion coefficients is concentrated in the middle degree. We also probe the structure of the cohomology beyond the generic case, obtaining bounds on the range of degrees w… ▽ More We study the étale cohomology of Hilbert modular varieties, building on the methods introduced for unitary Shimura varieties in [CS17, CS19]. We obtain the analogous vanishing theorem: in the "generic" case, the cohomology with torsion coefficients is concentrated in the middle degree. We also probe the structure of the cohomology beyond the generic case, obtaining bounds on the range of degrees where cohomology with torsion coefficients can be non-zero. The proof is based on the geometric Jacquet--Langlands functoriality established by Tian--Xiao and avoids trace formula computations for the cohomology of Igusa varieties. As an application, we show that, when $p$ splits completely in the totally real field and under certain technical assumptions, the $p$-adic local Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$ occurs in the completed homology of Hilbert modular varieties. △ Less

Submitted 15 June, 2023; v1 submitted 21 July, 2021; originally announced July 2021.

Comments: Minor corrections; final version

Vanishing theorems for Shimura varieties at unipotent level

Authors: Ana Caraiani, Daniel R. Gulotta, Christian Johansson

Abstract: We show that the compactly supported cohomology of Shimura varieties of Hodge type of infinite $Γ_1(p^\infty)$-level (defined with respect to a Borel subgroup) vanishes above the middle degree, under the assumption that the group of the Shimura datum splits at $p$. This generalizes and strengthens the vanishing result proved in "Shimura varieties at level $Γ_1(p^\infty)$ and Galois representations… ▽ More We show that the compactly supported cohomology of Shimura varieties of Hodge type of infinite $Γ_1(p^\infty)$-level (defined with respect to a Borel subgroup) vanishes above the middle degree, under the assumption that the group of the Shimura datum splits at $p$. This generalizes and strengthens the vanishing result proved in "Shimura varieties at level $Γ_1(p^\infty)$ and Galois representations". As an application of this vanishing theorem, we prove a result on the codimensions of ordinary completed homology for the same groups, analogous to conjectures of Calegari--Emerton for completed (Borel--Moore) homology. △ Less

Submitted 5 July, 2021; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: 38 pages, minor revisions to improve exposition

On the generic part of the cohomology of non-compact unitary Shimura varieties

Authors: Ana Caraiani, Peter Scholze

Abstract: We prove that the generic part of the mod l cohomology of Shimura varieties associated to quasi-split unitary groups of even dimension is concentrated above the middle degree, extending our previous work to a non-compact case. The result applies even to Eisenstein cohomology classes coming from the locally symmetric space of the general linear group, and has been used in joint work with Allen, Cal… ▽ More We prove that the generic part of the mod l cohomology of Shimura varieties associated to quasi-split unitary groups of even dimension is concentrated above the middle degree, extending our previous work to a non-compact case. The result applies even to Eisenstein cohomology classes coming from the locally symmetric space of the general linear group, and has been used in joint work with Allen, Calegari, Gee, Helm, Le Hung, Newton, Taylor and Thorne to get good control on these classes and deduce potential automorphy theorems without any self-duality hypothesis. Our main geometric result is a computation of the fibers of the Hodge-Tate period map on compactified Shimura varieties, in terms of similarly compactified Igusa varieties. △ Less

Submitted 22 November, 2023; v1 submitted 4 September, 2019; originally announced September 2019.

Comments: 90 pages, accepted version

Moduli stacks of two-dimensional Galois representations

Authors: Ana Caraiani, Matthew Emerton, Toby Gee, David Savitt

Abstract: We construct moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field, and relate their geometry to the weight part of Serre's conjecture for GL(2). We construct moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field, and relate their geometry to the weight part of Serre's conjecture for GL(2). △ Less

Submitted 31 July, 2022; v1 submitted 19 August, 2019; originally announced August 2019.

Comments: 123 pages. Unpublished. Has been split into arXiv:2207.05235, arXiv:2207.14337, and arXiv:2207.05237 for publication

Potential automorphy over CM fields

Authors: Patrick B. Allen, Frank Calegari, Ana Caraiani, Toby Gee, David Helm, Bao V. Le Hung, James Newton, Peter Scholze, Richard Taylor, Jack A. Thorne

Abstract: Let $F$ be a CM number field. We prove modularity lifting theorems for regular $n$-dimensional Galois representations over $F$ without any self-duality condition. We deduce that all elliptic curves $E$ over $F$ are potentially modular, and furthermore satisfy the Sato--Tate conjecture. As an application of a different sort, we also prove the Ramanujan Conjecture for weight zero cuspidal automorphi… ▽ More Let $F$ be a CM number field. We prove modularity lifting theorems for regular $n$-dimensional Galois representations over $F$ without any self-duality condition. We deduce that all elliptic curves $E$ over $F$ are potentially modular, and furthermore satisfy the Sato--Tate conjecture. As an application of a different sort, we also prove the Ramanujan Conjecture for weight zero cuspidal automorphic representations for $\mathrm{GL}_2(\mathbf{A}_F)$. △ Less

Submitted 16 June, 2022; v1 submitted 24 December, 2018; originally announced December 2018.

Comments: A number of details have been included to address the concerns of the referees. The definition of decomposed generic (Def 4.3.1) has been weakened slightly to be in line with the current version of arxiv.longhoe.net/abs/1909.01898, resulting in a strengthening of a number of our theorems. This is the accepted version of the paper

MSC Class: 11F80; 11F55; 11F75; 11G18

Shimura varieties at level $Γ_1(p^\infty)$ and Galois representations

Authors: Ana Caraiani, Daniel R. Gulotta, Chi-Yun Hsu, Christian Johansson, Lucia Mocz, Emanuel Reinecke, Sheng-Chi Shih

Abstract: We show that the compactly supported cohomology of certain $\mathrm{U}(n,n)$ or $\mathrm{Sp}(2n)$-Shimura varieties with $Γ_1(p^\infty)$-level vanishes above the middle degree. The only assumption is that we work over a CM field $F$ in which the prime $p$ splits completely. We also give an application to Galois representations for torsion in the cohomology of the locally symmetric spaces for… ▽ More We show that the compactly supported cohomology of certain $\mathrm{U}(n,n)$ or $\mathrm{Sp}(2n)$-Shimura varieties with $Γ_1(p^\infty)$-level vanishes above the middle degree. The only assumption is that we work over a CM field $F$ in which the prime $p$ splits completely. We also give an application to Galois representations for torsion in the cohomology of the locally symmetric spaces for $\mathrm{GL}_n/F$. More precisely, we use the vanishing result for Shimura varieties to eliminate the nilpotent ideal in the construction of these Galois representations. This strengthens recent results of Scholze and Newton-Thorne. △ Less

Submitted 25 July, 2019; v1 submitted 31 March, 2018; originally announced April 2018.

Comments: v2: major revision to improve exposition, results are the same

Journal ref: Compositio Math. 156 (2020) 1152-1230

Patching and the p-adic Langlands program for GL(2, Q_p)

Authors: Ana Caraiani, Matthew Emerton, Toby Gee, David Geraghty, Vytautas Paskunas, Sug Woo Shin

Abstract: We present a new construction of the p-adic local Langlands correspondence for GL(2, Q_p) via the patching method of Taylor--Wiles and Kisin. This construction sheds light on the relationship between the various other approaches to both the local and global aspects of the p-adic Langlands program; in particular, it gives a new proof of many cases of the second author's local-global compatibility t… ▽ More We present a new construction of the p-adic local Langlands correspondence for GL(2, Q_p) via the patching method of Taylor--Wiles and Kisin. This construction sheds light on the relationship between the various other approaches to both the local and global aspects of the p-adic Langlands program; in particular, it gives a new proof of many cases of the second author's local-global compatibility theorem, and relaxes a hypothesis on the local mod p representation in that theorem. △ Less

Submitted 31 August, 2017; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: minor changes

Journal ref: Compositio Math. 154 (2018) 503-548

On the generic part of the cohomology of compact unitary Shimura varieties

Authors: Ana Caraiani, Peter Scholze

Abstract: The goal of this paper is to show that the cohomology of compact unitary Shimura varieties is concentrated in the middle degree and torsion-free, after localizing at a maximal ideal of the Hecke algebra satisfying a suitable genericity assumption. Along the way, we establish various foundational results on the geometry of the Hodge-Tate period map. In particular, we compare the fibres of the Hodge… ▽ More The goal of this paper is to show that the cohomology of compact unitary Shimura varieties is concentrated in the middle degree and torsion-free, after localizing at a maximal ideal of the Hecke algebra satisfying a suitable genericity assumption. Along the way, we establish various foundational results on the geometry of the Hodge-Tate period map. In particular, we compare the fibres of the Hodge-Tate period map with Igusa varieties. △ Less

Submitted 7 November, 2015; originally announced November 2015.

Comments: 96 pages

Kisin modules with descent data and parahoric local models

Authors: Ana Caraiani, Brandon Levin

Abstract: We construct a moduli space $Y^{μ, τ}$ of Kisin modules with tame descent datum $τ$ and with fixed $p$-adic Hodge type $\leq μ$, for some finite extension $K/\mathbb{Q}_p$. We show that this space is smoothly equivalent to the local model for $\mathrm{Res}_{K/\mathbb{Q}_p} \mathrm{GL}_n$, cocharacter $\{ μ\}$, and parahoric level structure. We use this to construct the analogue of Kottwitz-Rapopor… ▽ More We construct a moduli space $Y^{μ, τ}$ of Kisin modules with tame descent datum $τ$ and with fixed $p$-adic Hodge type $\leq μ$, for some finite extension $K/\mathbb{Q}_p$. We show that this space is smoothly equivalent to the local model for $\mathrm{Res}_{K/\mathbb{Q}_p} \mathrm{GL}_n$, cocharacter $\{ μ\}$, and parahoric level structure. We use this to construct the analogue of Kottwitz-Rapoport strata on the special fiber $Y^{μ, τ}$ indexed by the $μ$-admissible set. We also relate $Y^{μ, τ}$ to potentially crystalline Galois deformation rings. △ Less

Submitted 11 January, 2018; v1 submitted 26 October, 2015; originally announced October 2015.

Comments: 38 pages, final version, to appear in Ann. Sci. de l'ENS

p-adic q-expansion principles on unitary Shimura varieties

Authors: Ana Caraiani, Ellen Eischen, Jessica Fintzen, Elena Mantovan, Ila Varma

Abstract: We formulate and prove certain vanishing theorems for p-adic automorphic forms on unitary groups of arbitrary signature. The p-adic q-expansion principle for p-adic modular forms on the Igusa tower says that if the coefficients of (sufficiently many of) the q-expansions of a p-adic modular form f are zero, then f vanishes everywhere on the Igusa tower. There is no p-adic q-expansion principle for… ▽ More We formulate and prove certain vanishing theorems for p-adic automorphic forms on unitary groups of arbitrary signature. The p-adic q-expansion principle for p-adic modular forms on the Igusa tower says that if the coefficients of (sufficiently many of) the q-expansions of a p-adic modular form f are zero, then f vanishes everywhere on the Igusa tower. There is no p-adic q-expansion principle for unitary groups of arbitrary signature in the literature. By replacing q-expansions with Serre-Tate expansions (expansions in terms of Serre-Tate deformation coordinates) and replacing modular forms with automorphic forms on unitary groups of arbitrary signature, we prove an analogue of the p-adic q-expansion principle. More precisely, we show that if the coefficients of (sufficiently many of) the Serre-Tate expansions of a p-adic automorphic form f on the Igusa tower (over a unitary Shimura variety) are zero, then f vanishes identically on the Igusa tower. This paper also contains a substantial expository component. In particular, the expository component serves as a complement to Hida's extensive work on p-adic automorphic forms. △ Less

Submitted 10 December, 2015; v1 submitted 16 November, 2014; originally announced November 2014.

Comments: 36 pages, accepted for publication in Directions in Number Theory: Proceedings for the 2014 WIN3 workshop

Journal ref: Directions in Number Theory: Proceedings of the 2014 WIN3 Workshop. Springer International Publishing (2016), 197--243

On the image of complex conjugation in certain Galois representations

Authors: Ana Caraiani, Bao V. Le Hung

Abstract: We compute the image of any choice of complex conjugation on the Galois representations associated to regular algebraic cuspidal automorphic representations and to torsion classes in the cohomology of locally symmetric spaces for $GL_n$ over a totally real field $F$. We compute the image of any choice of complex conjugation on the Galois representations associated to regular algebraic cuspidal automorphic representations and to torsion classes in the cohomology of locally symmetric spaces for $GL_n$ over a totally real field $F$. △ Less

Submitted 7 September, 2014; originally announced September 2014.

Journal ref: Compositio Math. 152 (2016) 1476-1488

Patching and the p-adic local Langlands correspondence

Authors: Ana Caraiani, Matthew Emerton, Toby Gee, David Geraghty, Vytautas Paskunas, Sug Woo Shin

Abstract: We use the patching method of Taylor--Wiles and Kisin to construct a candidate for the p-adic local Langlands correspondence for GL_n(F), F a finite extension of Q_p. We use our construction to prove many new cases of the Breuil--Schneider conjecture. We use the patching method of Taylor--Wiles and Kisin to construct a candidate for the p-adic local Langlands correspondence for GL_n(F), F a finite extension of Q_p. We use our construction to prove many new cases of the Breuil--Schneider conjecture. △ Less

Submitted 1 July, 2016; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: Final version, to appear in Cambridge Journal of Mathematics

Monodromy and local-global compatibility for l=p

Authors: Ana Caraiani

Abstract: We strengthen the compatibility between local and global Langlands correspondences for GL_{n} when n is even and l=p. Let L be a CM field and Π a cuspidal automorphic representation of GL_{n}(\mathbb{A}_{L}) which is conjugate self-dual and regular algebraic. In this case, there is an l-adic Galois representation associated to Π, which is known to be compatible with local Langlands in almost all c… ▽ More We strengthen the compatibility between local and global Langlands correspondences for GL_{n} when n is even and l=p. Let L be a CM field and Π a cuspidal automorphic representation of GL_{n}(\mathbb{A}_{L}) which is conjugate self-dual and regular algebraic. In this case, there is an l-adic Galois representation associated to Π, which is known to be compatible with local Langlands in almost all cases when l=p by recent work of Barnet-Lamb, Gee, Geraghty and Taylor. The compatibility was proved only up to semisimplification unless Π has Shin-regular weight. We extend the compatibility to Frobenius semisimplification in all cases by identifying the monodromy operator on the global side. To achieve this, we derive a generalization of Mokrane's weight spectral sequence for log crystalline cohomology. △ Less

Submitted 21 February, 2012; originally announced February 2012.

Comments: 34 pages

Journal ref: Algebra Number Theory 8 (2014) 1597-1646

Local-global compatibility and the action of monodromy on nearby cycles

Authors: Ana Caraiani

Abstract: We strengthen the local-global compatibility of Langlands correspondences for $GL_{n}$ in the case when $n$ is even and $l\not=p$. Let $L$ be a CM field and $Π$ be a cuspidal automorphic representation of $GL_{n}(\mathbb{A}_{L})$ which is conjugate self-dual. Assume that $Π_{\infty}$ is cohomological and not "slightly regular", as defined by Shin. In this case, Chenevier and Harris constructed an… ▽ More We strengthen the local-global compatibility of Langlands correspondences for $GL_{n}$ in the case when $n$ is even and $l\not=p$. Let $L$ be a CM field and $Π$ be a cuspidal automorphic representation of $GL_{n}(\mathbb{A}_{L})$ which is conjugate self-dual. Assume that $Π_{\infty}$ is cohomological and not "slightly regular", as defined by Shin. In this case, Chenevier and Harris constructed an $l$-adic Galois representation $R_{l}(Π)$ and proved the local-global compatibility up to semisimplification at primes $v$ not dividing $l$. We extend this compatibility by showing that the Frobenius semisimplification of the restriction of $R_{l}(Π)$ to the decomposition group at $v$ corresponds to the image of $Π_{v}$ via the local Langlands correspondence. We follow the strategy of Taylor-Yoshida, where it was assumed that $Π$ is square-integrable at a finite place. To make the argument work, we study the action of the monodromy operator $N$ on the complex of nearby cycles on a scheme which is locally etale over a product of semistable schemes and derive a generalization of the weight-spectral sequence in this case. We also prove the Ramanujan-Petersson conjecture for $Π$ as above. △ Less

Submitted 11 October, 2010; originally announced October 2010.

Comments: 88 pages

MSC Class: 11R39; 11F70; 11F80; 14G35

Journal ref: Duke Math. J. 161, no. 12 (2012), 2311-2413