pith. sign in

arxiv: 2604.10818 · v1 · submitted 2026-04-12 · 🧮 math.NT

Conjectural decomposition of symmetric powers of automorphic representations for GL(n)

Pith reviewed 2026-05-10 15:09 UTC · model grok-4.3

classification 🧮 math.NT
keywords symmetric power liftsautomorphic representationsGL(n)Langlands functorialityisobaric summandscuspidal representationsnumber fields
0
0 comments X

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.

The paper aims to control the decomposition of symmetric power lifts of automorphic representations on GL(n). By assuming the lower powers through k-1 are automorphic and cuspidal plus some functoriality, an upper bound is proved on how many cuspidal components the k-th power can have. This bound stabilizes and no longer grows once k is large enough. A sympathetic reader cares because it suggests these lifts cannot fragment into arbitrarily many pieces even without knowing they are automorphic themselves.

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.

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.

Referee Report

0 major / 2 minor

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)
  1. 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.
  2. 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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on several unproven domain assumptions from the Langlands program; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption The symmetric m-th power lift of π is automorphic and cuspidal for every m ≤ k-1
    Explicitly required in the statement of the main theorem.
  • domain assumption Additional unspecified Langlands functoriality conjectures hold
    Invoked to obtain the bound but not detailed in the abstract.

pith-pipeline@v0.9.0 · 5410 in / 1343 out tokens · 64775 ms · 2026-05-10T15:09:20.631744+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [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,...

  2. [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):...