On the $K$-extensions between Serre weights for unramified $\mathrm{GL}_3$

Yitong Wang

arxiv: 2604.12071 · v1 · submitted 2026-04-13 · 🧮 math.NT

On the K-extensions between Serre weights for unramified GL₃

Yitong Wang This is my paper

Pith reviewed 2026-05-10 14:47 UTC · model grok-4.3

classification 🧮 math.NT

keywords Serre weightsGL_3extensions of representationsmod p Langlandsp-adic groupsunramified extensionsfinite group representations

0 comments

The pith

In most cases, extensions between Serre weights for GL_3 over the p-adic ring coincide with those over the finite field.

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

The paper proves that for two Serre weights of GL_3 over a finite field with q elements, the extensions between them as representations of GL_3 over the ring of integers of an unramified extension of Q_p, considered modulo the center, are the same as the extensions when these weights are viewed as representations of the finite group GL_3. This holds for p at least 5 and in most cases, excluding some special configurations. Understanding these extensions is key to the mod p local Langlands correspondence because they determine how irreducible representations can be extended or lifted in the integral model. If the result is correct, computations involving the full p-adic group can often be reduced to the much simpler finite group case.

Core claim

Given two Serre weights for GL_3(F_q), in most cases the extensions between them for GL_3(O_L) modulo the center coincide with their GL_3(F_q)-extensions, where p ≥ 5 and L is an unramified extension of Q_p.

What carries the argument

The comparison showing that Ext groups between Serre weight modules over GL_3(O_L) modulo the center equal the Ext groups over the finite quotient GL_3(F_q).

If this is right

The extension groups over the p-adic group can be computed directly from the finite group GL_3(F_q).
This coincidence applies to the majority of pairs of Serre weights under the given hypotheses.
It reduces the study of integral extensions to the finite-field representation theory of GL_3.
The result is limited to the unramified setting with p at least 5.

Where Pith is reading between the lines

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

Similar reductions might be possible for extensions in other reductive groups such as GL_n with n greater than 3.
The work suggests testing the excluded configurations to determine whether they require separate analysis or yield counterexamples.
This could simplify calculations in related contexts such as deformations of Galois representations attached to these weights.

Load-bearing premise

The result depends on restricting to most pairs of Serre weights and avoiding certain special configurations.

What would settle it

Finding a pair of Serre weights in an excluded configuration where the dimension of the extension space over GL_3(O_L) modulo center differs from the dimension over GL_3(F_q).

read the original abstract

Let $p\geq5$ be a prime number. Let $L$ be a finite unramified extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_L$ and residue field $\mathbb{F}_q$. Given two Serre weights for $\mathrm{GL}_3(\mathbb{F}_q)$, we prove that in most cases the extensions between them for $\mathrm{GL}_3(\mathcal{O}_L)$ modulo the center coincide with their $\mathrm{GL}_3(\mathbb{F}_q)$-extensions.

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

Wang proves a reduction of Serre weight extensions for unramified GL_3 to the finite group in most cases.

read the letter

The main point is that extensions between Serre weights for GL_3(O_L) modulo the center are the same as the GL_3(F_q) extensions in most cases. Wang shows this for unramified L over Q_p when p is at least 5. What is actually new is this specific coincidence theorem. The paper does well by carrying out the reduction using weight theory and explicit cocycle computations. This makes the p-adic extension groups computable from the finite ones, which is a useful simplification within the subfield. The argument appears sound. It reduces the problem without circular reasoning, and the 'most cases' are addressed by handling exceptions separately. The stress-test confirms no hidden inconsistencies in the structure. The soft spots are mainly the restrictions built into the statement. It applies only when L is unramified and p is at least 5, and it leaves out some configurations. If those configurations are common in applications, then the result requires additional work to be fully useful. The method is computational and tied to GL_3, so it does not obviously extend to ramified cases or higher rank groups. This paper is aimed at researchers working on Serre weights for GL_3 or the mod p Langlands correspondence in small rank. A reader in that area will get value from the reduction and can apply it to their calculations. It is not a major reorganization of the field but provides a precise tool. I would bring this to the next reading group only if the group includes people focused on p-adic groups or automorphic forms mod p. I would not cite this in my own work in the next 12 months unless my projects involved these specific extension groups. It deserves a serious referee because the claim is concrete enough to be checked and the approach is laid out in a way that allows verification.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that, for p ≥ 5 and L an unramified finite extension of Q_p with residue field F_q, the extensions between most pairs of Serre weights for GL_3(F_q), computed in the category of GL_3(O_L)-representations modulo the center, coincide with the corresponding extensions over GL_3(F_q). The argument reduces the integral-level Ext groups to the finite-field case via weight theory and explicit cocycle computations.

Significance. If the result holds, it supplies a useful reduction for computing extensions between Serre weights at the integral level, which bears on the mod p Langlands correspondence and deformation theory for GL_3. The approach of reducing via weight theory and cocycles is standard in the field and, when successful, clarifies the relationship between integral and mod p representation theory under the stated hypotheses.

minor comments (1)

[Introduction] The precise list of excluded configurations (the 'most cases' qualifier) should be stated explicitly in the main theorem or introduction so that the scope of the result is immediately clear to readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The report accurately summarizes the main result and its potential utility for the mod p Langlands correspondence. Since the referee raised no specific major comments, we have no point-by-point responses to provide. We remain ready to incorporate any minor editorial suggestions in a revised version.

Circularity Check

0 steps flagged

No significant circularity; proof is self-contained

full rationale

The paper states a conditional theorem: under p ≥ 5 and L unramified over Q_p, the GL_3(O_L)-extensions (mod center) between two Serre weights coincide with the known GL_3(F_q) Ext groups in most cases. The derivation proceeds via explicit reduction using weight theory and cocycle computations on the given hypotheses; no equation or step redefines the target coincidence in terms of itself, fits a parameter to a subset and renames it a prediction, or relies on a load-bearing self-citation whose content is unverified outside the paper. The 'most cases' qualifier is an explicit exclusion of configurations, not a hidden redefinition. The result is therefore independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no explicit free parameters, axioms, or invented entities; the result is framed as a proof under standard number-theoretic hypotheses.

pith-pipeline@v0.9.0 · 5382 in / 1019 out tokens · 41396 ms · 2026-05-10T14:47:01.070356+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

[1]

[Her09] Florian Herzig

PhD Thesis, Univerisity of Toronto (2018). [Her09] Florian Herzig. The weight in a Serre-type conjecture for tamen-dimensional Galois representations.Duke Math. J., 149(1):37–116,

work page 2018
[2]

Le Hung, and Stefano Morra.K 1-invariants in the modp cohomology ofU(3) arithmetic manifolds.https://arxiv.org/abs/2403.09843, preprint,

[LLHM] Daniel Le, Bao V. Le Hung, and Stefano Morra.K 1-invariants in the modp cohomology ofU(3) arithmetic manifolds.https://arxiv.org/abs/2403.09843, preprint,

work page arXiv
[3]

https://arxiv.org/abs/2404.00396, preprint,

work page arXiv

[1] [1]

[Her09] Florian Herzig

PhD Thesis, Univerisity of Toronto (2018). [Her09] Florian Herzig. The weight in a Serre-type conjecture for tamen-dimensional Galois representations.Duke Math. J., 149(1):37–116,

work page 2018

[2] [2]

Le Hung, and Stefano Morra.K 1-invariants in the modp cohomology ofU(3) arithmetic manifolds.https://arxiv.org/abs/2403.09843, preprint,

[LLHM] Daniel Le, Bao V. Le Hung, and Stefano Morra.K 1-invariants in the modp cohomology ofU(3) arithmetic manifolds.https://arxiv.org/abs/2403.09843, preprint,

work page arXiv

[3] [3]

https://arxiv.org/abs/2404.00396, preprint,

work page arXiv