On the fine expansion of the unipotent contribution of the Guo-Jacquet trace formula

Pierre-Henri Chaudouard

REVIEW 3 major objections 4 minor 15 references

On the fine expansion of the unipotent contribution of the Guo-Jacquet trace formula

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

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

Pith's one-line read The unipotent contribution of the Guo-Jacquet trace formula, for very cuspidal test functions, decomposes into absolutely convergent nilpotent-orbit integrals, each expressed by a zeta integral and obeying a homogeneity law.

desk verdict Likely an important step, but the descent lemma 3.2.5.1 has a real gap: the cutoff is dropped, so the main theorem is not fully proved as written. read the letter →

arxiv 1908.00961 v1 pith:FLHBDAAF submitted 2019-08-02 math.RT math.NT

Pierre-Henri Chaudouard This is my paper · ORCID

classification math.RTmath.NT MSC 11F7011F7222E55

keywords Guo-Jacquettraceformularelativeunipotentcontributionnilpotentorbitszetaintegralshomogeneityverycuspidalfunctionstruncation

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

For the Guo-Jacquet relative trace formula attached to the pair (GL_n(D), GL_n(E)), where E/F is a quadratic extension of number fields and D is a quaternion algebra containing E, the paper proves a fine expansion of the unipotent contribution on the geometric side. For any very cuspidal test function Phi, the integral over [H]^1 of the sum of Phi_S over nilpotent elements X is absolutely convergent and equals a finite sum over nilpotent orbits O of integrals J_O(Phi). Each such orbit integral is shown to be the residue at s=0 of a product of a fixed holomorphic factor and an Eulerian zeta integral, and to satisfy the homogeneity law $J_O^{{t t0}}$(Phi)=|t|$_v^{{dim(O)/2}}$$J_O^{{t0}}$(Phi) for small |t0|_v and |t|_v <= 1. These results make the unipotent side of the formula tractable for period problems and for proving existence of distinguished automorphic representations.

What carries the argument

The argument runs on an infinitesimal reduction combined with a truncation technique. One first replaces the group G by the tangent space s of the symmetric space S=G/H and Phi_S by a weakly cuspidal function f, with very cuspidality ensuring that all relevant constant terms vanish. On s, the key identity is theorem 2.6.4.1, J_O(f_t,s)=theta_X(s) Z_X(f_t,s) for |t|_v sufficiently small, where Z_X(f,s) is the Eulerian zeta integral obtained by integrating f_X^K(A) delta(A,s) over the Levi component L(A), and theta_X is a fixed holomorphic factor. The homogeneity of this zeta integral under scaling, established in lemma 2.6.3.1, has exponent dim(O)/2, and passing to residues through the truncation of [Cha18b] yields the homogeneity law first in the infinitesimal setting and then globally.

What would settle it

Compute both sides of theorem 2.6.4.1 explicitly for a small case, for instance n=2, F=Q, E=Q(i), D=M_2(Q), with a weakly cuspidal compactly supported f and a finite place v, comparing J_O(f_t,s) with theta_X(s)Z_X(f_t,s) for the regular nilpotent orbit as |t|_v tends to 0; a disagreement for any sequence t would falsify the theorem. Alternatively, a direct check of the partition-of-unity identity (2.4.4.4) for a non-standard maximal compact subgroup would test the convergence argument underlying the fine expansion.

Watch

Extended reading notes

Core claim

The central result, theorem 3.2.4.1, states that for every very cuspidal function Phi in C_c^infty(G(A)) and every place v, each nilpotent orbit integral J_O^t(Phi)= integral over [H]^1 of the sum over X in O of Phi_S($h^{{-1}}$ exp($t^{{-1}}$X)h) dh is absolutely convergent for all t in F_v^times, the full unipotent integral is the finite sum over O of J_O(Phi), and for sufficiently small |t0|_v one has $J_O^{{t t0}}$(Phi)=|t|$_v^{{dim(O)/2}}$$J_O^{{t0}}$(Phi) whenever |t|_v <= 1. Moreover, J_O^t(Phi) is the limit as s tends to 0+ of s theta_X(s) Z_X(f_t,s), where theta_X is a fixed holomorphic function independent of Phi and Z_X is an Eulerian zeta integral. The proof descends to the infinitesimal symmetric space s, where the analogous statements are proved for weakly cuspidal compactly supported functions.

Load-bearing premise

The load-bearing premise is the local identity J_O(f_t,s)=theta_X(s)Z_X(f_t,s) for small |t|_v, whose proof is only sketched as analogous to an earlier theorem; if this identification fails, the zeta-integral expression and the homogeneity law do not follow.

Editorial extensions

If this is right

For any very cuspidal Phi, the unipotent contribution is not merely conditionally convergent: each nilpotent orbit contribution converges absolutely, so the sum can be studied term by term.
Each orbit contribution J_O^t(Phi) is recovered as the residue at s=0 of s theta_X(s) Z_X(f_t,s), and since Z_X is Eulerian, the local factors can in principle be computed explicitly.
The homogeneity law J_O^{t t0}(Phi)=|t|_v^{dim(O)/2}J_O^{t0}(Phi) determines the asymptotic behaviour of the unipotent side as the scaling parameter goes to zero.
As a direct corollary, when t tends to 0 the whole unipotent integral is asymptotically vol([H]^1) times the integral of Phi over H(A), isolating the zero orbit as the dominant contribution.
The theorem supplies the analytic foundation needed for applications such as proving the existence of H-distinguished cuspidal automorphic representations with prescribed local supercuspidal components.

Reading between the lines

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

If the same infinitesimal machinery works for G the multiplicative group of any F-simple central algebra containing E, as the paper suggests, the fine expansion and homogeneity law would extend to a wider family of relative trace formulas beyond the quaternionic case.
The homogeneity exponent dim(O)/2, exactly half the F-dimension of the orbit, matches the heuristic reading of these integrals as volumes of tubes around orbits, a geometric interpretation the paper does not develop explicitly.
Because Z_X is Eulerian, the residue formula opens a concrete path toward explicit local computations of the unipotent side; testing it on a small-rank example, such as n=2, would make the abstract expansion quantitative.
The proof uses only the vanishing of constant terms at one place, so the class of test functions should be robust to replacing supercuspidal matrix coefficients by other functions satisfying the same local vanishing condition, potentially widening the applicability.

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.

Desk Editor's Note

read the letter

This is a serious paper and probably an important step, but it has a concrete gap in the descent lemma that blocks the main theorem as stated. The infinitesimal part (Section 2) is well organized and the author is explicit about what depends on prior work, but the bridge to the group setting is where I have a real problem.

What is new and good: the paper gives the first fine expansion for the Guo-Jacquet unipotent contribution, expresses each nilpotent orbit term through explicit zeta integrals, and proves a homogeneity law. That is genuinely new and extends Arthur's fine expansion to a relative setting. The structure is clear, and the author explicitly notes where the broader quaternion setting is not written out (remark 1.1.4.3). I see no sign of post-hoc fitting or circularity; the main claims do not reduce to input assumptions.

The soft spots are real, though. The deferrals to [Cha18b] and [Cha18a] are heavy: theorem 2.6.4.1 is justified by analogy, and convergence is imported. In this field that is common, though it makes the paper hard to read standalone. More seriously, lemma 3.2.5.1—the descent from G to s—has a flawed proof. The function f0 is defined with a cutoff ζ0 which is 1 only near c(0), not on the whole support of ω0. In the proof of the lemma, the equality f0(Ad(x)(X+U)) = Φ0,S(x exp(X+U)x^{-1}) is asserted for all U, but that equality holds only when ζ0∘C equals 1. When you integrate over all of sN(F0), you will in general hit the region where ζ0 is nonconstant, and after the change of variables you get an integral with a nonconstant compactly supported weight. The cited vanishing condition (3.2.2.1) is for the unweighted integral, and it does not imply vanishing of the weighted one. So weak cuspidality of f is not established, and theorem 3.2.4.1 as written lacks support. This is a load-bearing gap, not a minor omission.

The stress-test note lands. The rest of the argument seems coherent—I see no other red flags—and the reader's low confidence is appropriate. The paper deserves a serious referee; it is too significant to desk reject, but I would not accept the current version. The author can probably fix the lemma with a more careful choice of cutoff or a support argument, but it needs correction.

Referee Report

3 major / 4 minor

Summary. The paper studies the unipotent contribution to the Guo–Jacquet relative trace formula for the pair (GL_n(D), GL_n(E)), where E/F is a quadratic extension of number fields and D is a quaternion algebra containing E. For a class of test functions called very cuspidal, the author establishes: (1) a fine expansion of the unipotent contribution as a finite sum of absolutely convergent integrals over nilpotent H(F)-orbits; (2) an expression of each nilpotent integral as the residue at s=0 of a product of a universal holomorphic function θ_X(s) and a zeta integral Z_X(f,s); and (3) a homogeneity law under dilation of the orbit parameter. The proof proceeds by reducing to an infinitesimal setting (functions on the tangent space s), proving analogous statements there using a new truncation method borrowed from the author's previous work, and then descending back via an exponential map and a descent lemma (Lemma 3.2.5.1). The main theorem is Theorem 3.2.4.1.

Significance. If the proof is completed, the result would be a significant contribution to the relative trace formula program: it gives a genuinely computable fine expansion of the unipotent contribution, with explicit zeta integrals and a clean homogeneity law, and it has concrete applications to distinction problems (as noted in Corollary 3.2.4.2 and Remark 1.1.4.5). The paper offers a new truncation-based approach that avoids some unknown global constants, which is a conceptual advance over earlier Arthur-style treatments. However, the current manuscript leaves several load-bearing steps as references to prior work or sketches, and one key descent lemma appears to have a gap in its proof. These issues must be addressed before the central claims can be considered established.

major comments (3)

[§3.2.5, Lemma 3.2.5.1] The proof of Lemma 3.2.5.1 is not valid as written. The displayed equality f0(Ad(x)(X+U)) = Φ_{0,S}(x exp(X+U)x^{-1}) omits the cutoff factor ζ0. According to the definition of f0 in §3.2.5, one has f0(Y) = ζ0(C(Y)) Φ_{0,S}(exp(Y)) for Y ∈ ω0, and 0 otherwise. The equality used in the proof holds only when ζ0(C(Ad(x)(X+U))) = 1. This is not guaranteed for all U in the domain of integration, since ζ0 is only assumed to be 1 in a neighborhood of c(0) and the set where the integrand does not vanish involves U for which C(Ad(x)(X+U)) varies over the support of ζ0. After the change of variables U ↦ exp(-X/2) exp(X+U) exp(-X/2) and the identification with N(F_0)/N_H(F_0), the integral becomes a weighted integral ∫ ζ0'(n) Φ_{0,S}(ρ(x exp(X/2)n)) dn with ζ0' a nonconstant, compactly supported smooth weight. The cited vanishing condition (3.2.2.1) applies to the unweighted integral over the full quotient; it does not imply the vanishing of the weighted integral for arbitrary smooth weights. Consequently, the weak cuspidality of f is not established, and the descent to the infinitesimal results, on which Theorem 3.2.4.1 relies, is not justified. This is a load-bearing gap in the proof of the main theorem.
[§2.6.4, Theorem 2.6.4.1] Theorem 2.6.4.1 is a central step: it identifies the truncation-based integral J_O(f_t,s) with θ_X(s) Z_X(f_t,s), from which the homogeneity property (Theorem 2.3.5.1) and assertions 3–4 of Theorem 3.2.4.1 follow. The proof given in the text is only a reference to the analogy with Theorem 9.1.1 of [Cha18b], supplemented by the observation E_G(g)=E_G(σ(g)). This leaves substantial room for error in adapting the lengthy arguments of [Cha18b] to the relative context, especially regarding the definition of the functions E_G and the treatment of the σ-conjugation. The manuscript should provide a complete proof or a precise, verifiable dictionary between the notation and hypotheses of Theorem 9.1.1 of [Cha18b] and the present setting. As it stands, the reader cannot check that the identification is valid, and this weakens the derivation of the homogeneity law.
[§2.4.1, Theorem 2.4.1.1] The convergence theorem for the truncated orbital sums, Theorem 2.4.1.1, is foundational: it is used to prove Theorem 2.3.4.1 and hence the absolute convergence asserted in parts 1–2 of the main theorem. Its proof is only sketched, with references to "the same kind of majorization" and to analogous lemmas in [Cha18a] (§3.8, §3.12). Given that the underlying arguments involve delicate estimates for weighted sums over nilpotent orbits in the relative setting, the paper should spell out at least the key majorization steps (e.g., Lemma 2.4.2.2 and the treatment of contributions (2.4.3.1)–(2.4.3.3)) rather than deferring to the prior article, since the current text is not self-contained on a load-bearing point.

minor comments (4)

[§2.2.2, Proposition 2.2.2.1] The proof of Proposition 2.2.2.1 contains an appeal to a dimension computation that is said to be "not difficult" and is only sketched. To make the paper more self-contained and the claim verifiable, the author should either provide the explicit computation of dim(B_Y) and dim(H_Y) in terms of the Jordan type or give a precise reference to the applicable result in [Spa82].
[§2.6.4, proof of Theorem 2.6.4.1] The observation "E_G(g)=E_G(σ(g))" is introduced without explanation of which objects are involved and why the identity holds. Since this is the main new ingredient claimed in the adaptation, a short justification or an explicit formula for E_G would improve readability.
[§3.2.4, Theorem 3.2.4.1(3)] The statement "the zeta function Z_X(f_t,s) is defined in §2.6.3 relatively to any function f_t ∈ C_c^∞(s(A)) such that f_t(Y)=Φ_S(exp(t^{-1}Y))" is imprecise: for a fixed Φ_S, such a function f_t is not uniquely determined by this identity on the whole s(A), since exp is only a local diffeomorphism. The author should clarify how f_t is chosen (e.g., by the construction of §3.2.5) and why Z_X(f_t,s) is independent of the choice.
[§2.5.2, Theorem 2.5.2.1] The notation [H] is used for H(F)\H(A), while earlier [H]^1 is the kernel of |det|. In Theorem 2.5.2.1 the integral is over [H], but the limit value J_O(f) is defined via an integral over [H]^1. The role of the extra |det(h)|^s factor is not fully explained; this is standard but a sentence of clarification would help.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central homogeneity and fine-expansion results are derived from independent zeta-integral and truncation tools, not from their own conclusions.

full rationale

The paper derives Theorem 3.2.4.1 by descent to the infinitesimal tangent-space setting, then applies the infinitesimal convergence theorem (2.3.4.1), the limit formula (2.5.2.1), and the zeta-integral computation (2.6.4.1). The homogeneity property in assertion 4 is obtained from the direct scaling computation of the zeta integral in Lemma 2.6.3.1, not imposed as an input. The paper does rely heavily on the author's previous article [Cha18b] for the truncation function E_H, the convergence of the zeta integral in §8.3, and the argument of theorem 9.1.1, which is invoked as 'analogous' in the proof of theorem 2.6.4.1. This is a reliance on independent published tools with stated assumptions, not a restatement of the target theorem; no parameter is fitted, and no predicted quantity is defined in terms of the result it purports to establish. A skeptical concern about the cutoff ζ0 in Lemma 3.2.5.1 would be a possible mathematical gap in verifying weak cuspidality, not a circularity, because it does not reduce the theorem to its own input. Accordingly, no circular step is identified.

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

The central claim rests on prior truncation and zeta-integral results from [Cha18b] and [Cha18a], plus standard algebraic group and adelic machinery. No free parameters are fitted to data and no new mathematical entities are introduced. The heaviest assumed input is theorem 2.6.4.1, whose proof is delegated to the author's previous paper.

assumptions (6)

domain assumption Truncation and convergence machinery of [Cha18b] applies in the relative setting: partition of unity (2.4.4.4), convergence theorem 2.4.1.1, and residue formula theorem 2.5.2.1.
Invoked in sections 2.4-2.5; proofs are described as simple analogs or variations of results in [Cha18b] and [Cha18a].
domain assumption Zeta integral Z_X(f,s) converges for Re(s)>0 and is holomorphic, with theta_X(s) holomorphic there.
Stated in section 2.6.3 as from [Cha18b] sections 7.2 and 8.3; needed for theorem 2.6.4.1.
standard math Rational nilpotent orbits N(F)/H(F) are finite and classified by Jordan normal form.
Lemma 2.2.1.1; classification of torsion modules over a PID.
domain assumption The setting is E/F quadratic extension of number fields, D quaternion algebra containing E, G=Aut_D(V_D), H=centralizer of epsilon, symmetric space S.
Definitions in sections 1.1 and 3.1.
domain assumption The descended function f is weakly cuspidal (lemma 3.2.5.1).
Proved in section 3.2.5 using the very cuspidal vanishing condition; connects the group-level integral to the infinitesimal theorem.
standard math Standard facts about algebraic groups, adeles, Haar measures, and the Harish-Chandra map are used without proof.
Throughout sections 2.1, 2.4, and 3.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the fine expansion of the unipotent contribution of the Guo-Jacquet trace formula." pith.science (2026). https://pith.science/paper/FLHBDAAF

@misc{pith2026190800961,
  author       = {Pith},
  title        = {Pith review of: On the fine expansion of the unipotent contribution of the Guo-Jacquet trace formula},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FLHBDAAF}},
  note         = {Machine review of arXiv:1908.00961}
}

abstract

For a useful class of functions (containing functions whose one finite component is essentially a matrix coefficient of a supercuspidal representation), we establish three results about the unipotent contribution of the Guo-Jacquet relative trace formula for the pair $(GL_n(D),GL_n(E))$. First we get a fine expansion in terms of global nilpotent integrals. Second we express these nilpotent integrals in terms of zeta integrals. Finally we prove that they satisfy certain homogeneity properties. The proof is based on a new kind of truncation introduced in a previous article.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[1]

J. Arthur. A trace formula for reductive groups. I . T erms associated to classes in G( Q ) . Duke Math. J. , 45(4):911--952, 1978

work page 1978
[2]

J. Arthur. A measure on the unipotent variety. Canad. J. Math. , 37(6):1237--1274, 1985

work page 1985
[3]

J. Arthur. The local behaviour of weighted orbital integrals. Duke Math. J. , 56(2):223--293, 1988

work page 1988
[4]

Chaudouard

P.-H. Chaudouard. Sur la contribution unipotente dans la formule des traces d' A rthur pour les groupes g\' e n\' e raux lin\' e aires. Israel J. Math. , 218(1):175--271, 2017

work page 2017
[5]

Chaudouard

P.-H. Chaudouard. Sur certaines contributions unipotentes dans la formule des traces d' A rthur. Amer. J. Math. , 140(3):699--752, 2018

work page 2018
[6]

Chaudouard

P.-H. Chaudouard . Sur une variante des troncatures d'Arthur . In Geometric Aspects of the Trace Formula , Simons Symp., pages 85--120. Springer, 2018

work page 2018
[7]

Feigon, K

B. Feigon, K. Martin, and D. Whitehouse. Periods and nonvanishing of central L -values for GL (2n) . Israel J. Math. , 225(1):223--266, 2018

work page 2018
[8]

J. Guo. On a generalization of a result of W aldspurger. Canad. J. Math. , 48(1):105--142, 1996

work page 1996

Show all 15 references

[9]

J. Guo. Uniqueness of generalized W aldspurger model for GL (2n) . Pacific J. Math. , 180(2):273--289, 1997

1997
[10]

H. Jacquet. Sur un r\' e sultat de W aldspurger. Ann. Sci. \' E cole Norm. Sup. (4) , 19(2):185--229, 1986

1986
[11]

Jacquet, E

H. Jacquet, E. Lapid, and J. Rogawski. Periods of automorphic forms. J. Amer. Math. Soc. , 12(1):173--240, 1999

1999
[12]

H. Li. An infinitesimal variant of G uo- J acquet trace formula. II . to appear
[13]

Lusztig and N

G. Lusztig and N. Spaltenstein. Induced unipotent classes. J. London Math. Soc. , 19:41--52, 1979

1979
[14]

Spaltenstein

N. Spaltenstein. Classes unipotentes et sous-groupes de B orel , volume 946 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1982

1982
[15]

H. Xue. E psilon dichotomy for linear models. Preprint

Pith tools

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

[1] [1]

J. Arthur. A trace formula for reductive groups. I . T erms associated to classes in G( Q ) . Duke Math. J. , 45(4):911--952, 1978

work page 1978

[2] [2]

J. Arthur. A measure on the unipotent variety. Canad. J. Math. , 37(6):1237--1274, 1985

work page 1985

[3] [3]

J. Arthur. The local behaviour of weighted orbital integrals. Duke Math. J. , 56(2):223--293, 1988

work page 1988

[4] [4]

Chaudouard

P.-H. Chaudouard. Sur la contribution unipotente dans la formule des traces d' A rthur pour les groupes g\' e n\' e raux lin\' e aires. Israel J. Math. , 218(1):175--271, 2017

work page 2017

[5] [5]

Chaudouard

P.-H. Chaudouard. Sur certaines contributions unipotentes dans la formule des traces d' A rthur. Amer. J. Math. , 140(3):699--752, 2018

work page 2018

[6] [6]

Chaudouard

P.-H. Chaudouard . Sur une variante des troncatures d'Arthur . In Geometric Aspects of the Trace Formula , Simons Symp., pages 85--120. Springer, 2018

work page 2018

[7] [7]

Feigon, K

B. Feigon, K. Martin, and D. Whitehouse. Periods and nonvanishing of central L -values for GL (2n) . Israel J. Math. , 225(1):223--266, 2018

work page 2018

[8] [8]

J. Guo. On a generalization of a result of W aldspurger. Canad. J. Math. , 48(1):105--142, 1996

work page 1996