pith. sign in

arxiv: 2606.25485 · v1 · pith:PJARMJ6Cnew · submitted 2026-06-24 · 🧮 math.NT

Prescribed lifts of 2-dimensional representations

Matthew Emerton , Toby Gee , Lue Pan , Xinwen Zhu This is my paper

Pith reviewed 2026-06-25 21:00 UTC · model grok-4.3

classification 🧮 math.NT
keywords Galois representationsdeformation ringstotally real fieldsmod p representationsHodge-Tate weightspotentially semistableTaylor-Wiles hypotheses
0
0 comments X

The pith

An irreducible 2-dimensional totally odd mod p Galois representation over a totally real field admits lifts on any prescribed components of the local deformation rings.

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

The paper proves that under standard Taylor-Wiles hypotheses an irreducible 2-dimensional totally odd mod p representation of the absolute Galois group of a totally real field F can be lifted so that its local restrictions lie on any chosen components of the local deformation rings. These components can encode potentially semistable conditions together with any regular Hodge-Tate weights. A reader would care because this removes previous obstructions to constructing global lifts with independently chosen local behaviors at each prime. The result therefore enlarges the set of characteristic-zero Galois representations that can be reached from a given mod p residual representation.

Core claim

Under standard Taylor-Wiles hypotheses, an irreducible, 2-dimensional, totally odd mod p representation of the absolute Galois group of F admits lifts lying on arbitrary prescribed components of local deformation rings, allowing potentially semistable conditions with arbitrary regular Hodge-Tate weights.

What carries the argument

Components of local deformation rings for 2-dimensional Galois representations, which classify possible local lifts satisfying given semistable or crystalline conditions and Hodge-Tate weights.

If this is right

  • Global lifts can be constructed with independently prescribed local behaviors at finitely many places.
  • Potentially semistable lifts become available for any choice of regular Hodge-Tate weights.
  • The method applies uniformly to any totally real field F satisfying the hypotheses.
  • Local conditions at different primes can be chosen without mutual compatibility obstructions beyond the residual representation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result suggests that the global deformation ring is large enough to intersect every combination of local components once the residual representation is fixed.
  • It opens the possibility of constructing Galois representations whose local restrictions realize any compatible set of local Langlands parameters.
  • Similar flexibility might be testable in small explicit cases by computing deformation rings for low-degree fields.

Load-bearing premise

The standard Taylor-Wiles hypotheses hold, including irreducibility of the residual representation together with suitable conditions on the totally real field and the prime p.

What would settle it

An explicit irreducible 2-dimensional totally odd mod p representation over a totally real field, together with a choice of local components at each prime, for which no global lift exists under the Taylor-Wiles hypotheses.

read the original abstract

Let F be a totally real field, and let p be prime. Under standard Taylor--Wiles hypotheses, we show that an irreducible, 2-dimensional, totally odd mod p representation of the absolute Galois group of F admits lifts lying on arbitrary prescribed components of local deformation rings, allowing potentially semistable conditions with arbitrary regular Hodge--Tate weights.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper proves that, under the standard Taylor--Wiles hypotheses, if F is a totally real field and p a prime, then any irreducible, 2-dimensional, totally odd mod p representation of Gal(F-bar/F) admits characteristic-zero lifts lying on arbitrarily prescribed components of the local deformation rings at each finite place of F. The allowed local conditions include potentially semistable deformations with any prescribed regular Hodge--Tate weights.

Significance. If the result holds, it supplies a useful degree of freedom in choosing local conditions for global lifts of residual Galois representations. This flexibility is directly applicable to modularity-lifting theorems and to the construction of Galois representations with prescribed local behavior, extending the range of known patching arguments in the Taylor--Wiles--Kisin framework.

minor comments (2)
  1. The abstract and introduction should explicitly list the precise Taylor--Wiles hypotheses (e.g., the conditions on p, on the residual representation, and on the field F) rather than referring to them only as 'standard.'
  2. Notation for the local deformation rings and their irreducible components should be introduced with a short table or diagram in §2 to aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the accurate summary of the main result, and the recommendation to accept. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states an existence theorem for prescribed local lifts of irreducible 2-dimensional totally odd mod p Galois representations of Gal(F), under the standard external Taylor-Wiles hypotheses (irreducibility, total oddness, suitable conditions on F and p). The abstract and setup invoke these hypotheses directly without deriving them internally or fitting parameters to data. No self-definitional loops, fitted inputs renamed as predictions, load-bearing self-citations that reduce the central claim, uniqueness theorems imported from the authors' prior work, smuggled ansatzes, or renamings of known results appear. The result is consistent with independent patching arguments once local deformation rings are fixed, making the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract only; no explicit free parameters, invented entities, or additional axioms beyond the stated Taylor-Wiles hypotheses can be identified.

axioms (1)
  • domain assumption Standard Taylor-Wiles hypotheses
    Invoked directly in the abstract as the condition under which the lifting result holds.

pith-pipeline@v0.9.1-grok · 5573 in / 1128 out tokens · 31336 ms · 2026-06-25T21:00:54.140053+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

300 extracted references · 86 canonical work pages

  1. [1]

    , TITLE =

    Thorne, Jack A. , TITLE =. Math. Z. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00209-016-1681-2 , URL =

    work page doi:10.1007/s00209-016-1681-2 2017

  2. [2]

    Calegari, Frank , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2012 , NUMBER =. doi:10.1090/S0894-0347-2011-00721-2 , URL =

    work page doi:10.1090/s0894-0347-2011-00721-2 2012

  3. [3]

    Ramakrishna, Ravi , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2002 , NUMBER =. doi:10.2307/3597186 , URL =

    work page doi:10.2307/3597186 2002

  4. [4]

    Duke Math

    Fakhruddin, Najmuddin and Khare, Chandrashekhar and Patrikis, Stefan , TITLE =. Duke Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1215/00127094-2021-0003 , URL =

    work page doi:10.1215/00127094-2021-0003 2021

  5. [5]

    Emerton, Matthew and Gee, Toby and Hellmann, Eugen , TITLE =. The. 2025 , ISBN =. doi:10.1090/pspum/112.2/02066 , URL =

    work page doi:10.1090/pspum/112.2/02066 2025

  6. [6]

    Calegari, Frank and Emerton, Matthew and Gee, Toby , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2022 , NUMBER =. doi:10.1017/S1474748020000195 , URL =

    work page doi:10.1017/s1474748020000195 2022

  7. [7]

    Duke Math

    Barnet-Lamb, Thomas and Gee, Toby and Geraghty, David , TITLE =. Duke Math. J. , FJOURNAL =. 2012 , NUMBER =. doi:10.1215/00127094-1593326 , URL =

    work page doi:10.1215/00127094-1593326 2012

  8. [8]

    A categorical p-adic Langlands correspondence for

    Andrea Dotto and Matthew Emerton and Toby Gee , year=. A categorical p-adic Langlands correspondence for. 2603.26887 , archivePrefix=

    arXiv

  9. [9]

    Barnet-Lamb, Thomas and Gee, Toby and Geraghty, David , TITLE =. Math. Ann. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00208-012-0893-y , URL =

    work page doi:10.1007/s00208-012-0893-y 2013

  10. [10]

    2023 , volume =

    Emerton, Matthew and Gee, Toby , title =. 2023 , volume =. doi:10.1515/9780691241364 , url =

    work page doi:10.1515/9780691241364 2023

  11. [11]

    and Thorne, Jack A

    Khare, Chandrashekhar B. and Thorne, Jack A. , TITLE =. Math. Z. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00209-016-1766-y , URL =

    work page doi:10.1007/s00209-016-1766-y 2017

  12. [12]

    2009 , Eprint =

    Andrew Snowden , Title =. 2009 , Eprint =

    2009

  13. [13]

    2026 , eprint=

    Resolutions of spaces of crystalline representations and modularity , author=. 2026 , eprint=

    2026

  14. [14]

    Liu, Tong , TITLE =. Compos. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/S0010437X0700317X , URL =

    work page doi:10.1112/s0010437x0700317x 2008

  15. [15]

    Ast\'erisque , FJOURNAL =

    Fontaine, Jean-Marc , TITLE =. Ast\'erisque , FJOURNAL =. 1994 , PAGES =

    1994

  16. [16]

    Liu, Tong , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2012 , NUMBER =. doi:10.1017/S1474748011000235 , URL =

    work page doi:10.1017/s1474748011000235 2012

  17. [17]

    Zhu, Hui June , TITLE =

  18. [18]

    Berger, Laurent , TITLE =

  19. [19]

    Khare, Chandrashekhar and Wintenberger, Jean-Pierre , TITLE =. Invent. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00222-009-0205-7 , URL =

    work page doi:10.1007/s00222-009-0205-7 2009

  20. [20]

    Khare, Chandrashekhar and Wintenberger, Jean-Pierre , title =. Invent. Math. , year =. doi:10.1007/s00222-009-0206-6 , url =

    work page doi:10.1007/s00222-009-0206-6

  21. [21]

    2007 , display-string =

    Pierre Colmez , TITLE =. 2007 , display-string =

    2007

  22. [22]

    Caruso, Xavier , TITLE =

  23. [23]

    2007 , display-string =

    Liu, Tong , TITLE =. 2007 , display-string =

    2007

  24. [24]

    Gee, Toby , title =. Math. Ann. , year =. doi:10.1007/s00208-010-0545-z , url =

    work page doi:10.1007/s00208-010-0545-z

  25. [25]

    , TITLE =

    Schein, Michael M. , TITLE =

  26. [26]

    2006 , display-string =

    Herzig, Florian , TITLE =. 2006 , display-string =

    2006

  27. [27]

    2008 , display-string =

    Dousmanis, Gerasimos , TITLE =. 2008 , display-string =

    2008

  28. [28]

    2006 , display-string =

    Gee, Toby , TITLE =. 2006 , display-string =

    2006

  29. [29]

    Hidden structures on semi-stable curves

    Coleman, Robert and Adrian Iovita. Hidden structures on semi-stable curves

  30. [30]

    Kisin, Mark , title =. Invent. Math. , year =. doi:10.1007/s00222-009-0207-5 , url =

    work page doi:10.1007/s00222-009-0207-5

  31. [31]

    Kisin, Mark , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2009 , NUMBER =. doi:10.1090/S0894-0347-09-00628-6 , URL =

    work page doi:10.1090/s0894-0347-09-00628-6 2009

  32. [32]

    Kisin, Mark , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.4007/annals.2009.170.1085 , URL =

    work page doi:10.4007/annals.2009.170.1085 2009

  33. [33]

    2008 , display-string =

    p -adic. 2008 , display-string =

    2008

  34. [34]

    Tong Liu and David Savitt , TITLE =

  35. [35]

    Savitt, David , TITLE =. J. Number Theory , VOLUME =. 2008 , PAGES =

    2008

  36. [36]

    Xavier Caruso and David Savitt , TITLE =

  37. [37]

    David Savitt , TITLE =

  38. [38]

    and David Savitt and Ted Singer , TITLE =

    Martin, Jeremy L. and David Savitt and Ted Singer , TITLE =. Disc. and Comp. Geom. , VOLUME =. 2007 , NUMBER =

    2007

  39. [39]

    Duke Math

    Savitt, David , TITLE =. Duke Math. J. , FJOURNAL =. 2005 , NUMBER =

    2005

  40. [40]

    Savitt, David , TITLE =. Compos. Math. , FJOURNAL =. 2004 , NUMBER =

    2004

  41. [41]

    Savitt, David , TITLE =. Canad. J. Math. , VOLUME =. 2003 , NUMBER =

    2003

  42. [42]

    , TITLE =

    Savitt, David and Stanley, Richard P. , TITLE =. Electron. J. Combin. , VOLUME =. 2000 , PAGES =

    2000

  43. [43]

    Duke Math

    Ash, Avner and Doud, Darrin and Pollack, David , TITLE =. Duke Math. J. , FJOURNAL =. 2002 , NUMBER =

    2002

  44. [44]

    and Pollack, D

    Ash, A. and Pollack, D. and Sinnott, W. , TITLE =. J. Number Theory , FJOURNAL =. 2005 , NUMBER =

    2005

  45. [45]

    Duke Math

    Ash, Avner and Sinnott, Warren , TITLE =. Duke Math. J. , FJOURNAL =. 2000 , NUMBER =

    2000

  46. [46]

    Barthel, L. and R. Livn\'e , TITLE =. J. of Number Theory , VOLUME =. 1995 , NUMBER =

    1995

  47. [47]

    Barthel, L. and R. Livn\'e , TITLE =. Duke Math J. , VOLUME =. 1994 , NUMBER =

    1994

  48. [48]

    Berger, Laurent , TITLE =. Invent. Math. , VOLUME =. 2002 , NUMBER =

    2002

  49. [49]

    Berger, Laurent and Li, Hanfeng and Zhu, Hui June , TITLE =. Math. Ann. , VOLUME =. 2004 , NUMBER =

    2004

  50. [50]

    Compositio Math

    Breuil, Christophe , TITLE =. Compositio Math. , VOLUME =. 2003 , NUMBER =

    2003

  51. [51]

    Breuil, Christophe , TITLE =. J. Inst. Math. Jussieu , VOLUME =. 2003 , NUMBER =

    2003

  52. [52]

    Breuil, Christophe , TITLE =. Ann. Sci. \'Ecole Norm. Sup. , VOLUME =. 2004 , PAGES =

    2004

  53. [53]

    Breuil, Christophe , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , VOLUME =. 1998 , NUMBER =

    1998

  54. [54]

    Multiplicit\' e s modulaires et repr\' e sentations de G L _2(Z_p) et de G al ( _p/ _p) en l=p

    Breuil, Christophe and Ariane M\' e zard. Multiplicit\' e s modulaires et repr\' e sentations de G L _2(Z_p) et de G al ( _p/ _p) en l=p. Duke Math. J. , FJOURNAL =. 2002 , NUMBER =

    2002

  55. [55]

    p-adic H odge theory, deformations, and local L anglands

    Breuil, Christophe. p-adic H odge theory, deformations, and local L anglands

  56. [56]

    Repr\' e sentations semi-stables et modules fortement divisibles

    Breuil, Christophe. Repr\' e sentations semi-stables et modules fortement divisibles. Invent. math. 1999

    1999

  57. [57]

    Algebraic geometry 2000, Azumino (Hotaka) , SERIES =

    Breuil, Christophe , TITLE =. Algebraic geometry 2000, Azumino (Hotaka) , SERIES =. 2002 , display-string =

    2000

  58. [58]

    Sch\' e mas en groupe et modules filtr\' e s

    Breuil, Christophe. Sch\' e mas en groupe et modules filtr\' e s. C. R. Acad. Sci. Paris. S\' e r. I Math. 1999

    1999

  59. [59]

    On the modularity of elliptic curves over Q

    Breuil, Christophe and Brian Conrad and Fred Diamond and Richard Taylor. On the modularity of elliptic curves over Q. J.A.M.S. 2001

    2001

  60. [60]

    Groupes p -divisibles, groupes finis et modules filtr\' e s

    Breuil, Christophe. Groupes p -divisibles, groupes finis et modules filtr\' e s. Ann. of Math. (2). 2000

    2000

  61. [61]

    Duke Math

    Buzzard, Kevin and Diamond, Fred and Jarvis, Frazer , TITLE =. Duke Math. J. , FJOURNAL =. 2010 , NUMBER =. doi:10.1215/00127094-2010-052 , URL =

    work page doi:10.1215/00127094-2010-052 2010

  62. [62]

    Compositio Mathematica , VOLUME =

    Calegari, Frank , TITLE =. Compositio Mathematica , VOLUME =. 2006 , NUMBER =

    2006

  63. [63]

    Carayol, Henri , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1986 , NUMBER =

    1986

  64. [64]

    1997 , display-string =

    Modular forms and. 1997 , display-string =

    1997

  65. [65]

    Pure and Applied Math

    Emerton, Matthew , TITLE =. Pure and Applied Math. Quarterly , VOLUME =. 2006 , NUMBER =

    2006

  66. [66]

    Faltings, Gerd , TITLE =. J. Algebraic Geom. , FJOURNAL =. 1997 , NUMBER =

    1997

  67. [67]

    Faltings, Gerd , TITLE =. Math. Ann. , FJOURNAL =. 1987 , NUMBER =

    1987

  68. [68]

    Fontaine, Jean-Marc and Laffaille, Guy , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1982 , NUMBER =

    1982

  69. [69]

    1966 , display-string =

    Gauss, Carl Friedrich , TITLE =. 1966 , display-string =

    1966

  70. [70]

    Gonz\'alez-Jim\'enez, E. and J. Gonz\'alez , title=. Math. Comp. , VOLUME =. 2003 , NUMBER =

    2003

  71. [71]

    , TITLE =

    Gross, Benedict H. , TITLE =. Duke Math. J. , VOLUME =. 1990 , NUMBER =

    1990

  72. [72]

    Jantzen, Jens Carsten , TITLE =. J. Algebra , FJOURNAL =. 1981 , NUMBER =

    1981

  73. [73]

    Duke Math

    Khare, Chandrashekhar , title=. Duke Math. J. , volume =. 2006 , pages =

    2006

  74. [74]

    Algebraic geometry and number theory , SERIES =

    Kisin, Mark , TITLE =. Algebraic geometry and number theory , SERIES =. 2006 , display-string =

    2006

  75. [75]

    Kisin, Mark , TITLE =

  76. [76]

    Ohta, Masami , TITLE =

  77. [77]

    1977 , display-string =

    Algebraic Number Theory, Papers contributed for the International Symposium, Kyoto 1976 , EDITOR =. 1977 , display-string =

    1976

  78. [78]

    Paskunas, Vytautas , TITLE =. M\'em. Soc. Math. Fr. (N.S.) , VOLUME =. 2004 , PAGES =

    2004

  79. [79]

    Sch\' e mas en groupes de type (p,p, ,p)

    Raynaud, Michel. Sch\' e mas en groupes de type (p,p, ,p). Bull. Soc. Math. France. 1974

    1974

  80. [80]

    , TITLE =

    Ribet, Kenneth A. , TITLE =. Algebra and topology 1992 (Taej on) , PAGES =. 1992 , display-string =

    1992

Showing first 80 references.