pith. sign in

arxiv: 2606.03472 · v1 · pith:CEIVV6MKnew · submitted 2026-06-02 · 🧮 math.NT

Planes in quadratic 4-space and associated shapes of lattices

Menny Aka , Konstantin Andritsch , Andreas Wieser This is my paper

Pith reviewed 2026-06-28 08:37 UTC · model grok-4.3

classification 🧮 math.NT
keywords quadratic formsequidistributionhomogeneous dynamicsBianchi orbifoldCM pointsjoiningsLinnik conditionrational planes
0
0 comments X

The pith

Rational planes in (1,3) quadratic 4-space produce coupled periodic geodesics and CM points that equidistribute simultaneously under a splitting condition.

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

The paper starts with the standard quadratic form Q of signature (1,3) on four-dimensional rational space and associates to each non-degenerate rational plane L a collection of geometric objects: a periodic geodesic on the Bianchi orbifold that tracks the plane's position in the Grassmannian, a CM point together with its own geodesic on the modular curve obtained by restricting Q to L and its orthogonal complement, and one more periodic geodesic coming from the local isomorphism between SO(1,3) and SL(2,C). These objects are coupled in a natural way, and the paper proves they become equidistributed at the same time whenever the planes satisfy a Linnik-type splitting condition. The argument rests on the classification of joinings for higher-rank diagonalizable actions. A reader would care because the result ties together arithmetic planes, hyperbolic geometry on orbifolds, and CM theory through a single dynamical mechanism.

Core claim

To each non-degenerate rational plane L in (Q^4, Q) one attaches a periodic geodesic on SL_2(Z[i])\H^3 recording its Grassmannian position, a CM point and geodesic on the modular curve via the restrictions of Q, and a further geodesic via the local isomorphism SO_{1,3}(R) ≅ SL_2(C). The paper exhibits a natural coupling of these objects and proves they equidistribute simultaneously under a Linnik-type splitting condition, using the classification of joinings of higher-rank diagonalizable actions on homogeneous spaces.

What carries the argument

The natural coupling of the Grassmannian geodesic on the Bianchi orbifold, the CM point and geodesic on the modular curve, and the additional geodesic from the SO_{1,3}(R) to SL_2(C) isomorphism.

If this is right

  • The Grassmannian positions of the planes equidistribute in the space of planes when the splitting condition holds.
  • The CM points on the modular curve equidistribute simultaneously with the geodesics on the Bianchi orbifold.
  • The additional geodesic produced by the local isomorphism equidistributes in lockstep with the others.
  • The result supplies a new arithmetic source of examples for simultaneous equidistribution via joining classification.

Where Pith is reading between the lines

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

  • The same coupling technique could be tested on quadratic spaces of other signatures where analogous Grassmannian and modular objects exist.
  • Equidistribution of the attached geodesics might imply density statements for the shapes of the corresponding lattices in the space of lattices.
  • The method may connect to questions about the distribution of CM points with additional geodesic constraints in other Shimura varieties.

Load-bearing premise

The Einsiedler-Lindenstrauss classification of joinings for higher-rank diagonalizable actions applies directly to the coupled system of geodesics and CM points coming from the planes.

What would settle it

A sequence of rational planes satisfying the Linnik splitting condition whose attached geodesics and CM points fail to become equidistributed in their respective spaces.

read the original abstract

Let $Q=-x_1^1-x_2^2-x_3^2+x_4^2$ be the standard signature $(1,3)$ quadratic form. To each non-degenerate rational plane $L$ in the four-dimensional quadratic space $(\mathbb{Q}^4,Q)$ we can naturally attach a periodic geodesic on the Bianchi orbifold $\mathrm{SL}_2(\mathbb{Z}[i])\backslash \mathbb{H}^3$ which records the position of $L$ in the Grassmannian up to integer rotations. Moreover, each such plane $L$ defines a CM point and a periodic geodesic on the modular curve through restriction of $Q$ to $L$ and its orthogonal complement. Lastly, the local isomorphism between $\mathrm{SO}_{1,3}(\mathbb{R})$ and $\mathrm{SL}_2(\mathbb{C})$ gives rise to a further periodic geodesic on the Bianchi orbifold. In this article, we exhibit a natural coupling of all the above objects and prove simultaneous equidistribution under a Linnik-type splitting condition. The main ingredient is the classification of joinings of higher-rank diagonalizable actions on homogeneous spaces due to Einsiedler and Lindenstrauss.

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 / 1 minor

Summary. The paper associates to each non-degenerate rational plane L in (Q^4, Q) with Q of signature (1,3) a periodic geodesic on the Bianchi orbifold SL_2(Z[i])\H^3 recording the position of L in the Grassmannian, a CM point and periodic geodesic on the modular curve obtained by restricting Q to L and its orthogonal complement, and a further periodic geodesic on the Bianchi orbifold arising from the local isomorphism SO_{1,3}(R) ≅ SL_2(C). It claims to exhibit a natural coupling of these objects and to prove their simultaneous equidistribution under a Linnik-type splitting condition, with the classification of joinings of higher-rank diagonalizable actions due to Einsiedler and Lindenstrauss as the main ingredient.

Significance. If the coupling construction is valid and the joining theorem applies, the result would establish a new simultaneous equidistribution statement linking Bianchi geodesics, CM points on modular curves, and lattice shapes in a coupled arithmetic dynamical system. The explicit use of the Einsiedler-Lindenstrauss joining classification, when the setup is verified, constitutes a technical strength.

major comments (1)
  1. [Abstract] Abstract: the claim that the Einsiedler-Lindenstrauss joining classification applies directly to the coupled system of Bianchi geodesics, CM points/geodesics, and SL_2(C) geodesics requires explicit verification that the homogeneous space (product of the Bianchi orbifold with the modular curve or its adelic lift) and the acting higher-rank diagonalizable subgroup satisfy the theorem's hypotheses, including the presence of at least two independent diagonalizable elements and the requisite ergodicity/invariance properties under the Linnik splitting condition.
minor comments (1)
  1. The title refers to 'associated shapes of lattices' but the abstract does not explicitly connect the equidistribution statements to lattice-shape statistics; a brief clarifying sentence would help.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for explicit verification of the hypotheses in the application of the Einsiedler-Lindenstrauss joining classification. We address this point below and will incorporate the necessary clarifications in the revised manuscript.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that the Einsiedler-Lindenstrauss joining classification applies directly to the coupled system of Bianchi geodesics, CM points/geodesics, and SL_2(C) geodesics requires explicit verification that the homogeneous space (product of the Bianchi orbifold with the modular curve or its adelic lift) and the acting higher-rank diagonalizable subgroup satisfy the theorem's hypotheses, including the presence of at least two independent diagonalizable elements and the requisite ergodicity/invariance properties under the Linnik splitting condition.

    Authors: We agree that an explicit verification of the hypotheses is required for a complete application of the theorem. In the manuscript, the coupled system is constructed as the product of the Bianchi orbifold SL_2(Z[i])\H^3 with the modular curve (arising from the restrictions of Q to L and L^perp), equipped with the natural action of a higher-rank diagonalizable subgroup coming from the units in the associated orders and the local isomorphism SO_{1,3}(R) ≅ SL_2(C). The Linnik splitting condition is used to ensure the invariance and ergodicity properties of the relevant measures. However, while these elements are outlined in the construction and the proof sketch, we acknowledge that a dedicated verification subsection spelling out the two independent diagonalizable elements and the ergodicity under the splitting condition is not present in sufficient detail. We will add this verification in the revised version to make the application of the Einsiedler-Lindenstrauss theorem fully explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; equidistribution derived from external joining classification

full rationale

The paper derives simultaneous equidistribution of the coupled geodesic-CM objects from planes in the (1,3) space by invoking the Einsiedler-Lindenstrauss classification of joinings of higher-rank diagonalizable actions, an external theorem whose authors are distinct from the present paper. No self-definitional reductions, fitted inputs renamed as predictions, load-bearing self-citations, or ansatz smuggling appear in the abstract or described derivation chain. The central claim therefore rests on an independent external result rather than reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; no free parameters or invented entities are mentioned. The sole explicit axiom is the external joining classification theorem.

axioms (1)
  • standard math Classification of joinings of higher-rank diagonalizable actions on homogeneous spaces (Einsiedler-Lindenstrauss)
    Invoked as the main ingredient for proving the simultaneous equidistribution.

pith-pipeline@v0.9.1-grok · 5744 in / 1276 out tokens · 15800 ms · 2026-06-28T08:37:03.973210+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

32 extracted references · 2 canonical work pages

  1. [1]

    Systems36(2016), no

    Menny Aka and Manfred Einsiedler,Duke’s theorem for subcollections, Ergodic Theory Dynam. Systems36(2016), no. 2, 335–342. MR 3503026

    2016

  2. [2]

    Menny Aka, Manfred Einsiedler, and Uri Shapira,Integer points on spheres and their orthogonal grids, J. Lond. Math. Soc. (2)93(2016), no. 1, 143–158. MR 3455786

    2016

  3. [3]

    ,Integer points on spheres and their orthogonal lattices, Invent. Math. 206(2016), no. 2, 379–396. MR 3570295

    2016

  4. [4]

    J.171(2022), no

    Menny Aka, Manfred Einsiedler, and Andreas Wieser,Planes in four-space and four associated CM points, Duke Math. J.171(2022), no. 7, 1469–1529. MR 4484212

    2022

  5. [5]

    Menny Aka, Peter Feller, Alison Beth Miller, and Andreas Wieser,Seifert sur- faces in the four-ball and composition of binary quadratic forms, 2024

    2024

  6. [6]

    786, 1–43

    Menny Aka, Manuel Luethi, Philippe Michel, and Andreas Wieser,Simulta- neous supersingular reductions of cm elliptic curves, Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal)2022(2022), no. 786, 1–43

    2022

  7. [7]

    Systems44(2024), no

    Menny Aka, Andrea Musso, and Andreas Wieser,Equidistribution of rational subspaces and their shapes, Ergodic Theory Dynam. Systems44(2024), no. 8, 2009–2062. MR 4798789

    2024

  8. [8]

    Valentin Blomer and Farrell Brumley,Simultaneous equidistribution of toric periods and fractional moments ofL-functions, J. Eur. Math. Soc. (JEMS)26 (2024), no. 8, 2745–2796. MR 4756945

    2024

  9. [9]

    Valentin Blomer, Farrell Brumley, and Ilya Khayutin,The mixing conjecture under GRH, arXiv preprint 2212.06280 (2022), 1–59

    work page arXiv 2022

  10. [10]

    Valentin Blomer, Farrell Brumley, and Maksym Radiwi l l,Joint Linnik prob- lems, arXiv preprint 2603.05609 (2026)

    work page arXiv 2026

  11. [11]

    3, 485–535

    Armand Borel and Harish-Chandra,Arithmetic subgroups of algebraic groups, Annals of Mathematics75(1962), no. 3, 485–535

    1962

  12. [12]

    J. W. S. Cassels,Rational quadratic forms, London Mathematical Society Monographs, vol. 13, Academic Press, Inc. [Harcourt Brace Jovanovich, Pub- lishers], London-New York, 1978. MR 522835

    1978

  13. [13]

    Math.141(2005), no

    Laurent Clozel and Emmanuel Ullmo,´ equidistribution de mesures alg´ ebriques, Compos. Math.141(2005), no. 5, 1255–1309. MR 2157138

    2005

  14. [14]

    Duke,Hyperbolic distribution problems and half-integral weight Maass forms, Invent

    W. Duke,Hyperbolic distribution problems and half-integral weight Maass forms, Invent. Math.92(1988), no. 1, 73–90. MR 931205

    1988

  15. [15]

    Manfred Einsiedler and Elon Lindenstrauss,Joinings of higher rank torus ac- tions on homogeneous spaces, Publ. Math. Inst. Hautes ´Etudes Sci.129(2019), 83–127. MR 3949028

    2019

  16. [16]

    Manfred Einsiedler, Elon Lindenstrauss, Philippe Michel, and Akshay Venkatesh,The distribution of closed geodesics on the modular surface, and Duke’s theorem, Enseign. Math. (2)58(2012), no. 3-4, 249–313. MR 3058601

    2012

  17. [17]

    Math.33(1989), no

    Frank Gerth, III,The4-class ranks of quadratic extensions of certain imaginary quadratic fields, Illinois J. Math.33(1989), no. 1, 132–142. MR 974015 37

    1989

  18. [18]

    2, 144–156

    Franz Halter-Koch,Ein Satz ¨ uber die Geschlechter relativ-zyklischer Zahlk¨ orper von Primzahlgrad und seine Anwendung auf biquadratisch-bizyklische K¨ orper, Journal of Number Theory4(1972), no. 2, 144–156

    1972

  19. [19]

    II, Invent

    Gergely Harcos and Philippe Michel,The subconvexity problem for Rankin- SelbergL-functions and equidistribution of Heegner points. II, Invent. Math. 163(2006), no. 3, 581–655. MR 2207235

    2006

  20. [20]

    Jacquet and R

    H. Jacquet and R. P. Langlands,Automorphic forms onGL(2), Lecture Notes in Mathematics, Vol. 114, Springer-Verlag, Berlin-New York, 1970. MR 401654

    1970

  21. [21]

    Ilya Khayutin,Joint equidistribution of CM points, Ann. of Math. (2)189 (2019), no. 1, 145–276. MR 3898709

    2019

  22. [22]

    ,Equidistribution on Kuga-Sato varieties of torsion points on CM ellip- tic curves, J. Eur. Math. Soc. (JEMS)23(2021), no. 9, 2949–3016. MR 4275469

    2021

  23. [23]

    1, Universidade Estadual de Campinas, Instituto de Matem´ atica, Estat´ ıstica e Ciˆ encia da Computa¸ c˜ ao, Campinas, 1988

    Max-Albert Knus,Quadratic forms, Clifford algebras and spinors, Semin´ arios de Matem´ atica [Seminars in Mathematics], vol. 1, Universidade Estadual de Campinas, Instituto de Matem´ atica, Estat´ ıstica e Ciˆ encia da Computa¸ c˜ ao, Campinas, 1988. MR 1099376

    1988

  24. [24]

    294, Springer-Verlag, Berlin, 1991, With a foreword by I

    ,Quadratic and Hermitian forms over rings, Grundlehren der mathe- matischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 294, Springer-Verlag, Berlin, 1991, With a foreword by I. Bertuccioni. MR 1096299

    1991

  25. [25]

    Labesse and R

    J.-P. Labesse and R. P. Langlands,L-indistinguishability forSL(2), Canadian J. Math.31(1979), no. 4, 726–785. MR 540902

    1979

  26. [26]

    Summer School, Bolyai J´ anos Math

    Jean-Pierre Labesse,L-indistinguishable representations and trace formula for SL(2), Lie groups and their representations (Proc. Summer School, Bolyai J´ anos Math. Soc., Budapest, 1971), Halsted Press, New York-Toronto, Ont., 1975, pp. 331–338. MR 430167

    1971

  27. [27]

    Yu. ˜V. Linnik,Ergodic properties of algebraic fields, Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. Band 45, Springer-Verlag New York, Inc., New York, 1968, Translated from the Rus- sian by M. S. Keane. MR 238801

    1968

  28. [28]

    Linnik, International Congress of Math- ematicians

    Philippe Michel and Akshay Venkatesh,Equidistribution,L-functions and er- godic theory: on some problems of Yu. Linnik, International Congress of Math- ematicians. Vol. II, Eur. Math. Soc., Z¨ urich, 2006, pp. 421–457. MR 2275604

    2006

  29. [29]

    ,The subconvexity problem forGL 2, Publ. Math. Inst. Hautes ´Etudes Sci. (2010), no. 111, 171–271. MR 2653249

    2010

  30. [30]

    139, Academic Press, Inc., Boston, MA, 1994, Translated from the 1991 Russian original by Rachel Rowen

    Vladimir Platonov and Andrei Rapinchuk,Algebraic groups and number theory, Pure and Applied Mathematics, vol. 139, Academic Press, Inc., Boston, MA, 1994, Translated from the 1991 Russian original by Rachel Rowen. MR 1278263

    1994

  31. [31]

    Waldspurger,Sur les valeurs de certaines fonctionsLautomorphes en leur centre de sym´ etrie, Compositio Math.54(1985), no

    J.-L. Waldspurger,Sur les valeurs de certaines fonctionsLautomorphes en leur centre de sym´ etrie, Compositio Math.54(1985), no. 2, 173–242. MR 783511

    1985

  32. [32]

    Math.190(2019), no

    Andreas Wieser,Linnik’s problems and maximal entropy methods, Monatsh. Math.190(2019), no. 1, 153–208. MR 3998337 (M.A.)Department of Mathematics, ETH Z ¨urich, Z ¨urich, Switzerland Email address:menny.akka@math.ethz.ch (K.A.)Department of Mathematics, ETH Z ¨urich, Z ¨urich, Switzerland Email address:konstantin.andritsch@math.ethz.ch (A.W.)Institute for...

    2019