pith. sign in

arxiv: 2512.00182 · v3 · pith:ATSPGZOBnew · submitted 2025-11-28 · 🧮 math.NT · math.RT

The rho-Fourier transform

Jayce R. Getz , Armando Guti\'errez Terradillos , Farid Hosseinijafari , Aaron Slipper , Guodong Xi , HaoYun Yao , Alan Zhao This is my paper

Pith reviewed 2026-05-21 17:41 UTC · model grok-4.3

classification 🧮 math.NT math.RT
keywords ρ-Fourier transformSchwartz spacereductive groupslocal fieldsL-group representationsspectral methodsBraverman-Kazhdan-Ngô conjectures
0
0 comments X

The pith

A spectral construction produces the ρ-Fourier transform on L²(G(F)) together with a ρ-Schwartz space fixed by the transform.

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

The paper constructs a Fourier transform tied to a representation ρ of the L-group of a reductive group G over a local field F. This operator acts on square-integrable functions on G(F) and leaves invariant a space of nice test functions called the ρ-Schwartz space. The construction works uniformly for any local field. For non-Archimedean fields the space is defined completely inside L²(G(F)); for Archimedean fields an approximating space is supplied instead. The methods rely on spectral theory and thereby realize a substantial part of the Braverman–Kazhdan–Ngô conjectures.

Core claim

Let G be a reductive group over a local field F and let ρ be a representation of its L-group satisfying suitable assumptions. The authors construct the ρ-Fourier transform on L²(G(F)) by spectral means. Over non-Archimedean fields they produce a ρ-Schwartz space S_ρ(G(F)) inside L²(G(F)) that is invariant under the transform and meets the required properties; in the Archimedean case they give an approximation to such a space. This establishes a large portion of the conjectures of Braverman, Kazhdan and Ngô.

What carries the argument

The ρ-Fourier transform, obtained via a spectral construction from the representation ρ of the L-group, that preserves the associated ρ-Schwartz space.

If this is right

  • The transform extends to a unitary operator on L²(G(F)).
  • The Schwartz space is invariant under the Fourier transform in the non-Archimedean setting.
  • An approximating space with similar invariance properties exists in the Archimedean setting.
  • A large part of the Braverman–Kazhdan–Ngô conjectures holds for arbitrary local fields.

Where Pith is reading between the lines

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

  • The construction may supply a uniform analytic tool for comparing trace formulas across Archimedean and non-Archimedean places.
  • It could be tested on explicit matrix coefficients for GL(2) to confirm that the transform reproduces the expected local Langlands parameters.
  • If the spectral method generalizes, one might obtain ρ-analogues of the usual Poisson summation formula for adelic groups.

Load-bearing premise

The representation ρ satisfies suitable assumptions that let the spectral construction produce a transform fixing the desired Schwartz space.

What would settle it

Explicit computation of the constructed transform on a concrete test function for a low-rank group such as SL(2) over a p-adic field, checking whether the output lies in the claimed Schwartz space and satisfies the expected inversion formula.

read the original abstract

Let $G$ be a reductive group over a local field $F$ and let $\rho:{}^LG \to \mathrm{GL}_{V_{\rho}}(\mathbb{C})$ be a representation of its $L$-group satisfying suitable assumptions. Braverman, Kazhdan and Ng\^o conjectured that one has a $\rho$-Fourier transform on $L^2(G(F))$ and a $\rho$-Schwartz space $\mathcal{S}_{\rho}(G(F))<L^2(G(F))$ fixed under the Fourier transform that satisfies certain desiderata. We construct the Fourier transform for arbitrary fields. Over non-Archimedean fields we construct the Schwartz space, and in the Archimedean case we construct an approximation to it. This proves a large portion of their conjectures. Our methods are spectral in nature.

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 constructs the ρ-Fourier transform on L²(G(F)) for a reductive group G over a local field F via a spectral method, where ρ is a representation of the L-group satisfying suitable assumptions. For non-Archimedean F the exact ρ-Schwartz space S_ρ(G(F)) is constructed and shown to be fixed by the transform; for Archimedean F only an approximation to this space is obtained. The authors assert that these constructions prove a large portion of the Braverman–Kazhdan–Ngô conjectures.

Significance. If the spectral construction is rigorous and the Archimedean limiting object satisfies the exact fixed-point and density properties required by the BKN conjectures, the work would constitute a substantial advance by furnishing explicit, field-independent constructions of the ρ-Fourier transform and associated Schwartz spaces. The spectral approach and the absence of free parameters in the construction are particular strengths that could facilitate further progress in the Langlands program.

major comments (2)
  1. [Abstract] Abstract: the claim that the Archimedean construction 'proves a large portion of their conjectures' is load-bearing for the central assertion. The BKN conjectures require an exact ρ-Schwartz space that is invariant under the Fourier transform and satisfies the listed desiderata (invariance, density, etc.). The manuscript provides only an approximation in the Archimedean case; without a demonstration that the limiting object coincides with the conjectural S_ρ(G(F)) on a dense subspace and is precisely fixed by the constructed transform, the Archimedean portion does not establish the conjecture even conditionally.
  2. [Archimedean construction] Archimedean construction (presumably the section detailing the limiting procedure): the spectral construction must be checked to confirm that the obtained limiting object satisfies the fixed-point property for the full conjectural space. Explicit error estimates or convergence arguments showing invariance under the ρ-Fourier transform are needed to bridge the approximation to the exact object demanded by the conjecture.
minor comments (1)
  1. [Introduction] The 'suitable assumptions' on the representation ρ are referenced in the first paragraph but not listed explicitly; a dedicated subsection enumerating them would improve readability and allow readers to assess applicability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for greater precision in the claims about the Archimedean case. The comments correctly note that the manuscript distinguishes between the exact construction over non-Archimedean fields and an approximation over Archimedean fields. We address each point below and will revise the manuscript accordingly to strengthen the exposition without altering the core results.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that the Archimedean construction 'proves a large portion of their conjectures' is load-bearing for the central assertion. The BKN conjectures require an exact ρ-Schwartz space that is invariant under the Fourier transform and satisfies the listed desiderata (invariance, density, etc.). The manuscript provides only an approximation in the Archimedean case; without a demonstration that the limiting object coincides with the conjectural S_ρ(G(F)) on a dense subspace and is precisely fixed by the constructed transform, the Archimedean portion does not establish the conjecture even conditionally.

    Authors: We agree that the abstract statement would benefit from greater precision. The ρ-Fourier transform is constructed rigorously and uniformly for all local fields via spectral methods, with no free parameters. Over non-Archimedean F the exact Schwartz space S_ρ(G(F)) is constructed and proven invariant under the transform, satisfying the required properties; this alone resolves a substantial portion of the conjectures for a major class of fields. In the Archimedean case the construction yields an approximating space together with the transform itself. We will revise the abstract to state explicitly that the full set of properties is established in the non-Archimedean setting while the Archimedean setting furnishes the transform and a dense approximating object on which invariance holds in the limit. revision: yes

  2. Referee: [Archimedean construction] Archimedean construction (presumably the section detailing the limiting procedure): the spectral construction must be checked to confirm that the obtained limiting object satisfies the fixed-point property for the full conjectural space. Explicit error estimates or convergence arguments showing invariance under the ρ-Fourier transform are needed to bridge the approximation to the exact object demanded by the conjecture.

    Authors: We will expand the Archimedean section with explicit convergence arguments and error estimates. These will demonstrate that the limiting object is invariant under the ρ-Fourier transform when acting on a dense subspace of the conjectural Schwartz space, with quantitative bounds controlling the approximation error. The added material will make the passage from the constructed limit to the exact fixed-point property fully rigorous. revision: yes

Circularity Check

0 steps flagged

Direct spectral construction of ρ-Fourier transform with no reduction to fitted inputs or self-citations

full rationale

The paper presents an explicit spectral construction of the Fourier transform on L²(G(F)) for arbitrary local fields F, together with an exact Schwartz space S_ρ(G(F)) in the non-Archimedean case and an approximation in the Archimedean case. No step in the provided abstract or described methods reduces a claimed prediction or fixed-point property to a parameter fitted from the target object itself, nor does any load-bearing premise rest on a self-citation whose content is unverified outside the present work. The derivation is therefore self-contained against the stated conjectural desiderata.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the existence of a spectral construction that produces a ρ-Fourier transform fixed on a Schwartz space under the stated assumptions on ρ; no free parameters or new entities with independent evidence are visible from the abstract.

axioms (1)
  • domain assumption The representation ρ satisfies suitable assumptions
    Invoked in the first sentence of the abstract as a prerequisite for the construction to hold.
invented entities (1)
  • ρ-Fourier transform no independent evidence
    purpose: To provide a Fourier transform on L²(G(F)) that preserves the ρ-Schwartz space
    Newly constructed object whose properties are asserted to satisfy the conjecture's desiderata.

pith-pipeline@v0.9.0 · 5699 in / 1428 out tokens · 128183 ms · 2026-05-21T17:41:56.950016+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

45 extracted references · 45 canonical work pages

  1. [1]

    Aizenbud and D

    A. Aizenbud and D. Gourevitch. Schwartz functions on N ash manifolds. Int. Math. Res. Not. IMRN , (5):Art. ID rnm 155, 37, 2008

    work page 2008

  2. [2]

    J. Arthur. Harmonic analysis of the S chwartz space on a reductive L ie group I & II

    work page

  3. [3]

    Adams and D

    J. Adams and D. A. Vogan. Contragredient representations and characterizing the local Langlands correspondence. Am. J. Math. , 138(3):657--682, 2016

    work page 2016

  4. [4]

    Buzzard and T

    K. Buzzard and T. Gee. The conjectural connections between automorphic representations and G alois representations. In Automorphic forms and G alois representations. V ol. 1 , volume 414 of London Math. Soc. Lecture Note Ser. , pages 135--187. Cambridge Univ. Press, Cambridge, 2014

    work page 2014

  5. [5]

    C. J. Bushnell and G. Henniart. The local L anglands conjecture for GL(2) , volume 335 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 2006

    work page 2006

  6. [6]

    Braverman and D

    A. Braverman and D. Kazhdan. -functions of representations and lifting. Geom. Funct. Anal. , (Special Volume, Part I):237--278, 2000. With an appendix by V. Vologodsky, GAFA 2000 (Tel Aviv, 1999)

    work page 2000

  7. [7]

    Braverman and D

    A. Braverman and D. Kazhdan. Remarks on the asymptotic H ecke algebra. In Lie groups, geometry, and representation theory , volume 326 of Progr. Math. , pages 91--108. Birkh\" a user/Springer, Cham, 2018

    work page 2018

  8. [8]

    A. Borel. Automorphic L -functions. In Automorphic forms, representations and L -functions ( P roc. S ympos. P ure M ath., O regon S tate U niv., C orvallis, O re., 1977), P art 2 , Proc. Sympos. Pure Math., XXXIII, pages 27--61. Amer. Math. Soc., Providence, R.I., 1979

    work page 1977

  9. [9]

    Beuzart-Plessis

    R. Beuzart-Plessis. A local trace formula for the G an- G ross- P rasad conjecture for unitary groups: the A rchimedean case. Ast\' e risque , (418):ix+305, 2020

    work page 2020

  10. [10]

    Casselman

    W. Casselman. Introduction to the S chwartz space of G . Canad. J. Math. , 41(2):285--320, 1989

    work page 1989

  11. [11]

    Casselman

    W. Casselman. Computations in real tori. In Representation theory of real reductive L ie groups , volume 472 of Contemp. Math. , pages 137--151. Amer. Math. Soc., Providence, RI, 2008

    work page 2008

  12. [12]

    P. Delorme. Sur le th\'eor\`eme de P aley- W iener d' A rthur. Ann. of Math. (2) , 162(2):987--1029, 2005

    work page 2005

  13. [13]

    P. Delorme. Constant term of smooth H_ -spherical functions on a reductive p -adic group. Trans. Amer. Math. Soc. , 362(2):933--955, 2010

    work page 2010

  14. [14]

    Geometrization of the local

    L. Fargues and P. Scholze . Geometrization of the local Langlands correspondence . arXiv e-prints , page arXiv:2102.13459, February 2021

    work page arXiv 2021

  15. [15]

    J. R. Getz , A. Guti \'e rrez Terradillos , F. Hosseinijafari , B. Hu , S. Lee , A. Slipper , M-H. Tom \'e , H. Yao , and A. Zhao . Modulation groups . arXiv e-prints , page arXiv:2510.23932, October 2025

    work page arXiv 2025

  16. [16]

    J. R. Getz and H. Hahn. An introduction to automorphic representations---with a view toward trace formulae , volume 300 of Graduate Texts in Mathematics . Springer, Cham, [2024] 2024

    work page 2024

  17. [17]

    Godement and H

    R. Godement and H. Jacquet. Zeta functions of simple algebras . Lecture Notes in Mathematics, Vol. 260. Springer-Verlag, Berlin-New York, 1972

    work page 1972

  18. [18]

    J. R. Getz and B. Liu. A refined P oisson summation formula for certain B raverman- K azhdan spaces. Sci. China Math. , 64(6):1127--1156, 2021

    work page 2021

  19. [19]

    B. H. Gross and M. Reeder. Arithmetic invariants of discrete L anglands parameters. Duke Math. J. , 154(3):431--508, 2010

    work page 2010

  20. [20]

    Grothendieck

    A. Grothendieck. Sur certains espaces de fonctions holomorphes. I . J. Reine Angew. Math. , 192:35--64, 1953

    work page 1953

  21. [21]

    Heiermann

    V. Heiermann. Une formule de P lancherel pour l'alg\`ebre de H ecke d'un groupe r\'eductif p -adique. Comment. Math. Helv. , 76(3):388--415, 2001

    work page 2001

  22. [22]

    Henniart

    G. Henniart. Une preuve simple des conjectures de L anglands pour GL (n) sur un corps p -adique. Invent. Math. , 139(2):439--455, 2000

    work page 2000

  23. [23]

    Harris and R

    M. Harris and R. Taylor. The geometry and cohomology of some simple S himura varieties , volume 151 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2001. With an appendix by Vladimir G. Berkovich

    work page 2001

  24. [24]

    H. Jacquet. Principal L -functions of the linear group. In Automorphic forms, representations and L -functions ( P roc. S ympos. P ure M ath., O regon S tate U niv., C orvallis, O re., 1977), P art 2 , volume XXXIII of Proc. Sympos. Pure Math. , pages 63--86. Amer. Math. Soc., Providence, RI, 1979

    work page 1977

  25. [25]

    Jacquet, I

    H. Jacquet, I. I. Piatetskii-Shapiro, and J. A. Shalika. Rankin- S elberg convolutions. Amer. J. Math. , 105(2):367--464, 1983

    work page 1983

  26. [26]

    A. W. Knapp. Representation theory of semisimple groups . Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 2001. An overview based on examples, Reprint of the 1986 original

    work page 2001

  27. [27]

    K. Kruse. Vector-valued holomorphic functions in several variables. Funct. Approx. Comment. Math. , 63(2):247--275, 2020

    work page 2020

  28. [28]

    Lafforgue

    L. Lafforgue. Noyaux du transfert automorphe de L anglands et formules de P oisson non lin\'eaires. Jpn. J. Math. , 9(1):1--68, 2014

    work page 2014

  29. [29]

    R. P. Langlands. On the classification of irreducible representations of real algebraic groups. In Representation theory and harmonic analysis on semisimple L ie groups , volume 31 of Math. Surveys Monogr. , pages 101--170. Amer. Math. Soc., Providence, RI, 1989

    work page 1989

  30. [30]

    Luo and B

    Z. Luo and B. C. Ng \^o . Nonabelian Fourier Kernels on SL_2 and GL_2 . arXiv e-prints , page arXiv:2409.14696, September 2024

    work page arXiv 2024

  31. [31]

    Julio Moreno

    C. Julio Moreno. Advanced analytic number theory: L -functions , volume 115 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2005

    work page 2005

  32. [32]

    B. C. Ng \^o . On a certain sum of automorphic L -functions. In Automorphic forms and related geometry: assessing the legacy of I . I . P iatetski- S hapiro , volume 614 of Contemp. Math. , pages 337--343. Amer. Math. Soc., Providence, RI, 2014

    work page 2014

  33. [33]

    B. C. Ng \^ o . Hankel transform, L anglands functoriality and functional equation of automorphic L -functions. Jpn. J. Math. , 15(1):121--167, 2020

    work page 2020

  34. [34]

    N. S. Poulsen. On C -vectors and intertwining bilinear forms for representations of L ie groups. J. Functional Analysis , 9:87--120, 1972

    work page 1972

  35. [35]

    D. Renard . Repr\'esentations des groupes r\'eductifs \(p\)-adiques , volume 17. Paris: Soci\'et\'e Math\'ematique de France, 2010

    work page 2010

  36. [36]

    Shelstad

    D. Shelstad. Orbital integrals, endoscopic groups and L -indistinguishability for real groups. In Conference on automorphic theory ( D ijon, 1981) , volume 15 of Publ. Math. Univ. Paris VII , pages 135--219. Univ. Paris VII, Paris, 1983

    work page 1981

  37. [37]

    A. J. Silberger. Introduction to harmonic analysis on reductive p -adic groups , volume 23 of Mathematical Notes . Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1979. Based on lectures by Harish-Chandra at the Institute for Advanced Study, 1971--1973

    work page 1979

  38. [38]

    H. H. Schaefer and M. P. Wolff. Topological vector spaces , volume 3 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1999

    work page 1999

  39. [39]

    J. Tate. Number theoretic background. In Automorphic forms, representations and L -functions ( P roc. S ympos. P ure M ath., O regon S tate U niv., C orvallis, O re., 1977), P art 2 , Proc. Sympos. Pure Math., XXXIII, pages 3--26. Amer. Math. Soc., Providence, R.I., 1979

    work page 1977

  40. [40]

    C. Voisin. Hodge theory and complex algebraic geometry. I , volume 76 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, english edition, 2007. Translated from the French by Leila Schneps

    work page 2007

  41. [41]

    N. R. Wallach. Real reductive groups. I , volume 132 of Pure and Applied Mathematics . Academic Press, Inc., Boston, MA, 1988

    work page 1988

  42. [42]

    N. R. Wallach. Real reductive groups. II , volume 132 of Pure and Applied Mathematics . Academic Press, Inc., Boston, MA, 1992

    work page 1992

  43. [43]

    Waldspurger

    J.-L. Waldspurger. La formule de P lancherel pour les groupes p -adiques (d'apr\`es H arish- C handra). J. Inst. Math. Jussieu , 2(2):235--333, 2003

    work page 2003

  44. [44]

    G. Warner. Harmonic analysis on semi-simple L ie groups. I . Springer-Verlag, New York-Heidelberg, 1972. Die Grundlehren der mathematischen Wissenschaften, Band 188

    work page 1972

  45. [45]

    A. V. Zelevinsky. Induced representations of reductive p -adic groups. II . O n irreducible representations of GL (n) . Ann. Sci. \'Ecole Norm. Sup. (4) , 13(2):165--210, 1980

    work page 1980