On the variety of projectors (Q1087930): Difference between revisions

Let K be a field and let M be the space of all \(n\times n\) matrices over K. Let \(h\leq n/2\) and let \(X_ h\) (resp. \(Y^ 0_ h)\) be the set of all \(A\in M\) of rank h such that \(A^ 2=A\) (resp. \(A^ 2=0)\). Let \(Y_ h\) be the closure of \(Y^ 0_ h\) in M. Let \(X=(x_{ij})\) be an \(n\times n\) matrix of indeterminates over K, and let \(\bigwedge^ r(X)\) denote the r-th exterior power of X \((r\geq 1)\). The author shows that the ideal of definition of \(X_ h\) (resp. \(Y_ h)\) in M is generated by the following polynomials: \((1)\quad the\) entries of \(\bigwedge^{n+1}(X)\); (2) the entries of \(X^ 2-X\) (resp. \(X^ 2)\); (3) trace \(\bigwedge^ i(X)-\binom{h}{i}\) (resp. trace \(\bigwedge^ i(X))\), for \(1\leq i\leq h\).