Local newforms for generic representations of $p$-adic ${\rm SO}_{2n+1}$: Uniqueness

Yao Cheng

arxiv: 2510.03068 · v3 · pith:AREGALZYnew · submitted 2025-10-03 · 🧮 math.NT

Local newforms for generic representations of p-adic {rm SO}_(2n+1): Uniqueness

Yao Cheng This is my paper

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

classification 🧮 math.NT

keywords local newformsp-adic SO(2n+1)generic representationsuniquenessGross conjecturenewform theoryWhittaker model

0 comments

The pith

The space of local newforms in a generic representation of the split p-adic SO(2n+1) is at most one-dimensional.

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

This paper proves that, in any generic representation of the split p-adic group SO(2n+1), the subspace of local newforms has dimension at most one. It also shows that any such newform, when it exists, satisfies the expected transformation rules under the group action and is fixed by a suitable congruence subgroup. A reader interested in the representation theory of p-adic groups would care because these uniqueness and arithmetic properties form a necessary half of Gross's conjectural theory of local newforms; establishing the 'at most one' direction first reduces the remaining task to constructing a single vector. The results are presented as a direct step toward proving the existence half of the same conjecture.

Core claim

The paper proves that the space of local newforms in a generic representation of the split p-adic SO(2n+1) is at most one-dimensional. Conditional on existence, any such newform vector is invariant under a certain open compact subgroup and transforms by a fixed character under the action of the long Weyl element outside that subgroup. These facts are shown to be compatible with the arithmetic expectations of Gross's conjecture and are used as the foundation for a separate existence argument.

What carries the argument

A local newform vector inside a generic representation, characterized by its invariance under a specific congruence subgroup together with a prescribed transformation property under the Weyl element.

Load-bearing premise

That at least one local newform vector already exists inside the generic representation.

What would settle it

An explicit generic representation of SO(2n+1) for some n and p in which two linearly independent vectors both satisfy the newform invariance and transformation conditions.

read the original abstract

The conjectural theory of local newofmrs for the split $p$-adic group ${\rm SO}_{2n+1}$, proposed by Gross, predicts that the space of local newforms in a generic representation is one-dimensional. In this note, we prove that this space is at most one-dimensional and verify its expected arithmetic properties, conditional on existence. These results play an important role in our proof of the existence part of the newform conjecture.

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

Cheng proves the local newform space for generic reps of split p-adic SO(2n+1) is at most one-dimensional conditional on existence, via Hecke action on the Whittaker model.

read the letter

The main point is that this note settles the uniqueness direction of Gross's conjecture for local newforms in generic irreducible admissible representations of the split p-adic SO(2n+1). The space is at most one-dimensional and the vectors have the expected transformation properties under the Hecke algebra, all assuming at least one such vector exists. The author flags this conditional framing clearly and positions the result as input for a separate existence argument. That is a reasonable division of labor. The paper does a clean job of working directly in the Whittaker model. It follows the action of the relevant Hecke operators attached to the Gross filtration or parahoric and shows that any two candidate newform vectors must be scalar multiples of each other. The linear algebra here looks straightforward and rests on standard facts about generic representations rather than new machinery. No obvious gaps or unjustified steps appear in the calculations described. The main limitation is the conditional character of the result. Uniqueness is not yet unconditional, so the full conjecture remains open until the existence half is supplied. This is not a flaw in the note itself, but it does mean the work is best read as one piece of a larger project. There is no sign of circularity or dependence on unproven internal claims. This is for specialists already comfortable with p-adic representation theory for classical groups and with Gross's local newform predictions. Someone working on explicit L-functions or the local Langlands correspondence for orthogonal groups will find it useful as a building block. I would bring it to a reading group if the group has people in this subfield. It is worth citing if you are extending results on newforms or Whittaker models. It deserves serious peer review because it resolves a specific open prediction with a focused, checkable argument.

Referee Report

0 major / 2 minor

Summary. The manuscript proves a conditional uniqueness result for local newforms in generic irreducible admissible representations of the split p-adic group SO(2n+1). It shows that the space of local newforms (with respect to the Gross filtration or appropriate parahoric) is at most one-dimensional and verifies the expected transformation properties under the Hecke algebra, assuming at least one such vector exists. The argument proceeds by analyzing the action of relevant Hecke operators on the Whittaker model to show that any two candidate newform vectors must be scalar multiples. This uniqueness is positioned as a key step toward proving the existence part of the newform conjecture.

Significance. If the result holds, it supplies the uniqueness half of Gross's conjectural local newform theory for SO(2n+1), which is important for the local Langlands correspondence and related arithmetic applications. The conditional approach is standard and appropriate when existence is treated separately; the self-contained nature of the Hecke-operator calculations on the Whittaker model is a strength.

minor comments (2)

§2: The precise definition of the Gross filtration and its relation to the parahoric subgroup should be recalled explicitly for readers who may not have the prior paper at hand.
The notation for the Whittaker model and the action of the Hecke algebra could be made uniform between the introduction and the main calculations to improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of our conditional uniqueness result for local newforms in generic representations of p-adic SO(2n+1). The referee's recognition that this supplies the uniqueness half of Gross's conjectural local newform theory is appreciated, as is the note that the Hecke-operator calculations on the Whittaker model are a strength. We have prepared a revised version incorporating minor editorial improvements.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The manuscript establishes a conditional uniqueness theorem for local newforms in generic irreducible admissible representations of the split p-adic SO(2n+1): the space is at most one-dimensional (with expected Hecke transformation properties) assuming at least one such vector exists. The argument proceeds by direct analysis of Hecke operators acting on the Whittaker model, showing any two candidate vectors are scalar multiples. This is self-contained within standard representation-theoretic tools (Whittaker models, parahoric subgroups, Gross filtration) and does not reduce any claimed prediction or uniqueness statement to a fitted parameter, self-definition, or load-bearing self-citation chain. The conditional framing is stated explicitly in the abstract, and the result is positioned as supporting (rather than presupposing) a separate existence argument. No equations or steps in the derivation chain collapse by construction to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard facts from the representation theory of p-adic reductive groups and the definition of generic representations and newforms as proposed by Gross. No new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Standard properties of generic representations of p-adic groups and the definition of local newforms from Gross's conjecture.
Invoked implicitly when stating the conjecture and the conditional uniqueness result.

pith-pipeline@v0.9.0 · 5595 in / 1329 out tokens · 36673 ms · 2026-05-21T21:04:33.703166+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A: subspaces satisfy π^{K_{n,m}}=0 for 0≤m<c_π and dim π^{K_{n,c_π}}≤1; action of J_{n,c_π}/K_{n,c_π} given by ε_π when nonzero.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

Local newforms for generic representations of $p$-adic ${\rm SO}_{2n+1}$: Reduction
math.RT 2026-05 unverdicted novelty 5.0

Proves that if newform spaces are non-zero for all irreducible generic supercuspidal representations of SO(2n+1), then they are non-zero for all irreducible generic representations.