HEXAGONbeta

The Humphreys support conjecture

Primarily AI-generated textHuman understanding: no partsmath.RT — Representation Theorymath.AG — Algebraic Geometry

Contributed by Qiyue Tang ↗

Version 1 / Nov 12, 2026 / CC BY 4.0

Abstract

We prove the Humphreys support conjecture for connected reductive groups over algebraically closed fields of characteristic p>hp>h.

Author comments: 98 pages. Computational code and data are available at https://github.com/tqyqiqi1509/humphreys-support-conjecture I am posting this manuscript to share the mathematical results themselves. In doing so, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in checking the arguments or preparing a finished account, and I believe the eventual scholarly credit should go to those who undertake that work.

Provenance statement

GPT-6-Pro was used during the initial research run, which lasted approximately 506 minutes from its recorded start to completion of the initial result package. It was also used for repeated reviews and revisions of the manuscript. A Rethlas-OSV review will be added in a forthcoming update.

References

  1. R. Abuaf, On quartic double fivefolds and the matrix factorizations of exceptional quaternionic representations , Ann. Inst. Fourier 70 (2020), no. 4, 1403--1430. doi:10.5802/aif.3396 (https://doi.org/10.5802/aif.3396).DOI
  2. P. N. Achar and W. Hardesty, Silting complexes of coherent sheaves and the Humphreys conjecture , Duke Math. J. 173 (2024), no. 12, 2397--2445. arXiv:2106.04268 (https://arxiv.org/abs/2106.04268).arXiv
  3. P. N. Achar and W. Hardesty, Co-tt-structures on derived categories of coherent sheaves and the cohomology of tilting modules , Represent. Theory 28 (2024), 49--89. doi:10.1090/ert/655 (https://doi.org/10.1090/ert/655); arXiv:2012.06098 (https://arxiv.org/abs/2012.06098).arXivDOI
  4. P. N. Achar, W. Hardesty and S. Riche, On the Humphreys conjecture on support varieties of tilting modules , Transform. Groups 24 (2019), no. 3, 597--657. arXiv:1707.07740 (https://arxiv.org/abs/1707.07740).arXiv
  5. P. N. Achar, A. Henderson and E. Sommers, Pieces of nilpotent cones for classical groups , Represent. Theory 15 (2011), 584--616. arXiv:1001.4283 (https://arxiv.org/abs/1001.4283).arXiv
  6. P. N. Achar, S. Makisumi, S. Riche and G. Williamson, Koszul duality for Kac--Moody groups and characters of tilting modules , J. Amer. Math. Soc. 32 (2019), 261--310. doi:10.1090/jams/905 (https://doi.org/10.1090/jams/905).DOI
  7. P. N. Achar and S. Riche, Tilting modules for reductive algebraic groups: characters and support varieties , in Proceedings of the International Congress of Mathematicians 2026, Vol. 3, Invited Lectures, Sections 1--4, SIAM, 2026, 133--152. doi:10.1137/25M1805242 (https://doi.org/10.1137/25M1805242); arXiv:2511.05063 (https://arxiv.org/abs/2511.05063).arXivDOI
  8. J. Antor, Formality in the Deligne--Langlands correspondence , Int. Math. Res. Not. IMRN 2024 , no. 7, 6043--6072. doi:10.1093/imrn/rnad297 (https://doi.org/10.1093/imrn/rnad297); arXiv:2302.11010v2 (https://arxiv.org/abs/2302.11010v2).arXivDOI
  9. A.-M. Aubert, P. Baum, R. Plymen and M. Solleveld, The principal series of pp-adic groups with disconnected centre , Proc. Lond. Math. Soc. (3) 114 (2017), no. 5, 798--854. doi:10.1112/plms.12023 (https://doi.org/10.1112/plms.12023).DOI
  10. Z. Bai, W. Xiao and X. Xie, Gelfand--Kirillov dimensions and associated varieties of highest weight modules , Int. Math. Res. Not. IMRN 2023 , no. 10, 8101--8142. doi:10.1093/imrn/rnac081 (https://doi.org/10.1093/imrn/rnac081); arXiv:2005.11536v3 (https://arxiv.org/abs/2005.11536v3). Theorem numbers refer to the preprint version.arXivDOI
Show all 41 referencesShow fewer references
  1. J. Baine, (Co)Minuscule Hecke categories , Adv. Math. 491 (2026), Article 110866. doi:10.1016/j.aim.2026.110866 (https://doi.org/10.1016/j.aim.2026.110866); arXiv:2409.16131v1 (https://arxiv.org/abs/2409.16131v1). Theorem numbers refer to the preprint version.arXivDOI
  2. R. Bezrukavnikov, Cohomology of tilting modules over quantum groups and tt-structures on derived categories of coherent sheaves , Invent. Math. 166 (2006), no. 2, 327--357. doi:10.1007/s00222-006-0514-z (https://doi.org/10.1007/s00222-006-0514-z).DOI
  3. W. Borho and R. MacPherson, Partial resolutions of nilpotent varieties , Astérisque 101--102 (1983), 23--74.
  4. B. Calmès, V. Petrov and K. Zainoulline, Invariants, torsion indices and oriented cohomology of complete flags , Ann. Sci. Èc. Norm. Supér. (4) 46 (2013), no. 3, 405--448. doi:10.24033/asens.2192 (https://doi.org/10.24033/asens.2192).DOI
  5. N. Chriss and V. Ginzburg, Representation theory and complex geometry , Birkhäuser Boston, Boston, MA, 1997; reprint, Modern Birkhäuser Classics, 2010. doi:10.1007/978-0-8176-4938-8 (https://doi.org/10.1007/978-0-8176-4938-8).DOI
  6. B. Conrad, Reductive group schemes , in Autour des schémas en groupes, Vol. I, Panoramas et Synthèses 42--43 , Société Mathématique de France, Paris, 2014, 93--444.
  7. B. J. Cooper, On the support varieties of tilting modules , J. Pure Appl. Algebra 214 (2010), no. 11, 1907--1921. doi:10.1016/j.jpaa.2009.12.003 (https://doi.org/10.1016/j.jpaa.2009.12.003).DOI
  8. K. Coulembier, On naturality of cohomological support for small quantum groups , arXiv:2611.10519 (https://arxiv.org/abs/2611.10519), 2026.arXiv
  9. S. Debus, P. Moustrou, C. Riener and H. Verdure, The poset of Specht ideals for hyperoctahedral groups , Algebr. Comb. 6 (2023), no. 6, 1593--1619. doi:10.5802/alco.316 (https://doi.org/10.5802/alco.316).DOI
  10. D. Ž. Djoković, Closures of equivalence classes of trivectors of an eight-dimensional complex vector space , Canad. Math. Bull. 26 (1983), no. 1, 92--100. doi:10.4153/CMB-1983-014-8 (https://doi.org/10.4153/CMB-1983-014-8).DOI
  11. D. Edidin and W. Graham, Algebraic cycles and completions of equivariant KK-theory , Duke Math. J. 144 (2008), no. 3, 489--524. arXiv:math/0702671 (https://arxiv.org/abs/math/0702671).arXiv
  12. B. Elias and L. T. Jensen, Categorical diagonalization and pp-cells , with an appendix by J. Gibson, Pure Appl. Math. Q. 21 (2025), no. 1, 201--273. doi:10.4310/PAMQ.241203033151 (https://doi.org/10.4310/PAMQ.241203033151).DOI
  13. E. M. Friedlander and B. J. Parshall, Support varieties for restricted Lie algebras , Invent. Math. 86 (1986), no. 3, 553--562. doi:10.1007/BF01389268 (https://doi.org/10.1007/BF01389268).DOI
  14. M. Geck and A. Halls, On the Kazhdan--Lusztig cells in type E8E_8 , Math. Comp. 84 (2015), no. 296, 3029--3049. doi:10.1090/mcom/2963 (https://doi.org/10.1090/mcom/2963).DOI
  15. M. Geck and G. Pfeiffer, Characters of finite Coxeter groups and Iwahori--Hecke algebras , London Mathematical Society Monographs, New Series 21, Oxford University Press, Oxford, 2000.
  16. V. Ginzburg and S. Kumar, Cohomology of quantum groups at roots of unity , Duke Math. J. 69 (1993), no. 1, 179--198. doi:10.1215/S0012-7094-93-06909-8 (https://doi.org/10.1215/S0012-7094-93-06909-8).DOI
  17. W. D. Hardesty, On support varieties and the Humphreys conjecture in type AA , Adv. Math. 329 (2018), 392--421. doi:10.1016/j.aim.2018.01.023 (https://doi.org/10.1016/j.aim.2018.01.023); arXiv:1507.00970 (https://arxiv.org/abs/1507.00970).arXivDOI
  18. J. E. Humphreys, Comparing modular representations of semisimple groups and their Lie algebras , in Modular Interfaces, AMS/IP Studies in Advanced Mathematics 4, American Mathematical Society, Providence, RI, 1997, 69--80. doi:10.1090/amsip/004/05 (https://doi.org/10.1090/amsip/004/05).DOI
  19. L. T. Jensen, The ABC of pp-cells , Selecta Math. (N.S.) 26 (2020), no. 2, Paper No. 28. doi:10.1007/s00029-020-0552-1 (https://doi.org/10.1007/s00029-020-0552-1).DOI
  20. D. Juteau, C. Lecouvey and K. Sorlin, Springer basic sets and modular Springer correspondence for classical types , Indag. Math. (N.S.) 33 (2022), no. 1, 218--237. doi:10.1016/j.indag.2021.12.001 (https://doi.org/10.1016/j.indag.2021.12.001).DOI
  21. D. Juteau, C. Mautner and G. Williamson, Parity sheaves , J. Amer. Math. Soc. 27 (2014), no. 4, 1169--1212.
  22. S. Kato, A homological study of Green polynomials , Ann. Sci. Èc. Norm. Supér. (4) 48 (2015), no. 5, 1035--1074. doi:10.24033/asens.2265 (https://doi.org/10.24033/asens.2265).DOI
  23. S. Kato, An algebraic study of extension algebras , Amer. J. Math. 139 (2017), no. 3, 567--615. arXiv:1207.4640 (https://arxiv.org/abs/1207.4640).arXiv
  24. T. Kildetoft and V. Mazorchuk, Special modules over positively based algebras , Doc. Math. 21 (2016), 1171--1192. doi:10.4171/DM/555 (https://doi.org/10.4171/DM/555).DOI
  25. A. C. Lőrincz and J. Weyman, Local cohomology on a subexceptional series of representations , Ann. Inst. Fourier 73 (2023), no. 2, 747--782. doi:10.5802/aif.3539 (https://doi.org/10.5802/aif.3539).DOI
  26. G. Lusztig, Cells in affine Weyl groups. IV , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 36 (1989), no. 2, 297--328.
  27. V. Miemietz, M. Roth and D. Tubbenhauer, The subregular and submaximal pp-cells , arXiv:2608.19798 (https://arxiv.org/abs/2608.19798), 2026.arXiv
  28. V. Ostrik, Support varieties for quantum groups , Funct. Anal. Appl. 32 (1998), no. 4, 237--246. doi:10.1007/BF02463206 (https://doi.org/10.1007/BF02463206); arXiv:q-alg/9711008 (https://arxiv.org/abs/q-alg/9711008).arXivDOI
  29. E. Richmond and W. Slofstra, Billey--Postnikov decompositions and the fibre bundle structure of Schubert varieties , Math. Ann. 366 (2016), nos. 1--2, 31--55. doi:10.1007/s00208-015-1299-4 (https://doi.org/10.1007/s00208-015-1299-4).DOI
  30. N. Xi, Representations of affine Hecke algebras and based rings of affine Weyl groups , J. Amer. Math. Soc. 20 (2007), no. 1, 211--217. doi:10.1090/S0894-0347-06-00539-X (https://doi.org/10.1090/S0894-0347-06-00539-X).DOI
  31. N. Xi, Kazhdan--Lusztig basis and a geometric filtration of an affine Hecke algebra, II , J. Eur. Math. Soc. 13 (2011), no. 1, 207--217. doi:10.4171/JEMS/249 (https://doi.org/10.4171/JEMS/249).DOI

Version history

  1. v1 · 98 pagesSubmitted by Qiyue Tang98 pages. Computational code and data are available at https://github.com/tqyqiqi1509/humphreys-support-conjecture I am posting this manuscript to share the mathematical results themselves. In doing so, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in checking the arguments or preparing a finished account, and I believe the eventual scholarly credit should go to those who undertake that work.CurrentNov 12, 2026