REVIEW 2 major objections 4 minor 13 references
Crystalline lifts of semisimple $G$-valued Galois representations with fixed determinant
T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Mod p Galois representations into split reductive groups admit crystalline lifts with any prescribed abelian part.
desk verdict The split reductive theorem is a genuine step forward and mostly convincing; the quasi-split tame theorem is conditional on an unproved splitting of S -> G^ab that the abstract omits. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying mechanism is a norm computation in local class field theory. Given a lift $R'$ of an inertia-type character on a torus $T$, the proof shows that $(\Xi R')^{\mathrm{ab}}(\mathrm{rec}_{K_f}(y)) = \psi(\mathrm{rec}_{K_f}(y))$ for all $y \in K_f^\times$, using the identity $\mathrm{rec}_{K_f}(\mathrm{Nm}_{K_f/K}(y)) = \mathrm{rec}_K(y)$ up to the inclusion of Weil groups; this forces the abelianization of the extended representation to agree with $\psi$ on $\mathrm{Gal}_{K_f}$ and hence on all of $\mathrm{Gal}_K$. The extension from $T$ to the normalizer $N_G(T)$ is controlled by Lemma 3.5, which characterizes when an inertia representation extends with prescribed Frobenius via the vanishing of $(\zeta(w) \otimes 1 - 1 \otimes \Phi_K)v$. A second mechanism is the co-labeled Hodge-Tate character $\mathrm{HT}(\rho) = (\mathrm{HT}(\rho)_\sigma)_{\sigma \in \Sigma_L}$, used to enforce regular Hodge-Tate weights by adding a carefully chosen crystalline torus-valued character with trivial abelianization.
What would settle it
Take the quotient map from a non-split torus to the abelianized part, for example the norm map from the restriction of scalars of the multiplicative group to the multiplicative group itself for a tame extension, and check whether it has an algebraic section; if it does not and this map is the one supplied by the L-parameter factorization theorem, the theorem's construction cannot be applied as stated.
Extended reading notes
Core claim
The central claim is that quasi-semisimplicity is the only condition needed to couple a mod $p$ representation to an arbitrary crystalline abelian lift. Theorem 4.6 states that for a connected split reductive group $G$ over $\mathcal{O}_L$ and a quasi-semisimple representation $\rho\colon \mathrm{Gal}_K \to G(k_L)$ with $\rho(I_K)$ contained in $T(k_L)$ and $\rho(\mathrm{Gal}_K)$ contained in $N_G(T)(k_L)$, a crystalline lift $\psi$ of $\rho^{\mathrm{ab}}$ extends to a crystalline lift $\rho$ of $\rho$ with regular Hodge-Tate weights satisfying $\rho^{\mathrm{ab}} = \psi$, up to a finite extension $L'/L$. Theorem 5.5 gives the analogous potentially crystalline statement for semisimple mod $p$ $L$-parameters of a connected quasi-split tame group, provided a right inverse $G^{\mathrm{ab}} \to S$ to the torus projection is fixed. The proof combines a reduction to elliptic representations and normalizers of tori with a reciprocity-law norm computation that forces the abelianization of the lifted representation to equal $\psi$.
Load-bearing premise
The theorem for L-parameters rests on the unproved assumption that one can split the quotient map from the auxiliary torus back to the abelianized part; if that splitting does not exist, the construction that produces the lift falls apart.
Editorial extensions
If this is right
- For any split reductive $G$, a crystalline lift with prescribed abelianization exists after a finite extension of coefficients, and without regularity the extension can be chosen unramified.
- For $G = \mathrm{GL}_m$, the theorem supplies crystalline lifts with an arbitrary fixed determinant, recovering the earlier determinant-fixing results as a special case.
- For quasi-split tame groups, semisimple mod $p$ $L$-parameters admit potentially crystalline lifts with regular Hodge-Tate weights and prescribed abelianization, provided the torus section exists.
- The combined lifting and determinant-matching step removes the need for a separate twisting argument, so the resulting lift can be made regular without disturbing the fixed abelianization.
Reading between the lines
- Beyond the paper's statements, the same norm/reciprocity technique should apply to lift-theoretic problems with a prescribed abelian part, such as constructing crystalline lifts with prescribed inertial types inside parahoric subgroups.
- The paper's expectation that Theorem 4.6 is a first step toward Zariski density of crystalline points on $G$-valued framed deformation rings suggests that a fixed-determinant density theorem on each irreducible component is now within reach.
- A concrete testable extension is to run the construction for small groups such as $\mathrm{GSp}_4$ and check whether the regular-weight step can be done over an unramified extension without increasing ramification.
- If the section $G^{\mathrm{ab}} \to S$ is genuinely obstructed for some tame non-split torus, a repair of Theorem 5.5 would need to replace the product decomposition $S \cong G^{\mathrm{ab}} \times S'$ by a direct norm-compatible construction on $S$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies lifting problems for mod p Galois representations valued in reductive groups. For a split reductive group G over O_K, Theorem 4.6 asserts that every quasi-semisimple representation \bar{\rho}: Gal_K -> G(k_L) with inertia in a fixed split maximal torus admits a crystalline lift with regular Hodge-Tate weights and with abelianization equal to any prescribed crystalline lift of \bar{\rho}^{ab}. Theorem 5.5 makes an analogous assertion for potentially crystalline lifts of semisimple mod p L-parameters of quasi-split tame groups, using a torus S supplied by a factorization theorem of Lin. The first theorem is proven in detail using Lin's methods combined with norm computations from Böckle-Iyengar-Paškūnas. The second theorem is proven assuming the existence of a right inverse i: G^ab -> S of the natural surjection S -> G^ab, an assumption that is not proved and is not satisfied for arbitrary tame tori.
Significance. If Theorem 4.6 holds, it is a substantial generalization of earlier results by Lin and by Böckle-Iyengar-Paškūnas, and it is a useful step toward Zariski density of crystalline points on G-valued deformation rings. The proof is explicit and appears sound. The quasi-split tame theorem would be a natural analog, but as stated it depends on an unproved splitting condition. The paper is honest in citing external theorems, and I saw no circularity or fitted parameters. The central issue is therefore the status of Theorem 5.5 and its advertised unconditional claim.
major comments (2)
- [§5, Theorem 5.5] The theorem assumes, without proof, the existence of a right inverse i: G^ab -> S of the map S -> G^ab. This hypothesis is used in the proof at the sentence "By the existence of the right inverse of the map S → G^ab, we have S ≅ G^ab × S′," and the subsequent decomposition H^1_K(S) ≅ H^1_K(G^ab) ⊕ H^1_K(S′). For non-split tame tori such a section need not exist. For example, if G = GL_2 and S = Res_{E/K} G_m embedded via the regular representation of a tame quadratic extension E/K, the map S -> G^ab = G_m is the field norm; every K-homomorphism G_m -> S has the form t ↦ t^n, and its norm is t^{n[E:K]}, which is never the identity. Thus the decomposition used to form ρ′ = (ψ, [ρ_{S′}]) may be unavailable. The theorem is therefore conditional, and the proof does not establish the claim as stated.
- [Abstract and Theorem 1.2] The abstract states unconditionally that "We also show analogous results in the case that G is a quasi-split tame group," and Theorem 1.2 is phrased without any hypothesis on the existence of the section i. Since Theorem 5.3 only guarantees that some tame K-torus S factors ρ and does not guarantee that S → G^ab admits a section, the advertised theorem is not established. The author should either prove that the torus S from Theorem 5.3 always admits such a section, or add the existence of i as an explicit hypothesis in Theorem 1.2/5.5 and adjust the abstract and introduction accordingly.
minor comments (4)
- [§5, Theorem 5.5] The definition of τ^ab says it is induced by "the composite Gab --i--> S ↪ G ↠ Gab," but this composite is the identity on Gab and does not define a map LS(A) -> LG^ab(A). The intended map is presumably induced by the quotient S -> G^ab; this should be corrected.
- [§5, Theorem 5.5] The notation ψ is used first for the mod p abelianization \bar{ρ}^{ab} and then for its potentially crystalline lift; this is confusing and should be resolved, for instance by writing \bar{ψ} for the reduction.
- [§4, Step 3 of the proof of Theorem 4.6] The symbol v is used both for the mod p inertia representation ρ|_IK and for a chosen lift in M^0_{T,crys}; this ambiguity should be clarified.
- [Throughout] The term "co-labeled Hodge-Tate characters" is unusual; if it is translated from Lin's paper, a brief explanatory gloss would help the reader.
Circularity Check
No material circularity: Theorem 4.6 and 5.5 are explicit constructions from external prior theorems; the Section 5.5 section i issue is a hypothesis gap, not a circular step.
full rationale
The derivation chain is self-contained against the cited prior results rather than against its own conclusion. Theorem 4.6 is proved by constructing a T(O_L)-valued inertia representation whose components on the abelian part are prescribed by the given crystalline lift psi, then using the norm computation from Böckle–Iyengar–Paškūnas to force (ΞR')^ab = psi; the desired abelianization is an input, not an output. Theorem 5.5 similarly builds the lift as ρ' = (ψ, [ρ_S']) inside H^1_K(S), so the required abelianization is realized by construction. The only self-citation, [1], appears in Remark 1.3 about future GSp_{2n} work and is not used in any proof. The possible failure of the right inverse i: G^ab -> S for tame non-split tori in Theorem 5.5 would make that theorem conditional or gap-ridden, but it is an unproved existence/splitting hypothesis, not a definitional identity that makes the conclusion equal to the input. No fitted parameter is renamed as a prediction and no uniqueness assertion is imported from the author's prior work.
Assumptions & free parameters
assumptions (7)
- domain assumption G-completely reducible continuous G-valued representations are quasi-semisimple (Lin [9, Theorem 4]).
- domain assumption Every crystalline character of K^* is a twist of an unramified character by powers of fundamental characters (Conrad [6, Proposition B.4]).
- domain assumption Semisimple L-parameters factor through L_S(F_p) for a tame K-torus S (Lin [10, Theorem 3.4.1]).
- domain assumption H^1_cont(WE/K, X_*(T_E) tensor D) is naturally isomorphic to Hom(T(K),D) for divisible D (Birkbeck [3], Lin [10, Theorem 4.3.1]).
- domain assumption The existence of a right inverse Gab -> T for split G (Lemma 4.5), and the parallel existence for the tame torus S in Theorem 5.5 is assumed.
- domain assumption Key technical lemmas of Lin [9, Lemma 4, Proposition 2, Lemma 12, Theorem 6] and Bockle-Iyengar-Paskunas [4, Lemma 2.1, Lemma 2.5] are correct.
- standard math A character of T is algebraic if and only if it pairs trivially with all coroots (Jantzen [7, Part II, 1.18(3)]).
Cite this review
Pith. "Pith review of Crystalline lifts of semisimple $G$-valued Galois representations with fixed determinant." pith.science (2026). https://pith.science/paper/RP6KTLYG
@misc{pith2026250100259,
author = {Pith},
title = {Pith review of: Crystalline lifts of semisimple $G$-valued Galois representations with fixed determinant},
year = {2026},
howpublished = {\url{https://pith.science/paper/RP6KTLYG}},
note = {Machine review of arXiv:2501.00259}
}
abstract
For a finite extension $K/\mathbb{Q}_p$ and a split reductive group $G$ over $\mathcal{O}_K$, let $\overline{\rho} \colon \mathrm{Gal}_K \to G(\overline{\mathbb{F}}_p)$ be a continuous quasi-semisimple mod $p$ $G$-valued representation of the absolute Galois group $\mathrm{Gal}_K$. Let $\overline{\rho}^{\mathrm{ab}}$ be the abelianization of $\overline{\rho}$ and fix a crystalline lift $\psi$ of $\overline{\rho}^{\mathrm{ab}}$. We show the existence of a crystalline lift $\rho$ of $\overline{\rho}$ with regular Hodge-Tate weights such that the abelianization of $\rho$ coincides with $\psi$. We also show analogous results in the case that $G$ is a quasi-split tame group and $\overline{\rho} \colon \mathrm{Gal}_K \to {^L}G(\overline{\mathbb{F}}_p)$ is a semisimple mod $p$ $L$-parameter. These theorems are generalizations of those of Lin and B\"ockle-Iyengar-Pa\v{s}k\={u}nas.
Reference graph
Works this paper leans on
-
[1]
K. Aoki, Zariski density of crystalline points on GSp2n-valued local deformation rings , preprint, available at https://arxiv.org/abs/2407.17005
-
[2]
S. Balaji, G-valued potentially semi-stable deformation rings , ProQuest LLC, Ann Arbor, MI, 2012, Thesis (Ph. D.)-The University of Chicago
work page 2012
-
[3]
Birkbeck, On the p-adic Langlands correspondence for algebraic tori , J
C. Birkbeck, On the p-adic Langlands correspondence for algebraic tori , J. Théor. Nombres Bordeaux 32 (2020), no. 1, 133-158
work page 2020
- [4]
-
[5]
K. Buzzard, T. Gee, The conjectural connections between automorphic represent ations and Galois representations, Automorphic forms and Galois representations. Vol. 1, 135 -187. Lon- don Math. Soc. Lecture Note Ser., 414, Cambridge University Press, Cambridge, 2014
work page 2014
-
[6]
B. Conrad, Lifting global representations with local properties , preprint, available at https://math.stanford.edu/~conrad/papers/locchar.pdf. 14 KENSUKE AOKI
-
[7]
J. C. Jantzen, Representations of Algebraic Groups (Second Edition) , Mathematical Surveys and Monographs 107, Amer. Math. Soc., 2007
work page 2007
-
[8]
A. J. de Jong, Crystalline Dieudonné module theory via formal and rigid geomet ry, Inst. Hautes Études Sci. Publ. Math. No. 82 (1995), 5-96
work page 1995
Show all 13 references
-
[9]
Lin, Crystalline lifts and a variant of the Steinberg-Winter theor em, Doc
Z. Lin, Crystalline lifts and a variant of the Steinberg-Winter theor em, Doc. Math. 27 (2022), 2441-2468
2022
-
[10]
Lin, A Deligne-Lustig type correspondence for tame p-adic groups , preprint, available at https://arxiv.org/abs/2306.02093
Z. Lin, A Deligne-Lustig type correspondence for tame p-adic groups , preprint, available at https://arxiv.org/abs/2306.02093
-
[11]
Pašk¯ unas, J
V. Pašk¯ unas, J. Quast, On local Galois deformation rings: generalised reductive gro ups, preprint, available at https://arxiv.org/abs/2404.14622
-
[12]
J. T. Tate, Number theoretic background , in Automorphic forms, representations and L- functions, Proceedings of Symposia in Pure Mathematics, vo l. 33, Part 2, American Math- ematical Society, 1979, p. 3-26
1979
-
[13]
X. Zhu, A note on Integral Satake isomorphisms , available at https://arxiv.org/abs/2005.13056 Department of Mathematics, F aculty of Science, Kyoto Univer sity Email address : aoki.kensuke.88s@st.kyoto-u.ac.jp
2005 arXiv
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.