## Automorphisms of $SL_n$ as a variety

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

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$?

-

1
What about inversion (for $n>1$)? – ACL Jan 15 at 16:27
@ACL: Thank you, Antoine. Are there any other automorphisms? – Mikhail Borovoi Jan 15 at 16:33
@Mikhail: Your edit needs some more editing. Aside from this, what motivates the original question? – Jim Humphreys Jan 15 at 17:04
@Jim: I have removed the edit. The original question was motivated by my previous question mathoverflow.net/questions/118356/… 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 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. – Yves Cornulier Jan 15 at 18:10

## 2 Answers

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.

-

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

### 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.

The automorphism group is massive!

Flexible varieties and automorphism groups, I. Arzhantsev, H. Flenner, S. Kaliman, F. Kutzschebauch, M. Zaidenberg, http://arxiv.org/abs/1011.5375.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 33, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8838229179382324, "perplexity_flag": "middle"}