OpenAI reports integral density on curve character varieties

For every smooth connected complex algebraic curve, every rank r, and prescribed quasi-unipotent boundary conjugacy classes, including nonsemisimple classes, one finite extension of the number field generated by their eigenvalues makes ambient integral points Zariski dense in the exact-boundary locus of the SL_r character variety and in every irreducible component.

Curated contributions 1

Understand the problem ↓

OpenAI reports integral density on curve character varieties

  • Mathematics

For every smooth connected complex algebraic curve, every rank r, and prescribed quasi-unipotent boundary conjugacy classes, including nonsemisimple classes, one finite extension of the number field generated by their eigenvalues makes ambient integral points Zariski dense in the exact-boundary locus of the SL_r character variety and in every irreducible component.

AI involvementAI-led
ImportanceMajor
Technical verificationReported
Human understandingFew

Understanding the problem

Read the background

For every smooth connected complex algebraic curve, every rank r, and prescribed quasi-unipotent boundary conjugacy classes, including nonsemisimple classes, one finite extension of the number field generated by their eigenvalues makes ambient integral points Zariski dense in the exact-boundary locus of the SL_r character variety and in every irreducible component.

Why it matters

If correct, answers the determinant-one curve case of Litt’s potential integral-density question in every rank with exact quasi-unipotent boundary conditions.

What counts as progress

Do integral points become Zariski dense on every component of a curve SL_r character variety after one finite field extension?

Website timeline

Publication dates and editorial changes.