A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Integral density on curve character varieties
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Hamilton's Revenge <<<

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:1
Category:Number theory Lean version:YES! ✔
Rate this game! 4.1 out of 5 (2,556 votes)

>>> How to Play <<<
Potential integral density on curve character varieties. Resolves the determinant-one curve case of Litt's integral-density question. For every smooth connected complex algebraic curve and every rank, integral points become Zariski dense in every component of its SLr character variety over the full ring of integers of one number field. Prescribed quasi-unipotent boundary conjugacy classes are allowed, including nonsemisimple classes.

>>> Level Select <<<
released 2026-09-25  |  2 theorems · 11 lemmas · 13 proofs · 12,926 words  |  PLAY LEVEL 1 »  (pdf)
We prove potential Zariski density of integral points on SLr-character varieties of smooth complex curves in every rank. The result allows prescribed quasi-unipotent boundary monodromy, including exact nonsemisimple conjugacy classes, and holds on every component over the full ring of integers of one finite extension. Here integrality is measured in the ambient character variety, while the exact boundary conditions are imposed on the complex representation.

More Number theory Games!
A quadratic bound for Jacobsthal's functionThe weak inhomogeneous Duffin–Schaeffer conjecturePatterson’s first moment for cubic Gauss sumsAn asymptotic formula for the number of totients
Erdős’s short Egyptian-fraction conjecture PLAYABLE!Positive lower density of large prime gapsThe Gaussian moat conjecture PLAYABLE!Artin's primitive root conjecture: infinitude for every base HOT!

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