1 · The essentials
This family of results describes how collections of configurations arising from algebraic numbers eventually spread uniformly through their surrounding space. Each collection is taken in full, with its elements weighted by their volume rather than simply counted equally. As a quantity called the discriminant tends to infinity, this distribution approaches a natural uniform distribution. No share of the total weight is lost to distant parts of the space along the way. The results concern three precise settings: fixed prime degrees at least five, degree four, and degree six, with different restrictions in each case. The main result has a Lean formalization, although the source does not specify which additional claims it covers.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine complete batches of fabric pieces spread across a large table, measuring the area they cover rather than counting the pieces. The conclusion resembles coverage becoming uniform without any fabric disappearing beyond every region being observed; the image does not represent the actual arithmetic objects or their space.
Why it matters
The main manuscript addresses the packet version of the higher-dimensional Duke equidistribution problem in fixed prime degrees at least five. The three texts carefully distinguish the allowed objects: lattices with arbitrary local types, arbitrary orders, or maximal orders only. No escape of mass ensures that the uniform limit retains the packets’ entire weight.
2 · Going further
The problem is to study complete packets of orbits associated with totally real number fields, weighting each orbit by its volume. In the main manuscript, the degree is a fixed prime , and full lattices may have arbitrary local homothety types. As the multiplier-order discriminant tends to infinity, the packet measures converge to Haar probability measure, with no escape of mass. The manuscript describes this as the packet form of the higher-dimensional Duke equidistribution problem.
The quartic companion concerns totally real degree-four fields with no proper intermediate field, called primitive fields. For any order , it considers periodic diagonal orbits attached to invertible -ideal classes, weighted by orbit volume, as . The argument outlined in its abstract combines measure rigidity with a cubic-resolvent estimate that is uniform even at primes dividing the order index.
The sextic companion treats primitive totally real degree-six fields, but only maximal orders. Its complete ideal-class packets include all coordinate-sign translates and are weighted by diagonal-orbit volume. As the field discriminant tends to infinity, the manuscript shows convergence to Haar probability measure in the space of unimodular lattices, with no escape of mass. The abstracts do not describe the argument for the prime-degree or sextic cases, so the quartic method should not automatically be attributed to them.
Useful notions
- Number fields and degree
- Orders, ideals, and ideal classes
- Lattices and diagonal orbits
- Probability measures and convergence
- Discriminants
What was known before / what is new
Before
The source places the main result within the higher-dimensional Duke equidistribution problem, in its packet form. It supplies neither a detailed history nor a list of earlier results from which to give a more specific account of prior knowledge.
New
The main result covers every fixed prime degree at least five, allowing arbitrary local homothety types of full lattices. The quartic manuscript shows equidistribution in its setting for invertible ideal classes of arbitrary orders, using an estimate uniform at primes dividing the order index. The sextic manuscript shows the conclusion for complete ideal-class packets of maximal orders, including all coordinate-sign translates.
Limits and assumptions
All fields under consideration are totally real. The prime-degree case requires a fixed degree at least five; the quartic and sextic cases require no proper intermediate field, and the sextic case is restricted to maximal orders. The conclusions concern complete volume-weighted packets as the relevant order or field discriminant tends to infinity, not a single orbit selected in isolation. The main result has a Lean formalization; the source does not detail its scope or report formalizations of the two companion results. It does not specify which extensions beyond these hypotheses remain open.
Mini glossary
- Torus packet —
- A collection of orbits associated with the arithmetic data under consideration, studied here in full and weighted by orbit volume.
- Equidistribution —
- Convergence of the distributions under study to the space’s natural uniform distribution.
- Haar probability measure —
- The natural uniform measure, with total mass one, that serves as the limit in these results.
- No escape of mass —
- The property that no share of the measures’ total weight is lost to distant parts of the space.
- Primitive field —
- In this source, a number field with no proper intermediate field.
Keywords : Equidistribution · Torus packets · Totally real fields
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
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.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
Equidistribution of Prime-Degree Torus Packets with Arbitrary Local Type
24/09/2026We 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
05/10/2026Let K range over totally real quartic fields with no proper intermediate field, and let be any order in K. We prove that the packets of periodic diagonal orbits attached to invertible -ideal classes, weighted by orbit volume, equidistribute with no escape of mass as 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
05/10/2026We 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.