Pith. sign in

REVIEW 2 major objections 4 minor 27 references

Finite-Sum Realization of Archimedean Asai and Exterior-Square $L$-Factors

T0 review · 2 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read The paper proves that every archimedean Asai and exterior-square $L$-factor is a finite sum of the local zeta integrals built to represent it.

desk verdict A solid, important paper: the archimedean finite-sum realizations are new and mostly well-proved, with one true but unproved invariance claim in Section 2.4 that needs a written proof. read the letter →

arxiv 2608.12722 v1 pith:PSEOZURU submitted 2026-08-13 math.NT math.RT

Yeongseong Jo , Akash Yadav This is my paper · ORCID
classification math.NTmath.RT MSC 11F7011F6622E45
keywords ArchimedeanAsaiL-factorexterior-squareFlickerintegralJacquet-Shalikafinite-sumrealizationlocalzetaintegralsexceptionalpolesdistinguishedrepresentations
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

The paper establishes the archimedean analogue of the known non-archimedean finite-sum theorems: for every irreducible generic representation $\pi$ of $\mathrm{GL}_n(\mathbb{C})$, the Asai $L$-factor $L(s,\pi,\mathrm{As})$ is a finite sum of Flicker local zeta integrals $I(s,W_i,\phi_i)$, and for every archimedean local field $F$ and every irreducible generic representation of $\mathrm{GL}_m(F)$, the exterior-square $L$-factor $L(s,\pi,\wedge^2)$ is a finite sum of Jacquet--Shalika local zeta integrals. Earlier archimedean theory showed that each local integral converges, continues meromorphically, satisfies a functional equation, and has poles no worse than the corresponding $L$-factor, but it did not show that the $L$-factor itself lies in the span of the integrals. The paper closes that gap by induction on dimension, cutting the Langlands parameter into two overlapping subparameters at each step. If the theorems are correct, the archimedean $L$-factors are exactly the objects those local integrals compute, which yields a local distinction criterion and expresses the global Asai and exterior-square $L$-functions as finite sums of global integrals with the resulting analytic properties.

What carries the argument

The load-bearing construction is the $L$-space $\mathcal{L}(\rho)$: the space of meromorphic functions of the form $L(s,\rho)h(s)$, where $h$ is entire and the product is rapidly decreasing in vertical strips. Proposition 3.6 is the key identity: if an admissible representation $\theta$ of the Weil group has two decompositions $\theta=\rho_1\oplus\rho_2=\eta_1\oplus\eta_2$ and the pole sets of $L(1-s,\rho_1^{\vee})$ and $L(s,\eta_2)$ are disjoint, then $\mathcal{L}(\theta)=\mathcal{L}(\eta_1)+\frac{L(s,\rho_1)}{L(1-s,\rho_1^{\vee})}\mathcal{L}(\rho_2)$. Propositions 4.6 and 5.4 translate this into integral language, showing that the span of Flicker integrals (respectively Jacquet--Shalika integrals) for a direct-sum parameter contains the span of each subparameter multiplied by the corresponding ratio of $L$-factors. Running those inclusions in both directions forces the span to contain $\mathcal{L}(\mathrm{As}(\sigma))$ (respectively $\mathcal{L}(\wedge^2\sigma)$), which is exactly the finite-sum realization.

What would settle it

A direct check for a small parameter would settle the load-bearing step: take $\sigma=\chi_1\oplus\chi_2$ with ordered exponents, compute the space of Flicker integrals explicitly for one-dimensional constituents, and test whether multiplication by $A^s$ preserves the space. For the theorem itself, one can compare pole orders at a point $s_0$: if for some irreducible generic $\pi$ the Asai $L$-factor $L(s,\pi,\mathrm{As})$ has a pole of order $d$ at $s_0$ while every Flicker integral $I(s,W,\phi)$ in the family has smaller pole order there, then Theorem 1.1 would be false; the analogous residue check applies to $J(s,W,\phi)$ and $L(s,\pi,\wedge^2)$.

Watch

Extended reading notes

Core claim

On its own terms the paper's discovery is Theorem 1.1 and Theorem 1.2: the archimedean Asai $L$-factor of any irreducible generic representation of $\mathrm{GL}_n(\mathbb{C})$ and the archimedean exterior-square $L$-factor of any irreducible generic representation of $\mathrm{GL}_m(F)$ are equal, as meromorphic functions, to finite sums of the corresponding local zeta integrals. In the Asai case the summands are $I(s,W_i,\phi_i)$ with $W_i$ in the Whittaker model and $\phi_i$ Schwartz functions; in the exterior-square case they are $J(s,W_i,\phi_i)$ for even $m$ and $J(s,W_i)$ for odd $m$. The proof associates to each Langlands parameter $\sigma$ an $L$-space $\mathcal{L}(\mathrm{As}(\sigma))$ of functions $L(s,\mathrm{As}(\sigma))h(s)$ with $h$ entire and rapidly decreasing in vertical strips, proves a decomposition identity for this space under two overlapping decompositions of $\sigma$, and then shows by induction that the span of the local integrals contains the whole $L$-space. The same template proves both theorems.

Load-bearing premise

The paper states without proof that each span of local zeta integrals is invariant under multiplication by every exponential factor of the form $cA^s$ with $c\in\mathbb{C}^{\times}$ and $A>0$; this invariance is what converts the functional equations into the span identities (2.4.2) and (2.4.4), and those identities feed directly into the inductive reductions in Propositions 4.6 and 5.4. If the invariance failed, the proof's central reductions would not go through.

Editorial extensions

If this is right

  • The normalized Flicker functionals $\Lambda_{s,\phi}(W)=I(s,W,\phi)/L(s,\pi,\mathrm{As})$ are continuous on the Whittaker model, and for every $s_0$ some $W,\phi$ gives a nonzero value.
  • An irreducible generic representation of $\mathrm{GL}_n(\mathbb{C})$ is $\mathrm{GL}_n(\mathbb{R})$-distinguished exactly when $s=0$ is an exceptional pole of level $0$ of its Asai $L$-factor.
  • The global Asai $L$-function is a finite sum of global Flicker integrals, hence has meromorphic continuation, is bounded in vertical strips, satisfies the standard functional equation, and is entire except for at most simple poles in the exceptional central-character case.
  • The global exterior-square $L$-function is a finite sum of global Jacquet--Shalika integrals, with the same analytic consequences; it is entire in odd rank and in even rank except for at most simple poles in the same exceptional case.
  • The normalized Jacquet--Shalika functionals are continuous and nonzero at every point, giving the archimedean starting point for exceptional-pole studies of exterior-square $L$-factors.

Reading between the lines

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

  • Beyond the paper, the two-overlapping-subparameter strategy should apply to other functorial $L$-factors whose archimedean integral representations have functional equations but no direct reduction to Rankin--Selberg integrals.
  • Beyond the paper, the absence of an analogue of the $\mathrm{GL}_n(\mathbb{R})$-invariance statement for the Shalika subgroup is the only step separating Theorem 6.8 from an exceptional-pole classification of Shalika-distinguished representations; supplying that analogue would complete the classification.
  • Beyond the paper, extracting an explicit bound on the number of summands from the induction would turn the finite-sum realization into a quantitative local formula and provide a direct check for small $n$.
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

2 major / 4 minor

Summary. The paper proves that archimedean Asai L-factors of irreducible generic representations of GL_n(C) are finite sums of Flicker local zeta integrals (Theorem 1.1), and that archimedean exterior-square L-factors of irreducible generic representations of GL_m(F), F=R or C, are finite sums of Jacquet–Shalika local zeta integrals (Theorem 1.2). The proofs use an L-space decomposition for Weil-group representations (Proposition 3.6), an induction on the dimension of the Langlands parameter, and technical lemmas showing that the relevant integral spaces contain the corresponding L-spaces. Applications include a characterization of GL_n(R)-distinguished representations via exceptional poles (Theorem 6.7) and finite-sum expressions for global Asai and exterior-square L-functions (Theorems 7.2.2 and 7.4.2).

Significance. If correct, Theorems 1.1 and 1.2 give an exact finite-sum realization of archimedean Asai and exterior-square L-factors by local zeta integrals, resolving an expectation explicitly recorded in Beuzart-Plessis's paper [BP21] and extending non-archimedean results of Matringe, Kewat–Raghunathan, and Jo. The L-space decomposition and the pole-disjointness arguments are original and well suited to the inductive strategy. The paper is transparent about its reliance on prior work (BP21, JLST25, Jac09), and the main proofs are detailed and largely coherent. The local and global applications are natural and would be valuable.

major comments (2)
  1. [Section 2.4, preceding (2.4.2) and (2.4.4)] The assertion that the integral spaces I_As(σ) and J_∧^2(σ) are invariant under multiplication by functions of the form c A^s (c ∈ C^×, A>0) is stated without proof. This invariance is load-bearing: it is used to absorb the exponential factors c A^s in the functional equations of Theorems 2.4.1 and 2.4.3, and it is exactly what converts those functional equations into the identities (2.4.2) and (2.4.4). These identities are then used in Propositions 4.6 and 5.4 to strip the epsilon factors in the inductive reductions, so Theorems 1.1 and 1.2 depend on this unproved assertion. I believe the invariance is true: in the Flicker case, taking a = A^{1/n} I_n and φ_a(x) = φ(A^{-1/n} x) gives A^s I(s,W,φ) = I(s, R(a^{-1})W, φ_a), with R(a^{-1})W ∈ W(π_σ, ψ_C), and the Jacquet–Shalika case follows similarly by central scaling, with the odd-rank case reduced via the spanning identity J_∧^2(σ) = span{J(s,R(φ)W)}. However, the proof must be supplied; as written, the derivation of (2.4.2) and (2.4.4) is incomplete.
  2. [Section 1 (definitions of J(s,W,ϕ) and J(s,W)), Section 5 (partial integrals), Section 7.3] The notation V_n(F)/M_n(F) in the definition of the Jacquet–Shalika integrals is problematic. Since M_n(F) is defined as the space of all n×n matrices and V_n(F) as its subspace of upper triangular matrices, the quotient V_n/M_n is not a meaningful space (V_n is a subspace of M_n, not a quotient), and if interpreted literally the integral would ignore the X-variable entirely. The standard Jacquet–Shalika integral (as in [JS90] and as used in the global integral I^even_JS in Proposition 7.3.1, where the X-integration is over M_n(K)\M_n(A_K)) integrates X over all of M_n(F). The same typo appears in the partial integrals J_{2r}(s,W,ϕ) and J_{2r+1}(s,W) in Section 5 and in the global Eulerian integrals in Section 7.3. Please replace V_n(F)/M_n(F) by M_n(F) (and similarly for adelic versions) throughout; with this correction the matrix calculations in Lemma 5.3 and Proposition 5.4 are consistent.
minor comments (4)
  1. [Section 6, proof of Theorem 6.7] The phrase 'does not vanish at s=0' for I(s,W_1,φ_1) is ambiguous when L(s,π,As) has a pole at s=0; please clarify that the integral has a nonvanishing leading Laurent coefficient at that point.
  2. [Section 2.4, after Theorem 2.4.1] The sentence 'The factor preceding the epsilon factor in Theorem 2.4.1 is of the form cA^s' is correct, but the value of A (namely A=|τ|_C^N with N=n(n−1)/2) could be stated explicitly for clarity.
  3. [Section 7.2, proof of Theorem 7.2.2] The sentence 'By Theorem 1.1 and [Jac09, Theorem 2.7], this holds for every v ∈ S_∞ as well' is terse; since split archimedean places use the Rankin–Selberg integral, a sentence explaining which result applies at split versus inert real places would help the reader.
  4. [References] The reference [CPS94] is cited as unpublished and appears only in the acknowledgments; please confirm that no mathematical statement in the paper depends on that manuscript.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the finite-sum theorems are derived from independently defined L-factors via external analytic results and L-space decompositions.

full rationale

The target L-factors are defined via the local Langlands correspondence (Sections 2.2-2.3), independently of the Flicker and Jacquet-Shalika integral spaces. The proof establishes the inclusion I_As(σ) ⊇ L(As(σ)) (resp. J_∧2(σ) ⊇ L(∧2σ)) by induction: base cases use Jacquet's Mellin-transform lemmas to realize L-space elements as single integrals, and inductive steps combine the external functional equations of [BP21] and [JLST25] with the L-space decomposition Proposition 3.6, whose proof rests on Jacquet's principal-part lemma. The pole-disjointness conditions are verified from exponent orderings, and all gamma-factor manipulations are algebraic identities from the definition of γ. The target identity never appears as an assumption; no fitted parameter is renamed as a prediction; no uniqueness theorem is imported. The only notable gap is the unproved assertion in Section 2.4 that I_As(σ) and J_∧2(σ) are invariant under multiplication by cA^s, used to pass from the functional equations to (2.4.2) and (2.4.4). This is a true statement (central scaling in the Whittaker model) and a missing proof, not a circular reduction. Self-citations [Yad24] and [Jo20] appear only in applications and are published external results, so they do not make the derivation circular.

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

The central claim rests on standard local Langlands correspondence, the published analytic theory of the two families of local zeta integrals, and a package of Jacquet's results on L-spaces and Whittaker function constructions. The one unproved item internal to the paper is the exponential-factor invariance of the integral spaces, listed as ad hoc. There are no fitted parameters or invented entities.

assumptions (5)
  • standard math Local Langlands correspondence for archimedean GL_n (Kna94, Theorems 2 and 5), used to define L(s,pi,As) and L(s,pi,^2) from the Langlands parameter.
    Invoked in Sections 2.2 and 2.3 to attach Asai and exterior-square L-factors to irreducible generic representations.
  • domain assumption Analytic theory of Flicker integrals (convergence for Re(s)>>0, meromorphic continuation, functional equation, holomorphy of the quotient by the Asai L-factor) from [BP21, Theorem 1.1].
    Used throughout Section 2.4 and in the proofs of Section 4 to know I(s,W,phi) is meromorphic and satisfies (2.4.1).
  • domain assumption Analytic theory of Jacquet-Shalika integrals from [JLST25, Theorem 2.2] and [JS90, Bel11], including the functional equations in Theorem 2.4.3.
    Used in Section 2.4 to derive (2.4.4) and in Section 5 for the reduction of partial integrals.
  • domain assumption Jacquet's L-space results [Jac09, Lemma 12.1, Proposition 12.1, Lemma 12.2] and construction of Whittaker functions [Jac09, Proposition 6.1, Proposition 14.1, Lemma 12.3, Theorem 2.6].
    The L-space decomposition (Proposition 3.6) and the reductions in Sections 4 and 5 rely on these external results.
  • ad hoc to paper The integral spaces I_As(sigma) and J_^2(sigma) are invariant under multiplication by functions of the form c A^s (c in C^×, A>0).
    Asserted in Section 2.4 without proof and used to remove exponential factors in the functional equations to obtain (2.4.2) and (2.4.4). True via central scaling, but not demonstrated in the text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finite-Sum Realization of Archimedean Asai and Exterior-Square $L$-Factors." pith.science (2026). https://pith.science/paper/PSEOZURU

@misc{pith2026260812722,
  author       = {Pith},
  title        = {Pith review of: Finite-Sum Realization of Archimedean Asai and Exterior-Square $L$-Factors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PSEOZURU}},
  note         = {Machine review of arXiv:2608.12722}
}
abstract

We prove that the archimedean Asai $L$-factor attached to an irreducible generic representation of $\operatorname{GL}_n(\mathbb{C})$ can be expressed as a finite sum of Flicker local zeta integrals. For an archimedean local field $F$, we also prove that the exterior-square $L$-factor attached to an irreducible generic representation of $\operatorname{GL}_m(F)$ can be expressed as a finite sum of Jacquet--Shalika local zeta integrals.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 23 canonical work pages

  1. [1]

    Dustin Belt, On the holomorphy of exterior-square L -functions, arXiv preprint arXiv:1108.2200, 2011

    work page Pith review arXiv 2011

  2. [2]

    Beuzart-Plessis, Archimedean theory and \( \)-factors for the Asai Rankin--Selberg integrals, in Relative Trace Formulas, Simons Symposia, Springer, Cham, 1--50, 2021

    R. Beuzart-Plessis, Archimedean theory and \( \)-factors for the Asai Rankin--Selberg integrals, in Relative Trace Formulas, Simons Symposia, Springer, Cham, 1--50, 2021

    work page 2021

  3. [3]

    Jingsong Chai, Some results on archimedean Rankin–Selberg Integrals, Pacific Journal of Mathematics 273:2 (2015), 277–305

    work page 2015

  4. [4]

    S.-Y. Chen, Y. Cheng, and I. Ishikawa, Gamma factors for the Asai representation of \(GL_2\) , J. Number Theory, 209, 83--146, 2020

    work page 2020

  5. [5]

    J. W. Cogdell and N. Matringe, The functional equation of the Jacquet--Shalika integral representation of the local exterior-square \(L\)-function, Math. Res. Lett., 22 (3), 697--717, 2015

    work page 2015

  6. [6]

    J. W. Cogdell and I. I. Piatetski-Shapiro, Exterior square \(L\)-function for \(GL(n)\) , talk given at the Fields Institute, April 1994, unpublished manuscript

    work page 1994

  7. [7]

    J. W. Cogdell and I. I. Piatetski-Shapiro, Remarks on Rankin--Selberg convolutions, in Contributions to Automorphic Forms, Geometry, and Number Theory, Johns Hopkins University Press, Baltimore, MD, 255--278, 2004

    work page 2004

  8. [8]

    Flicker, Twisted tensors and Euler products, Bull

    Yuval Z. Flicker, Twisted tensors and Euler products, Bull. Soc. Math. France, 116(3), 295--313, 1988

    work page 1988

Show all 27 references
  1. [9]

    Y. Z. Flicker, On zeroes of the twisted tensor L -function, Math. Ann., 297 (1993), no. 2, 199--219

    1993

  2. [10]

    Y. Z. Flicker and D. Zinoviev, On poles of twisted tensor L -functions, Proc. Japan Acad. Ser. A Math. Sci., 71 (1995), no. 6, 114--116

    1995

  3. [11]

    Jacquet H., Archimedean Rankin--Selberg integrals, in Automorphic forms and L-functions, II: Local aspects, Contemp. Math. 489, American Mathematical Society, Providence, RI, 2009, pp. 57-172

    2009

  4. [12]

    Jacquet and J

    H. Jacquet and J. A. Shalika, On Euler products and the classification of automorphic representations. I and II, Amer. J. Math., 103 (3), 499--558, and 103 (4), 777--815, 1981

    1981

  5. [13]

    Jacquet and J

    H. Jacquet and J. A. Shalika, Rankin-Selberg convolutions: Archimedean theory, in Festschrift in honor of I. I. Piatetski-Shapiro on the occasion of his sixtieth birthday, Part I (Ramat Aviv, 1989) , 125--207, Israel Math. Conf. Proc., 2, Weizmann, Jerusalem

    1989

  6. [14]

    Jacquet and J

    H. Jacquet and J. A. Shalika, Exterior square \(L\)-functions, in Automorphic Forms, Shimura Varieties, and \(L\)-Functions, Vol. II (Ann Arbor, MI, 1988) , 143--226, Perspect. Math., 11, Academic Press, Boston, MA, 1990

    1988

  7. [15]

    Dihua Jiang, Dongwen Liu, Binyong Sun, and Fangyang Tian, On the Blasius--Deligne conjecture for the standard \(L\)-functions of symplectic type for \( _ 2n \) , arXiv preprint, 2025, arXiv:2509.00434

    2025 arXiv

  8. [16]

    Jo, Derivatives and exceptional poles of the local exterior square \(L\)-function for \(GL_m\) , Math

    Y. Jo, Derivatives and exceptional poles of the local exterior square \(L\)-function for \(GL_m\) , Math. Z., 294 (3--4), 1687--1725, 2020

    2020

  9. [17]

    Jacquet, I

    H. Jacquet, I. I. Piatetski-Shapiro, and J. A. Shalika, Rankin--Selberg convolutions, Amer. J. Math., 105 (2), 367--464, 1983

    1983

  10. [18]

    A. C. Kable, Asai L -functions and Jacquet's conjecture, Amer. J. Math., 126 (2004), no. 4, 789--820

    2004

  11. [19]

    1, 435--448, 2015

    Kemarsky Alexander, Distinguished representations of GL_n( C ) , Israel Journal of Mathematics, 207, no. 1, 435--448, 2015

    2015

  12. [20]

    Pramod Kumar Kewat and Ravi Raghunathan, On the local and global exterior square \(L\)-functions of \( _n\), Math. Res. Lett., 19, no. 4, 785--804, 2012

    2012

  13. [21]

    A. W. Knapp, Local Langlands correspondence: the archimedean case, Proc. Sympos. Pure Math., 55 (Part II), 393--410, 1994

    1994

  14. [22]

    Matringe, Distinguished generic representations of \(GL(n)\) over \(p\)-adic fields , Int

    N. Matringe, Distinguished generic representations of \(GL(n)\) over \(p\)-adic fields , Int. Math. Res. Not. IMRN, 2011 (1), 74--95

    2011

  15. [23]

    Number Theory, 138, 1--19, 2014

    Nadir Matringe, Linear and Shalika local periods for the mirabolic group, and some consequences, J. Number Theory, 138, 1--19, 2014

    2014

  16. [24]

    Basudev Pattanayak, Kaidi Wu, and Hongfeng Zhang, Classification of \(GL_ n ( C )\)-representations distinguished by \(GL_ n ( R )\) , arXiv preprint arXiv:2501.14449 [math.RT], 2025

    2025 arXiv

  17. [25]

    Shahidi Freydoon, Eisenstein series and automorphic L -functions, American Mathematical Society Colloquium Publications, AMS, 58, Providence, RI, 2010

    2010

  18. [26]

    Tate John, Number theoretic background, in Automorphic Forms, Representations, and L -Functions, Proc. Sympos. Pure Math., AMS, 33, 3--26, 1979

    1979

  19. [27]

    Akash Yadav, Archimedean distinguished representations and exceptional poles, Manuscripta Math., 175, 473--486, 2024

    2024

Pith tools

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