Recognition: no theorem link
Convergence of orbital integrals on unitary groups in positive characteristic
Pith reviewed 2026-05-12 02:26 UTC · model grok-4.3
The pith
Orbital integrals on unitary groups over non-archimedean local fields converge absolutely in every positive characteristic.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove the absolute convergence of orbital integrals on a unitary group over a non-archimedean local field in any positive characteristic.
What carries the argument
The orbital integral, which pairs a test function with the conjugacy class of an element inside the unitary group.
If this is right
- The trace formula applies directly to unitary groups over function fields without separate convergence checks.
- Integrals over conjugacy classes in the group are well-defined and finite for any positive characteristic.
- Previous convergence statements limited to characteristic zero now extend uniformly.
- Local computations needed for global trace formulas in positive characteristic become justified.
Where Pith is reading between the lines
- The same convergence should hold for other classical groups once the unitary case is settled.
- Endoscopic transfer or matching of orbital integrals can be considered in positive characteristic without convergence obstacles.
- The result opens the door to comparing local invariants across characteristics in a uniform way.
Load-bearing premise
The unitary group and test functions obey the usual properties of non-archimedean local fields that make the convergence argument work for any positive characteristic.
What would settle it
An explicit example of a test function on a unitary group over a local field of positive characteristic whose orbital integral diverges.
read the original abstract
We prove the absolute convergence of orbital integrals on a unitary group over a non-archimedean local field in any positive characteristic.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves the absolute convergence of orbital integrals O_x(f) for f in C_c^∞(G) on the unitary group G over a non-archimedean local field F of arbitrary positive characteristic. The argument reduces the problem to volume estimates on G-orbits in the Lie algebra via the exponential map, using the non-archimedean topology, compact support of f, the valuation, and properness of the adjoint quotient map.
Significance. If the result holds, it supplies a foundational technical ingredient for harmonic analysis and the trace formula on unitary groups in positive characteristic, where characteristic-zero tools such as the Baker-Campbell-Hausdorff formula are unavailable. The uniformity of the estimates across all positive characteristics is a notable strength that broadens applicability to arithmetic and geometric settings.
minor comments (2)
- The reduction via the exponential map in the Lie algebra (around the discussion of orbital integrals) would benefit from an explicit statement of the radius of convergence or the domain on which the map is a homeomorphism in positive characteristic.
- Notation for the involution defining the unitary group and the precise definition of the adjoint quotient map should be introduced earlier, with a reference to the relevant lemma on properness.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for recognizing its significance as a foundational result for harmonic analysis and the trace formula on unitary groups in positive characteristic. The referee correctly identifies the key elements of the proof, including the reduction to volume estimates on orbits in the Lie algebra via the exponential map and the use of the properness of the adjoint quotient. The recommendation for minor revision is noted, but no specific major comments were provided in the report.
Circularity Check
No significant circularity detected
full rationale
The paper's central claim is a direct proof of absolute convergence of orbital integrals O_x(f) on the unitary group over a non-archimedean local field of arbitrary positive characteristic. The argument reduces to volume estimates on G-orbits in the Lie algebra via the exponential map, using compact support of test functions, the valuation topology, and properness of the adjoint quotient. These steps rely on standard non-archimedean properties independent of the target result and contain no self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Gan, Wee Teck and Hanke, Jonathan P. and Yu, Jiu-Kang , TITLE =. Duke Math. J. , FJOURNAL =. 2001 , NUMBER =. doi:10.1215/S0012-7094-01-10716-3 , URL =
- [2]
-
[3]
Gleason, Ian and Lim, Dong Gyu and Xu, Yujie , TITLE =. Invent. Math. , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s00222-025-01386-1 , URL =
-
[4]
Ranga Rao, R. , date-added =. Orbital Integrals in Reductive Groups , url =. The Annals of Mathematics , month = nov, number =. 1972 , bdsk-url-1 =. doi:10.2307/1970822 , issn =
-
[5]
McNinch, George J. , date-added =. Nilpotent orbits over ground fields of good characteristic , url =. Mathematische Annalen , month = may, number =. 2004 , bdsk-url-1 =. doi:10.1007/s00208-004-0510-9 , issn =
-
[6]
Kaletha, Tasho and Prasad, Gopal , date-modified =. Bruhat-
-
[7]
Springer, T. A. and Steinberg, R. , booktitle =. Conjugacy classes , volume =
-
[8]
Humphreys, James E. , TITLE =. 1995 , PAGES =. doi:10.1090/surv/043 , URL =
-
[9]
On the smoothness of centralizers in reductive groups , url =
Herpel, Sebastian , doi =. On the smoothness of centralizers in reductive groups , url =. Trans. Amer. Math. Soc. , mrclass =. 2013 , bdsk-url-1 =
work page 2013
- [10]
-
[11]
Drinfel ' d, Vladimir G. , fjournal =. Elliptic modules. Mat. Sb. (N.S.) , mrclass =
-
[12]
Drinfel ' d, Vladimir G. , fjournal =. Elliptic modules , volume =. Mat. Sb. (N.S.) , mrclass =
-
[13]
Blum, A. and Stuhler, U. , booktitle =. Drinfeld modules and elliptic sheaves , url =. 1997 , bdsk-url-1 =. doi:10.1007/BFb0094426 , isbn =
-
[14]
arXiv , author =:2205.06510 , primaryclass =
Representations of the. arXiv , author =:2205.06510 , primaryclass =
-
[15]
Pappas, Georgios and Rapoport, Michael , doi =. Camb. J. Math. , mrclass =. 2024 , bdsk-url-1 =
work page 2024
-
[16]
Pappas, Georgios , doi =. On integral models of. Math. Ann. , mrclass =. 2023 , bdsk-url-1 =
work page 2023
-
[17]
Haines, Thomas J. and Rapoport, Michael , doi =. Appendix: On parahoric subgroups , url =. Advances in Mathematics , keywords =. 2008 , bdsk-url-1 =
work page 2008
-
[18]
Kottwitz, Robert and Rapoport, Michael , doi =. On the existence of. Comment. Math. Helv. , mrclass =. 2003 , bdsk-url-1 =
work page 2003
-
[19]
On the coherence conjecture of Pappas and Rapoport , url =
Zhu, Xinwen , issn =. On the coherence conjecture of Pappas and Rapoport , url =. Annals of Mathematics , number =. 2014 , bdsk-url-1 =
work page 2014
-
[20]
Affine Demazure modules and T-fixed point subschemes in the affine Grassmannian , url =
Zhu, Xinwen , doi =. Affine Demazure modules and T-fixed point subschemes in the affine Grassmannian , url =. Advances in Mathematics , number =. 2009 , bdsk-url-1 =
work page 2009
-
[21]
Existence of moduli spaces for algebraic stacks , url =
Alper, Jarod and Halpern-Leistner, Daniel and Heinloth, Jochen , doi =. Existence of moduli spaces for algebraic stacks , url =. Invent. Math. , mrclass =. 2023 , bdsk-url-1 =
work page 2023
-
[22]
Laumon, G. , booktitle =. Drinfeld shtukas , url =. 1997 , bdsk-url-1 =. doi:10.1007/BFb0094425 , isbn =
-
[23]
arXiv , author =:2209.07347 , journal =
doi:10.48550/arXiv.2209.07347 , eid =. arXiv , author =:2209.07347 , journal =
-
[24]
arXiv , author =:2309.17441 , primaryclass =
Uniformizing the moduli stacks of global. arXiv , author =:2309.17441 , primaryclass =
-
[25]
Higher theta series for unitary groups over function fields , volume =
Feng, Tony and Yun, Zhiwei and Zhang, Wei , fjournal =. Higher theta series for unitary groups over function fields , volume =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , mrclass =
-
[26]
Feng, Tony and Yun, Zhiwei and Zhang, Wei , doi =. Higher. Invent. Math. , mrclass =. 2024 , bdsk-url-1 =
work page 2024
- [27]
-
[28]
Local models for the moduli stacks of global
Arasteh Rad, Esmail and Habibi, Somayeh , date-added =. Local models for the moduli stacks of global. Math. Res. Lett. , mrclass =. 2019 , bdsk-url-1 =. doi:10.4310/MRL.2019.v26.n2.a1 , fjournal =
-
[29]
Richarz, Timo , date-added =. Spaces with. J. Algebraic Geom. , mrclass =. 2019 , bdsk-url-1 =. doi:10.1090/jag/710 , fjournal =
-
[30]
Richarz, Timo , date-added =. On the. Bull. Soc. Math. France , mrclass =. 2016 , bdsk-url-1 =. doi:10.24033/bsmf.2708 , fjournal =
-
[31]
and Richarz, Timo , date-added =
Haines, Thomas J. and Richarz, Timo , date-added =. The test function conjecture for local models of. Compos. Math. , mrclass =. 2020 , bdsk-url-1 =. doi:10.1112/s0010437x20007162 , fjournal =
-
[32]
and Richarz, Timo , date-added =
Haines, Thomas J. and Richarz, Timo , date-added =. Smoothness of. Duke Math. J. , mrclass =. 2020 , bdsk-url-1 =. doi:10.1215/00127094-2020-0025 , fjournal =
-
[33]
and Richarz, Timo , date-added =
Haines, Thomas J. and Richarz, Timo , date-added =. Normality and. J. Eur. Math. Soc. (JEMS) , mrclass =. 2023 , bdsk-url-1 =. doi:10.4171/jems/1192 , fjournal =
-
[34]
and Richarz, Timo , date-added =
Haines, Thomas J. and Richarz, Timo , date-added =. The test function conjecture for parahoric local models , url =. J. Amer. Math. Soc. , mrclass =. 2021 , bdsk-url-1 =. doi:10.1090/jams/955 , fjournal =
-
[35]
Construction of central elements in the affine
Gaitsgory, Dennis , date-added =. Construction of central elements in the affine. Invent. Math. , mrclass =. 2001 , bdsk-url-1 =. doi:10.1007/s002220100122 , fjournal =
-
[36]
Richarz, Timo , date-added =. Erratum to ``. Int. Math. Res. Not. IMRN , mrclass =. 2021 , bdsk-url-1 =. doi:10.1093/imrn/rnz210 , fjournal =
-
[37]
Scholze, Peter and Weinstein, Jared , date-added =. Berkeley lectures on
-
[38]
Bhatt, Bhargav , date-added =. Algebraization and. Camb. J. Math. , mrclass =. 2016 , bdsk-url-1 =. doi:10.4310/CJM.2016.v4.n4.a1 , fjournal =
-
[39]
Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , date-added =. Integral. Publ. Math. Inst. Hautes \'. 2018 , bdsk-url-1 =. doi:10.1007/s10240-019-00102-z , fjournal =
-
[40]
Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , date-added =. Topological. Publ. Math. Inst. Hautes \'. 2019 , bdsk-url-1 =. doi:10.1007/s10240-019-00106-9 , fjournal =
-
[41]
Bhatt, Bhargav and Lurie, Jacob , date-added =. A. Camb. J. Math. , mrclass =. 2019 , bdsk-url-1 =. doi:10.4310/CJM.2019.v7.n1.a3 , fjournal =
-
[42]
Bhatt, Bhargav and Lurie, Jacob and Mathew, Akhil , date-added =. Revisiting the de. Ast\'. 2021 , bdsk-url-1 =. doi:10.24033/ast , fjournal =
-
[43]
Prisms and prismatic cohomology , url =
Bhatt, Bhargav and Scholze, Peter , date-added =. Prisms and prismatic cohomology , url =. Ann. of Math. (2) , mrclass =. 2022 , bdsk-url-1 =. doi:10.4007/annals.2022.196.3.5 , fjournal =
- [44]
-
[45]
Vector bundles on the punctured spectrum of a local ring , url =
Horrocks, Geoffrey , date-added =. Vector bundles on the punctured spectrum of a local ring , url =. Proc. London Math. Soc. (3) , mrclass =. 1964 , bdsk-url-1 =. doi:10.1112/plms/s3-14.4.689 , fjournal =
-
[46]
Functoriality and Stratifications of Moduli Spaces of Global
Breutmann, Paul , date-added =. Functoriality and Stratifications of Moduli Spaces of Global. PhD Thesis--Westf\"
- [47]
-
[48]
The generic fibre of moduli spaces of bounded local
Hartl, Urs and Viehmann, Eva , date-added =. The generic fibre of moduli spaces of bounded local. J. Inst. Math. Jussieu , mrclass =. 2023 , bdsk-url-1 =. doi:10.1017/S1474748021000293 , fjournal =
- [49]
-
[50]
Heinloth, Jochen , date-added =. Uniformization of. Math. Ann. , mrclass =. 2010 , bdsk-url-1 =. doi:10.1007/s00208-009-0443-4 , fjournal =
-
[51]
Compactification of level maps of moduli spaces of
Bieker, Patrick , date-added =. Compactification of level maps of moduli spaces of. J. Algebra , mrclass =. 2023 , bdsk-url-1 =. doi:10.1016/j.jalgebra.2023.07.033 , fjournal =
-
[52]
Uniformizing the moduli stacks of global
Arasteh Rad, Esmail and Hartl, Urs , date-added =. Uniformizing the moduli stacks of global. Int. Math. Res. Not. IMRN , mrclass =. 2021 , bdsk-url-1 =. doi:10.1093/imrn/rnz223 , fjournal =
-
[53]
Kret, Arno and Shin, Sug Woo , date-added =. 2102.10690 , pages =
-
[54]
and Korman, Jonathan , date-added =
Adler, Jeffrey D. and Korman, Jonathan , date-added =. The local character expansion near a tame, semisimple element , url =. Amer. J. Math. , mrclass =. 2007 , bdsk-url-1 =. doi:10.1353/ajm.2007.0005 , fjournal =
-
[55]
and DeBacker, Stephen , date-added =
Adler, Jeffrey D. and DeBacker, Stephen , date-added =. Murnaghan-. J. Reine Angew. Math. , mrclass =. 2004 , bdsk-url-1 =. doi:10.1515/crll.2004.080 , fjournal =
-
[56]
Foliations and the cohomology of moduli spaces of bounded global
Neupert, Stephan , date =. Foliations and the cohomology of moduli spaces of bounded global. 1610.05935v1 , eprintclass =
-
[57]
Gashi, Q\". On a conjecture of. Ann. Sci. \'. 2010 , bdsk-url-1 =. doi:10.24033/asens.2138 , fjournal =
-
[58]
Kreidl, Martin , date-added =. On. Math. Z. , mrclass =. 2014 , bdsk-url-1 =. doi:10.1007/s00209-013-1225-y , fjournal =
-
[59]
Ng. Ann. Sci. \'. 2006 , bdsk-url-1 =. doi:10.1016/j.ansens.2005.12.005 , fjournal =
-
[60]
Koll\'. Variants of normality for. Pure Appl. Math. Q. , mrclass =. 2016 , bdsk-url-1 =. doi:10.4310/PAMQ.2016.v12.n1.a1 , fjournal =
-
[61]
Shin, Sug Woo , date-added =. Counting points on. 2007 , bdsk-url-1 =
work page 2007
-
[62]
Fujiwara, Kazuhiro , date-added =. Rigid geometry,. Invent. Math. , mrclass =. 1997 , bdsk-url-1 =. doi:10.1007/s002220050129 , fjournal =
-
[63]
Mack-Crane, Sander , date-added =. Counting Points on. 2203.01448 , journal =
-
[64]
Tamagawa numbers and other invariants of pseudoreductive groups over global function fields , url =
Rosengarten, Zev , date-added =. Tamagawa numbers and other invariants of pseudoreductive groups over global function fields , url =. Algebra Number Theory , mrclass =. 2021 , bdsk-url-1 =. doi:10.2140/ant.2021.15.1865 , fjournal =
-
[65]
Hamacher, Paul and Kim, Wansu , date-added =. On. Selecta Math. (N.S.) , mrclass =. 2021 , bdsk-url-1 =. doi:10.1007/s00029-021-00683-w , fjournal =
-
[66]
Cohomology of compactified moduli varieties of
Drinfel. Cohomology of compactified moduli varieties of. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) , mrclass =. 1987 , bdsk-url-1 =. doi:10.1007/BF01099348 , fjournal =
-
[67]
Finiteness of cohomology groups of stacks of shtukas as modules over
Xue, Cong , date-added =. Finiteness of cohomology groups of stacks of shtukas as modules over. \'. 2020 , bdsk-url-1 =. doi:10.46298/epiga.2020.volume4.5550 , fjournal =
-
[68]
Cuspidal cohomology of stacks of shtukas , url =
Xue, Cong , date-added =. Cuspidal cohomology of stacks of shtukas , url =. Compos. Math. , mrclass =. 2020 , bdsk-url-1 =. doi:10.1112/s0010437x20007058 , fjournal =
-
[69]
Silberger, Allan J. , date-added =. Introduction to harmonic analysis on reductive. 1979 , bdsk-url-1 =
work page 1979
-
[70]
Globalization of supercuspidal representations over function fields and applications , url =
Gan, Wee Teck and Lomel\'. Globalization of supercuspidal representations over function fields and applications , url =. J. Eur. Math. Soc. (JEMS) , mrclass =. 2018 , bdsk-url-1 =. doi:10.4171/JEMS/825 , fjournal =
-
[71]
Scharlau, Winfried , date-added =. Quadratic and. 1985 , bdsk-url-1 =. doi:10.1007/978-3-642-69971-9 , isbn =
-
[72]
Badulescu, Alexandru Ioan , date-added =. Correspondance de. Ann. Sci. \'. 2002 , bdsk-url-1 =. doi:10.1016/S0012-9593(02)01106-0 , fjournal =
-
[73]
Pierce, Richard S. , date-added =. Associative algebras , url =. 1982 , bdsk-url-1 =
work page 1982
-
[74]
Lemaire, Bertrand , date-added =. Int\'. Compositio Math. , mrclass =. 1996 , bdsk-url-1 =
work page 1996
-
[75]
Harmonic analysis on reductive
Harish-Chandra , date-added =. Harmonic analysis on reductive. 1970 , bdsk-url-1 =
work page 1970
-
[76]
Admissible invariant distributions on reductive
Harish-Chandra , date-added =. Admissible invariant distributions on reductive. 1999 , bdsk-url-1 =. doi:10.1090/ulect/016 , isbn =
- [77]
- [78]
-
[79]
Lemaire, Bertrand , date-added =. Int\'. J. Reine Angew. Math. , mrclass =. 2004 , bdsk-url-1 =. doi:10.1515/crll.2004.004 , fjournal =
-
[80]
Badulescu, Alexandru Ioan , date-added =. Un th\'. Compositio Math. , mrclass =. 2002 , bdsk-url-1 =. doi:10.1023/A:1015852610317 , fjournal =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.