oai-math-revised beta

Browse › Algebraic and complex geometry › 043 P = W for fixed-determinant SLn moduli spaces

P=W in composite rank for fixed determinant

OpenAI · September 24, 2026

Open PDFCite Report a problem Add a reference or comment Interested in working on this Start a discussion

Edit NOTES.md · Existing issues · Source on GitHub

Abstract

We prove the P = W conjecture on the full rational cohomology of fixed-determinant, trace-free Higgs moduli spaces in composite rank and coprime degree, for smooth projective complex curves of genus at least two. Together with the established prime-rank cases, this gives the equality in every coprime rank.

If the PDF does not display here, open it directly: Open PDF.

Notes

No notes yet. Add a reference, a comment or your name with the buttons above, or edit NOTES.md on GitHub.

Automatically collected notes (unreviewed)

work in progress

Collected automatically by AI tools (Claude Opus 5.5 and GPT-6 Astra, 2026-10-21) and not checked by a person. May be wrong or incomplete. Report an error.

Possibly relevant literature (found by the agent, not checked)

Elsewhere

Independent sites; their content is not reviewed here.

Cite

@misc{OAI:P-equals-W-in-composite-rank-for-fixed-determinant-September-24-2026,
  author = {{OpenAI}},
  title = {{$P=W$ in composite rank for fixed determinant}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/P-equals-W-in-composite-rank-for-fixed-determinant-September-24-2026/P-equals-W-in-composite-rank-for-fixed-determinant-September-24-2026.pdf}{OAI:P-equals-W-in-composite-rank-for-fixed-determinant-September-24-2026}},
  year = {2026}
}

Family 043: P = W for fixed-determinant SLn moduli spaces

Proves $P_k=W_{2k}=W_{2k+1}$ on the full rational cohomology of smooth coprime fixed-determinant, trace-free Higgs moduli spaces and their character varieties for composite ranks over smooth projective complex curves of genus at least two. This includes variant cohomology and, together with the known prime-rank theorems, establishes the fixed-determinant P = W conjecture in every coprime rank.

This is the only paper in this family.