Spaces of generators for matrix algebras with involution

Abstract

Let $k$ be an algebraically closed field of characteristic different from 2. Up to isomorphism, the algebra ${\mathrm{Mat}}_{n\times n}(k)$ can be endowed with a $k$-linear involution in one way if $n$ is odd and in two ways if $n$ is even. In this paper, we consider $r$-tuples $A_{\bullet }\in {\mathrm{Mat}}_{n\times n}(k{)}^r$ such that the entries of $A_{\bullet }$ fail to generate ${\mathrm{Mat}}_{n\times n}(k)$ as an algebra with involution. We show that the locus of such $r$-tuples forms a closed subvariety $Z(r;V)$ of ${\mathrm{Mat}}_{n\times n}(k{)}^r$ that is not irreducible. We describe the irreducible components and we calculate the dimension of the largest component of $Z(r;V)$ in all cases. This gives a numerical answer to the question of how generic it is for an $r$-tuple $(a_1,\dots ,a_r)$ of elements in ${\mathrm{Mat}}_{n\times n}(k)$ to generate it as an algebra with involution.

21 Pages, with bibliography