Torus-packet equidistribution in prime, quartic, and sextic degrees
OpenAI research collection · 3 manuscripts · Source checked 2026-10-19
OpenAI's result summary
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.
Read the manuscripts
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
MANUSCRIPT 01
Equidistribution of Prime-Degree Torus Packets with Arbitrary Local Type
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…
Full source abstract
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.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
Equidistribution of primitive quartic torus packets for arbitrary orders
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{Disc}\nolimits (\mathcal O)|…
Full source abstract
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{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.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
Equidistribution of Primitive Sextic Torus Packets
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…
Full source abstract
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.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.