On the normality of the commuting scheme

Abstract

If $G$ is a connected reductive algebraic group over a field $k$ of characteristic $\ell$, we show that both the Lie-theoretic and group-theoretic commuting schemes associated to $G$ are normal and Cohen--Macaulay when $\ell =0$, or $\ell$ is larger than the Coxeter numbers of all simple factors of $G$, and that $\ell \ne 19$ (resp. $\ell \ne 31$) when $G$ has a simple factor of type $E_7$ (resp. $E_8$). The main new ingredients are provided by studying the unipotent categorical Langlands functor of Zhu. Along the way we prove a $t$-exactness result for a finite unipotent categorical Langlands functor which may be of independent interest.

arXiv comment26 pages, comments welcome!