Abstract
For every integer \(n>0\), we construct a new infinite series of rational affine algebraic varieties such that their automorphism groups contain the automorphism group \(\mathrm{Aut}(F_n)\) of the free group \(F_n\) of rank \(n\) and the braid group \(B_n\) on \(n\) strands. The automorphism groups of such varieties are nonlinear for \(n\geq 3\) and are nonamenable for \(n\geq 2\). As an application, we prove that every Cremona group of rank \({\geq}\,3n-1\) contains the groups \(\mathrm{Aut}(F_n)\) and \(B_n\). This bound is \(1\) better than the bound published earlier by the author; with respect to \(B_n\), the order of its growth rate is one less than that of the bound following from a paper by D. Krammer. The construction is based on triples \((G,R,n)\), where \(G\) is a connected semisimple algebraic group and \(R\) is a closed subgroup of its maximal torus.
Avoid common mistakes on your manuscript.
1. Introduction
The trend of the last decade has been to study the abstract-algebraic, topological, algebro-geometric, and dynamical properties of automorphism groups of algebraic varieties. The present paper is related to this topic and continues the research started in the author’s paper [11].
In [11], an infinite series of irreducible algebraic varieties is constructed such that the automorphism groups of the free groups \(F_n\) of rank \(n\) are embedded into the automorphism groups of these varieties. This construction has applications to the problems of linearity and amenability of automorphism groups of algebraic varieties and to the problems of embeddability of various groups into Cremona groups. To formulate the results obtained in this paper, we recall the construction introduced in [11].
Consider a connected algebraic group \(G\). Let \(X\) be the group variety of the algebraic group \(G^n:=G\times\dots\times G\) (\(n\) terms). We fix in \(F_n\) a free system of generators \(f_1,\ldots,f_n\). For any \(w \in F_n\) and
denote by \(w(x)\) the element of \(G\) obtained from the word \(w\) in \(f_1,\dots,f_n\) by replacing \(f_j\) with \(g_j\) for each \(j\). For each \(\sigma\in \mathrm{Aut} (F_n)\), the mapping
is an automorphism of the algebraic variety \(X\) (but not of the group \(G^n\) in general). The mapping \(\sigma\mapsto (\sigma^{-1})_X\) is a group homomorphism \( \mathrm{Aut} (F_n)\to \mathrm{Aut} (X)\). It defines an action of \( \mathrm{Aut} (F_n)\) by automorphisms of \(X\) that commutes with the diagonal action of \(G\) on \(X\) by conjugation. Let us assume that for the restriction of this action to a closed subgroup \(R\) of \(G\), there is a categorical quotient
(for example, this property holds if \(R\) is finite, see [15, Ch. III, §3, Proposition 19, Example 2)]; it also holds if \(G\) is affine and \(R\) is reductive, see [12, Sect. 4.4]). Then it follows from the definition of a categorical quotient (see [12, Definition 4.5]) that \(\sigma_X\) descends to a uniquely defined automorphism \(\sigma_{X /\!\kern-1pt/ R}\) of \(X /\!\kern-1pt/ R\) with the property
In this case, there arises a group homomorphism
which defines the action of the group \( \mathrm{Aut} (F_n)\) by automorphisms of the variety \({X /\!\kern-1pt/ R}\). For some (but not all) \(G\) and \(R\), the homomorphism (1.5) is an embedding. Namely, in [11] it is proved that
-
(a)
in the following cases, the homomorphism (1.5) is an embedding:
-
•
\(G\) is nonsolvable and \(R\) is finite;
-
•
\(G\) is reductive, \(R=G\), \(n=1\), and \(G\) contains a connected simple normal subgroup of one of the types
$$ \mathsf A_\ell \ \text{ with }\, \ell\geq 2,\qquad \mathsf D_\ell \ \text{ with odd }\, \ell,\qquad \mathsf E_6;$$(1.6)
-
•
-
(b)
in the following cases, the homomorphism (1.5) is not an embedding:
-
•
\(G\) is solvable, \(R\) is finite, and \(n\geq 3\),
-
•
\(G\) is reductive, \(R=G\), and either \(n\geq 2\), or \(n=1\) and for each of the types (1.6), \(G\) contains no connected simple normal subgroups of this type.
-
•
This leads to the following general question.
Question.
Is it possible to classify the triples \((G,R,n)\), where \(G\) is a connected reductive algebraic group, \(R\) is a closed subgroup of \(G\), and \(n\) is a positive integer, for which the homomorphism (1.5) is an embedding?
The main result of the present paper is Theorem 1.1, in which we take the next step after [11] towards answering the question posed: we add one more class to the triples of the specified type found in [11].
Theorem 1.1.
Let \(\,G\) be a connected semisimple algebraic group, and let \(\,R\) be a closed subgroup of its maximal torus. Then the homomorphism (1.5) is an embedding.
As an application we obtain the following Theorem 1.2, in which \(B_n\) denotes the braid group on \(n\) strands (by definition, for \(n=1\) this group is trivial).
Theorem 1.2.
We keep the assumptions of Theorem 1.1. Then \(\,X /\!\kern-1pt/ R\) is an affine algebraic variety such that
-
(a)
\( \mathrm{Aut} (X /\!\kern-1pt/ R)\) contains \(\, \mathrm{Aut} (F_n);\)
-
(b)
\( \mathrm{Aut} (X /\!\kern-1pt/ R)\) is nonlinear for \(\,n\geq 3;\)
-
(c)
\( \mathrm{Aut} (X /\!\kern-1pt/ R)\) contains the braid group \(\,B_n;\)
-
(d)
\( \mathrm{Aut} (X /\!\kern-1pt/ R)\) is nonamenable for \(\,n\geq 2\).
We also explore the rationality problem.
Theorem 1.3.
The variety \(\,X /\!\kern-1pt/ R\) from Theorems 1.1 and 1.2 is rational.
As an application we strengthen by \(1\) the bounds obtained in [11, Corollary 9, Remark 10].
Theorem 1.4.
For any integer \(\,n\geq 1,\) the Cremona group of rank \(\,{\geq}\,3n-1\) contains the group \(\, \mathrm{Aut} (F_n)\) as well as the braid group \(\,B_n\).
Remark.
As proved in [4] by D. Krammer, the braid group \(B_n\) embeds into \(\mathrm{GL}_{n(n-1)/2}\). Hence \(B_n\) embeds into the Cremona group of rank \(n(n-1)/2\). The order of the growth rate of this bound on the minimal rank of the Cremona group containing \(B_n\) is \(1\) greater than that of the bound from Theorem 1.4.
2. Conventions and notation
In what follows, algebraic varieties are considered over an algebraically closed field \(k\). We use the results of [6] and [12, Proposition 3.4] obtained under the condition \(\mathrm{char}(k)=0\). Therefore, we also assume that this condition holds. With respect to algebraic geometry and algebraic groups, we follow [1].
The identity element of a group considered in multiplicative notation is denoted by \(e\) (it will be clear from the context which group is meant).
The statement that a group \(A\) contains a group \(B\) means the existence of a group monomorphism \(B\hookrightarrow A\), by which \(B\) is identified with its image.
\( {\mathscr C} (A)\) is the center of a group \(A\).
\(A\cdot m\) and \(A_m\) are, respectively, the orbit and the stabilizer of a point \(m\) with respect to a considered action of a group \(A\) (it will be clear from the context which action is meant).
The kernel of an action \(\,\alpha \colon\, A\times M\to M\) of a group \(A\) on a set \(M\) is the following normal subgroup of \(A\):
By homomorphisms of algebraic groups we mean algebraic homomorphisms, and by their actions on algebraic varieties we mean algebraic actions. In particular, for an algebraic group \(A\), we denote by \( \mathrm{Aut} (A)\) the group of its algebraic automorphisms.
The multiplicative group \(k^\times\) of the field \(k\) is considered as the algebraic group \( {\mathbb G} _{\text{m}} \), and its additive group is considered as \( {\mathbb G} _{\text{a}} \).
3. Terminology and some general results
Recall (see [12]) the necessary terminology and results concerning an action \(\alpha\) of an algebraic group \(H\) on an irreducible algebraic variety \(Y\).
(a) An action \(\alpha\) is said to be stable if there is a nonempty open set in \(Y\) such that the \(H\)-orbit of its every point is closed in \(Y\).
(b) A subgroup \(H_*\) of \(H\) is called the stabilizer in general position of an action \(\alpha\) if there is a nonempty open set in \(Y\) such that for its every point \(y\) the subgroups \(H_y\) and \(H_*\) are conjugate in \(H\).
(c) If \(H\) is reductive and \(Y\) is smooth and affine, then
-
•
the stabilizer in general position exists;
-
•
the varieties \(Y\) and \(Y /\!\kern-1pt/ H\) are endowed with the Luna stratifications defined as follows. Points \(a, b\in Y /\!\kern-1pt/ H\) belong to the same Luna stratum if and only if the normal vector bundles to the unique \(H\)-orbits closed in the fibers \(\pi_{Y /\!\kern-1pt/ H}^{-1}( a)\) and \(\pi_{Y /\!\kern-1pt/ H}^{-1}(b)\) are \(H\)-equivariantly isomorphic. The Luna strata in \(Y\) are the sets of the form \(\pi_{Y /\!\kern-1pt/ H}^{-1}(L)\) with \(L\) a Luna stratum in \(Y /\!\kern-1pt/ H\).
The Luna stratifications have the following properties:
-
(i)
the set of all Luna strata is finite;
-
(ii)
all Luna strata in the varieties \(Y /\!\kern-1pt/ H\) and \(Y\) are smooth locally closed subvarieties of these varieties;
-
(iii)
for any Luna stratum \(L\) in \(Y /\!\kern-1pt/ H\) there exists an affine variety \(F\) endowed with an action of \(H\) such that the restriction of the morphism \(\pi_{Y /\!\kern-1pt/ H}^{}\) to the stratum \(\pi_{Y /\!\kern-1pt/ H}^{-1 }(L)\) (called the canonical morphism of the Luna stratum \(\pi_{Y /\!\kern-1pt/ H}^{-1}(L)\)) is an étale trivial bundle \(\pi_{Y /\!\kern-1pt/ H}^{-1}(L)\to L\) with fiber \(F\).
In view of properties (i) and (ii), there are (unique) open Luna strata in \(Y /\!\kern-1pt/ H\) and \(Y\). They are called the principal strata and denoted by \((Y /\!\kern-1pt/ H)_ {\text{pr}} \) and \(Y_ {\text{pr}} \), respectively.
Lemma 3.1.
We keep the previous notation \(\,H,\) \(Y,\) and \(\,\alpha\). Let \(\,y\in Y\) be a point such that
-
(y1)
the orbit \(\,H \kern1pt {\cdot}\, y\) is closed in \(\,Y;\)
-
(y2)
\(H_y=\ker(\alpha)\).
Let \(\,\beta\) be an action of the group \(\,H\) on an algebraic variety \(\,Z\) such that
-
(k)
\(\ker(\alpha)=\ker(\beta),\)
and let \(\,\varphi \colon\, Z\to Y\) be an \(\,H\)-equivariant morphism such that \(\,\varphi^{-1}(H \kern1pt {\cdot}\, y)\neq \varnothing\). Then for every point \(\,z\in\varphi^{-1}(H \kern1pt {\cdot}\, y)\) the following conditions hold:
-
(z1)
the orbit \(\,H \kern1pt {\cdot}\, z\) is closed in \(\,Z;\)
-
(z2)
\(H_z=\ker(\beta)\).
Proof.
In view of condition (y1), the nonempty \(H\)-invariant subset \(\varphi^{-1}(H \kern1pt {\cdot}\, y)\) is closed in \(Z\) and hence contains the closure \(\overline{H \kern1pt {\cdot}\, z}\) of the orbit \({H \kern1pt {\cdot}\, z}\). Assume that (z1) fails, i.e., \(\overline{H \kern1pt {\cdot}\, z}\setminus {H \kern1pt {\cdot}\, z}\neq\varnothing\). Let \(v\in\overline{H \kern1pt {\cdot}\, z}\setminus {H \kern1pt {\cdot}\, z}\). Then
The restriction of the morphism \(\varphi\) to the orbit \(H \kern1pt {\cdot}\, v\) is \(H\)-equivariant, and therefore it is a surjective morphism \(H \kern1pt {\cdot}\, v\to H \kern1pt {\cdot}\, y\). So \(\dim(H \kern1pt {\cdot}\, v)\geq \dim(H \kern1pt {\cdot}\, y)\), which together with (3.1) gives
On the other hand, since \(H_z\supseteq \ker(\beta)\), conditions (y2) and (k) imply that \(\dim(H \kern1pt {\cdot}\, y)\geq \dim(H \kern1pt {\cdot}\, z)\). This contradicts (3.2) and proves condition (z1).
The restriction of the morphism \(\varphi\) to the orbit \(H \kern1pt {\cdot}\, z\) is \(H\)-equivariant, and therefore it is a surjective morphism \(H \kern1pt {\cdot}\, z\to H \kern1pt {\cdot}\, y\). Hence, there exists \(h\in H\) for which \(\varphi(h\cdot z)=y\). Therefore,
hence, we have \(H_{h\cdot z}=\ker(\beta)\). Since \(H_{h\cdot z}=hH_zh^{-1}\) and \(\ker(\beta)\) is normal in \(H\), this proves condition (z2). \(\quad\square\)
Lemma 3.2.
Let a commutative group \(\,H\) act transitively on a set \(\,M\). Then
-
(e1)
for every \(\,H\)-equivariant mapping \(\,\varphi \colon\, M\to M\) there is an element \(\,h\in H\) such that
$$ \varphi(m)=h\cdot m \qquad\textit{for every point}\quad m\in M;$$(3.3) -
(e2)
for every element \(\,h\in H,\) the map \(\,\varphi \colon\, M\to M\) defined by (3.3) is \(\,H\)-equivariant.
Proof.
(e1) Fix a point \(m_0\in M\). Since the action is transitive, for any point \(m\in M\) there is an element \(z\in H\) such that \(m=z\cdot m_0\). In particular, there is \(h\in H\) for which \(\varphi(m_0)=h\cdot m_0\). Since \(\varphi\) is \(H\)-equivariant and \(H\) is commutative, we then have
(e2) This follows directly from (3.3) in view of the commutativity of \(H\). \(\quad\square\)
4. Reduction
The proof of Theorem 1.1 is based on the following geometric description of the kernel of the homomorphism (1.5).
Lemma 4.1.
Let \(\,G\) be a connected affine algebraic group, and let \(\,R\) be a closed reductive subgroup of \(\,G\). The following properties of an element \(\,\sigma\in \mathrm{Aut} (F_n)\) are equivalent:
-
(a)
\(\sigma\) lies in the kernel of the homomorphism (1.5);
-
(b)
\(\sigma_X^{}( {\mathcal O} )= {\mathcal O} \) for every closed \(\,R\)-orbit \(\, {\mathcal O} \) in \(\,X\).
Proof.
In this case, the variety \(X\) is affine, which implies (see [9, §1.2 and Appendix B to Ch. 1]) that the morphism \(\pi\) is surjective, its fibers are \(R\)-invariant, and for every point \(b\in X /\!\kern-1pt/ R\) the fiber \(\pi^{-1}(b)\) contains a unique closed \(R\)-orbit \( {\mathcal O} _b\). It follows from (1.4) that the restriction of the morphism \(\sigma_X\) to the fiber \(\pi^{-1}(b)\) is its \(R\)-equivariant isomorphism with the fiber \(\pi^{-1}(\sigma_{X /\!\kern-1pt/ R}(b))\). In view of the uniqueness of closed orbits in the fibers, this means that \(\sigma_X( {\mathcal O} _b)= {\mathcal O} _{\sigma_{X /\!\kern-1pt/ R}(b)}\). Therefore, \(\sigma_{X /\!\kern-1pt/ R}(b)=b\) if and only if \(\sigma_X( {\mathcal O} _b)= {\mathcal O} _b\). \(\quad\square\)
Under the conditions of Lemma 4.1, the algebra \(k[X]^R\) of all \(R\)-invariant elements of the algebra \(k[X]\) of regular functions on \(X\) is finitely generated, \(X /\!\kern-1pt/ R\) is an affine algebraic variety with the algebra of regular functions \(k[X /\!\kern-1pt/ R]=k[X]^R\), and the comorphism corresponding to the morphism (1.3) is the identity embedding \(k[X]^R\hookrightarrow k[X]\). This implies that for any reductive closed subgroup \(S\) of \(G\) containing \(R\), the identity embedding \(k[X]^S\hookrightarrow k[X]^R\) determines a dominant morphism \(X /\!\kern-1pt/ R\to X /\!\kern-1pt/ S\). This morphism is \( \mathrm{Aut} (F_n)\)-equivariant. Therefore, the kernel of the action of the group \( \mathrm{Aut} (F_n)\) on \(X /\!\kern-1pt/ R\) lies in the kernel of its action on \(X /\!\kern-1pt/ S\).
In the situation considered in Theorem 1.1, this gives the following. By the assumption, in it, \(R\) is a subgroup of some maximal torus \(T\) of the group \(G\). Therefore, it follows from what has been said that it suffices to prove Theorem 1.1 for
In what follows, we assume that the group \(G\) satisfies the conditions of Theorem 1.1, i.e., it is connected and semisimple. Note that the kernel of the action of the group \(T\) on \(X\) is \( {\mathscr C} (G)\), since \( {\mathscr C} (G)\subset T\) (see [1, Sect. 13.17, Corollary 2(d)]).
5. Principal Luna stratum for the action of \(T\) on \(X\)
The variety \(X\) is smooth, and the group \(T\) is reductive. Therefore, the diagonal action of the torus \(T\) on \(X\) by conjugation determines the Luna stratifications of the varieties \(X\) and \(X /\!\kern-1pt/ T\). In what follows, by \(X_ {\text{pr}} \) we denote the principal stratum of this stratification of the variety \(X\).
Theorem 5.1.
Let \(\,G\) be a connected semisimple algebraic group with a maximal torus \(\,T\) acting diagonally by conjugation on the group variety \(\,X\) of the group \(\,G^n\). Then
-
(a)
the kernel of the specified action is \(\, {\mathscr C} (G);\)
-
(b)
the following properties of a point \(\,x\in X\) are equivalent:
-
(b1)
\(x\in X_ {\text{pr}} ;\)
-
(b2)
the orbit \(\,T \kern1pt {\cdot}\, x\) is closed in \(\,X,\) and \(\,T_x= {\mathscr C} (G);\)
-
(b1)
-
(c)
every fiber of the canonical morphism of the Luna stratum \(\,X_ {\text{pr}} \) is a \(\,T\)-orbit equivariantly isomorphic to \(\,T/ {\mathscr C} (G);\)
-
(d)
\(\mathrm{codim}_X(X\setminus X_ {\text{pr}} )\geq n\).
Proof.
(a) This statement is obvious.
(b) Denote by \( {\mathcal V} \) the trivial \(\mathrm{codim}_X(T)\)-dimensional vector bundle over \(T/ {\mathscr C} (G)\). Note that \(\dim(T/ {\mathscr C} (G))=\dim(T)\) since the group \( {\mathscr C} (G)\) is finite (see [1, Sect. 14.2, Corollary (a)]).
\(\bullet\,\) It suffices to prove that
-
(i)
the action of the torus \(T\) on \(X\) under consideration is stable;
-
(ii)
\( {\mathscr C} (G)\) is its stabilizer in general position,
or, in other words, that there is a nonempty open subset of \(X\) such that property (b2) holds for all points \(x\) of \(X\). Indeed, suppose such a subset exists. Since it is open, its intersection with the open set \(X_ {\text{pr}} \) is nonempty. Let \(x\) be a point of this intersection. Since \( {\mathscr C} (G)\) is the kernel of the action of the group \(T\) on \(X\), it follows from property (b2) that the normal bundle of the orbit \(T\cdot x\) is equivariantly isomorphic to \( {\mathcal V} \). This and the definition of the Luna strata imply that a closed \(T\)-orbit from \(X\) lies in \(X_ {\text{pr}} \) if and only if its normal bundle is equivariantly isomorphic to \( {\mathcal V} \). In particular, the dimension of this orbit is \(\dim(T)\). It remains to note that the \(T\)-orbit of any point \(y\in X_ {\text{pr}} \) is closed. Indeed, if this were not the case, then the unique closed \(T\)-orbit in the fiber \(\pi^{-1}_{X /\!\kern-1pt/ T}(\pi_{X /\!\kern-1pt/ T}^{}(y))\subseteq X_ {\text{pr}} \) that lies in its closure would have dimension strictly less than \(\dim(T \kern1pt {\cdot}\, y)\leq \dim(T)\), which contradicts the \(\dim(T)\)-dimensionality of this closed orbit.
\(\bullet\,\) Let us now prove that properties (i) and (ii) indeed hold. It suffices to prove them for \(n=1\). Indeed, suppose that for \(n=1\) they are proved, i.e., there is a nonempty open subset of \(G\) such that the \(T\)-orbit of its every point \(x\) is closed in \(G\) and \(T_x= {\mathscr C} (G)\). Then, as explained above, \(G_ {\text{pr}} \) is the set of all such points \(x\). Let \(\pi_i \colon\, X=G^n\to G\) be the natural projection onto the \(i\)th factor. Applying Lemma 3.1 to it, we infer that property (b2) holds for every point \(x\) of a nonempty set \(\pi_i^{-1}(G_ {\text{pr}} )\), which is open in \(X\); this means that properties (i) and (ii) hold.
\(\bullet\,\) It remains to prove that properties (i) and (ii) hold for \(n=1\). In [16, 6.11], it is proved that the action of \(G\) on itself by conjugation is stable and its stabilizer in general position is \(T\). From [5, Theorem and Sect. 3] and the reductivity of \(T\), it follows that the natural action of \(T\) on \(G/T\) is stable. These two facts imply, according to [10, Proposition 6], that property (i) holds for \(n=1\).
\(\bullet\,\) Let \(\Phi\) be the root system of the group \(G\) with respect to the torus \(T\) in which subsystems of positive and negative roots with respect to some base in \(\Phi\) are fixed. For any \(\alpha\in\Phi\), there is an embedding of algebraic groups \(\varepsilon_\alpha \colon\, {\mathbb G} _{\text{a}} \hookrightarrow G\) such that
(see [3, 26.3, Theorem] and [16, 2.1]). Consider in \(G\) the “big cell” \(\Theta\) (see [3, 28.5, Proposition]), i.e., the set of all elements of the form
where the factors in the products are taken with respect to some fixed orders on the sets of positive and negative roots. The set \(\Theta\) is open in \(G\) and each of its elements can be uniquely written as (5.2) (see [1, Sect. 14.5, Proposition (2), Sect. 14.14, Corollary] and [16, 2.2, 2.3]). In view of (5.1), it is \(T\)-invariant. The set \(\Theta^0\) of all elements of the form (5.2) with \(x_\alpha\neq 0\) for each \(\alpha\in\Phi\) has the same properties. Let \(a\in\Theta^0\) and \(c\in T\). It follows from (5.1) and the indicated uniqueness that the condition \(c\in T_a\) is equivalent to the condition
In turn, it follows from (5.1), (5.2), and the openness of \(\Theta^0\) that (5.3) is equivalent to the property that \(c\) belongs to the kernel of the action of \(T\) on \(G\); i.e., (5.3) is equivalent to the inclusion \(c\in {\mathscr C} (G)\). This proves that \(T_a= {\mathscr C} (G)\). Hence, property (ii) holds for \(n=1\). This completes the proof of statement (b).
(c) This follows from statement (b), since every fiber of the canonical morphism of any Luna stratum in \(X\) contains a unique orbit closed in \(X\).
(d) As explained in the proof of statement (b), the set \(X_ {\text{pr}} \) contains the set \(\bigcup_{i=1}^n \pi_i^{-1}(G_ {\text{pr}} )\), which implies
From (5.4) it follows that \(\dim (X\setminus X_ {\text{pr}} )\leq n(\dim( G)-1)=\dim(X)-n\). This proves statement (d). \(\quad\square\)
6. Proofs of Theorems 1.1–1.4
Proof of Theorem 1.1 .
As explained in Section 4, we can (and will) assume that equality (4.1) holds. Arguing by contradiction, suppose that the kernel of the homomorphism (1.5) contains an element \(\sigma\in \mathrm{Aut} (F_n)\), \(\sigma\neq e\). The cases \(n=1\) and \(n\geq 2\) will be considered separately; in each of them the proof is based on properties that do not hold in the other case.
Case \(\,n=1\). The order of \( \mathrm{Aut} (F_1)\) is \(2\) and \(\sigma(f_1)=f_1^{-1}\), so
For any element \(t\in T\), we have \(T\cdot t=t\). By Lemma 4.1, this implies that \(\sigma_X(t)=t\). Together with (6.1) this shows that \(t^2=e\) for any \(t\in T\). This conclusion contradicts the fact that the set of orders of elements of the torsion subgroup of any torus of positive dimension is not upper bounded (see [1, Sect. 8.9, Proposition]).
Case \(\,n\geq 2\). The proof is divided into several steps.
\(\bullet\,\) Since the kernel of the considered action of the torus \(T\) on \(X\) is \( {\mathscr C} (G)\) (see Theorem 5.1(a)), this action defines a faithful (that is, with trivial kernel) action on \(X\) of the torus
The orbits of this action of the torus \(S\), and hence the categorical quotient and the Luna stratifications, are the same as those of the action of the torus \(T\). Below, instead of the original action of the torus \(T\), we consider the indicated action of the torus \(S\).
\(\bullet\,\) Theorem 5.1(b) and Lemmas 4.1 and 3.2(e1) imply the existence of a set-theoretic mapping \(\psi \colon\, (X /\!\kern-1pt/ T)_ {\text{pr}} \to S\) such that
Let us prove that the set-theoretic mapping
is a morphism of algebraic varieties. According to Theorem 5.1(b) and property (iii) in Section 3, the canonical morphism \(X_ {\text{pr}} \to (X /\!\kern-1pt/ T)_ {\text{pr}} \) is an étale trivial bundle with fiber \(S\). Since algebraic tori are special groups in the sense of Serre (see [14, Proposition 14]), this bundle is locally trivial in the Zariski topology. Hence, \(X_ {\text{pr}} \) is covered by \(S\)-invariant open sets for which there are \(S\)-equivariant isomorphisms of them with varieties of the form \(U\times S\), where \(U\) is an open subset of \((X /\!\kern-1pt/ T)_ {\text{pr}} \) and the torus \(S\) acts through translations of the second factor. If we identify them by these isomorphisms, then the restriction of the mapping (6.4) to any of these open sets has the form
The issue therefore boils down to proving that \(\alpha\) is a morphism of algebraic varieties. To this end, note that since \(\sigma_X^{}\) is a morphism,
is also a morphism in view of (6.3). Hence
is a morphism as well. Moreover,
is also a morphism. It remains to note that \(\alpha=\gamma\circ\beta\).
\(\bullet\,\) Thus, there exists a rational mapping
which is defined everywhere on the open set \(X_ {\text{pr}} \) and coincides on it with the morphism (6.4). Since \(n\geq 2\), it follows from Theorem 5.1(d) that
The torus \(S\) can be identified with the product of several copies of the group \(k^\times\). Then \(\theta\) is given by a set of rational functions \(\theta_i \colon\, X \dashrightarrow k\) that are compositions of the mapping \(\theta\) with the projections of this product onto the factors. Each \(\theta_i\) is regular and does not vanish on \(X_ {\text{pr}} \). Since \(X\) is smooth, it follows from this and (6.6) that the divisor of \(\theta_i\) on \(X\) is zero, that is, \(\theta_i\) is regular and does not vanish on the whole of \(X\). Thus, we have a morphism \(\theta_i \colon\, X\to k^\times\). Since \(X\) is the group variety of the connected algebraic group \(G^n\), it follows from this and from [13, Theorem 3] that \(\theta_i\) is the product of a character of this group and a constant. But being semisimple, \(G^n\) has no nontrivial characters. Hence \(\theta_i\) is a constant. This means that there is an element \(s\in S\) for which \(\theta(X)=s\).
\(\bullet\,\) Fix an element \(t\in T\) mapped to \(s\) under the natural surjection \(T\to S\) (see (6.2)). We have proved that \(\sigma_X^{}(x)=t\cdot x\) for every point \(x\in X_ {\text{pr}} \). Since \(X_ {\text{pr}} \) is open in \(X\), this means that
Since \(\sigma\neq e\), it follows from [11, Theorem 2(b\(_1\))] that \(\sigma_X\neq \mathrm{id}_X\). In view of (6.7) and Theorem 5.1(a), this gives
It follows from (6.7), (1.1), and (1.2) that for each \(i\in\{1,\dots,n\}\) the following group identity holds:
In particular, for every \(g\in G\) the equality obtained by substituting \(g_1=\ldots=g_n=g\) into (6.9) holds. Since \(\sigma(f_i)\) is a noncommutative Laurent monomial in \(f_1,\dots,f_n\), this means that there exists an integer \(d\) such that the following group identity holds:
Notice that
Indeed, in view of (6.10), if \(d=1\), then \(t\in {\mathscr C} (G)\) contrary to (6.8). If \(d=-1\), then the equality
holds for any \(g, h\in G\), which means that the group \(G\) is commutative and contradicts its semisimplicity.
Further, if \(r\) is a positive integer, then the following group identity holds:
Indeed, (6.12) becomes (6.10) for \(r=1\). Arguing by induction, from \(t^{r-1}gt^{-r+1}=g^{d^{r-1}}\) we get
as stated.
Substituting \(g=t\) into (6.10) and taking into account (6.11), we conclude that \(t\) is an element of finite order. Let \(r\) in (6.12) be equal to this order. Then (6.12) turns into the group identity
In view of (6.11), we have \(d^r-1\neq 0\). Hence the group identity (6.13) implies that \(G\), and hence \(T\) as well, is a torsion group whose elements have upper bounded orders. We have arrived at the same contradiction as in the case \(n=1\). This completes the proof of Theorem 1.1. \(\quad\square\)
Proof of Theorem 1.2 .
Theorem 1.1 implies statement (a). The group \( \mathrm{Aut} (F_n)\) contains the group \(B_n\) (see [8, Sect. 3.7]), and for \(n\geq 3\) it is nonlinear (see [2]). By statement (a), this implies statements (b) and (c). Since the group \( {\mathscr C} (F_n)\) is trivial for \(n\geq 2\) (see [7, Ch. I, Proposition 2.19]), the group \(\mathrm{Int}(F_n)\) is isomorphic to \(F_n\) and hence is not amenable. This implies statement (d). \(\quad\square\)
Proof of Theorem 1.3 .
Let us prove that the group variety of the group \(G\) is birationally \(T\)-equivariantly isomorphic to some \(T\)-module. To this end, consider the open set \(\Theta\) in \(G\) introduced in the proof of Theorem 5.1 and fix the following objects:
-
•
a one-dimensional \(T\)-module \(L_\alpha\) for every \(\alpha\in\Phi\) on which \(T\) acts by the formula
$$ t\cdot \ell=\alpha(t)\ell,\qquad t\in T,\quad \ell\in L_\alpha;$$(6.14) -
•
a nonzero element \(\ell_\alpha\in L_\alpha\);
-
•
a trivial \(T\)-module \(F\) of dimension \(\dim(T)\);
-
•
an open embedding of algebraic varieties
$$\iota \colon\, \, T\hookrightarrow F$$(it exists because \(T\) is a torus).
Consider the \(T\)-module
where the summands in the direct sums are taken with respect to some fixed orders on the sets of positive and negative roots. In view of (5.1) and (6.14), the mapping \(\tau \colon\, \Theta\to V\) that sends each element (5.2) to the vector
is the required birational morphism (see [1, Sect. 14.4, Remark]).
Consequently,
is also a \(T\)-equivariant, and therefore \(R\)-equivariant, birational morphism.
Since \(R\) and \(V^n\) are a diagonalizable group and an \(R\)-module, respectively, the field \(k(V)^R\) is rational over \(k\) (see [12, Sect. 2.9]). Since \(\Theta^n\) is open in \(X\), this implies that the field \(k(X)^R\) is also rational over \(k\). But the action of \(T\) on \(X\) is stable, and \( {\mathscr C} (G)\) is the stabilizer in general position for it by Theorem 5.1(b). Since \(R\) is reductive, it follows from [5, Theorem and Sect. 3] that the natural action of \(R\) on \(T/ {\mathscr C} (G)\) is stable. Hence, according to [10, Proposition 6], the action of \(R\) on \(X\) is stable. By [12, Proposition 3.4], this implies that \(k(X)^R\) is the field of fractions of the algebra \(k[X]^R=k[X /\!\kern-1pt/ R]\). This is what the rationality of the variety \(X /\!\kern-1pt/ R\) means. \(\quad\square\)
Proof of Theorem 1.4 .
Let \(G=\mathrm{SL}_2\), so that \(\dim(G)=3\) and \(\dim(T)=1\). It follows from here and from Theorem 5.1(c) that \(\dim(X /\!\kern-1pt/ T)=3n-1\). Hence, since the variety \(X /\!\kern-1pt/ T\) is rational (Theorem 1.3), the group \( \mathrm{Aut} (X /\!\kern-1pt/ T)\) embeds into the Cremona group of rank \(3n- 1\). The claim of the theorem now follows from Theorem 1.2 and the fact that every Cremona group embeds into any Cremona group of higher rank. \(\quad\square\)
References
A. Borel, Linear Algebraic Groups (Springer, New York, 1991), Grad. Texts Math. 126.
E. Formanek and C. Procesi, “The automorphism group of a free group is not linear,” J. Algebra 149 (2), 494–499 (1992).
J. E. Humphreys, Linear Algebraic Groups (Springer, New York, 1975), Grad. Texts Math. 21.
D. Krammer, “Braid groups are linear,” Ann. Math., Ser. 2, 155 (1), 131–156 (2002).
D. Luna, “Sur les orbites fermées des groupes algébriques réductifs,” Invent. Math. 16, 1–5 (1972).
D. Luna, “Slices étalés,” Bull. Soc. Math. France., Suppl., Mém. 33, 81–105 (1973).
R. C. Lyndon and P. E. Schupp, Combinatorial Group Theory (Springer, Berlin, 1977), Ergebn. Math. Grenzgeb. 89.
W. Magnus, A. Karrass, and D. Solitar, Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations (Interscience, New York, 1966), Pure Appl. Math. 13.
D. Mumford and J. Fogarty, Geometric Invariant Theory, 2nd ed. (Springer, Berlin, 1982), Ergebn. Math. Grenzgeb. 34.
V. L. Popov, “Closed orbits of Borel subgroups,” Math. USSR, Sb. 63 (2), 375–392 (1989) [transl. from Mat. Sb. 135 (3), 385–402 (1988)].
V. L. Popov, “Embeddings of groups \(\mathrm {Aut}(F_n)\) into automorphism groups of algebraic varieties,” arXiv: 2106.02072 [math.AG].
V. L. Popov and E. B. Vinberg, “Invariant theory,” in Algebraic Geometry IV: Linear Algebraic Groups, Invariant Theory (Springer, Berlin, 1994), Encycl. Math. Sci. 55, pp. 123–278 [transl. from Itogi Nauki Tekh., Ser.: Sovrem. Probl. Mat., Fundam. Napravl. 55, 137–309 (1989)].
M. Rosenlicht, “Toroidal algebraic groups,” Proc. Am. Math. Soc. 12, 984–988 (1961).
J.-P. Serre, “Espaces fibrés algébriques,” in Séminaire C. Chevalley (2e année), Tome 3: Anneaux de Chow et applications (Secr. Math., Paris, 1958), Exp. 1, pp. 1–37.
J.-P. Serre, Algebraic Groups and Class Fields (Springer, New York, 1997), Grad. Texts Math. 117.
R. Steinberg, “Regular elements of semisimple algebraic groups,” Publ. Math., Inst. Hautes Étud. Sci. 25, 49–80 (1965).
Author information
Authors and Affiliations
Corresponding author
Additional information
Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2023, Vol. 320, pp. 287–297 https://doi.org/10.4213/tm4265.
To the memory of A. N. Parshin
Rights and permissions
Open Access. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Popov, V.L. Embeddings of Automorphism Groups of Free Groups into Automorphism Groups of Affine Algebraic Varieties. Proc. Steklov Inst. Math. 320, 267–277 (2023). https://doi.org/10.1134/S0081543823010121
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0081543823010121