Pith. sign in

REVIEW 3 major objections 3 minor 24 references

On the Local Langlands Functoriality Transfer From $\text{SO}(5)$ to $\text{GL}(4)$

T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read For depth-zero, middle, and biquadratic supercuspidals of $\mathrm{GL}(4,F)$, being an $\mathrm{SO}(5)$-transfer is equivalent to having a nonzero Shalika model and trivial central character; simple supercuspidals need the extra condition…

desk verdict The untwisted middle and biquadratic computations are a real contribution, but the arbitrary-twist theorem is false — a quartic twist of a depth-zero transfer is not a transfer. read the letter →

arxiv 2509.10880 v1 pith:2JAYPBJ7 submitted 2025-09-13 math.RT math.NT

David C. Luo This is my paper · ORCID
classification math.RTmath.NT MSC 22E5011F70
keywords localLanglandsfunctorialityShalikamodelsupercuspidalrepresentationexteriorsquareL-functionmaximalsimpletypesSO(5)toGL(4)biquadratic
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

This paper asks which irreducible supercuspidal representations of $\mathrm{GL}(4,F)$ — the building-block representations over a non-archimedean local field of characteristic zero — arise as local Langlands functoriality transfers from the five-dimensional special orthogonal group $\mathrm{SO}(5,F)$. For depth-zero, middle, and biquadratic supercuspidals, it proves that every twist $\pi\otimes\chi$ by $\chi=\eta\circ\det$ is such a transfer exactly when the twisted representation has trivial central character and a nonzero local Shalika model; for simple supercuspidals the same equivalence holds with the extra parameter condition $\zeta=\pm\eta(-v\varpi_F)$. The interest is that the transfer is normally detected only indirectly, through a pole of the exterior square $L$-function or the existence of a Shalika functional, whereas triviality of the central character is an elementary invariant associated with the defining maximal simple type. A correct proof would give the first explicit type-theoretic description of this transfer and a template for the $\mathrm{GL}(2N)$ question.

What carries the argument

The central object is the maximal simple type $(J,\Lambda)$: every supercuspidal $\pi$ is compactly induced from a compact-open-modulo-center subgroup $J$ carrying an irreducible representation $\Lambda$, built from a simple stratum $[A,1,0,\beta]$ (with $\beta=0$ as the depth-zero case). To each such type the paper attaches an explicit Whittaker function $W_\pi$, whose support is known to lie in a disjoint union of double cosets $N(4,F)\beta^k J$ or $N(4,F)\varpi_F^k J$. The computation runs through the twisted Shalika period $\Lambda_{s_0}(W)$, a double integral over $\mathrm{GL}(2,F)$ and $\mathrm{Mat}(2\times2,F)$; by the product formula for $L(s,\pi,\wedge^2)$, a pole at $s=0$ occurs exactly when $\Lambda_0$ is nonzero on some Whittaker function while the central character is trivial. The paper evaluates $\Lambda_0$ on the symmetric Whittaker function $\pi(\sigma_4)W_\pi$, after using support lemmas to restrict the integration to three or fewer double cosets, and obtains nonzero volume terms exactly under the stated conditions.

What would settle it

Pick a depth-zero supercuspidal $\pi$ with trivial central character and a tamely ramified character $\eta$ with $\eta^4=1$ but $\eta$ nontrivial on units, and compute $L(s,\pi\otimes(\eta\circ\det),\wedge^2)$ directly. If the pole at $s=0$ disappears, the claimed equivalence for twists fails; if the pole survives, the residue-characteristic-2 argument still needs a correct identification of the Whittaker model, since the models are related by multiplication by $\eta\circ\det$, not equality.

Watch

Extended reading notes

Core claim

On the paper's own terms, Theorem 1.2 is the central discovery. For a depth-zero, middle, or biquadratic supercuspidal representation $\pi$ of $\mathrm{GL}(4,F)$ and $\chi=\eta\circ\det$, the following are equivalent: $\pi\otimes\chi$ is a local Langlands functoriality transfer from $\mathrm{SO}(5,F)$; $\pi\otimes\chi$ has a nonzero local Shalika model; and $\pi\otimes\chi$ has trivial central character. For a simple supercuspidal $\pi=\pi(v,\phi,\zeta)$, the same equivalences hold with the extra necessary and sufficient condition $\zeta=\pm\eta(-v\varpi_F)$. The proof uses the known theorem [14] identifying these three properties with the pole at $s=0$ of the exterior square $L$-function $L(s,\pi\otimes\chi,\wedge^2)$, then relies on the product formula for that $L$-function in terms of the twisted Shalika periods $\Lambda_{s_0}$. For middle and biquadratic supercuspidals the paper computes $\Lambda_0$ on an explicit Whittaker function, shows it is nonzero whenever the central character is trivial, and concludes; the depth-zero and simple untwisted cases are taken from [23] and [24], and the twist argument extends them to all $\chi=\eta\circ\det$.

Load-bearing premise

The load-bearing premise is that twisting by a character of $\mathrm{GL}(4,F)$ trivial on the center preserves the pole at $s=0$ of the exterior square $L$-function; the paper derives this from a lemma asserting the Whittaker models of $\pi$ and $\pi\otimes\chi$ are equal, and that lemma is false as stated, so the residue-characteristic-2 reduction is unsupported.

Editorial extensions

If this is right

  • For depth-zero, middle, and biquadratic supercuspidals, membership in the $\mathrm{SO}(5)$-to-$\mathrm{GL}(4)$ transfer can be checked by triviality of the central character alone; neither a Shalika functional nor an $L$-function computation is needed.
  • For simple supercuspidals, the transfer condition becomes a completely explicit statement about the parameters $(v,\phi,\zeta)$: a twist by $\eta\circ\det$ is a transfer precisely when $\zeta=\pm\eta(-v\varpi_F)$.
  • The result converts the local Langlands transfer for these families into a statement about maximal simple types, giving the first explicit type-theoretic characterization of the transfer from $\mathrm{SO}(5)$ to $\mathrm{GL}(4)$.
  • Combined with the equivalence in [14], the theorem pins down exactly when the exterior square $L$-function $L(s,\pi\otimes\chi,\wedge^2)$ has a pole at $s=0$ for arbitrary twists of these families.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A corrected residue-characteristic-2 argument would likely need to treat the Whittaker model of $\pi\otimes\chi$ as obtained from that of $\pi$ by multiplication by $\chi$, rather than as the same set of functions; the paper's Lemma 2.9 asserts the stronger and false equality of model spaces.
  • The pattern in the minimal polynomials suggests a testable generalization: minimax supercuspidals whose minimal polynomial has only even powers may all satisfy the trivial-central-character criterion, while those with odd power terms may behave like the simple case.
  • The extra condition $\zeta=\pm\eta(-v\varpi_F)$ for simple supercuspidals may correspond, under the explicit local Langlands correspondence, to the Langlands parameter factoring through the embedded subgroup $\mathrm{Sp}(4,\mathbb{C})\subset\mathrm{GL}(4,\mathbb{C})$; checking this would give a parameter-level proof of the simple case.
  • A direct test of the paper's method would be to compute $\Lambda_0$ on a different Whittaker function for a depth-one minimax supercuspidal whose minimal polynomial has odd power terms, since the paper's chosen function gives zero and it is open whether another choice could still produce a nonzero Shalika period.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper studies the local Langlands functoriality transfer from SO(5,F) to GL(4,F) for supercuspidal representations of GL(4,F) twisted by characters χ=η∘det. It constructs a new family of depth-one "biquadratic" supercuspidals, supplies explicit Paškūnas–Stevens Whittaker functions for the middle and biquadratic families, and performs explicit Λ0-period computations. The main theorem, Theorem 1.2, claims that for depth-zero, middle, and biquadratic supercuspidals, being a transfer is equivalent to possessing a nonzero Shalika model and to having trivial central character, with an extra parameter condition in the simple supercuspidal case. The proof of the untwisted middle and biquadratic cases is carried out in Sections 4.1 and 4.2, and Section 4.3 attempts to pass to arbitrary twists using Lemma 2.9 and a reduction for residue characteristic 2.

Significance. The detailed period computations in Sections 4.1 and 4.2 are substantial and appear internally coherent; the construction of biquadratic supercuspidals and their explicit Whittaker functions is a potentially useful contribution. However, the central claim of the paper, the arbitrary-twist characterization in Theorem 1.2, is false as stated. The error is not a minor gap: it stems from twisting by quartic characters, which changes a symplectic L-parameter into a non-self-dual one. Because the main theorem is false, the paper cannot be accepted in its current form, although the untwisted core and the new family might be salvageable in a revised manuscript.

major comments (3)
  1. [Theorem 1.2 and Section 4.3] Theorem 1.2 is false for arbitrary twists, already for residue characteristic p odd. Let F have residue characteristic p≡1 mod 4 and let η be a tamely ramified quartic character of F^×, so η^4=1 but η^2≠1. Let π be a depth-zero supercuspidal representation of GL(4,F) with trivial central character. By the untwisted depth-zero case cited in the paper, π is a transfer from SO(5,F), so its L-parameter φ is a four-dimensional irreducible symplectic representation of W_F. Put χ=η∘det. Then π⊗χ has trivial central character, because χ is trivial on the center F^× of GL(4,F). Theorem 1.2(3) therefore asserts that π⊗χ is a transfer and has a Shalika model. But the L-parameter of π⊗χ is φ⊗η, and (φ⊗η)^∨ ≅ φ^∨⊗η^{-1} ≅ φ⊗η^{-1}. Since φ is irreducible and η≠η^{-1}, φ⊗η is not self-dual, so it cannot factor through Sp(4,C). Equivalently, ∧^2(φ⊗η) = η^2⊗∧^2φ has no trivial constituent because η^2 is nontrivial, so by Theorems 2.7 and 2.8 the exterior-square L-function has no pole at s=0 and π⊗χ has no Shalika model. Thus condition (3) does not imply conditions (1) and (2) for arbitrary twists, and the failure is not confined to the p=2 argument in Section 4.3.
  2. [Lemma 2.9] Lemma 2.9 is false as stated. The identity of Whittaker models W(π,ψ_F)=W(π⊗χ,ψ_F) is not valid. For a Whittaker function W∈W(π,ψ_F), the corresponding function in W(π⊗χ,ψ_F) is g↦χ(g)W(g), so the two models are related by multiplication by χ, not identical. The displayed proof only establishes an isomorphism of Hom-spaces, i.e. that a nonzero Whittaker functional exists for π if and only if one exists for π⊗χ. Even when χ=η∘det is trivial on N(4,F), the second displayed isomorphism is valid, but it does not identify the spaces of functions themselves. This matters directly: Section 4.3 uses the false model equality to assert that the pole at s=0 of L(s,π′⊗((Ψη)∘det),∧^2) is equivalent to the pole for L(s,π′,∧^2). That inference is unsupported.
  3. [Section 4.3, p odd reduction] The p odd case of the reduction is also incorrect. The sentence "η is tamely ramified. This implies that π⊗χ is of the same type as π" establishes, at most, that π⊗χ belongs to the same family of supercuspidals; it does not establish that the untwisted Shalika/pole criterion applies. Twisting by η changes the L-parameter by η, and the untwisted Propositions 4.2 and 4.4 say nothing about the twisted L-function. In fact, as shown in the first major comment, when η has order four the twisted representation has trivial central character but is not a transfer. The reduction to the untwisted case is therefore invalid even when no residue-characteristic-2 phenomenon is involved.
minor comments (3)
  1. [Section 4.2, T1 and T2] There are incorrect cross-references in the proof of Proposition 4.4: "Using equations (4.26) and (4.17)" appears before equation (4.26) has been introduced, and "Equation (4.26) implies" in the T2 calculation should presumably refer to equation (4.27). These make an already intricate computation harder to follow.
  2. [Section 3.3, Proposition 3.5] The proof of Proposition 3.5 says only that it "follows similarly" from [18, Proposition 3.2]. Since biquadratic supercuspidal representations are a new family introduced in this paper, the bijection with triples (f̄_M, χ_M, ζ) and the verification that the constructed types are maximal should be spelled out more fully.
  3. [Section 4.3, equation (4.31)] The equality ζ′=ζ·η(−vϖ_F)^{-1} is asserted after choosing a tamely ramified Ψ with (Ψη)^4≡1. The text says "Since Ψ=η^{-1} on μ'_F and ϖ_F", but this was not part of the earlier choice of Ψ and requires justification; as written, the displayed formula is not derived.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the new pole computations for middle and biquadratic supercuspidals are self-contained; the self-citation to [18] is constructional rather than load-bearing, and the flawed Lemma 2.9 is a correctness gap, not a circular reduction.

full rationale

I walked the claimed derivation chain. Theorem 1.2 is obtained by combining Theorem 2.8 (Jiang–Nien–Qin), which equates transfer from SO(5,F), non-zero local Shalika model, and pole of L(s,·,∧2), with explicit pole computations. The genuinely new content is Propositions 4.2 and 4.4, where Λ0 is evaluated directly on the explicitly constructed Pašk¯unas–Stevens Whittaker functions W(f,χ,ζ) and W(f_M,χ_M,ζ). These evaluations are self-contained: they compute the integrals over the relevant double cosets and do not presuppose the existence of a Shalika model or transfer. The depth-zero and simple untwisted cases are imported from external results [23] and [24], not from the present paper. The only self-citation is [18] (Luo–Stevens), used for the construction and explicit Whittaker function of middle supercuspidals; the current paper’s pole calculation is new and independent of [18]’s conclusions, so this citation is not load-bearing for Theorem 1.2. The twisted-case reduction in Section 4.3 invokes Lemma 2.9, which is false as stated: the Whittaker model of π⊗χ is χ·W(π,ψ_F), not W(π,ψ_F), when χ is nontrivial on GL(4,F). This makes the p=2 argument unsupported and is a serious correctness defect, but it is not circularity: the claimed pole preservation is not definitionally built into the input, nor is it obtained by renaming a fitted parameter. No step in the derivation reduces to its own conclusion by construction, so no circular step is recorded.

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

The derivation rests on standard type theory and prior L-function theorems. The only new postulated object is the biquadratic family, which is a mathematical construction rather than an ad hoc entity. No free parameters are fitted.

assumptions (5)
  • domain assumption Local Langlands correspondence for GL(4,F) as proved by Harris-Taylor and Henniart
    Used in Definition 2.4 to define functoriality transfer via L-parameters.
  • domain assumption Jiang-Nien-Qin Theorem 2.8 equating functoriality transfer, Shalika model existence, and pole of the exterior square L-function
    Foundation for the strategy; cited from [14].
  • domain assumption Jo's formula Theorem 2.7 expressing L(s,τ,∧2) as a product over s0 with Λ_{s0} nonzero
    Used to link central character triviality to pole existence.
  • domain assumption Bushnell-Kutzko classification of supercuspidals by maximal simple types
    Basis for constructing and parametrizing the families.
  • domain assumption The stratum [A_M,1,0,β_fM] is a simple stratum with β_fM minimal over F
    Asserts the new biquadratic supercuspidals are well-defined minimax representations; stated without proof in Section 3.3.
invented entities (1)
  • Biquadratic supercuspidal representations independent evidence
    purpose: Provide a depth-one minimax family (minimal polynomial omitting odd powers) for which the Λ0 computation succeeds
    They are constructed explicitly via a simple stratum and parametrized by triples; the construction can be checked within existing type theory, though the paper itself contains the proof of parametrization.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the Local Langlands Functoriality Transfer From $\text{SO}(5)$ to $\text{GL}(4)$." pith.science (2026). https://pith.science/paper/2JAYPBJ7

@misc{pith2026250910880,
  author       = {Pith},
  title        = {Pith review of: On the Local Langlands Functoriality Transfer From $\textSO(5)$ to $\textGL(4)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2JAYPBJ7}},
  note         = {Machine review of arXiv:2509.10880}
}
abstract

We study the local Langlands functoriality transfer from $\text{SO}(5, F)$ to $\text{GL}(4, F)$ for arbitrary twists of several families of irreducible supercuspidal representations of $\text{GL}(4, F)$, where $F$ is a non-archimedean local field of characteristic zero. In doing so, we give equivalent conditions for such representations to be functoriality transfers from $\text{SO}(5, F)$ in terms of the Bushnell-Kutzko construction of supercuspidal representations by studying poles of local exterior square $L$-functions and the existence of non-zero local Shalika models. This article provides a starting point for an explicit characterization of this functoriality transfer in terms of type theory.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 22 canonical work pages

  1. [1]

    Adrian, B

    M. Adrian, B. Liu, S. Stevens, and P. Xu,On the Jacquet conjecture on the local converse problem forp-adicGL N. Represent. Theory20(2016), p. 1–13

    work page 2016

  2. [2]

    Adrian and B

    M. Adrian and B. Liu,Some results on simple supercuspidal representations ofGLn(F), J. Number Theory160(2016), p. 117–147

    work page 2016

  3. [3]

    C. J. Bushnell and G. Henniart,Supercuspidal Representations ofGLn: Explicit Whittaker Func- tions. J. Algebra209(1998), no. 1, p. 270–287

    work page 1998

  4. [4]

    C. J. Bushnell, G. Henniart, and P. C. Kutzko,Local Rankin–Selberg convolutions forGLn: explicit conductor formula, J. Amer. Math. Soc.11(1998), p. 703–730

    work page 1998

  5. [5]

    C. J. Bushnell and P. C. Kutzko,The admissible dual ofGL N via restriction to compact open subgroups, Ann. of Math. Studies, vol. 129, Princeton University Press, 1993

    1993

  6. [6]

    Chriss and K

    N. Chriss and K. Khuri-Makdisi,On the Iwahori-Hecke algebra of ap-adic group, Internat. Math. Res. Notices (1998), no. 2, p. 85–100

    work page 1998

  7. [7]

    J. W. Cogdell,Lectures onL-functions, Converse Theorems, and Functoriality forGLn, notes, 2004

    work page 2004

  8. [8]

    J. W. Cogdell and N. Matringe,The functional equation of the Jacquet–Shalika integral representa- tion of the local exterior-squareL-function, Math. Res. Lett.22(2015), no. 3, p. 697–717

    work page 2015

Show all 24 references
  1. [9]

    Harris and R

    M. Harris and R. Taylor,On the geometry and cohomology of some simple Shimura varieties, Ann. of Math. Stud., vol. 151, Princeton Univ. Press, Princeton, NJ, 2001

    2001

  2. [10]

    Henniart,Une preuve simple des conjectures de Langlands forGL(n)sur un corpsp-adique, Invent

    G. Henniart,Une preuve simple des conjectures de Langlands forGL(n)sur un corpsp-adique, Invent. Math.139(2000), p. 439–455. 25

    2000

  3. [11]

    Imai and T

    N. Imai and T. Tsushima,Local Jacquet–Langlands correspondences for simple supercuspidal repre- sentations, Kyoto J. Math.58(2018), no. 3, p. 623–638

    2018

  4. [12]

    Jacquet and S

    H. Jacquet and S. Rallis,Uniqueness of linear periods, Compos. Math.102(1996), no. 1 p. 65–123

    1996

  5. [13]

    Jacquet and J

    H. Jacquet and J. Shalika,Exterior squareL-functions, inAutomorphic forms, Shimura varieties, andL-functions, Vol. II (Ann Arbor, MI, 1988), p. 143–226, Perspect. Math., 11, Academic Press, Boston, MA, ; MR1044830

    1988

  6. [14]

    Jiang, C

    D. Jiang, C. Nien, and Y. Qin,Local Shalika models and functoriality, Manuscripta Math.127 (2008), no. 2, p. 187–217

    2008

  7. [15]

    Jo,Derivatives and exceptional poles of the local exterior squareL-function forGLm, Math

    Y. Jo,Derivatives and exceptional poles of the local exterior squareL-function forGLm, Math. Z. 294(2020), no. 3-4, p. 1687–1725

    2020

  8. [16]

    Jo,Derivatives and exceptional poles of the local exterior squareL-function forGLn, preprint, arXiv:1804.04613 (2018), 103 pages

    Y. Jo,Derivatives and exceptional poles of the local exterior squareL-function forGLn, preprint, arXiv:1804.04613 (2018), 103 pages

    2018 arXiv

  9. [17]

    A.KnightlyandC.Li,Simple supercuspidal representations ofGL(n), TaiwaneseJ.Math.19(2015), no. 4, p. 995–1029

    2015

  10. [18]

    D. C. Luo and S. Stevens,On the Local Converse Theorem for Depth1 N Supercuspidal Representa- tions ofGL(2N, F), preprint, arXiv:2505.22357 (2025), 22 pages

    2025 arXiv

  11. [19]

    Mayeux,On the constructions of supercuspidal representations, Ph.D

    A. Mayeux,On the constructions of supercuspidal representations, Ph.D. thesis, Université Sorbonne Paris Cité, 2019

    2019

  12. [20]

    Nien,Uniqueness of Shalika models, Canad

    C. Nien,Uniqueness of Shalika models, Canad. J. Math.61(2009), no. 6, p. 1325–1340

    2009

  13. [21]

    Pašk¯ unas and S

    V. Pašk¯ unas and S. Stevens,On the realization of maximal simple types and epsilon factors of pairs, Amer. J. Math.130(2008), no. 5, p. 1211–1261

    2008

  14. [22]

    Ye,Explicit formulas for local factors of supercuspidal representations ofGLn and their applica- tions, Ph.D

    R. Ye,Explicit formulas for local factors of supercuspidal representations ofGLn and their applica- tions, Ph.D. thesis, The Ohio State University, 2019

    2019

  15. [23]

    Ye and E

    R. Ye and E. Zelingher,Exterior square gamma factors for cuspidal representations ofGLn: finite field analogs and level-zero representations, Israel J. Math.240(2020), no. 2, p. 889–934

    2020

  16. [24]

    Ye and E

    R. Ye and E. Zelingher,Exterior square gamma factors for cuspidal representations ofGLn : simple supercuspidal representations, Ramanujan J.58(2022), no. 4, p. 1043–1074. School of Mathematics, University of Minnesota, Minneapolis, MN 55455, United States Email address:luo0027...

    2022

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.