Nilpotent commuting varieties of reductive Lie algebras (Q1434291)

Let \(\mathfrak g\) be a finite-dimensional Lie algebra over an algebraically closed field \(k\) of characteristc \(p\geq 0\), \(N=N(\mathfrak g)\) the nilpotent variety of \(\mathfrak g\). A subvariety \(\mathfrak C^{nil}(\mathfrak g)=\{(x,y)\in N\times N \mid [x,y]=0 \}\) is the nilpotent commuting variety of \(\mathfrak g\). According to a conjecture of \textit{V. Baranovsky} [Transform. Groups 6, 3--8 (2000; Zbl 0980.15012)] all irreducible components of \(\mathfrak C^{\text{nil}}(\mathfrak g)\) of a complex semisimple Lie algebra \(\mathfrak g\) have the same dimension, equal to \(\dim \mathfrak g\), and are parametrised by the distinguished nilpotent orbits in \(\mathfrak g\). In the paper Baranovsky's conjecture is proved in the following more general settings: \(\mathfrak g = \text{Lie }G\) where \(G\) is a reductive algebraic group over \(k\), if \(p>0\) then \(p\) is good for \(G\) and the derived subgroup of \(G\) is simply connected (the dimension of all irreducible components of \(\mathfrak C^{\text{nil}}(\mathfrak g)\) equals \(\dim (G,G)\)). An estimate of \(\dim \mathfrak C^{\text{nil}}(\mathfrak g)\) in the case when \(p>0\) and \(G\) is a connected reductive \(k\)-group (i.e. \(p\) may be a bad prime for \(G\)) is obtained. As an application of the main result to the case \(G=\text{GL}(n)\) it is proved that over an algebraically closed field \(k\) of characteristic \(p\geq 0\) the punctual Hilbert scheme \(\mathcal H_r\) is irreducible and \(\dim \mathcal H_r=r-1.\)