MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What are the automorphisms of $SL_n$ as an algebraic variety?

In other words, let $k$ be an algebraically closed field of characteristic 0 (e.g., $k=\mathbb{C}$). Let $\tau$ be an automorphism of $SL_n$ regarded as an algebraic variety over $k$. Assume that $\tau$ takes the unit element $e$ of $G$ to itself. Is it true that $\tau$ is an automorphism of $SL_n$ as an algebraic group over $k$?

share|cite|improve this question
What about inversion (for $n>1$)? – ACL Jan 15 '13 at 16:27
@ACL: Thank you, Antoine. Are there any other automorphisms? – Mikhail Borovoi Jan 15 '13 at 16:33
@Mikhail: Your edit needs some more editing. Aside from this, what motivates the original question? – Jim Humphreys Jan 15 '13 at 17:04
@Jim: I have removed the edit. The original question was motivated by my previous question… and a comment of Tom Goodwillie. I am trying to construct a finite subgroup $H\subset G=SL_{n,\mathbb{C}}$ and an automorphism $\sigma$ of $\mathbb{C}$ such that the $\mathbb{C}$-varieties $G/H$ and $\sigma(G/H)=G/\sigma H$ are not isomorphic. – Mikhail Borovoi Jan 15 '13 at 17:50
Note that the group generated by automorphisms, left translations and inversion is finite-dimensional (actually $2(n^2-1)$); while the example by Mariano gives a faithful action of an infinite dimensional abelian group. – YCor Jan 15 '13 at 18:10
up vote 8 down vote accepted

The coordinate ring when $n=2$ is $A=k[a,b,c,d]/(ad-bc-1)$.

If $f\in k[b,c]$, there is an automorphism $\phi:A\to A$ such that $\phi(a)=a+bf$, $\phi(c)=c+df$, $\phi(b)=b$ and $\phi(d)=d$.

One could conjecture that the automorphism group in this case is generated by $SL_2$, inversion and this sort of triangular automorphisms, much as in the Makar-Limanov–Jung–van der Kulk theorem for $k[x,y]$ (This is a very optimistic conjecture, though: this is a $3$-dimensional affine variety quite close to affine space and there are non-tame automorphisms of the latter...)

In general, I doubt we know the automorphism group.

share|cite|improve this answer
Of course, this trick works for all $n$. – Mariano Suárez-Alvarez Jan 15 '13 at 16:44
Thank you, Mariano. – Mikhail Borovoi Jan 15 '13 at 17:49

The automorphism group is massive!

Flexible varieties and automorphism groups, I. Arzhantsev, H. Flenner, S. Kaliman, F. Kutzschebauch, M. Zaidenberg,

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.