pith. sign in

arxiv: 2606.05549 · v1 · pith:BW7IHNUCnew · submitted 2026-06-04 · 🧮 math.NT

On explicit Fourier expansions of theta lifts to {rm SO}(3,n+1) arising from elliptic newforms of level one

Henry H. Kim , Takuya Yamauchi This is my paper

Pith reviewed 2026-06-28 00:00 UTC · model grok-4.3

classification 🧮 math.NT
keywords theta liftsFourier expansionsSO(3,n+1)elliptic newformsautomorphic formsEisenstein seriesWhittaker functionsnumber theory
0
0 comments X

The pith

Explicit formulas for the Fourier expansions of theta lifts to SO(3,n+1) are obtained from elliptic newforms using Whittaker functions and Eisenstein series.

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

The paper derives explicit formulas for the Fourier expansions of theta lifts to the group SO(3,n+1) over the rationals. These lifts come from elliptic newforms of level one and produce non-cuspidal square-integrable automorphic forms. The derivations rely on degenerate Whittaker functions and explicit Eisenstein series calculations. A reader would care because these formulas make the coefficients of the lifts computable in concrete terms. This extends knowledge of how lifts behave in higher rank orthogonal groups.

Core claim

Using degenerate Whittaker functions and explicit computations of Eisenstein series, explicit formulas are obtained for the Fourier expansions of theta lifts to SO(3,n+1), where these lifts are Hecke eigen non-cuspidal square-integrable forms of weight l arising from elliptic newforms for SL2(Z) of appropriate weights depending on the parity of n.

What carries the argument

Degenerate Whittaker functions combined with explicit Eisenstein series computations, which allow the determination of the Fourier coefficients of the theta lifts.

If this is right

  • The Fourier coefficients of the theta lifts can be expressed explicitly in terms of the coefficients of the originating newforms.
  • The expansions hold for n at least 3 when the group splits at all finite places.
  • The resulting forms are Hecke eigenforms of the specified weight.
  • The formulas apply separately for even and odd n with corresponding weight shifts from the newform.

Where Pith is reading between the lines

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

  • These explicit expansions could enable numerical checks of coefficient growth or Sato-Tate type distributions for the lifts.
  • The method might extend to computing local factors or comparing with other constructions of automorphic forms on orthogonal groups.

Load-bearing premise

The theta lifts in question are Hecke eigen, non-cuspidal, square-integrable automorphic forms arising from specific elliptic newforms of level one.

What would settle it

A direct computation of the Fourier coefficients for a specific small n and l that does not match the predicted formula from the newform would falsify the explicit formulas.

read the original abstract

Using degenerate Whittaker functions and explicit computations of Eisenstein series, we obtain explicit formulas for the Fourier expansions of theta lifts to the special orthogonal group $G={\rm SO}(3,n+1)$ over $\mathbb{Q}$, where $n\ge 3$ and $G$ splits at all finite places. The theta lifts in question are Hecke eigen, non-cuspidal, square-integrable automorphic forms of weight $l$ ($l\ge n+2$, even), arising from elliptic newforms for $\SL_2(\Z)$ of weight $l-\frac{n-2}{2}$ when $n$ is even and $2l-n+1$ when $n$ is odd.

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 / 3 minor

Summary. The manuscript claims to derive explicit formulas for the Fourier expansions of certain theta lifts to the orthogonal group SO(3,n+1) (n≥3, split at all finite places) over Q. These lifts are Hecke eigen, non-cuspidal, square-integrable automorphic forms of even weight l≥n+2 arising from elliptic newforms of level one for SL2(Z), with the newform weight given by l−(n−2)/2 (n even) or 2l−n+1 (n odd). The derivations rely on degenerate Whittaker functions together with explicit computations of Eisenstein series.

Significance. If the explicit formulas are correctly established, the work supplies concrete expressions for the Fourier coefficients of these theta lifts. Such formulas are useful for further arithmetic applications, including the study of special values of L-functions or the behavior of the lifts under the theta correspondence. The methods invoked (Whittaker functions, Eisenstein series) are standard and the weight/level conditions align with known results on non-cuspidality of the lifts.

minor comments (3)
  1. [§1] §1 (Introduction): the statement of the main result would be clearer if presented as a numbered theorem with an explicit reference to the formula for the Fourier coefficients rather than being described only in prose.
  2. [§3] §3 (Eisenstein series computations): verify that the normalization of the constant term in the Eisenstein series is consistent with the Whittaker function normalization used in §4; a short remark on the matching of local factors would help.
  3. [Table 1] Table 1 (or equivalent summary table of weights): the row for odd n lists the newform weight as 2l−n+1; confirm that this is the minimal weight satisfying the square-integrability condition l≥n+2.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the accurate summary of its contents, and the recommendation of minor revision. No major comments are provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives explicit Fourier expansions of theta lifts on SO(3,n+1) by applying degenerate Whittaker functions and explicit Eisenstein series computations to Hecke eigen non-cuspidal square-integrable forms arising from elliptic newforms of SL2(Z) under the stated weight conditions. These methods are standard external tools from the theory of automorphic forms and theta correspondences; the abstract and description give no indication that any load-bearing step reduces by definition, by fitted-parameter renaming, or by self-citation chain to the paper's own inputs. The result is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard properties of degenerate Whittaker functions and Eisenstein series (domain assumptions in the theory of automorphic forms) together with the stated splitting condition on G and the weight relations for the source newforms; no free parameters or invented entities are mentioned in the abstract.

axioms (2)
  • domain assumption Degenerate Whittaker functions and Eisenstein series admit explicit computations on the groups in question
    Invoked as the computational tools that yield the Fourier expansions (abstract).
  • domain assumption The group G splits at all finite places
    Stated as a hypothesis enabling the global setup (abstract).

pith-pipeline@v0.9.1-grok · 5658 in / 1365 out tokens · 28233 ms · 2026-06-28T00:00:51.619197+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

45 extracted references

  1. [1]

    Arthur, The endoscopic classification of representations

    J. Arthur, The endoscopic classification of representations. Orthogonal and symplectic groups. American Mathematical Society Colloquium Publications, 61. Amer. Math. Soc., Providence, RI, 2013. xviii+590 pp

    2013

  2. [2]

    Atobe and W-T

    H. Atobe and W-T. Gan,Local theta correspondence of tempered representations and Langlands parameters, Inv. Math.210(2017), no. 2, 341–415

    2017

  3. [3]

    Ban and D

    D. Ban and D. Jantzen, Degenerate principal series for even-orthogonal groups. Represent. Theory 7 (2003), 440–480

    2003

  4. [4]

    Bergeron, J

    N. Bergeron, J. Millson, and C. Moeglin,Hodge type theorems for arithmetic manifolds associated to orthogonal groups.Int. Math. Res. Not. 2017, no. 15, 4495–4624

    2017

  5. [5]

    Berndt, R-J

    B-C. Berndt, R-J. Evans, and K-S. Williams, Gauss and Jacobi sums. Canadian Mathematical Society Series of Monographs and Advanced Texts. John Wiley & Sons, Inc., New York, 1998. xii+583 pp

    1998

  6. [6]

    Blasius,On multiplicities forSL(n), Israel J

    D. Blasius,On multiplicities forSL(n), Israel J. Math.88(1994), no. 1-3, 237–251

    1994

  7. [7]

    Borel and H

    A. Borel and H. Jacquet,Automorphic forms and automorphic representations, Proc. Sympos. Pure Math., XXXIII, Part 1, pp. 189–207, Amer. Math. Soc., Providence, RI, 1979

    1979

  8. [8]

    Bump, Automorphic forms and representations

    D. Bump, Automorphic forms and representations. Cambridge Studies in Advanced Mathematics, 55. Cam- bridge University Press, Cambridge, 1997. xiv+574 pp

    1997

  9. [9]

    Carter, Simple groups of Lie type, Pure and Applied Mathematics, Vol

    R.W. Carter, Simple groups of Lie type, Pure and Applied Mathematics, Vol. 28. John Wiley & Sons, 1972

    1972

  10. [10]

    Chai and Q

    J. Chai and Q. Zhang, A strong multiplicity one theorem forSL 2. Pacific J. Math. 285 (2016), no. 2, 345–374

    2016

  11. [11]

    Chen and J

    R. Chen and J. Zou,Arthur’s multiplicity formula for even orthogonal and unitary groups, J. Eur. Math. Soc. 27(2025), no. 12, 4769–4843

    2025

  12. [12]

    Ginzburg, D

    D. Ginzburg, D. Jiang, and D. Soudry,On CAP representations for even orthogonal groups I: A correspondence of unramified representations, Chinese Ann. Math. Ser. B36(2015), no. 4, 485–522. ON EXPLICIT FOURIER EXPANSIONS OF THETA LIFTS TO SO(3, n+ 1) 43

    2015

  13. [13]

    Ginzburg, S

    D. Ginzburg, S. Rallis, and D. Soudry,On explicit lifts of cusp forms fromGL m to classical groups, Ann. of Math. (2)150(1999), no. 3, 807–866

    1999

  14. [14]

    Gross,Groups overZ, Inv

    B. Gross,Groups overZ, Inv. math.124(1996), 263–279

    1996

  15. [15]

    Ikeda,On the theory of Jacobi forms and Fourier-Jacobi coefficients of Eisenstein series, J

    T. Ikeda,On the theory of Jacobi forms and Fourier-Jacobi coefficients of Eisenstein series, J. Math. Kyoto Univ.34(1994), no. 3, 615–636

    1994

  16. [16]

    ,On the lifting of elliptic cusp forms to Siegel cusp forms of degree2n, Ann. of Math. (2)154(2001), no. 3, 641–681

    2001

  17. [17]

    Math.144(2008), 1107–1154

    ,On the lifting of hermitian modular forms, Comp. Math.144(2008), 1107–1154

    2008

  18. [18]

    ,On the functional equation of the Siegel series, J. Num. Th.172(2017), 44–62

    2017

  19. [19]

    Iwaniec and E

    H. Iwaniec and E. Kowalski, Analytic Number Theory, American Mathematical Society, Colloquium Publica- tions, Vol53, 2004

    2004

  20. [20]

    Ikeda and S

    T. Ikeda and S. Yamana,On the lifting of Hilbert cusp forms to Hilbert-Siegel cusp forms, Ann. Sci. ´Ec. Norm. Sup´ er. (4)53(2020), no. 5, 1121–1181

    2020

  21. [21]

    Jantzen, Degenerate principal series for symplectic and odd-orthogonal groups

    C. Jantzen, Degenerate principal series for symplectic and odd-orthogonal groups. Mem. Amer. Math. Soc. 124 (1996), no. 590, viii+100 pp

    1996

  22. [22]

    Karel, Functional equations of Whittaker functions onp-adic groups

    M. Karel, Functional equations of Whittaker functions onp-adic groups. Amer. J. Math. 101 (1979), no. 6, 1303–1325

    1979

  23. [23]

    Kim and T

    H-H. Kim and T. Yamauchi,Cusp forms on the exceptional group of typeE 7, Comp. Math.152(2016), no. 2, 223–254

    2016

  24. [24]

    Math.63(2023), no

    ,Higher level cusp forms on exceptional group of typeE 7, Kyoto J. Math.63(2023), no. 3, 579–614

    2023

  25. [25]

    ,Fourier coefficients of Eisenstein series onSO(3, n+ 1), preprint

  26. [26]

    , On the Fourier expansion of Gan-Gurevich lifts on the exceptional group of typeG 2, a preprint arXiv:2411.16953

    arXiv

  27. [27]

    Kobayashi,Branching laws of unitary representations associated to minimal elliptic orbits for indefinite orthogonal groupO(p, q), Adv

    T. Kobayashi,Branching laws of unitary representations associated to minimal elliptic orbits for indefinite orthogonal groupO(p, q), Adv. Math.388(2021), Paper No. 107862, 38 pp

    2021

  28. [28]

    Kohnen and D

    W. Kohnen and D. Zagier,Values ofL-series of modular forms at the center of the critical strip, Inv. Math. 64(1981), no. 2, 175–198

    1981

  29. [29]

    Konno, A note on the Langlands classification and irreducibility of induced representations of p-adic groups

    T. Konno, A note on the Langlands classification and irreducibility of induced representations of p-adic groups. Kyushu J. Math. 57 (2003), no. 2, 383–409

    2003

  30. [30]

    Li,Nonvanishing theorems for the cohomology of certain arithmetic quotients, J

    J-S. Li,Nonvanishing theorems for the cohomology of certain arithmetic quotients, J. Reine Angew. Math. 428(1992), 177–217

    1992

  31. [31]

    Y. Li, N. Narita and A. Pitale,An explicit construction of non-tempered cusp forms onO(1,8n+ 1), Ann. Math. Qu.44(2020), no. 2, 349-384

    2020

  32. [32]

    Miyazaki and Y

    T. Miyazaki and Y. Saito,Theta lifts to certain cohomological representations of indefinite orthogonal groups, Res. Number Theory10(2024), no. 2, Paper No. 25, 27 pp

    2024

  33. [33]

    Narita, A

    H. Narita, A. Pitale and S. Wagh,An explicit lifting construction of CAP forms onO(1,5), Int. J. Number Theory19(2023), no. 6, 1337-1378. 44 HENRY H. KIM AND TAKUYA YAMAUCHI

    2023

  34. [34]

    Oda,On modular forms associated with indefinite quadratic forms of signature(2, n−2), Math

    T. Oda,On modular forms associated with indefinite quadratic forms of signature(2, n−2), Math. Ann.231 (1977), 97-144

    1977

  35. [35]

    Ono and C

    K. Ono and C. Skinner,Non-vanishing of quadratic twists of modularL-functions. Inv. Math.134(1998), no. 3, 651–660

    1998

  36. [36]

    Next to minimal representation

    A. Pollack,Modular forms on indefinite orthogonal groups of rank three. With appendix “Next to minimal representation” by G. Savin, J. Num. Th.238(2022), 611–675

    2022

  37. [37]

    ,Automatic convergence and arithmeticity of modular forms on exceptional groups, arXiv:2408.09519

    arXiv

  38. [38]

    Rallis,On a relation between gSL2 cusp forms and automorphic forms on orthogonal groups, Proc

    S. Rallis,On a relation between gSL2 cusp forms and automorphic forms on orthogonal groups, Proc. Sympos. Pure Math., XXXIII, Part 1, pp. 297–314, Amer. Math. Soc., Providence, RI, 1979

    1979

  39. [39]

    Rallis and G

    S. Rallis and G. Schiffmann,On a relation between gSL2-cusp forms and cusp forms on tube domains associated to orthogonal groups, Trans. AMS,263(1981), 1-58

    1981

  40. [40]

    Serre, A Course in Arithmetic

    J-P. Serre, A Course in Arithmetic. Graduate Texts in Mathematics, No. 7. Springer-Verlag, New York- Heidelberg, 1973. viii+115 pp

    1973

  41. [41]

    Vogan and G

    D-A. Vogan and G. Zuckerman,Unitary representations with nonzero cohomology.Comp. Math.53(1984), no. 1, 51–90

    1984

  42. [42]

    Whiteman,A note on Kloosterman sums, Bull

    A.L. Whiteman,A note on Kloosterman sums, Bull. Amer. Math. Soc.51(1945), 373–377

    1945

  43. [43]

    Wu,Theta correspondence and simple factors in global Arthur parameters, Alg

    C. Wu,Theta correspondence and simple factors in global Arthur parameters, Alg. & Num. Th.18(2024), 969–991

    2024

  44. [44]

    Yamana,L-functions and theta correspondence for classical groups, Inv

    S. Yamana,L-functions and theta correspondence for classical groups, Inv. Math.196(2014), no. 3, 651–732

    2014

  45. [45]

    Zhang,Addendum to a strong multiplicity one theorem forSL 2, Pacific J

    Q. Zhang,Addendum to a strong multiplicity one theorem forSL 2, Pacific J. Math.292(2018), no. 2, 505–510. Henry H. Kim, Department of mathematics, University of Toronto, Toronto, Ontario M5S 2E4, CANADA, and Korea Institute for Advanced Study, Seoul, KOREA Email address:henrykim@math.toronto.edu Takuya Yamauchi, Mathematical Inst. Tohoku Univ., 6-3,Aoba,...

    2018