Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Moduli stacks of two-dimensional Galois representations

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper constructs a moduli stack of two-dimensional mod p Galois representations of a p-adic local field and proves its irreducible components are naturally labelled by Serre weights.

desk verdict A serious, well-built paper that geometrises Serre weights via a moduli stack; the main risk is a load-bearing but unproved tame-descent-data dictionary in Section 2. read the letter →

arxiv 1908.07019 v3 pith:5DVH7A5Z submitted 2019-08-19 math.NT

Ana Caraiani , Matthew Emerton , Toby Gee , David Savitt This is my paper · ORCID
classification math.NT MSC 11F8014D23
keywords modulistacksGaloisrepresentationsSerreweightsBreuil–KisinmodulesweightpartofSerre'sconjecturep-adicHodgetheoryLanglandsprogramformalalgebraic
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper tries to establish a geometric home for the weight part of Serre's conjecture for $\mathrm{GL}_2$ over a $p$-adic field. It constructs a moduli stack $\mathcal{Z}$ whose $\mathbb{F}_p$-points are, up to the explicitly understood très ramifiée exceptions, the two-dimensional mod $p$ representations of the absolute Galois group $G_K$. The main theorem (Theorem 1.1.1) says that $\mathcal{Z}$ is an algebraic stack of finite type over $\mathbb{F}_p$, equidimensional of dimension $[K:\mathbb{Q}_p]$, and that its irreducible components are labelled by Serre weights: a representation $r$ lies on the component $\mathcal{Z}(\sigma)$ labelled by $\sigma$ exactly when $\sigma$ is one of the Serre weights of $r$. A sympathetic reader should care because this recasts a set of representation-theoretic weight sets, normally described by complicated explicit recipes, as the irreducible-component geometry of a single object.

What carries the argument

The load-bearing object is the stack $\mathcal{Z}$, obtained as the scheme-theoretic image of $\mathcal{C}\to\mathcal{R}$. Here a rank-two Breuil–Kisin module with tame descent data is a projective module over $S_A=(W(k')\otimes_{\mathbb{Z}_p}A)[\![u]\!]$ equipped with a Frobenius whose cokernel is killed by $E(u)$, together with commuting descent data from a tame extension $K'/K$; its generic fibre is an étale $\phi$-module, which by the standard correspondence corresponds to a representation of $G_{K_\infty}$, and the height-one condition forces a canonical extension to $G_K$ that is potentially Barsotti–Tate. The morphism $\mathcal{C}\to\mathcal{R}$ is proper, so the scheme-theoretic image is an algebraic stack, and the strong determinant condition (a determinant equality selecting Hodge–Tate weights $\{0,1\}$) identifies the Barsotti–Tate substack. The singularities of $\mathcal{C}$ are controlled by comparison with local models at Iwahori level for the Weil restriction of $\mathrm{GL}_2$, which yields Cohen–Macaulayness, flatness and reducedness; the components of $\mathcal{Z}$ are then produced by closures of explicit families of extensions of characters, indexed by Serre weights through the inertial local Langlands correspondence.

What would settle it

Enumerate, for a concrete case such as $K=\mathbb{Q}_p$ with $p=3$, the $\mathbb{F}_p$-points of the component $\mathcal{Z}(\sigma)$ associated to a Steinberg Serre weight, using the explicit extension families of Section 4, and compute the Serre-weight set $W(r)$ of each resulting representation by the known explicit rules. A single point $r$ whose weight set does not contain $\sigma$ would disprove Theorem 1.1.1; conversely, a single representation with $\sigma\in W(r)$ that is not an $\mathbb{F}_p$-point of $\mathcal{Z}(\sigma)$ would show the component labelling is wrong.

Watch

Extended reading notes

Core claim

The central claim is that the geometry of $\mathcal{Z}$ is a complete invariant for the weight part of Serre's conjecture in dimension two. On the paper's own terms, $\mathcal{Z}$ is defined as the scheme-theoretic image of the proper morphism $\mathcal{C}\to\mathcal{R}$, where $\mathcal{C}$ is the moduli stack of rank-two Breuil–Kisin modules of height at most one with tame descent data and $\mathcal{R}$ is the moduli stack of étale $\phi$-modules; the strong determinant condition cuts out the potentially Barsotti–Tate locus. Theorem 1.1.1 then asserts that $\mathcal{Z}$ is finite type over $\mathbb{F}_p$, equidimensional of dimension $[K:\mathbb{Q}_p]$, and that the map $\sigma\mapsto\mathcal{Z}(\sigma)$ is a bijection between Serre weights and irreducible components, with $r\in\mathcal{Z}(\sigma)(\mathbb{F}_p)$ if and only if $\sigma\in W(r)$. The authors also show the generic point of each component is an explicit extension of characters, that the auxiliary stack $\mathcal{C}$ resolves $\mathcal{Z}$ enough to prove generic reducedness, and that the special fibres of tamely potentially Barsotti–Tate deformation rings are generically reduced.

Load-bearing premise

The most fragile premise is the Section 2 dictionary that Breuil–Kisin modules with tame descent data, together with the strong determinant condition selecting Hodge–Tate weights $\{0,1\}$, classify the appropriate potentially Barsotti–Tate Galois representations; the paper states that no treatment of tame descent data for Breuil–Kisin modules exists in the literature and that the arguments are almost identical to known cases, so they are given briefly.

Editorial extensions

If this is right

  • The weight part of Serre's conjecture for $\mathrm{GL}_2$ is equivalent to a geometric statement about the $\mathbb{F}_p$-points of one stack: the fibre of $\mathcal{Z}(\sigma)$ is exactly the set of representations having $\sigma$ as a Serre weight.
  • The special fibres of tamely potentially Barsotti–Tate deformation rings are generically reduced (Proposition 5.1.1), which the authors note is hard to obtain purely from formal deformation theory and is expected to be useful for mod $p$ Hilbert modular forms.
  • Irreducible mod $p$ representations arise as specializations of reducible extension families inside $\mathcal{Z}$, so the geometric picture of the moduli problem is not separated into irreducible and reducible points in the usual way.
  • Since $\mathcal{Z}$ is equidimensional of dimension $[K:\mathbb{Q}_p]$, each component $\mathcal{Z}(\sigma)$ has known dimension, and its generic point has an explicit description as an extension of two inertia-restricted characters.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference beyond the paper: applying the same scheme-theoretic-image construction to height $h>1$ or rank $d>2$ Breuil–Kisin modules should produce stacks whose irreducible components encode generalized weight sets; the pattern established here predicts the labels will again come from inertial types and their Jordan–Hölder contents.
  • Inference beyond the paper: because irreducible representations are limits of reducible families, patching arguments may be recast as intersection theory on $\mathcal{Z}$, replacing explicit Ext computations by component geometry.
  • Inference beyond the paper: for small $p$ and $K=\mathbb{Q}_p$, the component labelling could be verified independently by computing the closures of the explicit extension families, offering a test of the dictionary that does not pass through deformation rings.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper constructs moduli stacks of two-dimensional mod p Galois representations of a p-adic local field, using Breuil–Kisin modules with tame descent data and the scheme-theoretic image construction of [EG19b]. The central result, Theorem 1.1.1, asserts that the resulting stack Z is an algebraic stack of finite type over F_p, equidimensional of dimension [K:Q_p], and that its irreducible components are labelled by Serre weights in such a way that the F_p-points of the component Z(σ) are precisely those representations r:G_K→GL_2(F_p) having σ as a Serre weight. The paper also studies the auxiliary stack C of Breuil–Kisin modules, proves equidimensionality and generic reducedness results, relates the singularities to local models of Shimura varieties, and proves a geometric Breuil–Mézard statement for tamely potentially Barsotti–Tate deformation rings.

Significance. If the main theorem is correct, this is a substantial advance: it gives a geometric object whose irreducible components encode the weight part of Serre's conjecture for GL(2), something the authors plausibly argue is not accessible from the explicit descriptions of the weight sets W(r). The paper contains a large amount of original technical work, including the explicit extension calculations of Section 4, the versal-ring arguments of Section 3.10, and the local-model comparisons of Section 3.7–3.8. The writing is generally careful and the authors are explicit about what is known and what is being assumed. However, the foundational dictionary in Section 2 between Breuil–Kisin modules with tame descent data and the relevant Galois representations is asserted rather than proved, and that dictionary is load-bearing for the identification of F_p-points of Z_τ and hence for the Serre-weight labelling. This is a correctness-risk concern internal to the manuscript, not a disagreement with external consensus.

major comments (3)
  1. [Section 2, Proposition 2.3.6] Proposition 2.3.6 is the key bridge between Galois deformation rings and Breuil–Kisin modules with tame descent data, but its proof is the single sentence that it can be proved 'in exactly the same way' as [Kim11, Cor. 2.2.1], even though the authors state at the start of Section 2 that no treatment of tame descent data for Breuil–Kisin modules exists in the literature. This isomorphism Spec R^{[0,1]}_r → Spec R^{≤1}_{r|G_K∞} is used in Lemma 3.10.9 and ultimately in Theorem 3.9.2(3), so the omission is load-bearing. I request a complete proof, or at least a precise statement of the functor on deformation rings together with a verification that the descent data, the height-one condition, and the strong determinant condition are preserved by Kisin's construction.
  2. [Section 3.5, Lemma 3.5.16] The type-compatibility part of Lemma 3.5.16 depends entirely on the assertion that the isomorphism (3.5.17) is 'in fact equivariant' for the action of I(K'/K), with no calculation supplied. This step is essential because it identifies the type τ of a Breuil–Kisin module, defined through the action on M_i/uM_i, with the inertial type of the associated Galois representation, defined through D_pcris. If the equivariance holds only after a twist, or if reducing modulo u and its divided powers changes the character decomposition, then the F_p-points of Z_τ would not be the representations with a potentially Barsotti–Tate lift of type τ, and the labelling in Theorem 5.2.2 would not follow. Please supply the computation, or a reference that treats this exact comparison for tame descent data.
  3. [Section 3.9, proof of Theorem 3.9.2(3)] The proof identifies F'-points of Z_τ with Breuil–Kisin modules over F' satisfying the strong determinant condition and having type τ, and then asserts that 'by Lemma 3.5.16 and Corollary 3.8.3' these correspond to representations having a potentially Barsotti–Tate lift of type τ. Lemma 3.5.16 is a statement about Spf(O_E')-points, not about F'-points, and Corollary 3.8.3 only gives flatness and reducedness of the special fibre. An additional deformation-theoretic argument is needed to pass from a finite-field-valued Breuil–Kisin module to a characteristic-zero lift of the same inertial type. Since this bijection is exactly what makes the irreducible components of Z_τ carry the Serre-weight labels, the missing step is load-bearing and should be written out.
minor comments (4)
  1. [Section 1.1] In the first paragraph there is a duplicated phrase: 'the special fibres of these moduli spaces would be would be moduli spaces of mod p representations'; please delete the second 'would be'.
  2. [Section 3.11, cuspidal case] In the displayed definition of D_η for cuspidal types, the action of the (f+1)st copy of G_m on the variable α is not specified, although the quotient is by G_m^{f+1}; please clarify the action and the resulting invariant description.
  3. [Section 3.6, proof of Proposition 3.6.1(2)] The passage comparing the strong determinant condition over K' and L' says that the latter implies the former 'up to an [l':k']th root of unity', and then that comparing the X_{0,σ_i} terms forces the root to be 1. This is quite compressed; a short explicit equation would make the argument easier to verify.
  4. [Section 3.10, Corollary 3.10.18] The notation lim←− R_{τ,a} is used both for a projective limit of rings and for a formal scheme Spf(lim←− R_{τ,a}); please add a sentence fixing the precise meaning in each occurrence.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation; the stack is constructed independently and the Serre-weight labelling is proved from external inputs rather than by definition.

full rationale

The main construction defines Z as the scheme-theoretic image of the morphism C→R (Sections 3.1 and 3.9), so its Fp-points are, by construction, the étale φ-modules admitting a Breuil–Kisin model of height at most 1 with tame descent data satisfying the strong determinant condition (Theorem 3.9.2(3), proof via [EG19b, Lem. 3.2.14]). The paper then identifies these with Galois representations admitting potentially Barsotti–Tate lifts of a given type. The identification uses Lemma 3.5.16, whose proof contains the uncomputed assertion that the isomorphism (3.5.17) is equivariant for I(K′/K). This is an asserted compatibility between two independently defined objects — semilinear descent data on Breuil–Kisin modules and the inertial type of a Galois representation — not an equation that defines one in terms of the other. If that equivariance failed, Theorem 3.9.2(3) and the component labelling would collapse, but that would be a proof gap or correctness risk, not a circular reduction. The Serre-weight labelling is also not definitional: the irreducible components are first obtained as closures of explicit extension families of characters (Section 4), and the set W(r) is an external quantity imported from the weight-part literature via [GK14] and Appendix B; the theorem that the component labelled by σ has Fp-points exactly {r : σ ∈ W(r)} is proved by comparing versal rings (Corollary 3.10.18, Appendix C), not by renaming. The paper does rely on prior work by overlapping authors ([EG19b], [CL18], [DS15], [GK14]) for technical foundations and for the weight-part input, but these are separate published theorems with independent content and are not invoked as an unverified self-supporting claim. No fitted parameter is renamed as a prediction, and no equation reduces to its input by construction.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The central claim rests on a long chain of established results in p-adic Hodge theory, deformation theory, and local models. No new physical or mathematical entities are postulated without independent evidence; the stacks C, R, and Z are constructed from moduli problems rather than invoked ad hoc.

assumptions (7)
  • standard math Fontaine's equivalence between etale phi-modules with descent data and Galois representations of G_{K_infty}, extended to tame descent data.
    Used in Section 2.3.1 to define T_A(M) and in Lemma 2.3.3, where the computation is cited to [Fon90] and [Kis09, Lem. 1.2.7].
  • domain assumption Height at most one Breuil-Kisin modules with descent data correspond to potentially Barsotti-Tate representations of G_K, with the strong determinant condition selecting Hodge-Tate weights {0,1}.
    This is the load-bearing dictionary used in Lemma 3.5.16 and throughout Section 3; it relies on [Kis09], [Kis08], [CL18], and the brief treatment in Section 2.
  • standard math Pappas-Rapoport algebraicity of the moduli stack of Breuil-Kisin modules C and its variants with descent data.
    Used in Proposition 3.1.2 to prove that C is a formal algebraic stack; the citation is [PR09, Thm. 0.1(i)].
  • standard math Properties of scheme-theoretic images for morphisms of stacks, as developed in [EG19b].
    Used throughout Section 3.9 to define Z and prove its algebraic properties; the key references are [EG19b, Defn. 3.2.8] and [EG19b, Lem. 3.2.14].
  • domain assumption The weight part of Serre's conjecture and the Breuil-Mezard theorem in the form proved by [GK14] and reinterpreted by [EG14].
    This is the external input that connects components of Z to the set W(r) in Theorem 5.2.2; the translation is carried out in Appendix C.
  • standard math Local model results: normality, Cohen-Macaulayness, and reduced special fibre for naive local models at Iwahori level.
    Theorem 3.8.2 uses results of [PRS13], [PR03], [Gor01], and [HR19] to establish the local geometry of the stacks C_tau,BT.
  • domain assumption The main arguments assume p > 2 and [K':K] prime to p.
    Stated in Section 1.5 and Section 4; p=2 is excluded because the Breuil-Mezard results used rely on automorphy lifting theorems not currently available in that case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Moduli stacks of two-dimensional Galois representations." pith.science (2026). https://pith.science/paper/5DVH7A5Z

@misc{pith2026190807019,
  author       = {Pith},
  title        = {Pith review of: Moduli stacks of two-dimensional Galois representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5DVH7A5Z}},
  note         = {Machine review of arXiv:1908.07019}
}
read the original 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).

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Moduli stacks of \'etale (phi,Gamma)-modules and the existence of crystalline lifts

    math.NT 2019-08 accept novelty 8.0 of 10

    Every mod p representation of the absolute Galois group of a p-adic local field lifts to a crystalline representation of regular Hodge-Tate weights, via the geometry of new moduli stacks of etale (phi,Gamma)-modules.

Reference graph

Works this paper leans on

48 extracted references · 42 canonical work pages · cited by 1 Pith paper

  1. [1]

    Kevin Buzzard, Fred Diamond, and Frazer Jarvis, On S erre's conjecture for mod l G alois representations over totally real fields , Duke Math. J. 155 (2010), no. 1, 105--161

    work page 2010

  2. [2]

    Rebecca Bellovin and Toby Gee, G -valued local deformation rings and global lifts , Algebra and Number Theory, to appear, 2019

    work page 2019

  3. [3]

    Tom Barnet-Lamb, Toby Gee, and David Geraghty, Serre weights for rank two unitary groups, Math. Ann. 356 (2013), no. 4, 1551--1598. 3072811

    work page 2013

  4. [4]

    Christophe Breuil and Ariane M \'e zard, Multiplicit\'es modulaires et repr\'esentations de GL 2( Z p) et de Gal ( Q p/ Q p) en l=p , Duke Math. J. 115 (2002), no. 2, 205--310, With an appendix by Guy Henniart. MR1944572 (2004i:11052)

    work page 2002

  5. [5]

    Christophe Breuil, Groupes p -divisibles, groupes finis et modules filtr\'es , Ann. of Math. (2) 152 (2000), no. 2, 489--549. 1804530 (2001k:14087)

    work page 2000

  6. [6]

    Reine Angew

    Xavier Caruso, Estimation des dimensions de certaines vari\' e t\' e s de K isin , J. Reine Angew. Math. 723 (2017), 1--77. 3604976

    work page 2017

  7. [7]

    Ana Caraiani and Brandon Levin, Kisin modules with descent data and parahoric local models, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 51 (2018), no. 1, 181--213. 3764041

    work page 2018

  8. [8]

    Fred Diamond, A correspondence between representations of local G alois groups and L ie-type groups , L -functions and G alois representations, London Math. Soc. Lecture Note Ser., vol. 320, Cambridge Univ. Press, Cambridge, 2007, pp. 187--206. 2392355 (2009d:11085)

    work page 2007

Show all 48 references
  1. [9]

    Fred Diamond and David Savitt, Serre weights for locally reducible two-dimensional G alois representations , J. Inst. Math. Jussieu 14 (2015), no. 3, 639--672. 3352531

    2015

  2. [10]

    Matthew Emerton and Toby Gee, A geometric perspective on the B reuil- M \' e zard conjecture , J. Inst. Math. Jussieu 13 (2014), no. 1, 183--223. 3134019

    2014

  3. [11]

    Emerton and T

    M. Emerton and T. Gee , Dimension theory and components of algebraic stacks , ArXiv e-prints (2017)

    2017

  4. [12]

    Matthew Emerton and Toby Gee , Moduli stacks of \'etale ( , ) -modules and the existence of crystalline lifts , arXiv e-prints (2019), arXiv:1908.07185

    2019 arXiv

  5. [13]

    Matthew Emerton and Toby Gee, `` S cheme-theoretic images'' of certain morphisms of stacks , Algebraic Geometry (to appear) (2019)

    2019

  6. [14]

    Matthew Emerton, Toby Gee, and David Savitt, Lattices in the cohomology of S himura curves , Invent. Math. 200 (2015), no. 1, 1--96. 3323575

    2015

  7. [15]

    Matthew Emerton, Formal algebraic stacks, Available at http://www.math.uchicago.edu/ emerton/pdffiles/formal-stacks.pdf

  8. [16]

    I , The G rothendieck F estschrift, V ol.\ II , Progr

    Jean-Marc Fontaine, Repr\'esentations p -adiques des corps locaux. I , The G rothendieck F estschrift, V ol.\ II , Progr. Math., vol. 87, Birkh\"auser Boston, Boston, MA, 1990, pp. 249--309. 1106901 (92i:11125)

    1990

  9. [17]

    Jean-Marc Fontaine and Jean-Pierre Wintenberger, Le ``corps des normes'' de certaines extensions alg\'ebriques de corps locaux, C. R. Acad. Sci. Paris S\'er. A-B 288 (1979), no. 6, A367--A370. 526137 (80b:12015)

    1979

  10. [18]

    Grothendieck and J

    A. Grothendieck and J. A. Dieudonn \'e , El\'ements de g\'eom\'etrie alg\'ebrique. I , Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 166, Springer-Verlag, Berlin, 1971. 3075000

    1971

  11. [19]

    Toby Gee, Automorphic lifts of prescribed types, Math. Ann. 350 (2011), no. 1, 107--144. 2785764 (2012c:11118)

    2011

  12. [20]

    Toby Gee, Florian Herzig, and David Savitt, General S erre weight conjectures , J. Eur. Math. Soc. (JEMS) 20 (2018), no. 12, 2859--2949. 3871496

    2018

  13. [21]

    Pi 2 (2014), e1 (56 pages)

    Toby Gee and Mark Kisin, The B reuil-- M \'ezard conjecture for potentially B arsotti-- T ate representations , Forum Math. Pi 2 (2014), e1 (56 pages). 3292675

    2014

  14. [22]

    Toby Gee, Tong Liu, and David Savitt, The B uzzard- D iamond- J arvis conjecture for unitary groups , J. Amer. Math. Soc. 27 (2014), no. 2, 389--435. 3164985

    2014

  15. [23]

    Pi 3 (2015), e2, 52

    , The weight part of S erre's conjecture for GL(2) , Forum Math. Pi 3 (2015), e2, 52. 3324938

    2015

  16. [24]

    Ulrich G \"o rtz, On the flatness of models of certain S himura varieties of PEL -type , Math. Ann. 321 (2001), no. 3, 689--727. 1871975 (2002k:14034)

    2001

  17. [25]

    Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique

    A. Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique. III . \' E tude cohomologique des faisceaux coh\' e rents. I , Inst. Hautes \' E tudes Sci. Publ. Math. (1961), no. 11, 167. 217085

    1961

  18. [26]

    Eugen Hellmann, On the structure of some moduli spaces of finite flat group schemes, Mosc. Math. J. 9 (2009), no. 3, 531--561, back matter. 2562792 (2011d:11118)

    2009

  19. [27]

    Haines and B

    T. Haines and B. C. Ng\^o, Nearby cycles for local models of some S himura varieties , Compositio Math. 133 (2002), no. 2, 117--150. 1923579

    2002

  20. [28]

    Thomas J.\ Haines and Timo Richarz, Normality and C ohen- M acaulayness of parahoric local models , preprint, 2019

    2019

  21. [29]

    Number Theory 131 (2011), no

    Wansu Kim, Galois deformation theory for norm fields and flat deformation rings, J. Number Theory 131 (2011), no. 7, 1258--1275. 2782840 (2012d:11233)

    2011

  22. [30]

    Mark Kisin, Potentially semi-stable deformation rings, J. Amer. Math. Soc. 21 (2008), no. 2, 513--546. MR2373358 (2009c:11194)

    2008

  23. [31]

    3, 1085--1180

    , Moduli of finite flat group schemes, and modularity, Annals of Math.(2) 170 (2009), no. 3, 1085--1180. MR2600871

    2009

  24. [32]

    Kottwitz, Points on some S himura varieties over finite fields , J

    Robert E. Kottwitz, Points on some S himura varieties over finite fields , J. Amer. Math. Soc. 5 (1992), no. 2, 373--444. 1124982 (93a:11053)

    1992

  25. [33]

    T. Y. Lam, A first course in noncommutative rings, Graduate Texts in Mathematics, vol. 131, Springer-Verlag, New York, 1991. 1125071

    1991

  26. [34]

    Tong Liu, On lattices in semi-stable representations: a proof of a conjecture of B reuil , Compos. Math. 144 (2008), no. 1, 61--88. 2388556

    2008

  27. [35]

    Math., vol

    Jan Nekov \'a r , On p -adic height pairings , S\'eminaire de T h\'eorie des N ombres, P aris, 1990--91, Progr. Math., vol. 108, Birkh\"auser Boston, Boston, MA, 1993, pp. 127--202. MR1263527 (95j:11050)

    1990

  28. [36]

    Pappas and M

    G. Pappas and M. Rapoport, Local models in the ramified case. I . T he EL -case , J. Algebraic Geom. 12 (2003), no. 1, 107--145. 1948687

    2003

  29. [37]

    , -modules and coefficient spaces , Mosc. Math. J. 9 (2009), no. 3, 625--663, back matter. 2562795 (2011c:14074)

    2009

  30. [38]

    G eometry and combinatorics , Handbook of moduli

    Georgios Pappas, Michael Rapoport, and Brian Smithling, Local models of S himura varieties, I . G eometry and combinatorics , Handbook of moduli. V ol. III , Adv. Lect. Math. (ALM), vol. 26, Int. Press, Somerville, MA, 2013, pp. 135--217. 3135437

    2013

  31. [39]

    Pappas and X

    G. Pappas and X. Zhu, Local models of S himura varieties and a conjecture of K ottwitz , Invent. Math. 194 (2013), no. 1, 147--254. 3103258

    2013

  32. [40]

    David Rydh, The canonical embedding of an unramified morphism in an \'etale morphism, Math. Z. 268 (2011), no. 3-4, 707--723. 2818725

    2011

  33. [41]

    Rapoport and Th

    M. Rapoport and Th. Zink, Period spaces for p -divisible groups , Annals of Mathematics Studies, vol. 141, Princeton University Press, Princeton, NJ, 1996. 1393439

    1996

  34. [42]

    Number Theory 128 (2008), 2939--2950

    David Savitt, Breuil modules for R aynaud schemes , J. Number Theory 128 (2008), 2939--2950

    2008

  35. [43]

    Schein, Weights in S erre's conjecture for H ilbert modular forms: the ramified case , Israel J

    Michael M. Schein, Weights in S erre's conjecture for H ilbert modular forms: the ramified case , Israel J. Math. 166 (2008), 369--391. MR2430440 (2009e:11090)

    2008

  36. [44]

    Scott, Graduate Texts in Mathematics, Vol

    Jean-Pierre Serre, Linear representations of finite groups, Springer-Verlag, New York, 1977, Translated from the second French edition by Leonard L. Scott, Graduate Texts in Mathematics, Vol. 42. 0450380 (56 \#8675)

    1977

  37. [45]

    , Sur les repr\'esentations modulaires de degr\'e 2 de Gal ( Q / Q ) , Duke Math. J. 54 (1987), no. 1, 179--230. MR885783 (88g:11022)

    1987

  38. [46]

    The Stacks Project Authors , S tacks P roject , http://stacks.math.columbia.edu, 2013

    2013

  39. [47]

    Thorne, A 2-adic automorphy lifting theorem for unitary groups over CM fields , Math

    Jack A. Thorne, A 2-adic automorphy lifting theorem for unitary groups over CM fields , Math. Z. 285 (2017), no. 1-2, 1--38. 3598803

    2017

  40. [48]

    Teruyoshi Yoshida, Local class field theory via L ubin- T ate theory , Ann. Fac. Sci. Toulouse Math. (6) 17 (2008), no. 2, 411--438. 2487860

    2008

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.