Conjectural decomposition of symmetric powers of automorphic representations for GL(n)
Pith reviewed 2026-05-10 15:09 UTC · model grok-4.3
The pith
Conditional on lower symmetric powers being automorphic and cuspidal, the k-th symmetric power lift of a GL(n) form has boundedly many cuspidal isobaric summands, with the bound independent of k for large k.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let π be a cuspidal automorphic representation for GL(n) over a number field. We establish a conditional upper bound on the number of cuspidal isobaric summands in the symmetric k-th power lift of π, assuming that the symmetric m-th power lift of π is automorphic and cuspidal for all m ≤ k-1, along with other specified Langlands functoriality conjectures. For sufficiently large k, the resulting bound is independent of the specific value of k. We further extend our study to cases in which the cuspidality assumptions on the symmetric power lifts are relaxed.
What carries the argument
The isobaric decomposition of the symmetric k-th power lift of π into cuspidal automorphic summands, with the number of such summands bounded using relations from Langlands functoriality.
Load-bearing premise
The premise that all symmetric m-th power lifts for m up to k-1 are automorphic and cuspidal, together with the other Langlands functoriality conjectures.
What would settle it
A counterexample consisting of a specific cuspidal automorphic representation π for GL(n) and a large k satisfying the lower power assumptions, but with the symmetric k-th power having more cuspidal isobaric summands than the established bound.
read the original abstract
Let $\pi$ be a cuspidal automorphic representation for $\mathrm{GL}(n)$ over a number field. We establish a conditional upper bound on the number of cuspidal isobaric summands in the symmetric $k$-th power lift of $\pi$, assuming that the symmetric $m$-th power lift of $\pi$ is automorphic and cuspidal for all $m \leq k-1$, along with other specified Langlands functoriality conjectures. For sufficiently large $k$, the resulting bound is independent of the specific value of $k$. We further extend our study to cases in which the cuspidality assumptions on the symmetric power lifts are relaxed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to establish a conditional upper bound on the number of cuspidal isobaric summands in the symmetric k-th power lift of a cuspidal automorphic representation π for GL(n) over a number field, assuming that the symmetric m-th power lift of π is automorphic and cuspidal for all m ≤ k-1 along with other specified Langlands functoriality conjectures. For sufficiently large k the bound becomes independent of k. The authors also treat an extension in which the cuspidality assumptions on the lower symmetric powers are relaxed.
Significance. If the stated conjectures hold, the result supplies a uniform and eventually k-independent bound on the isobaric decomposition of symmetric powers, which could serve as a useful structural fact within the Langlands program. The stabilization for large k follows formally from the recursive hypotheses and is a clear strength of the presentation. Because the entire argument is conditional on major open problems, the unconditional significance is limited, but the work organizes the consequences of those assumptions in a transparent way. No machine-checked proofs or reproducible code are supplied, yet the explicit separation of the main conditional result from the relaxed-cuspidality variant is helpful.
minor comments (2)
- The abstract refers to 'other specified Langlands functoriality conjectures' without enumerating them; a short explicit list in the introduction or in the statement of the main theorem would improve readability.
- Notation for isobaric summands and the precise meaning of 'cuspidal isobaric summands' should be recalled or referenced to a standard source (e.g., the work of Langlands or Moeglin-Waldspurger) at the first appearance in §1.
Simulated Author's Rebuttal
We thank the referee for their careful reading and positive assessment of the manuscript, including the recognition that the k-independent stabilization for large k is a formal strength under the stated hypotheses. We are pleased that the referee views the work as organizing consequences of the Langlands functoriality assumptions in a transparent manner. No specific major comments were raised in the report.
Circularity Check
No significant circularity detected in the derivation
full rationale
The paper states an explicitly conditional upper bound on the number of cuspidal isobaric summands in Sym^k(π), derived under the assumption that Sym^m(π) is automorphic and cuspidal for all m < k together with a finite list of other Langlands functoriality conjectures. The stabilization of the bound for large k follows formally from the recursive structure once those hypotheses are granted; the claimed result does not reduce to any quantity defined inside the paper by construction, nor does it rely on self-citations, fitted parameters renamed as predictions, or ansatzes imported from prior work by the same authors. The derivation therefore remains self-contained against the stated external conjectural framework.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The symmetric m-th power lift of π is automorphic and cuspidal for every m ≤ k-1
- domain assumption Additional unspecified Langlands functoriality conjectures hold
Reference graph
Works this paper leans on
-
[1]
Stegun.Handbook of mathematical functions with formulas, graphs, and mathematical tables, volume No
[AS64] Milton Abramowitz and Irene A. Stegun.Handbook of mathematical functions with formulas, graphs, and mathematical tables, volume No. 55 ofNational Bureau of Standards Applied Mathematics Series. U. S. Government Printing Office, Washington, DC, 1964. For sale by the Superintendent of Documents. [FH91] WilliamFultonandJoeHarris.Representation theory,...
work page 1964
-
[2]
A first course, Readings in Mathematics
Verlag, New York, 1991. A first course, Readings in Mathematics. [GJ78] Stephen Gelbart and Hervé Jacquet. A relation between automorphic representations ofGL(2)andGL(3). Ann. Sci. École Norm. Sup. (4), 11(4):471–542, 1978. [JS81] Hervé Jacquet and Joseph A. Shalika. On Euler products and the classification of automorphic forms. II.Amer. J. Math., 103(4):...
work page 1991
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.