Kazhdan–Laumon finite cohomological dimension conjecture
Let be a semisimple algebraic group split over a finite field, let be the abelian category of glued perverse sheaves in the Kazhdan–Laumon construction, and let be objects of . Kazhdan–Laumon conjecture. The category has finite cohomological dimension: there exists an such that
whenever . This conjecture was disproved by Bezrukavnikov and Polishchuk in the case , so it is no longer open.
References
Primary source
Calder Morton-Ferguson, “Polishchuk's conjecture and Kazhdan-Laumon representations”, arXiv:2309.13462 (2025).
Progress summary
The conjecture is false: a published counterexample shows that the relevant category does not have finite cohomological dimension.
Kazhdan and Laumon proposed the conjecture in 1988. It was disproved by Bezrukavnikov and Polishchuk in 2001 for .
Known results
- The simple object corresponding to the constant sheaf has infinite cohomological dimension (Bezrukavnikov and Polishchuk, 2001).
- The weaker localized- statement was established in types with and (Polishchuk, 2001).
Later replacement result, 2023
A 2023 paper proved the localized- replacement in all types and established well-definedness of the Kazhdan–Laumon construction by this alternative route; it does not restore the disproved finite-cohomological-dimension conjecture.
Current status (as of September 2026): The original conjecture is settled negatively by the counterexample; the replacement conjecture and well-definedness result are established more broadly.
Sources
- arxiv.org
- arxiv.org
- arxiv.org
- mathematics.stanford.edu
- pure.mpg.de
- mathoverflow.net
- arxiv.org
- quantamagazine.org
- quantamagazine.org
- hal.science
- quantamagazine.org
- export.arxiv.org
- export.arxiv.org
- export.arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- www-cdn.anthropic.com
- www-cdn.anthropic.com
- cdn.openai.com
Solutions 0
No solutions have been posted yet.