2

Let $F$ be an infinite field. Is the set of all $n\times n$ diagonalizable matrices (over $F$) a Zariski-dense subset of $M_n(F)$? This is a repetition of the question asked here My proof of "the set of diagonalizable matrices is Zariski-dense in $M_n(\mathbb F)$". I did not find a complete answer there. I know that

(i) The set of all matrices in $M_n(F)$ which are diagonalizable over some field extension of $F$ is Zariski-dense in $M_n(F)$.

(ii) The set of all diagonalizable matrices in $M_2(\mathbb R)$ is not dense in the Euclidean topology.

1 Answers1

3

Fix an algebraic closure $K$ of $F$. Note that since $F$ is infinite, $F^m$ is Zariski-dense in $K^m$ for all $m$. In particular, $M_n(F)$ is Zariski-dense in $M_n(K)$ and $GL_n(F)$ is Zariski-dense in $GL_n(K)$ (since $GL_n(K)$ is an open subset of $M_n(K)$ and $GL_n(F)=GL_n(K)\cap M_n(F)$). Also, the subspace topology on $F^m$ from the Zariski topology on $K^m$ is the same as the Zariski topology over $F$ (if $p\in K[x_1,\dots,x_m]$, then the product of the Galois conjugates of $p$ is a polynomial with coefficients in the perfect closure of $F$ that has the same zero set in $F^m$; raising this polynomial to an appropriate power then gives one with coefficients in $F$).

Now let $f:GL_n(K)\times K^n\to M_n(K)$ be the map $f(A,x)=AD(x)A^{-1}$ where $D$ is the diagonal matrix with diagonal entries given by $x\in K^n$. The image of $f$ is the diagonalizable matrices over $K$, which we know is dense in $M_n(K)$. But we also know that $GL_n(F)\times F^n$ is dense in $GL_n(K)\times K^n$, and so since $f$ is continuous, the image of $f$ restricted to $GL_n(F)\times F^n$ is also dense. That is, the matrices which are diagonalizable over $F$ are dense in all of $M_n(K)$, and thus also in $M_n(F)$ since they happen to be contained in $M_n(F)$ (and as remarked above, the Zariski topology on $M_n(F)$ over $F$ is the same as its subspace topology from $M_n(K)$).

Eric Wofsey
  • 342,377