Pith. sign in

REVIEW 5 minor 15 references

Bump-Friedberg type periods beyond the cuspidal spectrum

T0 review · 0 major / 5 minor · reviewed 2026-07-14 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A Bump–Friedberg period on GL_{2n+1} extends continuously and evaluates on regular Eisenstein series as a finite sum of L-values matching fixed-point predictions.

desk verdict Solid analytic extension of Bump–Friedberg periods past cuspidals, with an explicit multi-term L-value formula for a new SL_{n+1} imes GL_n period on Eisenstein series that matches the BZSV fixed-point prediction under Langlands. read the letter →

arxiv 2607.10289 v1 pith:QCZSFJX6 submitted 2026-07-11 math.RT math.NT

Shenghao Li This is my paper · ORCID
classification math.RTmath.NT MSC 11F7022E5511F66
keywords Bump–FriedbergperiodsautomorphicformsofuniformmoderategrowthWhittakerzetaintegralsEisensteinseriesrelativeLanglandsdualityglobalnumericalconjectureL-functions
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Classical Bump–Friedberg periods are defined only for cuspidal forms. This paper shows how to push three related periods past the cuspidal spectrum: a twisted period on GL_{2n}, an augmented period on GL_1 × GL_{2n}, and a new period on GL_{2n+1} integrating over SL_{n+1} × GL_n. Under explicit regularity conditions on the cuspidal datum, each period extends continuously from Schwartz functions to functions of uniform moderate growth, and the extension is realized by an entire Whittaker-type zeta integral. For the new period, the value on a regular Eisenstein series is computed explicitly: after normalization it becomes a finite sum, indexed by the GL_1 blocks of the inducing data, of products of three special L-values times local zeta integrals. Under the global Langlands correspondence those summands line up exactly with the fixed points of the L-parameter on a proposed dual variety and with the tangent-space L-factors predicted by the global numerical conjecture of relative Langlands duality. The result therefore supplies a concrete instance in which a non-cuspidal period produces a multi-term spectral expression rather than a single L-value.

What carries the argument

The entire Whittaker-type zeta integral Z(f, Φ, λ, s₂) (and its twisted/augmented analogues) obtained by successive Fourier expansions under regularity conditions that kill all non-principal orbits; its value at (0,0) supplies the continuous extension of the period, and for Eisenstein series the Langlands constant-term formula reduces it to a sum of twisted Bump–Friedberg integrals.

What would settle it

Compute the period of a low-rank Δ₁*-regular Eisenstein series (e.g., n=1) both by the explicit sum of L-values and by direct integration or numerical approximation of the automorphic form; any mismatch of poles, residues or numerical values would refute the formula.

Watch

Extended reading notes

Core claim

Under a Δ₁*-regularity condition, the SL_{n+1} × GL_n period on GL_{2n+1} extends continuously to functions of uniform moderate growth via an entire zeta integral, and its value on a corresponding Eisenstein series equals (after normalization) a finite sum over the GL_1 blocks of products L^S(1,η_i^{-1} ⊗ Π_i) L^S(1,η_i ⊗ Π_i^∨) L^S(1/2, Π_i, η_i^{-1} ⊗ ∧²) times normalized local zeta integrals; under global Langlands these terms match the fixed-point contributions of a candidate dual variety.

Load-bearing premise

The match with fixed points and tangent-space L-factors of the dual variety rests on the unproved global Langlands correspondence and on the unproved claim that the proposed dual variety is correct.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper extends Bump–Friedberg type periods beyond the cuspidal spectrum. For the twisted period on GL_{2n} and an augmented variant on GL_1×GL_{2n}, under (η,Δ*)- or Δ_a*-regularity of the cuspidal datum, the periods defined on automorphic Schwartz functions extend continuously to functions of uniform moderate growth; the extensions are given by entire Whittaker-type zeta integrals obtained by unfolding, residual-orbit vanishing, and functional equations (Theorems 3.1.5.1, 4.1.3). A new period on GL_{2n+1} over SL_{n+1}×GL_n is then introduced. For Δ_1*-regular Eisenstein series E(φ), after normalization, P*(E(φ),Φ) equals a finite sum over i∈J_1(π) of products of partial L-values L^S(1,η_i^{-1}⊗Π_i)L^S(1,η_i⊗Π_i^∨)L^S(1/2,Π_i,η_i^{-1}⊗∧²) times normalized local zeta integrals (Theorem 5.4.1 / (1.3.1)). Under the hypothetical global Langlands correspondence, the summands match the fixed points and tangent-space L-factors of a candidate dual variety ˇX motivated by TWZ26, in line with the BZSV global numerical conjecture.

Significance. The work supplies a concrete, non-cuspidal instance of the multi-fixed-point phenomenon predicted by the BZSV numerical conjecture, with an explicit period formula whose L-factors match the expected tangent-space contributions. The analytic core—absolute convergence of the zeta integrals, vanishing of residual periods under the stated regularity, reduction via Iwasawa to the augmented period, and Langlands constant-term decomposition indexed by J_1(π)—is standard but carefully executed and of independent interest for relative Langlands beyond the cuspidal spectrum. The dual-variety comparison is correctly flagged as conditional; the period identity itself does not depend on it. Strengths include the systematic use of regularity to kill residual orbits and the transparent reduction chain from the new period to the classical twisted Bump–Friedberg integral.

minor comments (5)
  1. In §1.3 and Remark 1.3.2 the normalization conventions for W^M_φ and W_{E(φ)} are stated carefully, but a short explicit sentence early in §5.4 recalling which global L-factor is absorbed by which normalization would help the reader track the appearance/disappearance of L(1,π,ˆn_P^-).
  2. The candidate dual variety ˇX is introduced only in §5.5 with a citation to TWZ26 Table 14 Line 19. A one-sentence pointer already in the introduction (or in the statement of Theorem 1.3.1) would make the compatibility claim easier to locate.
  3. Several lemmas (e.g. 3.3.3, 4.2.4, 5.3.3) are declared “identical” or “similar” to earlier ones and left to the reader. A brief indication of the single changed numerical relation (the +1 or +2 in the sum of r^+ versus r^-) would improve readability without lengthening the text much.
  4. Typographical: “ad´ eles”, “Fr´ echet”, “math´ ematiques” appear with broken accents in the source; these should be cleaned for the published version. Also “ene can check” (p. 37) → “one can check”.
  5. In Definition 3.1.4.1(2) the holomorphy of L(x,π_i,∧²⊗η^{-1}|·|^s) at x=1 is required for even n_i; a parenthetical remark that this is automatic for odd n_i (by the functional equation or known non-vanishing) would clarify why the condition is stated only for even blocks.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: period identities are derived by unfolding and constant-term analysis; dual-variety match is an a-posteriori consistency check under Langlands, not an input.

full rationale

The load-bearing chain for Theorems 3.1.5.1, 4.1.3, 5.1.5.1 and 5.4.1 is classical analytic: absolute convergence of Whittaker-type zeta integrals via moderate-growth estimates (Lemmas 2.2.2.1, 3.1.3.1, 5.1.3.1), successive Fourier expansions with residual orbits killed by the stated (η,Δ*)/Δ₁*-regularity (Props. 3.3.1, 4.2.2, 5.3.1 and Lemmas 3.3.2–3.3.4, 5.3.2–5.3.3), Poisson functional equations giving entire continuation, and for Eisenstein series the Langlands constant-term formula reducing to twisted BF integrals whose Euler factors come from the external unramified computation LXZ25 Prop. 4.4 and Shahidi normalization. None of these steps defines the period in terms of the claimed L-product, nor fits a parameter to data. Section 5.5 only verifies that, under the hypothetical global Langlands correspondence and a candidate dual variety motivated by TWZ26 Table 14, the independently obtained summands match fixed-point tangent spaces of the BZSV numerical conjecture; that comparison is not used to derive or normalize P*. Citations to LX25 supply technical lemmas (Fourier estimates, constant-term maps) whose statements do not include the present period formulae. No self-definitional identity, fitted-as-prediction step, uniqueness import, or renaming of a known empirical pattern appears.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

The paper works entirely inside the standard framework of automorphic forms on GL_n over number fields. The only non-standard inputs are the regularity conditions that force vanishing of residual periods, the candidate dual variety taken from a table, and the global Langlands correspondence used solely for the compatibility statement. No free parameters are fitted; all L-factors arise from known unramified computations.

assumptions (5)
  • domain assumption Global Langlands correspondence for GL_n (bijection between n-dimensional continuous irreducible representations of L_F and cuspidal representations of GL_n(A))
    Invoked only in §5.5 to identify fixed points of the L-parameter with the set J_1(π) and to match tangent-space representations with the L-factors appearing in Theorem 5.4.1.
  • standard math Existence and meromorphic continuation of Eisenstein series and their constant-term formulae (Langlands, Bernstein–Lapid, Lapid)
    Used throughout §§2–5 to place E(φ) in T_χ and to expand the constant term along Q=P_{(1,2n)}.
  • standard math Unramified computation of the Bump–Friedberg integral (LXZ25 Prop. 4.4) and Shahidi’s normalization of intertwining operators
    Supplies the partial L-factors L^S(s,Π⊗η^{-1}) and L^S(s,Π,∧²⊗η^{-1}) in the Euler decomposition (3.4.1) and the global factor L(1,π,ˆn_P^-)^{-1}.
  • ad hoc to paper The candidate dual variety ˇX=G_{2n+1}×_{G_1×G_{2n}}(std^∨⊠∧²) is the dual of X=G×_H std G_n
    Motivated by TWZ26 Table 14 Line 19 and a central-modification remark; not proved. Used only for the compatibility claim in §5.5.
  • domain assumption (η,Δ*)-regularity (and its Δ_a* / Δ_1* variants) forces vanishing of all residual periods that appear in the unfolding
    Definitions 3.1.4.1, 4.1.2, 5.1.4.1; proved via Matringe’s double-coset description and known non-vanishing criteria for periods of cusp forms (MOY25, XZ25).
invented entities (2)
  • Δ₁*-regular cuspidal datum (and the auxiliary (η,Δ*)- and Δ_a*-regularity) independent evidence
    purpose: Guarantee that residual periods vanish so that the original period equals the Whittaker-type zeta integral and admits continuous extension to T_χ.
    New technical condition tailored to the unfolding; independent evidence is the explicit vanishing lemmas proved in the paper itself.
  • Candidate dual spherical variety ˇX = G_{2n+1} ×_{G_1×G_{2n}} (std^∨ ⊠ ∧²)
    purpose: Provide the geometric side whose fixed points and tangent spaces are claimed to match the period formula.
    Taken from a table in TWZ26 with a central modification; no independent geometric construction or proof of duality is given.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bump-Friedberg type periods beyond the cuspidal spectrum." pith.science (2026). https://pith.science/paper/QCZSFJX6

@misc{pith2026260710289,
  author       = {Pith},
  title        = {Pith review of: Bump-Friedberg type periods beyond the cuspidal spectrum},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QCZSFJX6}},
  note         = {Machine review of arXiv:2607.10289}
}
abstract

In this article, we study several Bump--Friedberg type periods beyond the cuspidal spectrum. We first consider the twisted Bump--Friedberg period on $\textnormal{GL}_{2n}$, as well as a variant on $\textnormal{GL}_1\times \textnormal{GL}_{2n}$. Under suitable regularity conditions on the cuspidal datum, these periods extend continuously to automorphic functions of uniform moderate growth. Such extensions are characterized by entire Whittaker-type zeta integrals. We then introduce a Bump--Friedberg type period on $\textnormal{GL}_{2n+1}$, integrating over the subgroup $\textnormal{SL}_{n+1}\times \textnormal{GL}_n$. For certain Eisenstein series, we evaluate this period as a finite sum of products of special values of $L$-functions and normalized local zeta integrals. Assuming the expected global Langlands correspondence, the sum is indexed by the fixed points of the extended $L$-parameter on the conjectural dual variety, and the resulting $L$-factors agree with the tangent space prediction of the global numerical conjecture of Ben-Zvi-Sakellaridis-Venkatesh.

Figures

Figures reproduced from arXiv: 2607.10289 by the authors.

Figure 1
Figure 1. Illustrations of the proof of (2) and (3) for [PITH_FULL_IMAGE:figures/full_fig_p018_1.png] view at source ↗
Figure 2
Figure 2. Illustrations of the proof of (2) and (3) for [PITH_FULL_IMAGE:figures/full_fig_p034_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 1 canonical work pages

  1. [1]

    2025 , eprint=

    Periods detecting Eisenstein series and sums of L -values I , author=. 2025 , eprint=

    2025

  2. [2]

    Journal of the Institute of Mathematics of Jussieu , author=

    COMPARISON OF LOCAL RELATIVE CHARACTERS AND THE ICHINO–IKEDA CONJECTURE FOR UNITARY GROUPS , volume=. Journal of the Institute of Mathematics of Jussieu , author=. 2021 , pages=. doi:10.1017/S1474748019000707 , number=

    work page doi:10.1017/s1474748019000707 2021

  3. [3]

    On the local Bump–Friedberg L-function , title =

    Nadir Matringe , pages =. On the local Bump–Friedberg L-function , title =. Journal für die reine und angewandte Mathematik (Crelles Journal) , doi =. 2015 , lastchecked =

    2015

  4. [4]

    arXiv preprint arXiv:2509.00441 , year=

    Intertwining periods, L-functions and local-global principles for distinction of automorphic representations , author=. arXiv preprint arXiv:2509.00441 , year=

    arXiv

  5. [5]

    Peking Mathematical Journal , volume=

    Twisted linear periods and a new relative trace formula , author=. Peking Mathematical Journal , volume=. 2025 , publisher=

    2025

  6. [6]

    Publications math

    The global Gan-Gross-Prasad conjecture for unitary groups: the endoscopic case , author=. Publications math. 2022 , publisher=

    2022

  7. [7]

    arXiv preprint arXiv:2503.09664 , year=

    Unitary Friedberg-Jacquet periods and their twists: Relative trace formulas , author=. arXiv preprint arXiv:2503.09664 , year=

    arXiv

  8. [8]

    Journal of the American Mathematical Society , volume=

    On the meromorphic continuation of Eisenstein series , author=. Journal of the American Mathematical Society , volume=

Show all 15 references
  1. [9]

    2006 , publisher=

    On the functional equations satisfied by Eisenstein series , author=. 2006 , publisher=

    2006

  2. [10]

    Eisenstein series and applications , pages=

    A remark on Eisenstein series , author=. Eisenstein series and applications , pages=. 2008 , publisher=

    2008

  3. [11]

    arXiv preprint arXiv:2602.12637 , year=

    Anomaly-free Hyperspherical Hamiltonian spaces for simple reductive groups , author=. arXiv preprint arXiv:2602.12637 , year=

  4. [12]

    2011 , publisher=

    On Certain L -Functions: Conference on Certain L-functions in Honor of Freydoon Shahidi, July 23-27, 2007, Purdue University, West Lafayette, Indiana , author=. 2011 , publisher=

    2007

  5. [13]

    Inventiones mathematicae , volume=

    Relative Langlands duality for some strongly tempered spherical varieties , author=. Inventiones mathematicae , volume=. 2026 , publisher=

    2026

  6. [14]

    arXiv preprint arXiv:2409.04677 , year=

    Relative langlands duality , author=. arXiv preprint arXiv:2409.04677 , year=

    arXiv

  7. [15]

    Festschrift in honor of I

    Bump, Daniel and Friedberg, Solomon , title =. Festschrift in honor of I. I. Piatetski-Shapiro on the occasion of his sixtieth birthday, Part II , series =

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.