Showing 1–21 of 21 results for author: Savitt, D

Irregular loci in the Emerton-Gee stack for GL_2

Authors: Rebecca Bellovin, Neelima Borade, Anton Hilado, Kalyani Kansal, Heejong Lee, Brandon Levin, David Savitt, Hanneke Wiersema

Abstract: Let K/Q_p be unramified. Inside the Emerton-Gee stack X_2, one can consider the locus of two-dimensional mod p representations of the absolute Galois group of K having a crystalline lift with specified Hodge-Tate weights. We study the case where the Hodge-Tate weights are irregular, which is an analogue for Galois representations of the partial weight one condition for Hilbert modular forms. We pr… ▽ More Let K/Q_p be unramified. Inside the Emerton-Gee stack X_2, one can consider the locus of two-dimensional mod p representations of the absolute Galois group of K having a crystalline lift with specified Hodge-Tate weights. We study the case where the Hodge-Tate weights are irregular, which is an analogue for Galois representations of the partial weight one condition for Hilbert modular forms. We prove that if the gap between each pair of weights is bounded by p (the irregular analogue of a Serre weight), then this locus is irreducible. We also establish various inclusion relations between these loci. △ Less

Submitted 24 September, 2023; originally announced September 2023.

Comments: 36 pages

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

Journal ref: Alg. Number Th. 19 (2025) 287-312

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

General Serre weight conjectures

Authors: Toby Gee, Florian Herzig, David Savitt

Abstract: We formulate a number of related generalisations of the weight part of Serre's conjecture to the case of GL(n) over an arbitrary number field, motivated by the formalism of the Breuil-Mézard conjecture. We give evidence for these conjectures, and discuss their relationship to previous work. We generalise one of these conjectures to the case of connected reductive groups which are unramified over Q… ▽ More We formulate a number of related generalisations of the weight part of Serre's conjecture to the case of GL(n) over an arbitrary number field, motivated by the formalism of the Breuil-Mézard conjecture. We give evidence for these conjectures, and discuss their relationship to previous work. We generalise one of these conjectures to the case of connected reductive groups which are unramified over Q_p, and we also generalise the second author's previous conjecture for GL(n)/Q to this setting, and show that the two conjectures are generically in agreement. △ Less

Submitted 21 September, 2017; v1 submitted 8 September, 2015; originally announced September 2015.

Comments: Essentially final version, to appear in J. Eur. Math. Soc. This version will not incorporate any minor changes made in proof

Journal ref: J. Eur. Math. Soc. 20 (2018), no. 12, 2859-2949

Potentially crystalline lifts of certain prescribed types

Authors: Toby Gee, Florian Herzig, Tong Liu, David Savitt

Abstract: We prove several results concerning the existence of potentially crystalline lifts with prescribed Hodge-Tate weights and inertial types of a given n-dimensional mod p representation of the absolute Galois group of K, where K/Q_p is a finite extension. Some of these results are proved by purely local methods, and are expected to be useful in the application of automorphy lifting theorems. The proo… ▽ More We prove several results concerning the existence of potentially crystalline lifts with prescribed Hodge-Tate weights and inertial types of a given n-dimensional mod p representation of the absolute Galois group of K, where K/Q_p is a finite extension. Some of these results are proved by purely local methods, and are expected to be useful in the application of automorphy lifting theorems. The proofs of the other results are global, making use of automorphy lifting theorems. △ Less

Submitted 7 February, 2017; v1 submitted 2 June, 2015; originally announced June 2015.

Comments: 22 pages; final version, to appear in Documenta

MSC Class: 11F80

Journal ref: Documenta Math. 22 (2017), 397-422

The weight part of Serre's conjecture for GL(2)

Authors: Toby Gee, Tong Liu, David Savitt

Abstract: Let p > 2 be prime. We use purely local methods to determine the possible reductions of certain two-dimensional crystalline representations, which we call "pseudo-Barsotti-Tate representations", over arbitrary finite extensions of the p-adics. As a consequence, we establish (under the usual Taylor-Wiles hypothesis) the weight part of Serre's conjecture for GL(2) over arbitrary totally real fields. Let p > 2 be prime. We use purely local methods to determine the possible reductions of certain two-dimensional crystalline representations, which we call "pseudo-Barsotti-Tate representations", over arbitrary finite extensions of the p-adics. As a consequence, we establish (under the usual Taylor-Wiles hypothesis) the weight part of Serre's conjecture for GL(2) over arbitrary totally real fields. △ Less

Submitted 22 December, 2014; v1 submitted 2 September, 2013; originally announced September 2013.

Comments: 41 pages. To appear, Forum of Mathematics, Pi

MSC Class: 11F33; 11F80

Lattices in the cohomology of Shimura curves

Authors: Matthew Emerton, Toby Gee, David Savitt

Abstract: We prove conjectures of Breuil and Breuil-Dembele (C. Breuil, "Sur un probleme de compatibilite local-global modulo p pour GL(2)"), including a generalisation from the principal series to the cuspidal case, subject to a mild global hypothesis that we make in order to apply certain R=T theorems. More precisely, we prove a multiplicity one result for the mod p cohomology of a Shimura curve at Iwahor… ▽ More We prove conjectures of Breuil and Breuil-Dembele (C. Breuil, "Sur un probleme de compatibilite local-global modulo p pour GL(2)"), including a generalisation from the principal series to the cuspidal case, subject to a mild global hypothesis that we make in order to apply certain R=T theorems. More precisely, we prove a multiplicity one result for the mod p cohomology of a Shimura curve at Iwahori level, and we show that certain apparently globally defined lattices in the cohomology of Shimura curves are determined by the corresponding local p-adic Galois representations. We also indicate a new proof of the Buzzard-Diamond-Jarvis conjecture in generic cases. Our main tools are the geometric Breuil-Mezard philosophy developed by two of the authors, and a new and more functorial perspective on the Taylor-Wiles-Kisin patching method. Along the way, we determine the tamely potentially Barsotti-Tate deformation rings of generic two-dimensional mod p representations, generalising a result of Breuil-Mezard in the principal series case. △ Less

Submitted 19 November, 2014; v1 submitted 7 May, 2013; originally announced May 2013.

Comments: 75 pages, essentially final version; to appear, Invent. Math

MSC Class: 11F80

Serre weights for locally reducible two-dimensional Galois representations

Authors: Fred Diamond, David Savitt

Abstract: Let F be a totally real field, and v a place of F dividing an odd prime p. We study the weight part of Serre's conjecture for continuous, totally odd, two-dimensional mod p representations rhobar of the absolute Galois group of F that are reducible locally at v. Let W be the set of predicted Serre weights for the semisimplification of rhobar restricted to the decomposition group at v. We prove tha… ▽ More Let F be a totally real field, and v a place of F dividing an odd prime p. We study the weight part of Serre's conjecture for continuous, totally odd, two-dimensional mod p representations rhobar of the absolute Galois group of F that are reducible locally at v. Let W be the set of predicted Serre weights for the semisimplification of rhobar restricted to the decomposition group at v. We prove that when the local representation is generic, the Serre weights in W for which rhobar is modular are exactly the ones that are predicted (assuming that rhobar is modular). We also determine precisely which subsets of W arise as predicted weights when the local representation varies with fixed generic semisimplification. △ Less

Submitted 24 April, 2014; v1 submitted 29 April, 2013; originally announced April 2013.

Comments: 30 pages, to appear in Journal of the Institute of Mathematics of Jussieu

MSC Class: 11F80

Journal ref: Journal of the Institute of Mathematics of Jussieu 14 (2014) 639-672

The Buzzard-Diamond-Jarvis conjecture for unitary groups

Authors: Toby Gee, Tong Liu, David Savitt

Abstract: Let p > 2 be prime. We prove the weight part of Serre's conjecture for rank two unitary groups for mod p representations in the unramified case (that is, the Buzzard-Diamond-Jarvis conjecture for unitary groups), by proving that any Serre weight which occurs is a predicted weight. This completes the analysis begun in [BLGG11], which proved that all predicted Serre weights occur. Our methods are pu… ▽ More Let p > 2 be prime. We prove the weight part of Serre's conjecture for rank two unitary groups for mod p representations in the unramified case (that is, the Buzzard-Diamond-Jarvis conjecture for unitary groups), by proving that any Serre weight which occurs is a predicted weight. This completes the analysis begun in [BLGG11], which proved that all predicted Serre weights occur. Our methods are purely local, using the theory of (phi,Ghat)-modules to determine the possible reductions of certain two-dimensional crystalline representations. △ Less

Submitted 2 September, 2013; v1 submitted 12 March, 2012; originally announced March 2012.

Comments: J. Amer. Math. Soc., to appear. Contains minor corrections from published version

MSC Class: 11F33

Crystalline extensions and the weight part of Serre's conjecture

Authors: Toby Gee, Tong Liu, David Savitt

Abstract: Let p>2 be prime. We complete the proof of the weight part of Serre's conjecture for rank two unitary groups for mod p representations in the totally ramified case, by proving that any weight which occurs is a predicted weight. Our methods are a mixture of local and global techniques, and in the course of the proof we establish some purely local results on crystalline extension classes. Let p>2 be prime. We complete the proof of the weight part of Serre's conjecture for rank two unitary groups for mod p representations in the totally ramified case, by proving that any weight which occurs is a predicted weight. Our methods are a mixture of local and global techniques, and in the course of the proof we establish some purely local results on crystalline extension classes. △ Less

Submitted 28 June, 2011; originally announced June 2011.

Comments: 17 pages

Serre weights for quaternion algebras

Authors: Toby Gee, David Savitt

Abstract: We study the possible weights of an irreducible two-dimensional mod p representation of the absolute Galois group of F which is modular in the sense of that it comes from an automorphic form on a definite quaternion algebra with centre F which is ramified at all places dividing p, where F is a totally real field. In most cases we determine the precise list of possible weights; in the remaining cas… ▽ More We study the possible weights of an irreducible two-dimensional mod p representation of the absolute Galois group of F which is modular in the sense of that it comes from an automorphic form on a definite quaternion algebra with centre F which is ramified at all places dividing p, where F is a totally real field. In most cases we determine the precise list of possible weights; in the remaining cases we determine the possible weights up to a short and explicit list of exceptions. △ Less

Submitted 31 August, 2010; v1 submitted 7 September, 2009; originally announced September 2009.

Comments: Essentially final version, to appear in Compositio Mathematica. This version does not incorporate any minor changes (e.g. typographical changes) made in proof

MSC Class: 11F80

Journal ref: Compositio Math. 147 (2011) 1059-1086

Serre weights for mod p Hilbert modular forms: the totally ramified case

Authors: Toby Gee, David Savitt

Abstract: We study the possible weights of an irreducible 2-dimensional modular mod p representation of the absolute Galois group of F, where F is a totally real field which is totally ramified at p, and the representation is tamely ramified at the prime above p. In most cases we determine the precise list of possible weights; in the remaining cases we determine the possible weights up to a short and explic… ▽ More We study the possible weights of an irreducible 2-dimensional modular mod p representation of the absolute Galois group of F, where F is a totally real field which is totally ramified at p, and the representation is tamely ramified at the prime above p. In most cases we determine the precise list of possible weights; in the remaining cases we determine the possible weights up to a short and explicit list of exceptions. △ Less

Submitted 15 September, 2010; v1 submitted 31 March, 2009; originally announced April 2009.

Comments: Essentially final version, to appear, J. Reine Angew. Math. This version does not incorporate any minor changes (e.g. typographical changes) made in proof

MSC Class: 11F80

Polygones de Hodge, de Newton et de l'inertie modérée des représentations semi-stables

Authors: Xavier Caruso, David Savitt

Abstract: Let k be a perfect field, and K be a totally ramified extension of K_0 = Frac W(k) of degree e. To a semi-stable p-adic representation of G_K (the absolute Galois group of K), one can classicaly associate two polygons : the Hodge polygon et the Newton polygon. It is well known that the former lies below the latter, and that they have same endpoints. In this note, we introduce a third polygon got… ▽ More Let k be a perfect field, and K be a totally ramified extension of K_0 = Frac W(k) of degree e. To a semi-stable p-adic representation of G_K (the absolute Galois group of K), one can classicaly associate two polygons : the Hodge polygon et the Newton polygon. It is well known that the former lies below the latter, and that they have same endpoints. In this note, we introduce a third polygon gotten from the semi-simplification of the representation mod p, and, under some conditions on Hodge-Tate weights, we prove that it lies above the Hodge polygon again with same endpoint. We finally examine one exemple associated to a crystalline representation. △ Less

Submitted 13 June, 2008; v1 submitted 21 January, 2008; originally announced January 2008.

Comments: 21 pages

MSC Class: 11S23

Polynomials, meanders, and paths in the lattice of noncrossing partitions

Authors: David Savitt

Abstract: For every polynomial f of degree n with no double roots, there is an associated family C(f) of harmonic algebraic curves, fibred over the circle, with at most n-1 singular fibres. We study the combinatorial topology of C(f) in the generic case when there are exactly n-1 singular fibres. In this case, the topology of C(f) is determined by the data of an n-tuple of noncrossing matchings on the set… ▽ More For every polynomial f of degree n with no double roots, there is an associated family C(f) of harmonic algebraic curves, fibred over the circle, with at most n-1 singular fibres. We study the combinatorial topology of C(f) in the generic case when there are exactly n-1 singular fibres. In this case, the topology of C(f) is determined by the data of an n-tuple of noncrossing matchings on the set {0,1,...,2n-1} with certain extra properties. We prove that there are 2(2n)^{n-2} such n-tuples, and that all of them arise from the topology of C(f) for some polynomial f. △ Less

Submitted 27 September, 2007; v1 submitted 7 June, 2006; originally announced June 2006.

Comments: 24 pages, 7 figures. To appear, Transactions of the A.M.S. Revised based on referee report; final section added

MSC Class: 52C99; 05A18

Harmonic algebraic curves and noncrossing partitions

Authors: Jeremy Martin, David Savitt, Ted Singer

Abstract: Motivated by Gauss's first proof of the Fundamental Theorem of Algebra, we study the topology of harmonic algebraic curves. By the maximum principle, a harmonic curve has no bounded components; its topology is determined by the combinatorial data of a noncrossing matching. Similarly, every complex polynomial gives rise to a related combinatorial object that we call a basketball, consisting of a… ▽ More Motivated by Gauss's first proof of the Fundamental Theorem of Algebra, we study the topology of harmonic algebraic curves. By the maximum principle, a harmonic curve has no bounded components; its topology is determined by the combinatorial data of a noncrossing matching. Similarly, every complex polynomial gives rise to a related combinatorial object that we call a basketball, consisting of a pair of noncrossing matchings satisfying one additional constraint. We prove that every noncrossing matching arises from some harmonic curve, and deduce from this that every basketball arises from some polynomial. △ Less

Submitted 9 November, 2005; originally announced November 2005.

Comments: 18 pages, 14 color figures; uses epsfig and psfrag

MSC Class: 14P25; 26C10; 30C15; 05A18; 52C99

Journal ref: Discrete Comput. Geom. 37, no. 2 (2007), 267-286

On a Conjecture of Conrad, Diamond, and Taylor

Authors: David Savitt

Abstract: We prove a conjecture of Conrad, Diamond, and Taylor on the size of certain deformation rings parametrizing potentially Barsotti-Tate Galois representations. To achieve this, we extend results of Breuil and Mezard (classifying Galois lattices in semistable representations in terms of "strongly divisible modules") to the potentially crystalline case in Hodge-Tate weights (0,1). We then use these st… ▽ More We prove a conjecture of Conrad, Diamond, and Taylor on the size of certain deformation rings parametrizing potentially Barsotti-Tate Galois representations. To achieve this, we extend results of Breuil and Mezard (classifying Galois lattices in semistable representations in terms of "strongly divisible modules") to the potentially crystalline case in Hodge-Tate weights (0,1). We then use these strongly divisible modules to compute the desired deformation rings. As a corollary, we obtain new results on the modularity of potentially Barsotti-Tate representations. △ Less

Submitted 15 September, 2010; v1 submitted 19 April, 2004; originally announced April 2004.

Comments: This version seamlessly folds in the erratum that can be found separately as Appendix A of https://arxiv.boxedpaper.com/pdf/0909.1278. Main results are unchanged and theorem numbering is consistent with that of the published version

MSC Class: 11F80; 14L15

Journal ref: Duke Math. Journal 128 (2005), no. 1, 141-197

Modularity of some potentially Barsotti-Tate Galois representations

Authors: David Savitt

Abstract: We prove a portion of a conjecture of B. Conrad, F. Diamond, and R. Taylor, yielding some new cases of the Fontaine-Mazur conjectures, specifically, the modularity of certain potentially Barsotti-Tate Galois representations. The proof follows the template of Wiles, Taylor-Wiles, and Breuil-Conrad-Diamond-Taylor, and relies on a detailed study of the descent, across tamely ramified extensions, of… ▽ More We prove a portion of a conjecture of B. Conrad, F. Diamond, and R. Taylor, yielding some new cases of the Fontaine-Mazur conjectures, specifically, the modularity of certain potentially Barsotti-Tate Galois representations. The proof follows the template of Wiles, Taylor-Wiles, and Breuil-Conrad-Diamond-Taylor, and relies on a detailed study of the descent, across tamely ramified extensions, of finite flat group schemes over the integers of a local field. This makes crucial use of the filtered φ_1-modules of C. Breuil. △ Less

Submitted 3 July, 2002; v1 submitted 17 May, 2002; originally announced May 2002.

Comments: 37 pages

MSC Class: 11F80; 14L15

The maximum number of points on a curve of genus 4 over F_8 is 25

Authors: David Savitt, Kristin Lauter

Abstract: This paper proves that the maximum number of rational points on a smooth, absolutely irreducible genus 4 curve over the field of 8 elements is 25. The body of the paper shows that 27 points is not possible using techniques from algebraic geometry. The appendix shows that 26 points is not possible by examining the zeta functions. This paper proves that the maximum number of rational points on a smooth, absolutely irreducible genus 4 curve over the field of 8 elements is 25. The body of the paper shows that 27 points is not possible using techniques from algebraic geometry. The appendix shows that 26 points is not possible by examining the zeta functions. △ Less

Submitted 7 July, 2002; v1 submitted 23 January, 2002; originally announced January 2002.

Comments: 16 pages, 5 page appendix; replaced July 7, 2002. Paper by David Savitt with an Appendix by Kristin Lauter. Includes a collection of examples by David Savitt that will not be included in the print version of the paper

MSC Class: 11G20; 14H25

A Note on the Symmetric Powers of the Standard Representation of S_n

Authors: David Savitt, Richard P. Stanley

Abstract: In this paper, we prove that the dimension of the space spanned by the characters of the symmetric powers of the standard n-dimensional representation of the symmetric group S_n is asymptotic to n^2/2. This is proved by using generating functions to obtain formulas for upper and lower bounds, both asymptotic to n^2/2, for this dimension. In particular, for n>6, these characters do not span the f… ▽ More In this paper, we prove that the dimension of the space spanned by the characters of the symmetric powers of the standard n-dimensional representation of the symmetric group S_n is asymptotic to n^2/2. This is proved by using generating functions to obtain formulas for upper and lower bounds, both asymptotic to n^2/2, for this dimension. In particular, for n>6, these characters do not span the full space of class functions on S_n. △ Less

Submitted 14 February, 2000; originally announced February 2000.

Comments: 7 pages

MSC Class: 05E10