pith. machine review for the scientific record. sign in

arxiv: 2605.10053 · v1 · submitted 2026-05-11 · 🧮 math.RT · math.NT

Recognition: no theorem link

Convergence of orbital integrals on unitary groups in positive characteristic

Minju Park, Wansu Kim

Pith reviewed 2026-05-12 02:26 UTC · model grok-4.3

classification 🧮 math.RT math.NT
keywords orbital integralsunitary groupspositive characteristicnon-archimedean local fieldsabsolute convergencetrace formularepresentation theory
0
0 comments X

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.

The paper proves that orbital integrals attached to test functions on unitary groups converge absolutely when the base is any non-archimedean local field of positive characteristic. This result removes a technical requirement that had previously limited the use of these integrals to characteristic zero or to special cases. A sympathetic reader cares because orbital integrals enter the Arthur-Selberg trace formula and the study of automorphic representations, so their absolute convergence is needed before one can safely integrate over conjugacy classes. The argument is stated to hold uniformly for arbitrary positive characteristic.

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

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

  • 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.

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

0 major / 2 minor

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)
  1. 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.
  2. 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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities; all such elements are unknown.

pith-pipeline@v0.9.0 · 5293 in / 855 out tokens · 52076 ms · 2026-05-12T02:26:31.327493+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

300 extracted references · 300 canonical work pages · 1 internal anchor

  1. [1]

    and Yu, Jiu-Kang , TITLE =

    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. [2]

    Modularity for some geometric

    Kisin, Mark , booktitle =. Modularity for some geometric

  3. [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. [4]

    , date-added =

    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. [5]

    , date-added =

    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. [6]

    Kaletha, Tasho and Prasad, Gopal , date-modified =. Bruhat-

  7. [7]

    Springer, T. A. and Steinberg, R. , booktitle =. Conjugacy classes , volume =

  8. [8]

    , TITLE =

    Humphreys, James E. , TITLE =. 1995 , PAGES =. doi:10.1090/surv/043 , URL =

  9. [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 =

  10. [10]

    Twists of

    Spie. Twists of. Doc. Math. , mrclass =

  11. [11]

    , fjournal =

    Drinfel ' d, Vladimir G. , fjournal =. Elliptic modules. Mat. Sb. (N.S.) , mrclass =

  12. [12]

    , fjournal =

    Drinfel ' d, Vladimir G. , fjournal =. Elliptic modules , volume =. Mat. Sb. (N.S.) , mrclass =

  13. [13]

    and Stuhler, U

    Blum, A. and Stuhler, U. , booktitle =. Drinfeld modules and elliptic sheaves , url =. 1997 , bdsk-url-1 =. doi:10.1007/BFb0094426 , isbn =

  14. [14]

    arXiv , author =:2205.06510 , primaryclass =

    Representations of the. arXiv , author =:2205.06510 , primaryclass =

  15. [15]

    Pappas, Georgios and Rapoport, Michael , doi =. Camb. J. Math. , mrclass =. 2024 , bdsk-url-1 =

  16. [16]

    On integral models of

    Pappas, Georgios , doi =. On integral models of. Math. Ann. , mrclass =. 2023 , bdsk-url-1 =

  17. [17]

    and Rapoport, Michael , doi =

    Haines, Thomas J. and Rapoport, Michael , doi =. Appendix: On parahoric subgroups , url =. Advances in Mathematics , keywords =. 2008 , bdsk-url-1 =

  18. [18]

    On the existence of

    Kottwitz, Robert and Rapoport, Michael , doi =. On the existence of. Comment. Math. Helv. , mrclass =. 2003 , bdsk-url-1 =

  19. [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 =

  20. [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 =

  21. [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 =

  22. [22]

    , booktitle =

    Laumon, G. , booktitle =. Drinfeld shtukas , url =. 1997 , bdsk-url-1 =. doi:10.1007/BFb0094425 , isbn =

  23. [23]

    arXiv , author =:2209.07347 , journal =

    doi:10.48550/arXiv.2209.07347 , eid =. arXiv , author =:2209.07347 , journal =

  24. [24]

    arXiv , author =:2309.17441 , primaryclass =

    Uniformizing the moduli stacks of global. arXiv , author =:2309.17441 , primaryclass =

  25. [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. [26]

    Feng, Tony and Yun, Zhiwei and Zhang, Wei , doi =. Higher. Invent. Math. , mrclass =. 2024 , bdsk-url-1 =

  27. [27]

    , date-added =

    Reiner, I. , date-added =. Maximal orders , volume =

  28. [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. [29]

    Spaces with

    Richarz, Timo , date-added =. Spaces with. J. Algebraic Geom. , mrclass =. 2019 , bdsk-url-1 =. doi:10.1090/jag/710 , fjournal =

  30. [30]

    Richarz, Timo , date-added =. On the. Bull. Soc. Math. France , mrclass =. 2016 , bdsk-url-1 =. doi:10.24033/bsmf.2708 , fjournal =

  31. [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. [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. [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. [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. [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. [36]

    Erratum to ``

    Richarz, Timo , date-added =. Erratum to ``. Int. Math. Res. Not. IMRN , mrclass =. 2021 , bdsk-url-1 =. doi:10.1093/imrn/rnz210 , fjournal =

  37. [37]

    Berkeley lectures on

    Scholze, Peter and Weinstein, Jared , date-added =. Berkeley lectures on

  38. [38]

    Algebraization and

    Bhatt, Bhargav , date-added =. Algebraization and. Camb. J. Math. , mrclass =. 2016 , bdsk-url-1 =. doi:10.4310/CJM.2016.v4.n4.a1 , fjournal =

  39. [39]

    Integral

    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. [40]

    Topological

    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. [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. [42]

    Revisiting the de

    Bhatt, Bhargav and Lurie, Jacob and Mathew, Akhil , date-added =. Revisiting the de. Ast\'. 2021 , bdsk-url-1 =. doi:10.24033/ast , fjournal =

  43. [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. [44]

    Prismatic

    Bhatt, Bhargav and Scholze, Peter , date-added =. Prismatic. Camb. J. Math. , mrclass =

  45. [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. [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. [47]

    Preprint , title =

    Be. Preprint , title =

  48. [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. [49]

    Preprint , title =

    Hamacher, Paul and Kim, Wansu , date-added =. Preprint , title =

  50. [50]

    Uniformization of

    Heinloth, Jochen , date-added =. Uniformization of. Math. Ann. , mrclass =. 2010 , bdsk-url-1 =. doi:10.1007/s00208-009-0443-4 , fjournal =

  51. [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. [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. [53]

    2102.10690 , pages =

    Kret, Arno and Shin, Sug Woo , date-added =. 2102.10690 , pages =

  54. [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. [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. [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. [57]

    On a conjecture of

    Gashi, Q\". On a conjecture of. Ann. Sci. \'. 2010 , bdsk-url-1 =. doi:10.24033/asens.2138 , fjournal =

  58. [58]

    Kreidl, Martin , date-added =. On. Math. Z. , mrclass =. 2014 , bdsk-url-1 =. doi:10.1007/s00209-013-1225-y , fjournal =

  59. [59]

    Ng. Ann. Sci. \'. 2006 , bdsk-url-1 =. doi:10.1016/j.ansens.2005.12.005 , fjournal =

  60. [60]

    Variants of normality for

    Koll\'. Variants of normality for. Pure Appl. Math. Q. , mrclass =. 2016 , bdsk-url-1 =. doi:10.4310/PAMQ.2016.v12.n1.a1 , fjournal =

  61. [61]

    Counting points on

    Shin, Sug Woo , date-added =. Counting points on. 2007 , bdsk-url-1 =

  62. [62]

    Rigid geometry,

    Fujiwara, Kazuhiro , date-added =. Rigid geometry,. Invent. Math. , mrclass =. 1997 , bdsk-url-1 =. doi:10.1007/s002220050129 , fjournal =

  63. [63]

    Counting Points on

    Mack-Crane, Sander , date-added =. Counting Points on. 2203.01448 , journal =

  64. [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. [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. [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. [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. [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. [69]

    , date-added =

    Silberger, Allan J. , date-added =. Introduction to harmonic analysis on reductive. 1979 , bdsk-url-1 =

  70. [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. [71]

    Quadratic and

    Scharlau, Winfried , date-added =. Quadratic and. 1985 , bdsk-url-1 =. doi:10.1007/978-3-642-69971-9 , isbn =

  72. [72]

    Correspondance de

    Badulescu, Alexandru Ioan , date-added =. Correspondance de. Ann. Sci. \'. 2002 , bdsk-url-1 =. doi:10.1016/S0012-9593(02)01106-0 , fjournal =

  73. [73]

    , date-added =

    Pierce, Richard S. , date-added =. Associative algebras , url =. 1982 , bdsk-url-1 =

  74. [74]

    Lemaire, Bertrand , date-added =. Int\'. Compositio Math. , mrclass =. 1996 , bdsk-url-1 =

  75. [75]

    Harmonic analysis on reductive

    Harish-Chandra , date-added =. Harmonic analysis on reductive. 1970 , bdsk-url-1 =

  76. [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. [77]

    On generalised

    Lau, Eike , date-added =. On generalised. 2004 , bdsk-url-1 =

  78. [78]

    Caract\'

    Vign\'. Caract\'. J. Fac. Sci. Univ. Tokyo Sect. IA Math. , mrclass =. 1981 , bdsk-url-1 =

  79. [79]

    Lemaire, Bertrand , date-added =. Int\'. J. Reine Angew. Math. , mrclass =. 2004 , bdsk-url-1 =. doi:10.1515/crll.2004.004 , fjournal =

  80. [80]

    Badulescu, Alexandru Ioan , date-added =. Un th\'. Compositio Math. , mrclass =. 2002 , bdsk-url-1 =. doi:10.1023/A:1015852610317 , fjournal =

Showing first 80 references.