pith. sign in

arxiv: 2305.13867 · v4 · submitted 2023-05-23 · 🧮 math.RT

Scattering and a Plancherel formula for real reductive spherical spaces

Patrick Delorme This is my paper

Pith reviewed 2026-05-24 09:18 UTC · model grok-4.3

classification 🧮 math.RT
keywords scattering theoremPlancherel formulaspherical varietiesreal reductive groupsharmonic analysisinvariant differential operatorsspectral projections
0
0 comments X

The pith

A scattering theorem holds for real homogeneous spherical varieties and yields a Plancherel formula.

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

The paper establishes that the scattering theorem previously shown for p-adic wavefront spherical varieties extends to the real setting for homogeneous spherical varieties. It derives this using the Harish-Chandra homomorphism for invariant differential operators together with special coverings of the variety and spectral projections. The result supplies the Plancherel formula for the decomposition of square-integrable functions on these spaces. The entire argument rests on an unproven analog of the discrete series conjecture.

Core claim

We establish the analog for real homogeneous spherical varieties of the Scattering Theorem for p-adic wavefront spherical varieties. The proof relies on properties of the Harish-Chandra homomorphism of Knop for invariant differential operators, special coverings of the variety, and spectral projections. The main result depends on an analog of the Discrete Series Conjecture.

What carries the argument

The scattering theorem, which decomposes the continuous spectrum via spectral projections and the Harish-Chandra homomorphism for invariant differential operators on the spherical variety.

If this is right

  • The L2 space on a real homogeneous spherical variety admits a decomposition given by the Plancherel formula.
  • Scattering operators exist and map between the continuous spectrum components for these real varieties.
  • Harmonic analysis on real reductive spherical spaces reduces to the study of the discrete series and the continuous spectrum via the scattering map.

Where Pith is reading between the lines

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

  • Explicit Plancherel measures could be computed for concrete low-dimensional examples once the discrete series analog is verified.
  • The result opens a path to comparing the real and p-adic Plancherel formulas directly through the common scattering mechanism.
  • If the discrete series analog is later proved, the full Plancherel theorem for real spherical varieties follows without further work.

Load-bearing premise

The proof of the scattering theorem and Plancherel formula depends on an analog of the discrete series conjecture.

What would settle it

A counterexample to the analog of the discrete series conjecture for any real homogeneous spherical variety would show that the scattering theorem does not hold in that case.

read the original abstract

We establish the analog for real homogeneous spherical varieties of the Scattering Theorem of Sakellaridis and Venkatesh (Periods and harmonic analysis on spherical varieties, Asterisque 396, (2017), Theorem 7.3.1) for p-adic wavefront spherical varieties. We use properties of the Harish-Chandra homomorphism of Knop for invariant differential operators of the variety, special coverings of the variety and spectral projections. Our main result depend on an analog of the Discrete Series Conjecture of Sakellaridis and Venkatesh (\cite{SV}, Conjecture 9.4.6). Their result quoted above depends on this Discrete series conjecture.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript establishes an analog of the Scattering Theorem (Sakellaridis-Venkatesh, Asterisque 396, Thm. 7.3.1) for real homogeneous spherical varieties. The proof relies on Knop's Harish-Chandra homomorphism for invariant differential operators, special coverings of the variety, and spectral projections. The central result is explicitly conditional on an analog of the Discrete Series Conjecture (SV, Conj. 9.4.6); the p-adic version likewise depends on the original conjecture.

Significance. If the required analog of the Discrete Series Conjecture holds, the work would supply a Plancherel formula and scattering operators in the real reductive setting, extending the p-adic wavefront case. The incorporation of Knop's homomorphism provides a concrete tool for controlling invariant differential operators on the variety and is a methodological strength.

major comments (2)
  1. [Abstract] Abstract and Introduction: The Scattering Theorem analog (the paper's main result) is stated to depend on an unproven analog of SV Conjecture 9.4.6. No derivation or verification of this analog is supplied within the manuscript, so the central claim remains conditional rather than unconditional.
  2. [Introduction] The reduction to the conjecture is load-bearing: the other ingredients (Knop homomorphism, special coverings, spectral projections) are supporting tools whose validity is not in question, but they do not close the argument without the conjecture. This mirrors the situation in the p-adic case but does not advance beyond it.
minor comments (1)
  1. [Abstract] Abstract: grammatical error ('Our main result depend on' should be 'depends').

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for recognizing the role of Knop's homomorphism and the other supporting tools. The manuscript already states explicitly that the main result is conditional on an analog of the Discrete Series Conjecture; we address the two major comments below.

read point-by-point responses

  1. Referee: [Abstract] Abstract and Introduction: The Scattering Theorem analog (the paper's main result) is stated to depend on an unproven analog of SV Conjecture 9.4.6. No derivation or verification of this analog is supplied within the manuscript, so the central claim remains conditional rather than unconditional.

    Authors: We agree that the central result is conditional, as already stated verbatim in the abstract and introduction. The manuscript makes no claim to prove or verify the analog of Conjecture 9.4.6; its contribution is to show that the scattering theorem and Plancherel formula follow from that conjecture once the real-specific ingredients (Knop homomorphism, special coverings, spectral projections) are in place. This is the precise real analog of the logical structure in Sakellaridis-Venkatesh. revision: no

  2. Referee: [Introduction] The reduction to the conjecture is load-bearing: the other ingredients (Knop homomorphism, special coverings, spectral projections) are supporting tools whose validity is not in question, but they do not close the argument without the conjecture. This mirrors the situation in the p-adic case but does not advance beyond it.

    Authors: While the logical dependence on the conjecture is the same as in the p-adic setting, the work does advance the theory by establishing the result for real reductive spherical spaces, a setting not covered by Sakellaridis-Venkatesh. The proof adapts real-specific machinery (in particular Knop's Harish-Chandra homomorphism for invariant differential operators) that has no direct p-adic counterpart, thereby supplying the missing real-case framework. Once the conjecture is resolved, the real Plancherel formula follows immediately from the arguments given here. revision: no

Circularity Check

0 steps flagged

No significant circularity; result conditional on external conjecture

full rationale

The paper explicitly conditions its Scattering Theorem analog on an external hypothesis (an analog of the SV Discrete Series Conjecture 9.4.6 from Sakellaridis-Venkatesh, different authors). It notes the p-adic case is likewise conditional but provides no internal reduction of the claimed derivation to self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations. Supporting ingredients (Knop's homomorphism, special coverings, spectral projections) are cited as independent tools. No step in the given abstract or described chain reduces by construction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. The main dependency is the unproven discrete series conjecture analog, treated here as an axiom.

axioms (1)
  • domain assumption Analog of the Discrete Series Conjecture (SV Conjecture 9.4.6) holds for real reductive spherical varieties.
    Explicitly stated in the abstract as the load-bearing assumption for the main result.

pith-pipeline@v0.9.0 · 5626 in / 1219 out tokens · 22919 ms · 2026-05-24T09:18:13.340515+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages

  1. [1]

    van den Ban, Invariant differential operators on a semisimple symmetric space and finite multiplicities in a Plancherel formula

    E.P. van den Ban, Invariant differential operators on a semisimple symmetric space and finite multiplicities in a Plancherel formula . Ark. Mat. 25 (1987), no. 2, 175?187

    work page 1987

  2. [2]

    van den Ban and H

    E.P. van den Ban and H. Schlichtkrull, The Plancherel decomposition for a reductive symmetric space. I-II , Invent. Math. 161 (2005), 453–566 and 567– 628

    work page 2005

  3. [3]

    Bernat, J

    P. Bernat, J. Dixmier, Sur le dual d’un groupe de Lie. C. R. Acad. Sci. Paris 250 (1960), 1778-1779

    work page 1960

  4. [4]

    Bernstein; Algebraic theory of D-modules

    J. Bernstein; Algebraic theory of D-modules. unpublished text

    work page

  5. [5]

    Bernstein, On the support of Plancherel measure , Jour

    J. Bernstein, On the support of Plancherel measure , Jour. of Geom. and Physics 5, No. 4 (1988), 663–710

    work page 1988

  6. [6]

    Bernstein and B

    J. Bernstein and B. Kr¨ otz, Smooth Fr´ echet globalizations of Harish-Chandra modules, Israel J. Math. 199 (2014), 45–111

    work page 2014

  7. [7]

    Beuzart-Plessis, A local trace formula for the Gan-Gross-Prasad conjec- ture for unitary groups: the Archimedean case , Ast´ erisque 418

    R. Beuzart-Plessis, A local trace formula for the Gan-Gross-Prasad conjec- ture for unitary groups: the Archimedean case , Ast´ erisque 418. Paris: Soci´ et´ e Math´ ematique de France

    work page

  8. [8]

    Beuzart-Plessis, P

    R. Beuzart-Plessis, P. Delorme, B. Kr¨ otz, The constant term of tempered functions on a real spherical space , Int. Math.Res. Not., (2021), 1-86, doi:10.1093/imrn/rnaa395

    work page doi:10.1093/imrn/rnaa395 2021

  9. [9]

    Borel, Linear algebraic groups , 2nd ed., Graduate Texts in Mathematics, vol

    A. Borel, Linear algebraic groups , 2nd ed., Graduate Texts in Mathematics, vol. 126, Springer-Verlag, New York, 1991

    work page 1991

  10. [10]

    Carmona, Terme constant des fonctions temp´ er´ ees sur un espace sym´etrique r´ eductif, J

    J. Carmona, Terme constant des fonctions temp´ er´ ees sur un espace sym´etrique r´ eductif, J. Reine Angew. Math. 491, 17-63 (1997); erratum ibid. 507, 233 (1999). 90

    work page 1997

  11. [11]

    Delorme, Homorphismes de Harish-Chandra li´ es aux K-types minimaux de s´ eres principales g´ en´ eralis´ ees des groupes de Lie r´ eductifs connexes , Ann

    P. Delorme, Homorphismes de Harish-Chandra li´ es aux K-types minimaux de s´ eres principales g´ en´ eralis´ ees des groupes de Lie r´ eductifs connexes , Ann. Sc. E.N.S. 17 (1984), 117–156

    work page 1984

  12. [12]

    Delorme, Troncature pour les espace sym´ etriques r´ eductifs, Acta Math

    P. Delorme, Troncature pour les espace sym´ etriques r´ eductifs, Acta Math. 179 (1997), 41-77

    work page 1997

  13. [13]

    Delorme, F

    P. Delorme, F. Knop, B. Kr¨ otz, H. Schlichtkrull, Plancherel theory for real spherical spaces: Construction of the Bernstein morphisms , J. of Amer. Math. Soc. 34 (2021), 815-908

    work page 2021

  14. [14]

    van Dijk and M

    G. van Dijk and M. Poel, The Plancherel formula for the pseudo–Riemannian space GL(n, R)/ GL(n − 1, R), Compos. Math. 58 (1986), 371–397

    work page 1986

  15. [15]

    Dixmier, von Neumann algebras , North-Holland Mathematical Library, 27

    J. Dixmier, von Neumann algebras , North-Holland Mathematical Library, 27. North-Holland Publishing Co., Amsterdam-New York, 1981

    work page 1981

  16. [16]

    Harish-Chandra, Harmonic analysis on real reductive groups. I. The theory of the constant term , J. Functional Analysis (19) (1975), 104–204

    work page 1975

  17. [17]

    Harish-Chandra, Harmonic analysis on real reductive groups. II. Wavepacket s in the Schwartz space , Invent. Math. 36 (1976), 1–55

    work page 1976

  18. [18]

    Harish-Chandra, Harmonic analysis on real reductive groups. III. The Maass- Selberg relations and the Plancherel formula , Ann. of Math. (2) 104 (1976), no. 1, 117–201

    work page 1976

  19. [19]

    Knapp, Representation theory of semisimple groups

    A. Knapp, Representation theory of semisimple groups. An overview ba sed on examples , Princeton Mathematical Series, 36. Princeton University Press, Princeton, NJ, 1986

    work page 1986

  20. [20]

    Knop, Weylgruppe und Momentabbildung , Invent

    F. Knop, Weylgruppe und Momentabbildung , Invent. Math. 99 (1990), 1–23

    work page 1990

  21. [21]

    Knop, A Harish-Chandra Homomorphism for Reductive Group Actions An- nals of Mathematics, (2) 140 (1994), 253–288

    F. Knop, A Harish-Chandra Homomorphism for Reductive Group Actions An- nals of Mathematics, (2) 140 (1994), 253–288

    work page 1994

  22. [22]

    Knop, The asymptotic behavior of invariant collective motion , Invent

    F. Knop, The asymptotic behavior of invariant collective motion , Invent. Math. 116 (1994), 309–328

    work page 1994

  23. [23]

    Knop and B

    F. Knop and B. Kr¨ otz, Reductive group actions , arXiv 1604.01005v2

    work page arXiv

  24. [24]

    F. Knop, B. Kr¨ otz, E. Sayag and H. Schlichtkrull, Volume growth, temperedness and integrability of matrix coefficients on a real spherical s pace, J. Funct. Anal. 271 (2016), 12–36

    work page 2016

  25. [25]

    F. Knop, B. Kr¨ otz, E. Sayag and H. Schlichtkrull, Simple compactifications and polar decomposition of homogeneous real spherical spaces. Selecta Math. (N.S.) 21 (2015), no. 3, 1071–1097. 91

    work page 2015

  26. [26]

    F. Knop, B. Kr¨ otz and H. Schlichtkrull, The local structure theorem for real spherical spaces, Compositio Math. 151 (2015), 2145–2159

    work page 2015

  27. [27]

    F. Knop, B. Kr¨ otz and H. Schlichtkrull, The tempered spectrum of a real spher- ical space, Acta. Math. 218 (2) (2017), 319–383

    work page 2017

  28. [28]

    Kobayashi and T

    T. Kobayashi and T. Oshima, Finite multiplicity theorems for induction and restriction, Advances in Math. 248 (2013), 921–944

    work page 2013

  29. [29]

    Kottwitz, Harmonic analysis on reductive p-adic groups and Lie algebr as, in Harmonic analysis, the trace formula, and Shimura varieties

    R. Kottwitz, Harmonic analysis on reductive p-adic groups and Lie algebr as, in Harmonic analysis, the trace formula, and Shimura varieties. Proc eedings of the Clay Mathematics Institute 2003 summer school, Toronto, Can ada (2003), 393-522

    work page 2003

  30. [30]

    Kr¨ otz, J

    B. Kr¨ otz, J. Kuit, E. Opdam and H. Schlichtkrull, The infinitesimal characters of discrete series for real spherical spaces , Geom. Funct. Anal. 30, (2020), 804- 857

    work page 2020

  31. [31]

    Kr¨ otz and H

    B. Kr¨ otz and H. Schlichtkrull, Multiplicity bounds and the subrepresentation theorem for real spherical spaces , Trans. Amer. Math. Soc. 368 (2016), 2749– 2762

    work page 2016

  32. [32]

    Kr¨ otz and H

    B. Kr¨ otz and H. Schlichtkrull,Harmonic analysis for real spherical spaces , Acta Math. Sinica 34(3) (2018), 341–370

    work page 2018

  33. [33]

    J. Kuit, E. Sayag, On the little Weyl group of a real reductive space , arXiv:2006.035116v1

    work page arXiv 2006

  34. [34]

    J. Kuit, E. Sayag, The most continuous part of the Plancherel decomposition for a real spherical space , arXiv:2202.02119

    work page arXiv

  35. [35]

    Nelson, Analytic vectors, Ann

    E. Nelson, Analytic vectors, Ann. Math. 70 (1959), 572-615

    work page 1959

  36. [36]

    Penney, Abstract Plancherel theorems and a Frobenius reciprocity t heorem, J

    R. Penney, Abstract Plancherel theorems and a Frobenius reciprocity t heorem, J. Funct. Anal. 18 (1975), 177-190

    work page 1975

  37. [37]

    Pettis, On integration in vector spaces

    B.J. Pettis, On integration in vector spaces . Trans. Amer. Math. Soc. 44 (1938) 277-304

    work page 1938

  38. [38]

    Rossman, Analysis on real hyperbolic spaces , J

    W. Rossman, Analysis on real hyperbolic spaces , J. Funct. Anal. 30 (1978), 448–477

    work page 1978

  39. [39]

    Sakellaridis and A

    Y. Sakellaridis and A. Venkatesh, Periods and harmonic analysis on spherical varieties, Ast´ erisque396 (2017)

    work page 2017

  40. [40]

    Wallach, Real Reductive Groups II , Pure and Applied Mathematics, 132-II

    N. Wallach, Real Reductive Groups II , Pure and Applied Mathematics, 132-II. Academic Press, Inc., Boston, MA, 1992. 92 Patrick Delorme patrick.delorme@univ-amu.fr Aix Marseille Univ, CNRS, Centrale Marseille, I2M, Marseille, France 93

    work page 1992