1 · The essentials
The manuscript studies two mathematical descriptions of spaces associated with complex curves. Each description organizes information about the spaces into numbered layers. The central claim is that these layers agree, once their numbering is matched correctly. Earlier results covered prime ranks; this manuscript addresses composite ranks, including information that must not be left out of the comparison. Together, the manuscript says, these results cover every rank when the rank and degree have no common factor greater than one. The claim requires specific conditions on both the curves and the spaces being studied. It has not been formalized in Lean or formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine two filing systems for the same collection of documents, with one using more numbered labels than the other. The claim is that drawer in the first system contains exactly what drawers and each contain in the second. This illustrates the matching of labels, not the geometry behind it.
Why it matters
The distinction between prime and composite rank leaves a genuine gap in the scope of the earlier results described by the source. The manuscript claims to close that gap under the coprime hypotheses. Its statement concerns the full rational cohomology, explicitly including the variant cohomology rather than leaving that part outside the comparison.
2 · Going further
The precise statement is on the full rational cohomology of smooth, coprime, fixed-determinant, trace-free Higgs moduli spaces and their character varieties. Here and denote the two filtrations being compared: numbered layers of cohomological information. The base is a smooth projective complex curve of genus at least two, and the main manuscript addresses composite rank with degree coprime to that rank.
The source identifies the prime-rank cases as already established. The contribution claimed here is the composite-rank case, including variant cohomology. Combined with those prime-rank results, the manuscript states that this yields the fixed-determinant equality in every coprime rank.
The supplied abstract states the result but does not describe the main idea or steps of its argument, so no proof strategy can be reported from this source. Only the main manuscript is supplied; there are no companion-manuscript abstracts here from which to explain further relationships. The main result is not formalized in Lean and has not been formally verified.
Useful notions
- Prime and composite ranks
- Coprime rank and degree
- Smooth projective complex curves and genus
- Higgs moduli spaces and character varieties
- Rational cohomology and filtrations
What was known before / what is new
Before
The abstract describes the prime-rank cases of the fixed-determinant conjecture as established. It does not give their proofs, dates, or further historical details.
New
The manuscript claims the equality in composite rank and coprime degree on the full rational cohomology. The repository summary explicitly includes variant cohomology. Together with the established prime-rank cases, this gives the claimed equality in every coprime rank.
Limits and assumptions
The statement is restricted to smooth coprime fixed-determinant, trace-free Higgs moduli spaces and their character varieties over smooth projective complex curves of genus at least two. It concerns rational cohomology. The source does not claim a result for non-coprime rank and degree or for curves outside these hypotheses, and it does not specify what remains open there. The supplied abstract contains no argument details. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Coprime —
- The rank and degree are coprime when their only common positive divisor is one.
- Composite rank —
- A rank greater than one that is not a prime number.
- Filtration —
- An organization of mathematical information into nested, numbered layers.
- Fixed determinant —
- A condition requiring the determinant to be held fixed throughout the moduli problem.
- Trace-free —
- A condition requiring the Higgs field to have zero trace.
Keywords : P=W · Fixed-determinant moduli spaces · Composite rank
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves 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.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
P=W in composite rank for fixed determinant
24/09/2026We 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.