Pith. sign in

REVIEW 4 major objections 5 minor 1 cited by

Stabilisation et germes pour $SL(2)$ en toutes caract\'eristiques

T0 review · 4 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper proves that the stabilization of local orbital integrals and of the trace formula for SL(2) holds over fields of every characteristic, and that in characteristic 2 the asymptotic germ expansion is new, with sums over unipotent…

desk verdict Genuinely new characteristic-2 germ expansion and pre-stabilization for SL(2), but the global all-characteristic theorem leans on an unpublished preprint and a blanket verbal extension. read the letter →

arxiv 2411.14820 v2 pith:WMDZUIAH submitted 2024-11-22 math.NT math.RT

Jean-Pierre Labesse This is my paper · ORCID
classification math.NTmath.RT MSC 11F7011F7222E3522E50
keywords SL(2)endoscopyShalikagermskappa-germstraceformulacharacteristic2orbitalintegralsstableconjugacy
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 establishes the stabilization of local orbital integrals and of the global trace formula for SL(2) over local and global fields of arbitrary characteristic. Its new claim is that in characteristic 2 the asymptotic expansion near the identity cannot be written as the finite Shalika germ sum over unipotent conjugacy classes, because those classes form an uncountable compact set; replacing the sum by an integral over this set gives a $\kappa$-germ expansion that is equivalent, up to Fourier transform, to the standard expansion in other characteristics. On the global side, the fine unipotent contribution to the trace formula is obtained by a pre-stabilization step, since the classical unipotent-variety measure technique is not available in characteristic 2. The paper's aim is to complete the SL(2) case of endoscopy uniformly in all characteristics and to provide the previously missing germ expansion in characteristic 2.

What carries the argument

The central mechanism is the endoscopic transfer from $G=\mathrm{SL}(2)$ to its endoscopic data: the group itself and the norm-one tori $T_{E/F}$ attached to separable quadratic extensions $E/F$. The transfer factor $$\Delta_E(t,t')=\$\lambda$(E/F,\psi)^{-1}\varepsilon_{E/F}\bigl((\gamma-\bar{\gamma})/(\tau-\bar{\tau})\bigr)|\gamma-\bar{\gamma}|$$ converts $\kappa$-orbital integrals $O_\kappa(t,f)$ into smooth functions $f^E$ on the endoscopic torus, and the $\kappa$-germs $\Gamma_\kappa(\nu,t)$ obtained from the inverse transfer factor carry the asymptotic expansion near the identity. In characteristic $2$ the set of regular unipotent classes is isomorphic to the compact uncountable group $Q_F$, so Fourier inversion over its dual turns the Shalika sum into an integral; the same $\kappa$-germ formalism remains meaningful in every characteristic. Globally, a pre-stabilization step extends every term of the trace formula to a function on $\tilde G(\mathbb{A}_F)$ and decomposes it under the compact quotient $Q_F$, replacing the unipotent-variety measure used in characteristic zero.

What would settle it

The decisive test is to compute both sides of the identity $J_{\mathrm{geom}}(f,\varepsilon_{E/F})=J_{\mathrm{spec}}(f,\varepsilon_{E/F})$ from Section 6.2 for a characteristic-2 function field and a test function supported near the unipotent element $\nu$, using the explicit transfer $f^E$ of Theorem 2.3.3; a mismatch in the coefficient of $f^E(1)$ would show the asserted $\kappa$-germ expansion is incorrect.

Watch

Extended reading notes

Core claim

The paper's central claim is that, for $G=\mathrm{SL}(2)$, local orbital integrals admit an asymptotic expansion near the identity in every characteristic, obtained through endoscopic transfer. When the residual characteristic is not $2$, this expansion is equivalent, after Fourier transform on the finite group $Q_F\simeq F^\times/(F^\times)^2$, to the classical Shalika germ expansion labelled by unipotent conjugacy classes. In characteristic $2$, the regular unipotent conjugacy classes form an uncountable compact set, so the expansion integrates $\kappa$-germs over $Q_F$ rather than summing over classes; this is new. In parallel, the global trace formula is stabilized: a pre-stabilization step produces fine geometric terms, and endoscopy writes both sides as sums over the endoscopic data, namely $\mathrm{SL}(2)$ itself and the norm-one tori of separable quadratic extensions. No step excludes characteristic $2$.

Load-bearing premise

The load-bearing premise, stated in Section 7.3, is that the arguments and lemmas of [LL] extend verbatim to local and global fields of arbitrary characteristic, together with the cited results [Le] and [LLe] for character integrability and the truncated trace formula over function fields; if any of these fail, the announced stabilization and the characteristic-2 germ expansion are not established.

Editorial extensions

If this is right

  • Local orbital integrals for SL(2) have a $\kappa$-germ expansion near the identity with no restriction on the characteristic.
  • In characteristic 2, the germ expansion takes the integral form of Shalika's expansion: sums over unipotent classes become integrals over the compact uncountable group $Q_F$.
  • The non-invariant trace formula for SL(2) can be written as a sum over endoscopic data in any characteristic, with the torus data contributing stable terms and SL(2) itself contributing the T-stable terms.
  • For inner forms given by norm-one units of quaternion algebras, the same stabilization holds, including the case where an L-packet component has local intertwining algebra $M(2,\mathbb{C})$ instead of $\mathbb{C}^4$.
  • The fundamental lemma, namely the transfer of the characteristic function of the hyperspecial maximal compact subgroup, is valid in all characteristics.

Reading between the lines

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

  • The same pre-stabilization idea may be the right route for other reductive groups in bad characteristic whenever the unipotent variety does not support the classical measure; the paper does not develop that generalization.
  • The $\kappa$-germ formalism suggests that Shalika's expansion in equal-characteristic local fields should be formulated as an integral over a compact parameter space rather than a sum over conjugacy classes, with structure constants read off the transfer factor.
  • A direct extension would be to compute the Fourier transform of the $\kappa$-germs over $Q_F$ for a ramified quadratic extension in characteristic 2 and compare with Shalika germs from the residue field; the paper does not tabulate this comparison.
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

4 major / 5 minor

Summary. The paper announces, for SL(2) and its inner forms, a stabilization of local orbital integrals and of the trace formula over local and global fields of arbitrary characteristic, with new phenomena in characteristic 2. In characteristic 2 the paper claims that the usual Shalika germ expansion near the identity must be replaced by a κ-germ expansion, since the set of rational unipotent conjugacy classes is uncountable, and that the unipotent contribution to the global trace formula requires a pre-stabilization because Arthur's unipotent measure techniques fail. Sections 2 and 3 give a fairly detailed treatment of local geometric transfer, the fundamental lemma in the unramified case, local spectral transfer, and the Weil-representation construction of L-packets. Sections 4–6 present the non-invariant trace formula, its pre-stabilization, and the stabilization leading to Theorem 6.5.2. Section 7 treats quaternion-division-algebra inner forms.

Significance. If the announced results are correct, the paper provides a complete stabilization package for SL(2) in all characteristics and, for the first time, a Shalika-type germ expansion in characteristic 2, formulated via κ-germs and integrals over the uncountable set of unipotent classes. The proposed pre-stabilization of the unipotent contribution is a genuinely new device, since Arthur's measure-theoretic treatment is characteristic-zero specific. The local transfer and fundamental lemma in §§2.2–2.4 are worked out explicitly, and the spectral transfer in §3.5 is supported by concrete character computations. These local parts are valuable even independently of the global stabilization. However, the global half of the announcement depends in essential places on an unpublished preprint [LLe] and on a blanket assertion that the arguments of [LL], a characteristic-zero paper, extend verbatim to all characteristics; this dependency is load-bearing and not resolved by the text as it stands.

major comments (4)
  1. [§4.2, §4.5, Theorem 6.5.2] The global trace formula for function fields is not proved in this manuscript. In §4.2 the convergence of the hyperbolic and unipotent terms is dispensed with by the sentence 'on renvoie à [LW] et [LLe] pour des preuves détaillées valables pour les groupes généraux en toute caractéristique'; in §4.5 the spectral side for function fields is again delegated to [LLe], with 'La formulation pour les corps de fonctions est laissée au lecteur (cf. [LLe])'. Since [LLe] is listed as a 'Prépublication' and is not available here, the central claim of a stabilization of the trace formula in every characteristic is conditional, not proved. This matters concretely for characteristic 2: §5.4 derives the unipotent contribution from the pre-stabilization whose convergence and normalization use the Poisson formula and [LLe], and §4.1 notes that the strict truncation inequalities used here change the answer for function fields. Please either include a self-contained proof for SL(2) over function fields or state the global theorems as conditional on [LLe].
  2. [§7.3] The blanket sentence 'On renvoie pour la preuve des énoncés ci-dessus à [LL] dont les arguments s'étendent verbatim au cas des corps locaux et globaux de caractéristique quelconque' cannot carry the load assigned to it. [LL] is a characteristic-zero reference, while the paper itself states in the Introduction and in §5.4 that characteristic 2 has new unipotent phenomena for which Arthur's techniques fail and a new pre-stabilization is required. A verbatim extension of [LL] therefore cannot cover the characteristic-2 germ expansion and the characteristic-2 unipotent contribution unless the relevant lemmas are separately listed and checked. The manuscript should identify exactly which lemmas of [LL] are characteristic-independent and give the proofs or references for the characteristic-2 replacements, rather than asking the reader to accept a global 'verbatim' transfer.
  3. [§2.4] The characteristic-2 germ expansion is the paper's advertised new local result, but it is not stated as a theorem with hypotheses, measure normalizations, and proof. In characteristic p≠2, Fourier inversion over the finite group U is clear; in characteristic 2, U ≃ Q_F is uncountable compact, and the displayed formula O(t,f)=Γ_1(t)f(1)+∑_κ Γ_κ(ν,t)O_κ(ν,f) needs a precise interpretation of the sum over the (now possibly uncountable) dual, a proof that the κ-orbital integrals O_κ(ν,f) are well-defined, and a justification of the Fourier-inversion step. The heuristic replacement of sums by integrals announced at the start of §2.4 is not the same as a proof. Since this expansion is the basis for the claimed new Shalika-type germs and for the comparison to the classical expansion in p≠2, this gap is load-bearing.
  4. [§6.2–6.3] The endoscopic contribution to the T-stable trace formula is reduced to the identity J_geom(f,ε_{E/F}) = (1/2)∑_{γ∈T_{E/F}(F)} f^E(γ). This reduction uses in an essential way the measure comparisons between local Tamagawa measures, the global transfer constructed from §§2.3–2.4, and Lemma 5.4.2. The argument is plausible, but the convergence of the global sums over γ∈T_{E/F}(F) and z∈Z(F), as well as the passage from local transfer to global transfer with Tamagawa-normalized measures, is only sketched. A precise statement of the measure normalizations used for the global κ-orbital integrals in §5.2 and §5.4 is needed before Theorem 6.5.2 can be regarded as proved.
minor comments (5)
  1. [§1.1] The displayed definition 'q_F = e = lim_{n→∞}(1+1/n)^n = 2,718...' is confusing: for number fields q_F=e is a convention, but the notation q_F clashes with the later cardinality q=p^f for function fields. Please clarify the convention in one sentence and use separate notation if possible.
  2. [§2.4] The symbol U is used both for the unipotent radical of the Borel subgroup (§1.2) and for the set of unipotent conjugacy classes (§2.4). This makes statements such as 'U ≃ Q_F' ambiguous on first reading; a different letter, for example 𝒰 or 𝒞, would help.
  3. [§4.2] The term PolExp is used without definition at its first occurrence. Since the paper explicitly discusses function fields and truncation parameters taking rational values, PolExp should be defined, or a reference to [LLe] should be given at the first use.
  4. [§4.3] The proof of Proposition 4.3.1 is only sketched by a displayed identity and the phrase 'Il suffit alors d'observer que...'. For a paper claiming proofs in all characteristics, the role of the strict truncation inequalities in the function-field case should be spelled out here, especially because §4.1 says the strict versus non-strict cutoffs matter for function fields.
  5. [References] The entries for [LL] and [H] lack full bibliographic data: [LL] is given without page numbers, and [H] is given with the title 'Differential Geometry and Symmetric Spaces' although the standard reference is Helgason's 'Differential Geometry, Lie Groups, and Symmetric Spaces'. Please correct and complete the references.

Circularity Check

2 steps flagged · score 4.0 of 10

No by-construction circularity, but the all-characteristic stabilization and the characteristic-2 trace-formula/unipotent results are load-bearing on the author's own [LL] and on the unpublished self-authored [LLe].

  1. self citation load bearing [Section 7.3, 'Sur les preuves']
    "On renvoie pour la preuve des énoncés ci-dessus à [LL] dont les arguments s'étendent verbatim au cas des corps locaux et globaux de caractéristique quelconque."

    The note's announced stabilization for every characteristic is justified by asserting that the arguments of [LL], a 1979 paper by the same author, extend verbatim to positive characteristic, without carrying out that extension. The paper itself insists that characteristic 2 is new: the unipotent orbits are uncountable, Arthur's unipotent techniques fail, and a pre-stabilization is required. Hence the verbatim-extension assertion is not a routine corollary of [LL]; it is a load-bearing self-citation. This is not a formal by-construction circularity, since no equation is literally equal to its input, but the central positive-characteristic proof is deferred to the author's own prior work.

  2. self citation load bearing [Section 4.2 (La troncature géométrique); also Sections 4.5 and 5.4]
    "La preuve de la convergence des intégrales des deux autres termes, au moins pour X assez grand, repose sur l'usage de la formule de Poisson (voir le cas unipotent plus bas) et on renvoie à [L W] et [LLe] pour des preuves détaillées valables pour les groupes généraux en toute caractéristique."

    The global trace formula over function fields—which underlies the pre-stabilized unipotent contribution and the final stabilization identity in characteristic 2—is not proved here. The reader is sent to [LLe], an unpublished preprint by Labesse and Lemaire, for 'preuves détaillées valables pour les groupes généraux en toute caractéristique'. The characteristic-2 unipotent contribution is explicitly said to require a new pre-stabilization because Arthur's techniques fail. Thus the announced all-characteristic trace-formula stabilization is conditional on an author-overlapping citation rather than on a self-contained derivation in this paper.

full rationale

The derivation chain is not circular in the strict sense: the characteristic-2 kappa-germ expansion is obtained from the local endoscopic transfer and the explicit smoothness of the transferred function f^E (Theorem 2.3.3, Proposition 2.3.2); the local fundamental lemma is computed directly (Theorem 2.3.4); and the spectral transfer is matched to the geometric transfer through character identities (Proposition 3.5.1). The unipotent contribution is derived by Fourier inversion, L-function residues, and a pre-stabilization step (Lemmas 5.4.1, 5.4.2, 6.2.1), not by fitting parameters or renaming a known result. No equation in the paper is identical by construction to the announced theorem, and no fitted input is relabelled as a prediction. The main circularity-type weakness is the repeated deferral of essential proofs: Section 7.3 asserts that [LL] extends verbatim to any characteristic, and Sections 4.2 and 4.5 send the global function-field trace formula to the unpublished [LLe], a preprint sharing an author. Those citations support the all-characteristic stabilization claim, and the characteristic-2 germ and unipotent phenomena are explicitly new, so the note's positive-characteristic proof is not self-contained. Because the cited works are independent results if they exist as claimed, and because the note contains substantial independent local computations, the appropriate score is moderate rather than a by-construction circularity score.

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

No numerical constants are fitted to data. The only chosen constants are normalizations in the transfer factor, such as c = lambda(E/F,psi)^{-1}, which are conventions rather than tuned parameters. The central claims depend on external theorems that are cited, not proved: local integrability of characters ([Le]), the truncated trace formula over function fields ([LLe], [LW]), and the claim that the arguments of [LL] extend verbatim to arbitrary characteristic (Section 7.3). No new entities are postulated.

assumptions (3)
  • domain assumption Characters of admissible irreducible representations of SL(2,F) and its inner forms on local fields are locally integrable for arbitrary characteristic.
    Invoked in Section 3 and A.2.1 and cited to [Le]; the spectral transfer and trace identities depend on it in positive characteristic.
  • domain assumption The truncated trace formula and its spectral decomposition are valid for function fields and fields of positive characteristic.
    Sections 4 and 7.3 use [LW] and the preprint [LLe]; the needed statements are not proved in this note.
  • ad hoc to paper All lemmas and computations of [LL] extend verbatim to local and global fields of arbitrary characteristic.
    Section 7.3 states this explicitly; it is the bridge from the characteristic-zero proof of [LL] to the announced all-characteristic results and is not demonstrated in the note.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stabilisation et germes pour $SL(2)$ en toutes caract\'eristiques." pith.science (2026). https://pith.science/paper/WMDZUIAH

@misc{pith2026241114820,
  author       = {Pith},
  title        = {Pith review of: Stabilisation et germes pour $SL(2)$ en toutes caract\'eristiques},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WMDZUIAH}},
  note         = {Machine review of arXiv:2411.14820}
}
abstract

We give the stabilisation of local orbital integrals and the trace formula over a global field for $SL(2)$ with proofs valid in any characteristic. New features appear in characteristic 2. We obtain, via the stabilisation, an asymptotic expansion near the identity of local orbital integrals which is equivalent, up to a Fourier transform, to the standard germ expansion due to Shalika when the characteristic is not 2 but it is new in characteristic 2. Similarly the fine expansion of the unipotent contribution to the trace formula cannot be obtained using Arthur's techniques and a pre-stabilisation is necessary.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Germ expansion for SL(2) in arbitrary characteristics

    math.RT 2025-07 conditional novelty 4.0 of 10

    For SL(2) over local fields of any characteristic, including p=2 where Shalika's expansion fails, the paper proves an endoscopic germ expansion for orbital integrals near the center and states a conjecture for arbitra...

Reference graph

Works this paper leans on

23 extracted references · 21 canonical work pages · cited by 1 Pith paper

  1. [1]

    A trace formula for reductive groups I: Terms associated to classes in G( ) , Duke Math

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

    work page 1978

  2. [2]

    A trace formula for reductive groups II: Applications of a truncation operator, Compositio Math

    Arthur J. A trace formula for reductive groups II: Applications of a truncation operator, Compositio Math. 40, fasc. 1 (1980), pp. 87-121

    work page 1980

  3. [3]

    A measure on the unipotent variety, Canad

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

    work page 1985

  4. [4]

    A stable trace formula I

    Arthur A. A stable trace formula I. General expansions, J. Inst. Math. Jussieu 1 (2002), pp. 175-277

    work page 2002

  5. [5]

    A stable trace formula II

    Arthur A. A stable trace formula II. Global descent, Invent. Math. 143 (2001), pp. 157-220

    work page 2001

  6. [6]

    A stable trace formula III

    Arthur A. A stable trace formula III. Proof of the main theorems, Ann. of Math. 158 (2003), pp. 769-873

    work page 2003

  7. [7]

    Differential Geometry and Symmetric Spaces, Academic Press

    Helgason S. Differential Geometry and Symmetric Spaces, Academic Press. Pure and Applied Mathematics XII (1962)

    work page 1962

  8. [8]

    Journal of Algebra

    Henniart G., Repr\'esentations des groupes r\'eductifs p-adiques et de leurs sous-groupes distingu\'es cocompacts . Journal of Algebra. 236 (2001), 236-245,

    work page 2001

Show all 23 references
  1. [9]

    , Langlands R

    Jacquet H. , Langlands R. P. Automorphic Forms on GL(2) Lecture Notes in Mathematics, Vol. 114. Springer-Verlag, Berlin-New York, 1970

    1970

  2. [10]

    L-indistinguishable representations and trace formula for SL(2) , Lie groups and their representations (Proc

    Labesse J.-P. L-indistinguishable representations and trace formula for SL(2) , Lie groups and their representations (Proc. Summer School, Bolyai J\' anos Math. Soc., Budapest, 1971), pp. 331-338. Halsted, New York, 1975

    1971

  3. [11]

    Nombres de Tamagawa des groupes rductifs quasi-connexes, Manuscripta Math

    Labesse J.-P. Nombres de Tamagawa des groupes rductifs quasi-connexes, Manuscripta Math. 104 (2001), no. 4, pp. 407-430

    2001

  4. [12]

    Labesse J.-P., Langlands R. P. L-indistinguishability for SL(2) , Canad. J. 31, no. 4, pp. 726-785, 1979

    1979

  5. [13]

    La formule des traces tordue pour un corps global de caract\'eristique p>0 , Prpublication

    Labesse J.-P., Lemaire B. La formule des traces tordue pour un corps global de caract\'eristique p>0 , Prpublication

  6. [14]

    Central morphisms and cuspidal automorphic representations

    Labesse J.-P., Schwermer J. Central morphisms and cuspidal automorphic representations. J. Number Theory 205, pp. 170-193, 2019

    2019

  7. [15]

    La formule des traces tordue, d'apr\`es le Friday Morning Seminar, CRM Monograph Series 31, Amer

    Labesse J.-P., Waldspurger J.-L. La formule des traces tordue, d'apr\`es le Friday Morning Seminar, CRM Monograph Series 31, Amer. Math. Soc., 2013

    2013

  8. [16]

    Base change for GL (2)

    Langlands, Robert P. Base change for GL (2) . Annals of Mathematics Studies, No. 96 Princeton University Press, Princeton, N.J. and University of Tokyo Press, Tokyo, 1980

    1980

  9. [17]

    Lemaire, Bertrand Intgrabilit locale des caractres de SL_n(D) Pacific J. Math. 222, no. 1, pp. 69-131, 2005

    2005

  10. [18]

    Ramakrishnan, Dinakar Modularity of the Rankin-Selberg L-series, and multiplicity one for SL(2) Ann. of Math. (2) 152 , no. 1, pp. 45-111, 2000

    2000

  11. [19]

    Stabilisation de la formule des traces tordues, Volumes 1 et 2 Progress Math

    M glin C., Waldspurger J.-L. Stabilisation de la formule des traces tordues, Volumes 1 et 2 Progress Math. 316-317, Birkh\"auser, Cham, 2016

    2016

  12. [20]

    Silberger A., Isogeny restrictions of irreducible admissible representations are finite direct sums of irreducible admissible representations, Proc. Amer. Math. Soc. 73 (1979) No. 2, pp. 263-264

    1979

  13. [21]

    Shalika J.A., Tanaka S., On an explicit construction of a certain class of automorphic forms, Amer. J. Math. 91 (1969) No. 4, 1049-1076

    1969

  14. [22]

    Indian Math

    A., Selberg Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series., J. Indian Math. Soc. 20 (1956) pp. 47-87

    1956

  15. [23]

    111 (1964) pp

    A., Weil Sur certains groupes d'oprateurs unitaires., Acta Math. 111 (1964) pp. 143-211

    1964

Pith tools

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