A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Torus-packet equidistribution in prime, quartic, and sextic degrees
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:primes, fractions, patience Levels:3
Category:Number theory Lean version:YES! ✔
Rate this game! 4.1 out of 5 (7,421 votes)

>>> How to Play <<<
Torus-packet equidistribution in prime, quartic, and sextic degrees. 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.

>>> Level Select <<<
released 2026-09-24  |  1 theorem · 4 lemmas · 11 proofs · 6,798 words  |  PLAY LEVEL 1 »  (pdf)
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.
released 2026-10-05  |  4 theorems · 26 lemmas · 40 proofs · 30,872 words  |  PLAY LEVEL 2 »  (pdf)
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.
released 2026-10-05  |  4 theorems · 20 lemmas · 29 proofs · 25,493 words  |  PLAY LEVEL 3 »  (pdf)
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.

More Number theory Games!
Hilbert's tenth problem over $\mathbb Q$ HOT!Irrationality of Catalan's constant HOT!Goldfeld's conjectureTwo-point Chowla and the corrected binary Elliott conjecture
The Deligne–Drinfeld conjectureBogomolov–Pop and Milnor $K$-theoretic reconstructionFontaine–Mazur modularity at the prime $2$ and $2$-adic pro-modularityThe Ford–Konyagin–Luca conjecture on prime predecessors

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games