pith. sign in

arxiv: 2604.08753 · v1 · submitted 2026-04-09 · 🧮 math.DS · math.NT

Effective equidistribution of unipotent orbits in homogeneous spaces of SL(2,R)ltimes(R²)^(k)

Andreas Str\"ombergsson , Anders S\"odergren , Pankaj Vishe This is my paper

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

classification 🧮 math.DS math.NT
keywords equidistributionunipotent orbitshomogeneous spacescircle methodSL(2,R)effective ratescongruence subgroupsdynamical systems
0
0 comments X

The pith

Unipotent orbits equidistribute with polynomial rates in the homogeneous spaces of SL(2,R) semidirect product with (R squared)^k.

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

The paper establishes polynomially effective equidistribution for the one-parameter unipotent subgroup u_R inside G equals SL(2,R) ltimes (R squared)^k. This covers both expanding translates of u_R-orbits and long individual segments of such orbits when projected to the quotient by a congruence subgroup Gamma. The equidistribution is asymptotic to the natural invariant measure on Gamma backslash G, with error decaying as a negative power of the expansion factor or orbit length. The delta symbol version of the circle method supplies the error control that makes the rates polynomial and effective. Such quantitative equidistribution supplies explicit bounds useful for applications that track how these orbits fill out the space.

Core claim

Let G equal SL(2,R) ltimes (R squared)^k and let Gamma be a congruence subgroup of SL(2,Z) ltimes (Z squared)^k. Let u_R be the one-parameter subgroup given by u_x equals the pair consisting of the matrix with 1 and x in the top row and 0 and 1 in the bottom row together with the zero vector in (R squared)^k. Then expanding translates of u_R-orbits and sufficiently long pieces of individual u_R-orbits are asymptotically equidistributed in Gamma backslash G, with polynomial rates of convergence in the relevant parameter.

What carries the argument

The delta symbol version of the circle method, which produces the polynomial decay in the discrepancy between the orbit measure and the invariant probability measure.

Load-bearing premise

The delta symbol version of the circle method can be applied to produce polynomial error terms without additional arithmetic assumptions on the congruence subgroup beyond those stated.

What would settle it

An explicit construction or numerical check of an orbit segment whose discrepancy from the invariant measure fails to decay as any negative power of the segment length.

read the original abstract

Let $G=\SL(2,\R)\ltimes(\R^2)^{k}$, let $\Gamma$ be a congruence subgroup of $\SL(2,\Z)\ltimes(\Z^2)^{k}$, and let $u_{\R}=(u_x)_{x\in\R}$ be the one-parameter subgroup of $G$ given by $u_x=\left(\matr 1x01,0\right)$. We prove polynomially effective asymptotic equidistribution results for expanding translates of $u_{\R}$-orbits and for long pieces of individual $u_{\R}$-orbits in $\Gamma\backslash G$. An important ingredient of the proof is the delta symbol version of the circle method.

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

1 major / 2 minor

Summary. The paper claims to prove polynomially effective asymptotic equidistribution results for expanding translates of u_R-orbits and for long pieces of individual u_R-orbits in Γ∖G, where G = SL(2,R) ⋉ (R²)^k and Γ is a congruence subgroup of SL(2,Z) ⋉ (Z²)^k. The delta-symbol version of the circle method is used as a key ingredient to obtain the polynomial rates.

Significance. If the claimed polynomial effectiveness holds, the result would be a notable contribution to effective equidistribution in non-semisimple homogeneous spaces, extending techniques from SL(2) settings and potentially enabling applications to counting and Diophantine problems. The explicit use of the circle method for error control is a positive feature.

major comments (1)
  1. [Application of the circle method (likely in the proof of the main equidistribution theorems)] The central claim of polynomial effectiveness depends on the delta-symbol circle method producing uniform polynomial bounds in the expanding parameter, test-function Sobolev norms, and the level of Γ. The manuscript must explicitly verify that no superpolynomial factors arise from the conductor, the height, or the representation theory of the unipotent radical in the semidirect product; otherwise the rates collapse to subpolynomial.
minor comments (2)
  1. Clarify the precise definition of the expanding translates and the length parameter for the orbit segments in the statements of the main theorems.
  2. Ensure that all Sobolev norms and their dependence on the test functions are defined consistently before their use in the error estimates.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and insightful comments on our manuscript. We address the major comment point by point below and have revised the paper to improve clarity on the polynomial bounds.

read point-by-point responses

  1. Referee: The central claim of polynomial effectiveness depends on the delta-symbol circle method producing uniform polynomial bounds in the expanding parameter, test-function Sobolev norms, and the level of Γ. The manuscript must explicitly verify that no superpolynomial factors arise from the conductor, the height, or the representation theory of the unipotent radical in the semidirect product; otherwise the rates collapse to subpolynomial.

    Authors: We agree that making the polynomial nature of the bounds fully explicit strengthens the presentation. In the proofs of the main theorems (Theorems 1.1 and 1.2), the delta-symbol method is implemented in Section 4. The conductor of the relevant automorphic forms is bounded linearly by the level q of Γ, and all estimates in the circle method (see Lemmas 4.2–4.4) are polynomial in q. The height parameter arising from the expanding translates is controlled directly by the expanding parameter T, yielding only polynomial growth. For the unipotent radical in the semidirect product, the relevant matrix coefficients decay polynomially by an adaptation of the Howe–Moore theorem to this setting (Proposition 3.5), with the decay rate depending polynomially on the Sobolev norms of the test functions and on T. No superpolynomial factors appear in any of these estimates. To address the referee’s request for explicit verification, we have inserted a new subsection 4.5 (“Verification of Polynomial Bounds”) that collects the dependencies and confirms the absence of superpolynomial terms. This constitutes a major revision. revision: yes

Circularity Check

0 steps flagged

No circularity: proof of effective equidistribution stands on external circle-method estimates without self-referential reduction

full rationale

The paper states a theorem on polynomially effective equidistribution for unipotent orbits in the indicated homogeneous space and identifies the delta-symbol circle method as an ingredient. No equations or steps in the provided abstract or description reduce a claimed prediction or uniqueness result to a fitted parameter or prior self-citation by construction. The derivation chain therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard facts from homogeneous dynamics and the circle method; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard properties of congruence subgroups and unipotent flows in homogeneous spaces hold.
    Invoked implicitly to set up the quotient Γ backslash G.
  • domain assumption The delta-symbol version of the circle method yields polynomial error terms for the relevant exponential sums.
    Cited as the key ingredient without further justification in the abstract.

pith-pipeline@v0.9.0 · 5436 in / 1259 out tokens · 40950 ms · 2026-05-10T17:05:39.085459+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

38 extracted references · 38 canonical work pages

  1. [1]

    Browning and I

    T. Browning and I. Vinogradov, Effective Ratner theorem for SL(2,R)⋉ R 2 and gaps in √nmodulo 1, J. Lond. Math. Soc.94(2016), 61–84

    work page 2016

  2. [2]

    C. P. Dettmann, J. Marklof and A. Str¨ ombergsson, Universal hitting time statistics for integrable flows, J. Stat. Phys.166(2017), 714–749

    work page 2017

  3. [3]

    W. Duke, J. Friedlander and H. Iwaniec, Bounds for automorphicL-functions, Invent. Math.112(1993), 1–8

    work page 1993

  4. [4]

    N. D. Elkies and C. T. McMullen, Gaps in √nmod 1 and ergodic theory, Duke Math. J.123(2004), 95–139

    work page 2004

  5. [5]

    Eskin, S

    A. Eskin, S. Mozes and N. Shah, Unipotent flows and counting lattice points on homogeneous varieties, Ann. of Math.143(1996), 253–299

    work page 1996

  6. [6]

    Eskin, G

    A. Eskin, G. Margulis and S. Mozes, Upper bounds and asymptotics in a quantitative version of the Oppenheim conjecture, Ann. of Math.147(1998), 93–141

    work page 1998

  7. [7]

    Eskin, G

    A. Eskin, G. Margulis and S. Mozes, Quadratic forms of signature (2,2) and eigenvalue spacings on rectangular 2-tori, Ann. of Math.161(2005), 679–725

    work page 2005

  8. [8]

    Eskin and H

    A. Eskin and H. Oh, Representations of integers by an invariant polynomial and unipotent flows, Duke Math. J.135(2006), 481–506

    work page 2006

  9. [9]

    D. R. Heath-Brown, A new form of the circle method, and its application to quadratic forms, J. Reine Angew. Math.481(1996), 149–206

    work page 1996

  10. [10]

    Iwaniec and E

    H. Iwaniec and E. Kowalski,Analytic Number Theory, American Mathematical Society, Providence, RI, 2004

    work page 2004

  11. [11]

    H. H. Kim, Functoriality for the exterior square of GL 4 and the symmetric fourth of GL 2, J. Amer. Math. Soc.16(2003), 139–183. With appendix 1 by D. Ramakrishnan and appendix 2 by Kim and P. Sarnak

    work page 2003

  12. [12]

    Kim, Effective equidistribution of expanding translates in the space of affine lattices, Duke Math

    W. Kim, Effective equidistribution of expanding translates in the space of affine lattices, Duke Math. J. 173(2024), 3317–3375

    work page 2024

  13. [13]

    W. Kim, J. Marklof and M. Welsh, Values of ternary quadratic forms at integers and the Berry-Tabor conjecture for 3-tori, 2026; arXiv:2601.03209

    work page arXiv 2026

  14. [14]

    D. Y. Kleinbock and G. A. Margulis, Bounded orbits of nonquasiunipotent flows on homogeneous spaces, Amer. Math. Soc. Transl.171(1996), 141–172

    work page 1996

  15. [15]

    Lin, Quadratic forms of signature (2,2) or (3,1) I: Effective equidistribution in quotients of SL 4(R), 2025; arXiv:2508.06705

    Z. Lin, Quadratic forms of signature (2,2) or (3,1) I: Effective equidistribution in quotients of SL 4(R), 2025; arXiv:2508.06705

    work page arXiv 2025

  16. [16]

    Lin, Polynomially effective equidistribution for certain unipotent subgroups in quotients of perfect Lie groups, 2025; arXiv:2511.15696

    Z. Lin, Polynomially effective equidistribution for certain unipotent subgroups in quotients of perfect Lie groups, 2025; arXiv:2511.15696

    work page arXiv 2025

  17. [17]

    Lindenstrauss and A

    E. Lindenstrauss and A. Mohammadi, Polynomial effective density in quotients ofH 3 andH 2 ×H 2, Invent. Math.231(2023), 1141–1237

    work page 2023

  18. [18]

    Lindenstrauss, A

    E. Lindenstrauss, A. Mohammadi and Z. Wang, Effective equidistribution for some one parameter unipo- tent flows, Ann. of Math. (to appear); arXiv:2211.11099. 40 ANDREAS STR ¨OMBERGSSON, ANDERS S ¨ODERGREN, AND PANKAJ VISHE

    work page arXiv

  19. [19]

    Lindenstrauss, A

    E. Lindenstrauss, A. Mohammadi, Z. Wang and L. Yang, Effective equidistribution in rank 2 homogeneous spaces and values of quadratic forms, 2025; arXiv:2503.21064

    work page arXiv 2025

  20. [20]

    Lindenstrauss, A

    E. Lindenstrauss, A. Mohammadi and L. Yang, Polynomially effective equidistribution for unipotent orbits in products of SL 2 factors, 2026; arXiv:2601.09983

    work page arXiv 2026

  21. [21]

    Marklof, Pair correlation densities of inhomogeneous quadratic forms, Ann

    J. Marklof, Pair correlation densities of inhomogeneous quadratic forms, Ann. of Math.158(2003), 419– 471

    work page 2003

  22. [22]

    Marklof, Pair correlation densities of inhomogeneous quadratic forms

    J. Marklof, Pair correlation densities of inhomogeneous quadratic forms. II, Duke Math. J.115(2002), 409–434

    work page 2002

  23. [23]

    Marklof and A

    J. Marklof and A. Str¨ ombergsson, The distribution of free path lengths in the periodic Lorentz gas and related lattice point problems, Ann. of Math.172(2010), 1949–2033

    work page 2010

  24. [24]

    Marklof and A

    J. Marklof and A. Str¨ ombergsson, Free path lengths in quasicrystals, Comm. Math. Phys.330(2014), 723–755

    work page 2014

  25. [25]

    Marklof and A

    J. Marklof and A. Str¨ ombergsson, Kinetic theory for the low-density Lorentz gas, Mem. Amer. Math. Soc. 294(2024)

    work page 2024

  26. [26]

    Marmon and P

    O. Marmon and P. Vishe, On the Hasse principle for quartic hypersurfaces, Duke Math. J.168(2019), 2727–2799

    work page 2019

  27. [27]

    D. W. Morris,Ratner’s theorems on unipotent flows, University of Chicago Press, Chicago, IL, 2005

    work page 2005

  28. [28]

    Palmer and A

    M. Palmer and A. Str¨ ombergsson, The Boltzmann-Grad limit of the Lorentz gas in a union of lattices, Comm. Math. Phys.405(2024), 103 pp

    work page 2024

  29. [29]

    Ratner, On Raghunathan’s measure conjecture, Ann

    M. Ratner, On Raghunathan’s measure conjecture, Ann. of Math.134(1991), 545–607

    work page 1991

  30. [30]

    Ratner, Raghunathan’s topological conjecture and distributions of unipotent flows, Duke Math

    M. Ratner, Raghunathan’s topological conjecture and distributions of unipotent flows, Duke Math. J.63 (1991), 235–280

    work page 1991

  31. [31]

    W. M. Schmidt, Simultaneous approximation to algebraic numbers by rationals, Acta Math.125(1970), 189–201

    work page 1970

  32. [32]

    N. A. Shah, Limit distributions of expanding translates of certain orbits on homogeneous spaces, Proc. Indian Acad. Sci. (Math. Sci.)106(1996), 105–125

    work page 1996

  33. [33]

    N. A. Shah, Expanding translates of curves and Dirichlet-Minkowski theorem on linear forms, J. Amer. Math. Soc.23(2010), 563–589

    work page 2010

  34. [34]

    Str¨ ombergsson, On the deviation of ergodic averages for horocycle flows, J

    A. Str¨ ombergsson, On the deviation of ergodic averages for horocycle flows, J. Mod. Dyn.7(2013), 291– 328

    work page 2013

  35. [35]

    Str¨ ombergsson, An effective Ratner equidistribution result for SL(2,R)⋉R2, Duke Math

    A. Str¨ ombergsson, An effective Ratner equidistribution result for SL(2,R)⋉R2, Duke Math. J.164(2015), 843–902

    work page 2015

  36. [36]

    Str¨ ombergsson and P

    A. Str¨ ombergsson and P. Vishe, An effective equidistribution result for SL(2,R)⋉(R 2)⊕k and application to inhomogeneous quadratic forms, J. Lond. Math. Soc.102(2020), 143–204

    work page 2020

  37. [37]

    Sullivan, Disjoint spheres, approximation by imaginary quadratic numbers and the logarithm law for geodesics, Acta Math.149(1982) 215–237

    D. Sullivan, Disjoint spheres, approximation by imaginary quadratic numbers and the logarithm law for geodesics, Acta Math.149(1982) 215–237

    work page 1982

  38. [38]

    Yang, Effective version of Ratner’s equidistribution theorem for SL(3,R), Ann

    L. Yang, Effective version of Ratner’s equidistribution theorem for SL(3,R), Ann. of Math.202(2025), 189–264. Department of Mathematics, Box 480, Uppsala University, SE-75106 Uppsala, Sweden Email address:astrombe@math.uu.se Department of Mathematical Sciences, Chalmers University of Technology and the University of Gothenburg, SE-412 96 Gothenburg, Swede...

    work page 2025