Surjectivity conjectures of Dupont and Monod
For every connected semisimple Lie group with finite centre and every degree , the comparison map from bounded continuous cohomology to continuous cohomology, , is surjective.
References
Primary source
Additional references
Progress summary
A September 2026 preprint claims to settle the conjectures, but its proof has not yet been independently verified.
The conjectures ask whether bounded continuous cohomology surjects onto continuous cohomology for broad classes of semisimple Lie groups. Earlier work established important special cases, but the general question remained open in higher degrees.
Known results
- Dupont proved surjectivity in degree (classical result, date not given).
- Hermitian groups with finite centre and no compact factors: surjectivity in every degree (2009).
- The even-generator subring consists of bounded classes for general semisimple groups (2009).
- Full comparison-map isomorphism in degree for connected simple complex classical groups (2023).
September 2026 claimed proof
A September 2026 arXiv paper claims the surjectivity conjectures for connected semisimple Lie groups, using polylogarithmic cocycles representing Borel classes. This would settle the general family of comparison-map questions, but the claim is unrefereed and unverified.
Current status (as of September 2026): Special cases and low-degree results are established, while the general conjectures are claimed solved by an unrefereed preprint but remain unverified.
Sources
- arxiv.org
- ar5iv.labs.arxiv.org
- arxiv.org
- iag.math.kit.edu
- arxiv.org
- sites.google.com
- cdn.openai.com
- math.stackexchange.com
- deepmind.google
- www-cdn.anthropic.com
- quantamagazine.org
- arxiv.org
- export.arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- scientificamerican.com
- cdn.openai.com
- quantamagazine.org
- quantamagazine.org
Solutions 0
No solutions have been posted yet.