arxiv: 2605.03424 · v1 · submitted 2026-05-05 · 🧮 math.NT

Recognition: unknown

Behaviour of Certain Crystalline Representations modulo 2

Arathy Venugopal, Shalini Bhattacharya

Pith reviewed 2026-05-07 04:15 UTC · model grok-4.3

classification 🧮 math.NT

keywords crystalline Galois representationsmodulo 2 reductionlocal Langlands correspondence2-adic representationssemisimplificationslopes of representations

0 comments

The pith

The semisimplified reduction modulo 2 of the 2-adic crystalline Galois representations V_{k,a2} at slopes in (0,1] takes an explicit form controlled by the parameters α' and α.

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

The paper computes the explicit semisimplified reduction modulo 2 of the 2-adic crystalline Galois representations V_{k,a2} at small slopes in the interval (0,1]. It uses the compatibility between the 2-adic and mod-2 local Langlands correspondences to obtain these reductions. Two parameters are identified: α'(k,a2) governs the case for slopes in (0,1), while α(k,a2) governs the case of slope exactly 1. A reader would care because the result supplies concrete descriptions of how these representations look after reduction modulo 2, which is a basic step in relating Galois representations to other objects in number theory.

Core claim

We compute the explicit form of the semisimplified reduction modulo 2 of the 2-adic crystalline Galois representations V_{k,a2} at small slopes in (0,1], using the compatibility of 2-adic and mod-2 local Langlands correspondence. We find parameters α'(k,a2) and α(k,a2), which play a crucial role in determining the reduction of V_{k,a2} for slopes in the range (0,1) and slope 1 respectively.

What carries the argument

The parameters α'(k,a2) and α(k,a2) obtained from the 2-adic and mod-2 local Langlands correspondence, which directly determine the semisimplified mod-2 reduction of V_{k,a2}.

If this is right

For every slope strictly between 0 and 1 the semisimplified reduction is fixed by the value of α'(k,a2).
At slope exactly 1 the semisimplified reduction is fixed by the value of α(k,a2).
The reduction can be read off directly once the parameters are known.
The description covers all slopes in the closed interval (0,1].

Where Pith is reading between the lines

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

The same compatibility might be tested on crystalline representations at larger slopes to see whether analogous parameters exist.
The explicit forms supply concrete examples that could be used to check predictions from the mod-2 local Langlands correspondence in other contexts.
Numerical evaluation of the parameters for small admissible k and a2 offers a direct way to verify the claimed reductions.

Load-bearing premise

The compatibility between the 2-adic and mod-2 local Langlands correspondences applies directly to V_{k,a2} at the slopes considered and yields the reduction from the parameters without further obstructions.

What would settle it

An explicit computation for some concrete integers k and a2 with slope in (0,1] that produces a semisimplified mod-2 reduction different from the one predicted by the corresponding parameter α' or α.

Figures

Figures reproduced from arXiv: 2605.03424 by Arathy Venugopal, Shalini Bhattacharya.

**Figure 1.** Figure 1: Bruhat-Tits tree for p = 2. The vertex g i n,λ is said to be a point of radius n or −(n + 1), depending on whether i = 0 or 1, indicating its distance from the vertex labeled by the identity matrix. For example, g 0 0,0 has radius 0, g 0 1,0 and g 0 1,1 has radius 1 and g 1 0,0 has radius −1 view at source ↗

read the original abstract

We compute the explicit form of the semisimplified reduction modulo $2$ of the $2$-adic crystalline Galois representations $V_{k,a_2}$ at small slopes in $(0,1]$, using the compatibility of $2$-adic and mod-$2$ local Langlands correspondence. We find parameters $\alpha'(k,a_{2})$ and $\alpha(k,a_{2})$, which play a crucial role in determining the reduction of $V_{k,a_{2}}$ for slopes in the range $(0,1)$ and slope $1$ respectively.

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.

Desk Editor's Note private letter to a colleague

The paper gives explicit formulas for the semisimplified mod-2 reductions of crystalline Galois representations at small slopes by applying the known LLC compatibility.

read the letter

The main takeaway is that the authors compute explicit expressions for the semisimplified mod 2 reduction of the crystalline representations V_{k,a2} at slopes in (0,1] by using the compatibility of the 2-adic and mod-2 local Langlands correspondences. They introduce parameters alpha prime of k and a2 for slopes in (0,1) and alpha for slope 1 that determine the reduction. This is new in the sense that it moves from abstract compatibility statements to concrete formulas for these specific representations. The work does well by keeping the argument straightforward and staying inside the range where the compatibility theorem applies without extra work. The soft spots are minor but real. The provided abstract is too short to show the actual formulas or any check against known cases, so it is difficult to see exactly how the parameters are calculated or whether they avoid any subtle issues at the boundary between slope ranges. The stress-test note indicates no internal contradiction or failure of the compatibility, which is reassuring, but a referee would still need to verify the explicit output. This paper is for specialists in p-adic Galois representations and local Langlands at p equals 2. Someone working on explicit computations or needing reduction data for further applications would find it useful. It is not a broad result, but the explicit nature makes it worth a serious referee who knows the relevant compatibility theorems. I recommend sending it to peer review. The method is standard and the claim is specific enough that referees can check it without too much trouble.

Referee Report

1 major / 2 minor

Summary. The paper computes the explicit form of the semisimplified reduction modulo 2 of the 2-adic crystalline Galois representations V_{k,a_2} at small slopes in (0,1], using the compatibility of 2-adic and mod-2 local Langlands correspondence. It finds parameters α'(k,a_2) and α(k,a_2), which play a crucial role in determining the reduction of V_{k,a_2} for slopes in the range (0,1) and slope 1 respectively.

Significance. If the result holds, it provides explicit descriptions of mod-2 reductions for these crystalline representations, which is significant for the study of p-adic Galois representations and their reductions. The use of local Langlands compatibility to obtain these reductions is a standard but effective approach, and the explicit parameters allow for concrete computations in this range of slopes.

major comments (1)

The reader's concern about potential circularity in the definition of α'(k,a2) and α(k,a2) does not appear to land on the manuscript. The parameters are extracted from the LLC data to determine the reduction, rather than being fitted using the representations whose reduction is being computed; the argument is therefore a direct translation with no internal obstruction visible in the construction for crystalline representations of small slope.

minor comments (2)

The abstract asserts an explicit computation via compatibility but supplies no derivation steps or sample verification for specific k and a2; while this is typical for an abstract, the main text should include at least one concrete numerical example to allow readers to check the output of the formulas for α' and α.
The range of k and a2 for which the formulas hold should be stated more explicitly in the introduction or statement of results, including any restrictions on the weight or the slope parameter.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for their careful consideration of the potential circularity issue. We address the major comment below and note that the recommendation for minor revision does not appear to require any specific changes to the text based on the comments provided.

read point-by-point responses

Referee: The reader's concern about potential circularity in the definition of α'(k,a2) and α(k,a2) does not appear to land on the manuscript. The parameters are extracted from the LLC data to determine the reduction, rather than being fitted using the representations whose reduction is being computed; the argument is therefore a direct translation with no internal obstruction visible in the construction for crystalline representations of small slope.

Authors: We agree with the referee's assessment. In the manuscript, the parameters α'(k,a₂) and α(k,a₂) are obtained directly by applying the 2-adic local Langlands correspondence to the crystalline representations V_{k,a₂} and then using the compatibility with the mod-2 correspondence to identify the semisimplification. This process does not rely on any prior knowledge of the mod-2 reduction itself, so there is no circularity. The construction is a straightforward translation of the LLC data into the explicit form of the reduction for slopes in (0,1] and is free of internal obstructions for these small-slope crystalline cases. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation rests on the external compatibility theorem between 2-adic and mod-2 local Langlands correspondences, which is invoked to translate LLC data into the semisimplified mod-2 reduction of V_{k,a2}. The auxiliary parameters α'(k,a2) and α(k,a2) are outputs of this translation for the indicated slope ranges rather than inputs fitted to the target reductions themselves; the paper supplies explicit formulas for both the parameters and the resulting reductions. No self-definitional loop, fitted-input prediction, or load-bearing self-citation chain appears in the abstract or the described argument structure. The computation is therefore a direct, non-circular extraction within the stated range of applicability of the compatibility result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents identification of specific free parameters, axioms, or invented entities. The central claim rests on the external compatibility of 2-adic and mod-2 local Langlands correspondences, which is treated as given rather than derived here.

pith-pipeline@v0.9.0 · 5381 in / 1316 out tokens · 49660 ms · 2026-05-07T04:15:09.315824+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 1 canonical work pages

[1]

Arsovski

B. Arsovski. On the reductions of certain two-dimensional crystalline representations , Doc. Math. 26, 1929-1979, 2021

1929
[2]

Berger, C

L. Berger, C. Breuil. Sur quelque repr\'esentations potentiellement cristallines de _ 2 ( _ p ) Asterisque , 33, 155-211, 2010

2010
[3]

Barthel and R

L. Barthel and R. Livn\'e. Irreducible modular representations of GL _2 of a local field. Duke Math. J. , 75(2):261--292, 1994

1994
[4]

Bergdall and B

J. Bergdall and B. Levin. Reductions of some two-dimensional crystalline representations via Kisin modules. Int. Math. Res. Notices (2022), no.4, 3170-3197, 2022

2022
[5]

L. Berger. Repr\'esentations modulaires de GL _2( Q _p) et repr\'esentations galoisiennes de dimension 2. Ast\'erisque , 330:263--279, 2010

2010
[6]

Berger, H

L. Berger, H. Li and H. Zhu. Construction of some families of 2-dimensional crystalline representations. Math. Ann , 329:365--377, 2004

2004
[7]

Bhattacharya and E

S. Bhattacharya and E. Ghate. Reductions of Galois representations for slopes in (1,2) . Doc. Math. 20: 943-987, 2015

2015
[8]

Bhattacharya, E

S. Bhattacharya, E. Ghate and S. Rozensztajn. Reductions of Galois representations of slope 1 . J. Algebra , 508: 98-156, 2018

2018
[9]

C. Breuil. Sur quelques repr\'esentations modulaires et p -adiques de GL _2( Q _p) . I. Compositio Math. , 138(2): 165--188, 2003

2003
[10]

C. Breuil. Sur quelques repr\'esentations modulaires et p -adiques de GL _2( Q _p) . II. J. Inst. Math. Jussieu , 2: 23--58, 2003

2003
[11]

Breuil, Representations of Galois and of _ 2 in characteristic p , Graduate course at Columbia University, 2007

C. Breuil, Representations of Galois and of _ 2 in characteristic p , Graduate course at Columbia University, 2007

2007
[12]

Buzzard and T

K. Buzzard and T. Gee. Explicit reduction modulo p of certain two-dimensional crystalline representations. Int. Math. Res. Notices , no. 12, 2303--2317, 2009

2009
[13]

Buzzard and T

K. Buzzard and T. Gee. Explicit reduction modulo p of certain two-dimensional crystalline representations. Bull. Lond. Math. Soc. , 45(4):779--788, 2013

2013
[14]

P. Colmez. Repr\'esentations de GL_2(Q_p) et ( , ) -modules. Ast\'erisque , 330:281--509, 2010

2010
[15]

Edixhoven

B. Edixhoven. The weight in Serre's conjectures on modular forms. Invent. Math. 109:563--594, 1992

1992
[16]

Ganguli and E

A. Ganguli and E. Ghate. Reductions of Galois representations via the mod p Local Langlands Correspondence. J. Number Theory 147:250--286, 2015

2015
[17]

E. Ghate. A zig-zag conjecture and local constancy for Galois representations. RIMS Kokyuroku Bessatsu B86, 249-268, 2021

2021
[18]

E. Ghate. Zig-zag for Galois representations, Preprint, arXiv:2211.12114, 2022

work page arXiv 2022
[19]

Ghate and V

E. Ghate and V. Rai. Reductions of Galois representations of slope 3/2 . Kyoto J. Math. 65, no. 3, 595-636, 2025

2025
[20]

D. J. Glover. A study of certain modular representations. J. Algebra , 51:425--475, 1978

1978
[21]

Nagel and A

E. Nagel and A. Pande. Reductions of modular Galois representations of slope (2,3) . The Ramanujan J. 67(3), 2025

2025
[22]

Rozensztajn

S. Rozensztajn. An algorithm for computing the reduction of 2-dimensional crystalline representations of ( _p| _p) . Int. J. Number Theory, no 7, 1857-1894, 2018

2018