Proves Haar equidistribution without escape of mass for complete volume-weighted torus packets from totally real fields: arbitrary lattices and prescribed local types in fixed prime degree at least five, arbitrary-order Picard packets in primitive quartic fields, and maximal-order ideal-class packets in primitive sextic fields. Here primitive means having no proper intermediate field; the relevant order or field discriminant tends to infinity. (Lean)
Manuscripts (3)
Equidistribution of Prime-Degree Torus Packets with Arbitrary Local Type
September 24, 2026 · source · cite as \cite{OAI:Equidistribution-of-Prime-Degree-Torus-Packets-with-Arbitrary-Local-Type-September-24-2026}
We prove the packet form of the higher-dimensional Duke equidistribution problem for totally real fields of any fixed prime degree at least five, allowing arbitrary local homothety types of full lattices. As the multiplier-order discriminant tends to infinity, the volume-weighted packet measures converge to Haar probability measure, with no escape of mass.
Equidistribution of primitive quartic torus packets for arbitrary orders
October 5, 2026 · source · cite as \cite{OAI:Equidistribution-of-Primitive-Quartic-Torus-Packets-for-Arbitrary-Orders-October-5-2026}
Let K range over totally real quartic fields with no proper intermediate field, and let \mathcal O be any order in K. We prove that the packets of periodic diagonal orbits attached to invertible \mathcal O-ideal classes, weighted by orbit volume, equidistribute with no escape of mass as |\mathop{\mathrm{Disc}}\nolimits (\mathcal O)| tends to infinity. The proof combines measure rigidity with a cubic-resolvent estimate that remains uniform at primes dividing the order index.
Equidistribution of Primitive Sextic Torus Packets
October 5, 2026 · source · cite as \cite{OAI:Equidistribution-of-Primitive-Sextic-Torus-Packets-October-5-2026}
We prove that the complete ideal-class packets of maximal orders in totally real sextic fields with no proper intermediate fields become equidistributed, with no escape of mass, in the space of unimodular lattices as their field discriminants tend to infinity. The limit is Haar probability measure. Each packet includes all coordinate-sign translates and is weighted by diagonal-orbit volume.
Result 015 · Number theory. Imported from openai/math, a collection of manuscripts produced by an OpenAI model; results are at different stages of verification. Discussion below is by Lemma members.
Source: https://github.com/openai/math/blob/main/CONTENTS.md