REVIEW 2 major objections
Greenberg's $\mu=0$ conjecture for lisse sheaves over global function fields
T0 review · 2 major / 0 minor · reviewed 2026-07-15 · grok-4.5
Pith's one-line read For lisse Z_ℓ-sheaves over global function fields of char p ≠ ℓ, Selmer groups over Z_ℓ-extensions have vanishing μ-invariant.
desk verdict Abstract-only claim of a general μ=0 theorem for lisse Z_ℓ-sheaves over function-field Z_ℓ-extensions; significant if true, but nothing to audit yet. 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 Selmer group attached to a lisse Z_ℓ-sheaf over the Z_ℓ-extension K_∞/K, together with its Pontryagin dual as a module over the Iwasawa algebra Λ = Z_ℓ[[Gal(K_∞/K)]]. Lisseness and the condition ℓ ≠ p ensure that étale cohomology and local conditions behave well enough for control theorems to force finite generation, torsion, and μ = 0.
What would settle it
Exhibit a concrete lisse Z_ℓ-sheaf over a global function field of characteristic p ≠ ℓ whose Selmer group over some Z_ℓ-extension has positive μ-invariant (or fails to be torsion over Λ).
Extended reading notes
Core claim
For a lisse Z_ℓ-sheaf over a global function field K of characteristic p ≠ ℓ, the Pontryagin dual of the Selmer group formed over any Z_ℓ-extension K_∞/K is a finitely generated torsion module over the Iwasawa algebra Λ with μ-invariant equal to zero. This is a positive-characteristic, prime-to-p analogue of Greenberg's μ=0 conjecture, and it yields an analogue of the weak Leopoldt conjecture over K_∞ together with the conclusion that the associated framed deformation ring is a formal power series ring.
Load-bearing premise
The sheaf must be lisse with Z_ℓ coefficients and the prime ℓ must be different from the characteristic p, so that the étale-cohomological control of Selmer groups over the Z_ℓ-extension works as in the classical setting.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that if K is a global function field of characteristic p>0 and ℓ≠p is a prime, then for a lisse ℤ_ℓ-sheaf the Pontryagin dual of the associated Selmer group over a ℤ_ℓ-extension K_∞/K is a finitely generated torsion module over the Iwasawa algebra Λ with μ-invariant equal to zero. This is presented as a positive-characteristic, prime-to-p analogue of Greenberg’s μ=0 conjecture, with applications to abelian varieties, fine Selmer groups, and adjoint representations. The authors further claim an analogue of the weak Leopoldt conjecture over K_∞ and deduce that the framed deformation ring of a residual representation is a formal power series ring (and likewise for the unframed ring when the residual representation has no non-scalar endomorphisms).
Significance. If the stated vanishing holds under the indicated hypotheses, the paper would supply a clean geometric analogue of Greenberg’s conjecture in the function-field setting for ℓ≠p, together with formal consequences for weak Leopoldt and for the structure of framed (and, under a mild endomorphism hypothesis, unframed) deformation rings. Those conclusions would be of genuine interest for Iwasawa theory of lisse sheaves and for Galois deformation theory over global function fields. The abstract indicates that the result is parameter-free in the classical sense and applies uniformly to several standard arithmetic objects; that breadth, if substantiated, would be a clear strength.
major comments (2)
- Only the abstract is available for review. The central claim (Pontryagin dual of the Selmer group is finitely generated torsion over Λ with μ=0) and the two corollaries (weak Leopoldt analogue; structure of framed/unframed deformation rings) are stated as theorems, but no proofs, control theorems, Euler-characteristic computations, or precise local conditions are supplied. Without the body of the manuscript it is impossible to verify that the derivation supports the claims as stated, so the load-bearing technical steps cannot be assessed.
- The abstract asserts that the result applies in particular to abelian varieties, fine Selmer groups, and adjoint representations, and that the deformation-ring conclusions follow from the μ=0 statement. These reductions are load-bearing for the paper’s scope; their correctness depends on the precise definition of the Selmer conditions and on the control maps over K_∞, none of which are visible from the abstract alone.
Circularity Check
No significant circularity; abstract-only pure-math claim with no exhibited self-definitional or fitted reduction.
full rationale
Only the abstract is available. It states a theorem: for a lisse Z_ℓ-sheaf over a global function field K of characteristic p ≠ ℓ, the Pontryagin dual of the associated Selmer group over a Z_ℓ-extension K_∞/K is a finitely generated torsion Λ-module with μ-invariant zero. This is presented as a positive-characteristic, prime-to-p analogue of Greenberg’s μ=0 conjecture, with applications to abelian varieties, fine Selmer groups, adjoint representations, a weak-Leopoldt analogue, and deformation rings. No equations, fitted parameters, uniqueness theorems imported from the same author, or ansatzes appear in the provided text. Nothing reduces a claimed prediction to an input by construction. Self-citation load-bearing cannot be checked without the body; the abstract itself is self-contained as a statement of a theorem under explicit hypotheses (lisse sheaf, ℓ ≠ p). Per the hard rules, honest non-finding is required when no specific reduction can be quoted. Score 0 is therefore the correct outcome.
Assumptions & free parameters
assumptions (3)
- standard math Standard properties of the Iwasawa algebra Λ = Z_ℓ[[Gal(K_∞/K)]] and of Pontryagin duals of discrete Λ-modules.
- domain assumption Étale cohomology and Selmer-group formalism for lisse Z_ℓ-sheaves over global function fields of characteristic p ≠ ℓ behave analogously to the number-field case for the purposes of control theorems.
- domain assumption Existence of a Z_ℓ-extension K_∞/K of the global function field over which the Selmer groups are formed.
Cite this review
Pith. "Pith review of Greenberg's $\mu=0$ conjecture for lisse sheaves over global function fields." pith.science (2026). https://pith.science/paper/JJXFJ6XO
@misc{pith2026260710728,
author = {Pith},
title = {Pith review of: Greenberg's $\mu=0$ conjecture for lisse sheaves over global function fields},
year = {2026},
howpublished = {\url{https://pith.science/paper/JJXFJ6XO}},
note = {Machine review of arXiv:2607.10728}
}
abstract
Let $K$ be a global function field of characteristic $p>0$ and $\ell\neq p$ be a prime number. We study Selmer groups over a $\mathbb{Z}_\ell$-extension $K_\infty/K$. For a lisse $\mathbb Z_\ell$-sheaf we prove that the Pontryagin dual of the associated Selmer group is a finitely generated torsion module over the Iwasawa algebra and has $\mu$-invariant equal to zero. This gives a positive-characteristic, prime to $p$, analogue of Greenberg's $\mu=0$ conjecture. Our result applies in particular to abelian varieties, fine Selmer groups, and adjoint representations. We also prove an analogue of the weak Leopoldt conjecture in this context over $K_\infty$, and deduce that the framed deformation ring of a residual representation is a formal power series ring. The same conclusion holds for the unframed deformation ring if the residual representation has no non-scalar endomorphisms.
Reviewed July 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.