On some constancy of Hecke eigensystems for Drinfeld cuspforms of finite slope

Shin Hattori

arxiv: 2605.18016 · v2 · pith:S6DNBP36new · submitted 2026-05-18 · 🧮 math.NT

On some constancy of Hecke eigensystems for Drinfeld cuspforms of finite slope

Shin Hattori This is my paper

Pith reviewed 2026-05-20 00:48 UTC · model grok-4.3

classification 🧮 math.NT

keywords Drinfeld cuspformsHecke eigensystemsfinite slopelevel structuresconstancyDrinfeld modular forms

0 comments

The pith

A Hecke eigensystem of finite p-slope appears in Drinfeld cuspforms of level Γ1(n p^r) exactly when it appears at level Γ1(n p).

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 Drinfeld cuspforms of fixed weight k, any Hecke eigensystem with finite slope at the prime p shows up in the space of level Γ1(n p^r) if and only if it already shows up in the space of level Γ1(n p). The equivalence holds for every r greater than or equal to 1. This means that raising the level by extra powers of p never creates or destroys finite-slope eigenforms. A reader cares because the result reduces the study of these eigenforms and their Hecke algebras to the lowest relevant level, avoiding unnecessary growth in the level parameter.

Core claim

The central claim is that a Hecke eigensystem of finite 𝔭-slope appears in S_k(Γ₁(𝔫𝔭^r)) if and only if it appears in S_k(Γ₁(𝔫𝔭)), for any integers k ≥ 2 and r ≥ 1.

What carries the argument

The finite 𝔭-slope condition on a Hecke eigensystem, which selects those systems whose associated eigenvalues satisfy a boundedness requirement with respect to the prime 𝔭.

If this is right

The finite-slope part of the Hecke algebra for level Γ1(n p^r) is isomorphic to that for level Γ1(n p).
All finite-slope eigenforms at higher levels descend from eigenforms already present at level Γ1(n p).
Increasing the exponent r does not enlarge the set of finite-slope eigensystems.

Where Pith is reading between the lines

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

The same constancy may hold for other weights or when p divides the weight, if the slope condition can be controlled similarly.
Computations of eigenforms and their slopes can be restricted to level Γ1(n p) and then extended formally to higher r.
The result points to a possible stabilization of the Hecke module structure with respect to p-adic level growth.

Load-bearing premise

The result assumes the standard definitions and properties of Drinfeld cuspforms, Hecke operators, and the notion of finite 𝔭-slope as developed in prior literature on Drinfeld modular forms.

What would settle it

An explicit computation for small n, p, k, and r > 1 that produces a Hecke eigensystem appearing in S_k(Γ₁(𝔫𝔭^r)) but absent from S_k(Γ₁(𝔫𝔭)) would falsify the claim.

read the original abstract

Let $p$ be a rational prime, let $q>1$ be a $p$-power integer, let $\mathbb{F}_q$ be the field of $q$ elements and let $A=\mathbb{F}_q[t]$ be the polynomial ring over $\mathbb{F}_q$. Let $\mathfrak{n}\in A$ be a nonzero element and let $\wp\in A$ be a monic irreducible polynomial of positive degree. Let $k\geq 2$ and $r\geq 1$ be integers. Let $S_k(\Gamma_1(\mathfrak{n}\wp^r))$ be the space of Drinfeld cuspforms of level $\Gamma_1(\mathfrak{n}\wp^r)$ and weight $k$. In this paper, we prove that the multiplicity of a Hecke eigensystem of finite $\wp$-slope in $S_k(\Gamma_1(\mathfrak{n}\wp^r))$ is equal to $q^{(r-1)\mathrm{deg}(\wp)}$ times that in $S_k(\Gamma_1(\mathfrak{n}\wp))$. In particular, this shows that a Hecke eigensystem of finite $\wp$-slope appears in $S_k(\Gamma_1(\mathfrak{n}\wp^r))$ if and only if it appears in $S_k(\Gamma_1(\mathfrak{n}\wp))$.

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 proves finite-slope Hecke eigensystems for Drinfeld cuspforms are constant between levels Γ₁(n𝔭) and Γ₁(n𝔭^r).

read the letter

Hi, the main result here is that a finite 𝔭-slope Hecke eigensystem appears in S_k(Γ₁(𝔫𝔭^r)) exactly when it appears in S_k(Γ₁(𝔫𝔭)). This gives a direct reduction for working at higher prime-power levels without losing the eigenforms of interest. The statement itself looks new as a clean if-and-only-if in the Drinfeld setting, building on the usual definitions of the cuspform spaces, Hecke operators, and slope. It does a solid job framing the constancy as a practical tool rather than overclaiming broader impact. The argument seems to rest on standard prior work in function-field modular forms without obvious circularity or extra assumptions. The soft spot is that the abstract gives no proof details, so I cannot check how they control the U_𝔭 operator or move between levels, but the claim has no internal contradictions once the background is granted. This is aimed at specialists already working on Drinfeld forms and Hecke algebras in arithmetic over function fields. Someone studying finite-slope eigenforms or level-lowering analogues would get direct use from the reduction. It deserves peer review because the result is precise, the setup is standard, and a referee can verify the details in this narrow but active subfield.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that a Hecke eigensystem of finite 𝔭-slope appears in the space S_k(Γ₁(𝔫𝔭^r)) of Drinfeld cuspforms if and only if it appears in S_k(Γ₁(𝔫𝔭)), for k ≥ 2 and r ≥ 1. The result is stated for the standard setup with A = 𝔽_q[t], nonzero 𝔫 ∈ A, and monic irreducible 𝔭 ∈ A.

Significance. If the result holds, it supplies a Drinfeld-modular analogue of finite-slope level-lowering (or constancy) for Hecke eigensystems, allowing reduction of the study of finite-𝔭-slope forms to the minimal level Γ₁(𝔫𝔭). The argument relies on standard definitions and properties of Drinfeld cuspforms, Hecke operators, and slope filtrations already present in the cited literature; no new ad-hoc entities or free parameters are introduced.

minor comments (2)

§1 (Introduction): a brief paragraph recalling the definition of finite 𝔭-slope and the action of the U_𝔭 operator would make the paper more accessible without lengthening the text appreciably.
Notation: the symbol 𝔭 is used both for the prime and for the ideal it generates; a single clarifying sentence in §2 would remove any potential ambiguity for 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 referee's summary correctly captures the main result: a Hecke eigensystem of finite 𝔭-slope appears in S_k(Γ₁(𝔫𝔭^r)) if and only if it appears in S_k(Γ₁(𝔫𝔭)), for the standard setup with A = 𝔽_q[t]. We are pleased that the significance as a Drinfeld-modular analogue of finite-slope level-lowering is noted. Since the report lists no specific major comments, we have no point-by-point responses to provide.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes an if-and-only-if equivalence for the appearance of finite-𝔭-slope Hecke eigensystems between the spaces S_k(Γ₁(𝔫𝔭ʳ)) and S_k(Γ₁(𝔫𝔭)). This is a standard level-constancy statement in the Drinfeld modular forms setting, proved from the usual definitions of cuspforms, Hecke operators, and slope filtrations as developed in the cited prior literature. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claim introduces independent content once the background structures are granted and does not rename or smuggle in known results via internal ansatz.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the established theory of Drinfeld cuspforms and Hecke operators; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Standard definitions and properties of Drinfeld cuspforms of level Γ₁(𝔫𝔭ʳ), Hecke operators, and finite 𝔭-slope
The result is stated in terms of these objects whose properties are taken from prior literature on Drinfeld modular forms.

pith-pipeline@v0.9.0 · 5712 in / 1309 out tokens · 54841 ms · 2026-05-20T00:48:52.036721+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Theorem 1.1: a Hecke eigensystem of finite 𝔭-slope appears in S_k(Γ₁(𝔫𝔭^r)) iff it appears in S_k(Γ₁(𝔫𝔭)); proved via freeness of C_∞[Θ_r]-module S_k(Γ₁(𝔫𝔭^r)) (Prop. 4.2) and the isomorphism on finite-slope parts (Lemma 3.2).
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Key step: C_∞[Θ_r] is Artinian local; direct summands of free modules remain free (Lemma 3.1); used to relate multiplicities via fixed-part dimension 1.

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.