Welcome to MathOverflow

Question

1

2

Let $F$ be an arbitrary field of characteristic $0$, $K$ its algebraic closure. Define $M=\{ (x,y)\in M_n(F)×M_n(F) \mid [x,y]=0\}$ and let $N$ be the Zariski closure of $M$ in $K^{2n^2}$.

How can one show that $N$ contains the set $\{(axa^{-1},aya^{-1}) \mid (x,y)\in N, a\in \mathrm{GL}(n,K)\}$?

Thank you.

flag	asked Mar 7 2011 at 19:40 spelas 149●5

2

It seems to me that $M$ itself is Zariski closed. – Johannes Ebert Mar 7 2011 at 19:46

1

From the way this problem is phrased, it seems to be designed to test understanding of basic algebraic geometry. In the absence of other information, I think it very likely that it is coursework. Voting to close. – Victor Protsak Mar 7 2011 at 20:01

1

@Victor: Sorry, I was reading this in an article where it was left as "easy to check". – spelas Mar 7 2011 at 20:18

1

My comment was wrong. If $F \neq K$, then $M$ is not Zariski closed. – Johannes Ebert Mar 7 2011 at 20:33

Guntram · Accepted Answer · 2011-03-07 21:05:51Z UTC

Note that $M$ is invariant under the $GL_n(F)$-action given by $a \cdot (x,y):=(axa^{-1},aya^{-1})$. It follows that its closure $N$ is also invariant under $GL_n(F)$. Since $F$ is infinite and $GL_n$ is reductive, the rational points $GL_n(F)$ are Zariski-dense in $GL_n(K)$ by Borel, Linear Algebraic Groups, Corr. 18.3. (This is probably the piece of information you were missing).

Then it follows that $N$ is $GL_n(K)$-invariant, as claimed.

algebraic closure of commuting pairs of matrices

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.