Litt's potential integral density question for $\mathrm{SL}_r$ character varieties of curves

Lineage and corrections

Litt, Problems I Like, Problem 7 evidence for this event

This event attributed to Unreleased internal OpenAI model

Litt, Motives, mapping class groups, and monodromy (Question 5.4.3(2)) evidence for this event

Litt's potential integral density question for $\mathrm{SL}_r$ character varieties of curves parent of this event

Theorem 1.1: for every smooth connected complex curve $X$, rank $r$ and quasi-unipotent conjugacy classes at the punctures (nonsemisimple allowed), there is a finite extension $L$ of the field of eigenvalues with $M_r(X)(\mathcal O_L)\cap Y(\mathbb C)$ Zariski dense in every component of the relative locus $Y$; an explicit $L$ is given. The same holds when only characteristic polynomials are fixed, and for the whole character variety with base field $\mathbb Q$. This settles the determinant-one curve case of Litt's question and the $\mathrm{SL}_r$ curve case of the Coccia-Litt conjecture for quasi-unipotent data; higher-dimensional varieties are not treated. parent of this event

Lean statement (supporting result only): CharacterVarietiesAllSeamsSupport evidence for this event

VibeMathed record: Litt's potential integral density question for $\mathrm{SL}_r$ character varieties of curves evidence for this event

Litt's potential integral density question for $\mathrm{SL}_r$ character varieties of curves evidence for this event