| Izvestiya: Mathematics |
|
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers) Group varieties and group structures V. L. Popovab a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow b National Research University "Higher School of Economics", Moscow
Bibliographic databases:
     § 1. IntroductionThe central theme of this paper is the question as to what extent the group variety of a connected algebraic group or the group manifold of a real Lie group determines its group structure. The author was naturally led to consideration of this issue by the positive answer he gave in [1] to the question of B. Kunyavsky [2] about the validity of the statement formulated below as Corollary of Theorem 1. This statement concerns the possibility to represent the group variety of a connected reductive algebraic group in the form of a product of group varieties of its derived subgroup and connected component of the center (recall that the group itself, generally speaking, is not a direct product of these groups). It follows from this statement, in particular, that the group variety of any connected reductive non-semisimple algebraic group can be represented as a product of algebraic varieties of positive dimension. Sections 2 and 3 make up the content of [1] where the possibility of such representations is explored. For some of them, the existence is proved in Theorem 1, and in Theorems 2–5, on the contrary, their non-existence. Theorem 1 shows that there are non-isomorphic reductive groups whose group varieties are isomorphic. In Sections 4–9, we explore the problem, naturally arising in connection with this, of dependence of the group structure of a connected algebraic group on the geometric properties of its group variety. A striking illustration of this dependence is the classical theorem about the commutativity of a connected algebraic group whose group variety is complete. In an explicit or implicit form, this problem was considered in the classical papers of A. Weil [3], C. Chevalley [4], A. Borel [5], A. Grothendieck [6], Corollary, p. 5-02, M. Rosenlicht [3], Theorem 7, M. Lazard [8], Theorem. In Theorems 6–12, it is proved that such group characteristics of a connected algebraic group as dimensions of its radical and unipotent radical, reductivity, semisimplicity, solvability, unipotency, toricity, the property of being a semi-abelian variety can be expressed in terms of the geometric properties and numerical invariants of its group variety. Theorem 10 generalizes to the case of connected solvable affine algebraic groups M. Lazard’s theorem, which states that an algebraic group whose group variety is isomorphic to an affine space is unipotent. Theorem 1 when applied to connected semisimple algebraic groups (in contrast to its application to reductive non-semisimple ones), does not give a way to construct non-isomorphic such groups whose group varieties are isomorphic. However, in fact, such groups do exist: in Sections 6, 7 we find a method for constructing them. It is well known (see [9], § 4, Exercise 18), that for $n\geqslant 7$ there exist infinite (parametric) families of pairwise non-isomorphic $n$-dimensional connected unipotent algebraic groups. Being isomorphic to the $n$-dimensional affine space $\mathbb A^n$, their group varieties are isomorphic to each other. We show that the situation is different for connected reductive algebraic groups: in Theorem 15, it is proved that for any such group $R$ the number of all algebraic groups, considered up to isomorphism, whose group variety is isomorphic to the group variety of $R$ is finite. Generally speaking, this number is greater than $1$. We prove (Theorems 15, 16) that if the group $R$ is either simply connected and semisimple, or simple, then it is equal to $1$. The proof of Theorem 15 relies on the general finiteness theorem for the number of connected reductive algebraic groups of a fixed rank, considered up to isomorphism (Theorem 18, it is proved in Section 9). Theorem 18 is a fundamental fact of the theory of algebraic groups that is well known for semisimple groups (for which it follows from the finiteness of their centers). However, in full generality (that is, for reductive, and not just semisimple groups), the author failed to find it in the literature. The obtained results imply similar results for connected compact real Lie groups, in particular, the finiteness theorem for the number of such groups of any fixed dimension (Theorem 20). As in the case of Theorem 18, the author failed to find this fundamental fact of the theory of compact real Lie groups in the literature. The same applies to the finiteness theorem for the number of reduced root data of any fixed rank, which follows from the Theorem 18 (see Theorem 19). In Section 8, we formulate several open questions that arouse from this paper. The results of this paper were announced in [10]–[13]. Conventions and notationThe group variety (manifold) of an algebraic (real Lie) group means its underlying variety (manifold). We follow the point of view on algebraic groups adopted in [14]–[16], and use the following notation:
§ 2. Reductive groups with isomorphic group varietiesIn this section, we prove the existence of some representations of group varieties of affine algebraic groups in the form of products of algebraic varieties, and also the existence of connected non-isomorphic reductive non-semisimple algebraic groups whose group varieties are isomorphic algebraic varieties. Let $G$ be a connected reductive algebraic group. Then
$$
\begin{equation*}
D:=\mathscr{D}(G)\quad\text{and}\quad Z:=\mathscr{C}(G)^\circ
\end{equation*}
\notag
$$
are, respectively, a connected semisimple algebraic group and a torus (see [14], Sect. 14.2, Proposition (2)). The algebraic groups $D\times Z$ and $G$ are not always isomorphic; the latter is equivalent to the equality $D\cap Z=\{e\}$, that, in turn, is equivalent to the property that the isogeny of algebraic groups $D\times Z\to G$, $(d, z)\mapsto d z$, is their isomorphism. Theorem 1. There is an injective homomorphism of algebraic groups $\iota\colon Z\hookrightarrow G$ such that the mapping is an isomorphism of algebraic varieties (but, in general, not a homomorphism of algebraic groups). Corollary 1. The group varieties of (in general, non-isomorphic) algebraic groups $D\times Z$ and $G$ are isomorphic algebraic varieties. Remark 1. The existence of $\iota$ in the proof of Theorem 1 is established by an explicit construction. Example 1 ([17], Theorem 8, Proof). Let $G=\operatorname{GL}_n$. Then $D=\operatorname{SL}_n$, $Z=\{\operatorname{diag}(t,\dots, t)\mid t\in k^\times\}$, one can take as $\iota$. In this example, if $n\geqslant 2$, then $G$ and $D\times Z$ are non-isomorphic algebraic groups, because the center of $G$ is connected and that of $D\times Z$ is not. Proof of Theorem 1. Let $T_D$ be a maximal torus of the group $D$, and $T_G$ be a maximal torus of the group $G$ containing $T_D$. The torus $T_D$ is a direct factor of the torus $T_G$: i.e., in the latter, there is a torus $S$ such that the map $T_D\times S\to T_G$, $(t, s)\mapsto ts$, is an isomorphism of algebraic groups (see [14], Sect. 8.5, Corollary).
We shall show that the mapping is an isomorphism of algebraic varieties.We have (see [14], Sect. 14.2, statements (1), (3) of Proposition)
$$
\begin{equation}
\text{(a) }Z\subseteq T_G,\quad \text{(b) }DZ=G,\quad \text{(c) }|D\cap Z|<\infty.
\end{equation}
\tag{3}
$$
Let $g\in G$. In view of (3), (b), there are the elements $d\in D$, $z\in Z$, such that $g=dz$, and in view of (3), (a) and the definition of $S$, there are the elements $t\in T_D$, $s\in S$, such that $z=ts$. We have $dt\in D$ and $\psi(dt,s)=dts=g$. Therefore, the morphism $\psi$ is surjective. Consider in $G$ a pair of mutually opposite Borel subgroups containing $T_G$. Their unipotent radicals $U$ and $U^-$ lie in the group $D$. Let $N_D(T_D)$ and $N_G(T_G)$ be the normalizers of the tori $T_D$ and $T_G$ in the groups $D$ and $G$, respectively. Then $N_D(T_D)\subseteq N_G(T_G)$ in view of (3), (b). The homomorphism $N_D/T_D\to N_G/T_G$ induced by this embedding is an isomorphism of groups (see [14], Chap. IV, § 13), by which we identify them and denote by $W$. For every element $\sigma\in W$ we fix a representative $n_\sigma\in N_D(T_D)$. The group $U\cap n_{\sigma}U^-n_{\sigma}^{-1}$ does not depend on the choice of this representative because $T_D$ normalizes the group $U^-$; we denote it by $U'_{\sigma}$. It follows from the Bruhat decomposition that for every element $g\in G$ there are uniquely defined elements $\sigma\in W$, $u\in U$, $u'\in U'_\sigma$ and $t_G\in T_G$ such that $g=u'n_\sigma u t_G$ (see [15], Sect. 28.4, Theorem). In view of the definition of the torus $S$, there are uniquely defined elements $t_D\in T_D$ and $s\in S$ such that $t_G=t_Ds$, and since $u', n_\sigma, u,t_D\in D$, the condition $g\in D$ is equivalent to the condition $s= e$. It follows from this and the definition of the morphism $\psi$ that the latter is injective. Thus, $\psi$ is a bijective morphism. Therefore, to prove that it is an isomorphism of algebraic varieties, it remains to prove its separability (see [14], Sect. 18.2, Theorem). We have $\operatorname{Lie}(G) = \operatorname{Lie}D + \operatorname{Lie}(T_G)$ (see [14], Sect. 13.18, Theorem) and $\operatorname{Lie}(T_G) = \operatorname{Lie} (T_D) + \operatorname{Lie}(S)$ (in view of the definition of the torus $S$). Therefore,
$$
\begin{equation}
\operatorname{Lie}(G)=\operatorname{Lie}(D)+\operatorname{Lie}(S).
\end{equation}
\tag{4}
$$
On the other hand, from (2) it is obvious that the restrictions of the morphism $\psi$ to the subgroups $D\times\{e\}$ and $\{e\}\times S$ in $D\times S$ are isomorphisms, respectively, with the subgroups $D$ and $S$ in $G$. Since $\operatorname{Lie}(D\times S)= \operatorname{Lie}(D\times \{e\}) + \operatorname{Lie}(\{e\} \times S)$, from (4) it follows that the differential of the morphism $\psi$ at the point $(e, e)$ is surjective. Therefore (see [14], Sect. 17.3, Theorem), the morphism $\psi$ is separable.
Since $\psi$ is an isomorphism, from (2) we infer that $\dim(G)=\dim(D) +\dim(S)$. On the other hand, from (3), (b), (c) it follows that $\dim(G)=\dim(D)+\dim(Z)$. Therefore, $Z$ and $S$ are equidimensional and hence isomorphic tori. Consequently, as $\iota$ one can take the composition of any tori isomorphism $Z\to S$ with the identity embedding $S \hookrightarrow G$. § 3. Properties of factorsIn contrast to the previous section, this one, on the contrary, concerns the non-existence of some representations of the group variety of an affine algebraic group as a product of algebraic varieties. Theorem 2. An algebraic variety, on which there is a non-constant invertible regular function, cannot be a direct factor of the group variety of a connected semisimple algebraic group. Proof. If the statement of Theorem 2 were not true, then the existence of the non-constant invertible regular function specified in it would imply the existence of such a function on a connected semisimple algebraic group. Dividing this function by its value at the unit element, we would then get, according to [7], Theorem 3, a non-trivial character of this group, which contradicts the absence of non-trivial characters of any connected semisimple groups. Below, unless otherwise stated, we assume that $k=\mathbb C$. By the Lefschetz principle, Theorems 4, 5, 14–16 proved below are valid for any field $k$ of characteristics zero. Topological terms refer to classical topology, while homology and cohomology are singular. Every complex reductive algebraic group $G$ has a compact real form, every two such forms are conjugate, and if $\mathsf{G}$ is one of them, then the topological manifold $G$ is homeomorphic to the product of $\mathsf{G}$ and a Euclidean space (see [18], Chap. 5, § 2, Theorems 2, 8, 9). Therefore, $G$ and $\mathsf{G}$ have the same homology and cohomology. This is used below without further explanation. Theorem 3. If a $d$-dimensional algebraic variety $X$ is a direct factor of the group variety of a connected reductive algebraic group, then Proof. Suppose that there is a connected reductive algebraic group $G$ and an algebraic variety $Y$ such that the group variety of the group $G$ is isomorphic to $X\times Y$. Let $n:=\dim (G)$, then $\dim (Y)=n-d$. The algebraic varieties $X$ and $Y$ are irreducible non-singular and affine. Therefore (see [19], Theorem 7.1)
$$
\begin{equation}
H_i(X, \mathbb Z)=0 \quad\text{for}\quad i>d, \qquad H_j(Y, \mathbb Z)=0\quad \text{for}\quad j>n-d.
\end{equation}
\tag{5}
$$
By the universal coefficient theorem, for every algebraic variety $V$ and every $i$, we have
$$
\begin{equation}
H_i(V, \mathbb Q)\simeq H_i(V, \mathbb Z)\otimes \mathbb Q,
\end{equation}
\tag{6}
$$
and by the Künneth formula,
$$
\begin{equation}
H_n(G,\mathbb Q)\simeq H_n(X\times Y, \mathbb Q)\simeq \bigoplus_{p+q=n}H_p(X, \mathbb Q)\otimes H_q(Y, \mathbb Q).
\end{equation}
\tag{7}
$$
Therefore, from (5), (7) it follows that
Consider a compact real form $\mathsf{G}$ of the group $G$. Since $\mathsf{G}$ is a closed connected orientable $n$-dimensional topological manifold, $H_n(\mathsf{G}, \mathbb Q)\simeq\mathbb Q$. Hence, $H_n(G, \mathbb Q) \simeq \mathbb Q$. From this and (8) it follows that $H_d(X, \mathbb Q)\simeq \mathbb Q$. In turn, in view of (6), the latter implies $H_d(X, \mathbb Z)\simeq \mathbb Z$, because $H_d(X, \mathbb Z)$ is a finitely generated (see [20], Sect. 1.3) torsion-free abelian group (see [21], Theorem 1). Corollary 2. A contractible algebraic variety (in particular, $\mathbb A^d$) of positive dimension cannot be a direct factor of the group variety of a connected reductive algebraic group. Theorem 4. An algebraic curve cannot be a direct factor of the group variety of a connected semisimple algebraic group. Proof. Suppose that an algebraic curve $X$ is a direct factor of the group variety of a connected semisimple algebraic group $G$. Then $X$ is irreducible, non-singular, affine, and there is a surjective morphism $\pi\colon G\to X$. Due to rationality of the group variety of $G$ (see [14], Sect. 14.14), the existence of $\pi$ implies unirationality, and hence, by Luroth’s theorem, rationality of $X$. Therefore, $X$ is isomorphic to an open subset $U$ of $\mathbb A^1$. The case $U= \mathbb A^1$ is impossible due to Theorem 3. If $U\neq \mathbb A^1$, then there is a non-constant invertible regular function on $X$, which is impossible in view of Theorem 2. Theorem 5. An algebraic surface cannot be a direct factor of the group variety of a connected semisimple algebraic group. Proof. Suppose that there are a connected semisimple algebraic group $G$ and the algebraic varieties $X$ and $Y$ (necessarily irreducible and smooth) such that $X$ is a surface, and the product $X\times Y$ is isomorphic to the group variety of the group $G$. We keep the notation of the proof of Theorem 3. Since the group $G$ is semisimple, the group $\mathsf{G}$ is semisimple too. Hence, $H^1(\mathsf{G}, \mathbb Q)=H^2(\mathsf{G}, \mathbb Q)=0$ (see [22], § 9, Theorem 4, Corollary 1). Insofar as the $\mathbb Q$-vector spaces $H^i(\mathsf{G}, \mathbb Q)$ and $H_i(\mathsf{G}, \mathbb Q)$ are dual to each other, this gives Since the group $G$ is connected, the topological manifolds $X$ and $Y$ are connected too. Therefore, From (7), (9) and (10) it follows that $H_2(X,\mathbb Q)=0$. In view of (6), this contradicts Theorem 3, which completes the proof. Remark 2. Theorem 4 can be proved in the same way as Theorem 5. Namely, in the proof of the latter, one only needs to consider $X$ being a curve, and then the arguments used in it lead to the equality $H_1(X,\mathbb Q)=0$, which contradicts Theorem 3. The other proof is given in the hope that it raises the chances of carrying over Theorem 4 to positive characteristic. § 4. Group properties determined by properties of group varietyTheorem 1 naturally leads to the question as to what extent the group variety of an algebraic group determines its group structure. Explicitly or implicitly, this question has long been considered in the literature. For example, M. Lazard proved in [8] that if the group variety of an algebraic group is isomorphic to an affine space, then this group is unipotent (for a short proof, see Remark 3 below). By Chevalley’s theorem, every connected algebraic group $G$ contains the largest connected affine normal subgroup $G_{\mathrm{aff}}$, and the group $G/G_{\mathrm{aff}}$ is an abelian variety. M. Rosenlicht in [7] considered $G$ such that $G_{\mathrm{aff}}$ is a torus; this property is equivalent to the absence of connected one-dimensional unipotent subgroups in $G$. In modern terminology (see [23], Sect. 5.4) such groups are called semi-abelian varieties (M. Rosenlicht called them toroidal). Next Theorem 6 gives a criterion that the group $G$ is a semi-abelian variety in terms of geometric properties of its group variety (the proof does not use the restriction on the characteristic of the field $k$; constraint (b) in Theorem 6 is weaker than the constraint made in [23], Proposition 5.4.5). Theorem 6 (semi-abelianness criterion). The following properties of a connected algebraic group $G$ are equivalent: $(\mathrm{sa}_1)$ $G$ is semi-abelian; $(\mathrm{sa}_2)$ $G$ does not contain subvarieties isomorphic to $\mathbb{A}^1$. Proof. Let $\pi\colon G\to G/G_{\mathrm{aff}}$ be the natural epimorphism, and let $X$ be a subvariety of $G$, isomorphic to $\mathbb A^1$. Shifting it by an appropriate element of the group $G$, we can assume that the unit element $e$ of the group $G$ lies in $X$. Since the variety $X$ is isomorphic to the group variety of the group $\mathbb G_a$, we can endow the variety $X$ with a structure of an algebraic group isomorphic to group $\mathbb G_a$, with the unit element $e$. Then $\pi|_X\colon X\to G/G_{\mathrm{aff}}$ is a homomorphism of algebraic groups in view of [7], Theorem 3. Since $X$ is an affine and $G/G_{\mathrm{aff}}$ is a complete algebraic variety, this yields $X\subseteq G_{\mathrm{aff}}$. Therefore, the matter comes down to proving the equivalence of the following properties:
$(\mathrm{sa}_1')$ $G_{\mathrm{aff}}$ is a torus; $(\mathrm{sa}_2')$ $G$ does not contain subvarieties isomorphic to $\mathbb{A}^1$. $(\mathrm{sa}_1') \Rightarrow (\mathrm{sa}_2')$. Let the subvariety $X$ of the torus $G_{\mathrm{aff}}$ be isomorphic to $\mathbb{A}^1$. The algebra of regular functions on $G_{\mathrm{aff}}$ is generated by invertible functions. This means that this is also the case for the algebra of regular functions on $X$. This contradicts the fact that there are no non-constant invertible regular functions on $\mathbb A^1$. $(\mathrm{sa}_2')\Rightarrow (\mathrm{sa}_1')$. If $(\mathrm{sa}_2')$ holds, then $G_{\mathrm{aff}}$ is reductive, since the variety $\mathscr R_u(G_{\mathrm{aff}})$ is isomorphic to $\mathbb A^d$ (see [6], p. 5-02, Corollary), which for $d>0$ contains affine lines. In addition, $\mathscr{D}(G_{\mathrm{aff}})=\{e\}$, because root subgroups in a semisimple group are isomorphic to ${\mathbb G}_a$, whose group variety is isomorphic to $\mathbb A^1$. Hence, $G_{\mathrm{aff}}$ is a torus. Corollary 3. The following properties of a connected algebraic group $G$ are equivalent: (a) the group variety of the group $G$ has no subvarieties isomorphic to $\mathbb{A}^1$; (b) the group $G$ has no algebraic subgroups isomorphic to ${\mathbb G}_a$. Proof. According to [7], Proposition, property (b) is equivalent to $G$ being semi-abelian variety. Therefore, the claim follows from Theorem 6. Below is listed a series of group properties of connected affine algebraic groups determined by the properties of their group varieties. In the formulations of the corresponding statements, the following numerical invariants of group varieties are used. Let $X$ be an irreducible algebraic variety. The multiplicative group $k[X]^\times$ of invertible regular functions on $X$ contains the subgroup of non-zero constants $k^\times$, and the quotient $k[X]^\times /k^\times$ is a free abelian group of a finite rank (see [7], Theorem 1). Let us denote
$$
\begin{equation}
\operatorname{units}(X):=\operatorname{rank}(k[X]^\times /k^\times).
\end{equation}
\tag{11}
$$
According to [7], Theorems 2, 3, this invariant has the following properties: (i) if $X$ and $Y$ are irreducible algebraic varieties, then
$$
\begin{equation}
\operatorname{units}(X\times Y)=\operatorname{units}(X)+\operatorname{units}(Y);
\end{equation}
\tag{12}
$$
(ii) if $G$ is a connected algebraic group, then
$$
\begin{equation}
\operatorname{units}(G)=\operatorname{rank}\bigl(\operatorname{Hom}(G, \mathbb G_m)\bigr).
\end{equation}
\tag{13}
$$
Lemma 1. Let $G$ be a connected algebraic group. Then (i) $\operatorname{units}(G)\leqslant \dim(G)$; (ii) the equality in (i) is equivalent to the property that $G$ is a torus. Proof. By [24], Corollary 5 of Theorem 16, the kernel of every character of the group $G$ contains the smallest normal algebraic subgroup $D$ of $G$ such that the group $G/D$ is affine. In view of this and (13), in what follows we can (and will) assume that $G$ is affine. Similarly, since $\mathscr{R}_u(G)$ lies in the kernel of every character of $G$, we can (and will) assume that $G$ is reductive. Let $T$ be a maximal torus of $G$. Since the set $\bigcup_{g\in G}gTg^{-1}$ is dense in $G$ (see [14], Sect. 12.1, Theorem (a), (b); and Sect. 13.17, Corollary 2, (c)), the restriction of characters of $G$ to $T$ is a group embedding $\operatorname{Hom}(G,\mathbb G_m)\hookrightarrow \operatorname{Hom}(T, \mathbb G_m)$, whence, in view of (13) and [14], Sect. 8.5, Proposition, we get $\operatorname{units}(G)\leqslant \operatorname{units}(T)=\dim(T)\leqslant \dim(G)$. This completes the proof of the lemma. Below we use the following notation:
$$
\begin{equation}
\operatorname{mh}(X):=\max\{d\in \mathbb Z_{\geqslant 0}\mid H_d(G, \mathbb Q)\neq 0\}.
\end{equation}
\tag{14}
$$
If $X$ is a non-singular affine algebraic variety, then, according to [19], Theorem 7.1, Theorem 7. If $G$ is a connected affine algebraic group, then Proof. By [6], p. 5-02, Corollary, the group variety of the group $\mathscr{R}_u(G)$ is isomorphic to an affine space. Therefore, the group varieties of the groups $G$ and $R:=G/\mathscr{R}_u(G)$, considered as topological manifolds, are homotopy equivalent. Therefore, $H_i(G,\mathbb Q)\simeq H_i(R,\mathbb Q)$ for every $i$ and hence, Since the group $R$ is reductive, it follows from(6) and Theorem 3 that In view of $\dim(R)=\dim(G)-\dim (\mathscr{R}_u(G))$ equalities (17) and (18) imply (15).
The group $\mathscr{R}(G)$ is a semi-direct product of its maximal torus $T$ and the group $\mathscr{R}_u(G)$ (see [14], Sect. 10.6, Theorem), so
$$
\begin{equation}
\dim (\mathscr{R}(G))=\dim(T)+\dim(\mathscr{R}_u(G)).
\end{equation}
\tag{19}
$$
Let $\pi\colon G\to G/\mathscr{R}_u(G)$ be the canonical projection. Then (see [14], Sect. 11.21)
$$
\begin{equation}
\pi(T)=\pi(\mathscr{R}(G))=\mathscr{C}(G/\mathscr{R}_u(G))^{\circ}.
\end{equation}
\tag{20}
$$
Since the group $G/\mathscr{R}_u(G)$ is reductive, it follows from (13) and (20) that
$$
\begin{equation}
\begin{aligned} \, \operatorname{units}(G)&=\operatorname{rank}\bigl(\operatorname{Hom}(G, \mathbb G_m)\bigr) = \operatorname{rank}\bigl(\operatorname{Hom}(G/\mathscr{R}_u(G), \mathbb G_m)\bigr) \nonumber \\ &=\dim\bigl(\mathscr{C}(G/\mathscr{R}_u(G))^{\circ}\bigr) = \dim\bigl(\pi(T)\bigr)=\dim(T). \end{aligned}
\end{equation}
\tag{21}
$$
Now equality (16) follows from (15), (19) and (21). Theorem 7 is proved. Since reductivity (respectively, semisimplicity) of a connected affine algebraic group is equivalent to the triviality of its unipotent radical (respectively, radical), Theorem 7 gives the following criteria for reductivity and semisimplicity in terms of the geometric properties of the group variety. Theorem 8 (reductivity criterion). The following properties of a connected affine algebraic group $G$ are equivalent: $(\mathrm{red}_1)$ $G$ is reductive; $(\mathrm{red}_2)$ $\dim(G)=\operatorname{mh}(G)$. If these properties hold, then $\dim(\mathscr C(G))=\operatorname{units}(G)$. Proof. The first claim follows from (15), and the second from (20) and (21), which completes the proof of the theorem. Theorem 9 (semisimplicity criterion). The following properties of a connected affine algebraic group $G$ are equivalent: $(\mathrm{ss}_1)$ $G$ is semisimple; $(\mathrm{ss}_2)$ $\dim(G)=\operatorname{mh}(G)-\operatorname{units}(G)$; $(\mathrm{ss}_3)$ $\dim(G)=\operatorname{mh}(G)$ and $\operatorname{units}(G)=0$. Proof. $(\mathrm{ss}_1)\Leftrightarrow(\mathrm{ss}_2)$ follows from (16). In view of reductivity of semisimple groups and finiteness of their centers, from Theorem 8 it follows that $(\mathrm{ss}_1)\Rightarrow(\mathrm{ss}_3)$. Clearly, $(\mathrm{ss}_3)\Rightarrow(\mathrm{ss}_2)$. The theorem is proved. The following Theorem 10 generalizes M. Lazard’s theorem [8] to the case of connected solvable affine algebraic groups and shows that solvability of a connected affine algebraic group also can be characterized in terms of the geometric properties of its group variety. Theorem 10 (solvability criterion). The following properties of a connected affine algebraic group $S$ are equivalent: $(\mathrm{sol}_1)$ $S$ is solvable; $(\mathrm{sol}_2)$ $\operatorname{mh}(S)=\operatorname{units}(S)$; $(\mathrm{sol}_3)$ there are nonnegative integers $t$ and $r$ such that the group variety of the group $S$ is isomorphic to $\mathbb{A}_*^t\times \mathbb{A}^r$, and in this case, necessarily $t=\operatorname{units}(S)$. If these properties hold, then the dimension of maximal tori of the group $S$ is equal to $\operatorname{units}(S)$ and the following equality holds: Proof. $(\mathrm{sol}_1)\Leftrightarrow(\mathrm{sol}_2)$. Let $G:=S/\mathscr{R}_u(S)$; it is a connected reductive algebraic group. We shall use the same notation as in the proof of Theorem 1. Solvability of the group $S$ is equivalent to the equality $G=Z$, whence, in view of connectedness of the groups $G$ and $Z$, it follows that
$$
\begin{equation}
S\text{ is solvable}\quad \Longleftrightarrow\quad \dim (G)=\dim (Z).
\end{equation}
\tag{23}
$$
Given (15) and (17), we have
The elements of the group $\operatorname{Hom}(S, \mathbb G_m)$ (respectively, $\operatorname{Hom}(G, \mathbb G_m)$) are trivial on the group $\mathscr{R}_u(S)$ (respectively, $D$). It follows this and (3), (b) that
$$
\begin{equation}
\begin{aligned} \, \operatorname{Hom}(S, \mathbb G_m) &\simeq \operatorname{Hom}(G, \mathbb G_m), \\ \operatorname{Hom}(G, \mathbb G_m) &\simeq \operatorname{Hom}(Z/(Z\cap D), \mathbb G_m). \end{aligned}
\end{equation}
\tag{25}
$$
From (13), (25) and (3), (c) we obtain
$$
\begin{equation}
\begin{aligned} \, \operatorname{units}(S) &=\operatorname{rank}\bigl(\operatorname{Hom}(Z/(Z\cap D), \mathbb G_m)\bigr) \nonumber \\ &=\dim(Z/(Z\cap D))=\dim (Z). \end{aligned}
\end{equation}
\tag{26}
$$
Matching (23), (24) and (26) completes the proof the equivalence $(\mathrm{sol}_1)\Leftrightarrow(\mathrm{sol}_2)$.
$(\mathrm{sol}_1)\Rightarrow(\mathrm{sol}_3)$. This is proved in [6], p. 5-02, Corollary, for the field $k$ of any characteristic. $(\mathrm{sol}_3)\Rightarrow(\mathrm{sol}_2)$. Let $(\mathrm{sol}_3)$ holds. It follows from (12), (13) and the evident equality $\operatorname{units}(\mathbb{A}^r)=0$ that
$$
\begin{equation}
\operatorname{units}(\mathbb{A}_*^t\times \mathbb{A}^r)=t.
\end{equation}
\tag{27}
$$
On the other hand, since the topological manifold $\mathbb A^r$ is contractible, and $\mathbb{A}_*^t$ is homotopically equivalent to the product of $t$ circles, we have
$$
\begin{equation*}
H_j(\mathbb{A}_*^t\times \mathbb{A}^r, \mathbb Q)=\begin{cases} \mathbb Q &\text{for }j=t, \\ 0 & \text{for }j>t; \end{cases}
\end{equation*}
\notag
$$
we conclude from this and (14) that
$$
\begin{equation}
\operatorname{mh}(\mathbb{A}_*^t\times \mathbb{A}^r)=t.
\end{equation}
\tag{28}
$$
Comparing (27) with (28) completes the proof of the implication $(\mathrm{sol}_3)\Rightarrow(\mathrm{sol}_2)$, and with it the proof of the first claim of the theorem.
Let the properties specified in the first statement of the theorem be satisfied. Then it follows from the property $(\mathrm{sol}_1)$ and [14], Sect. 10.6, Theorem (4), that the dimension of maximal tori in $S$ is equal to $\dim(S/\mathscr{R}_u(S))=\dim (G)$, which, by (23) and (26), is equal to $\operatorname{units}(S)$. Equality (22) follows from equalities (15) and $(\mathrm{sol}_2)$. This proves the second claim of the theorem. The group $S$ is unipotent (respectively, is a torus) if and only if it is solvable (i.e., by (c), its group variety is isomorphic to $\mathbb{A}_*^t\times \mathbb{A}^r$) and by Theorem 7 the equality $\operatorname{mh}(S)=0$ (respectively, $\operatorname{mh}(S)=\dim(S)$) holds. Now the last claim of the theorem follows from (28). Theorem 10 is proved. Remark 3. Here is a short proof of M. Lazard’s theorem [8], suitable for the field $k$ of any characteristic. Proof of M. Lazard’s theorem (see [8]). Let the group variety of the group $G$ be isomorphic to $\mathbb A^r$. If $G$ is not unipotent, then $G$ contains a non-identity semisimple element, and therefore, also a non-identity torus (see Theorems in [14], Sects. 4.4, 11.10). The action of this torus on $G$ by left translations has no fixed points. This contradicts the fact that every algebraic torus action on $\mathbb A^r$ has a fixed point, (see [25], Theorem 1). The theorem is proved. The next two theorems show that unipotency and toricity of a connected affine algebraic group can also be characterized in terms of the introduced numerical invariants of its group variety. Theorem 11 (unipotency criterion). The following properties of a connected affine algebraic group $G$ are equivalent: $(\mathrm{u}_1)$ $G$ is unipotent; $(\mathrm{u}_2)$ $\operatorname{mh}(G)=\operatorname{units}(G)=0$; $(\mathrm{u}_3)$ the group variety of the group $G$ is isomorphic to $\mathbb{A}^{\dim(U)}$. Proof. In view of solvability of unipotent groups, the equivalence $(\mathrm{u}_1)\Leftrightarrow(\mathrm{u}_2)$ (respectively, $(\mathrm{u}_1)\Leftrightarrow(\mathrm{u}_3)$) follows from the equivalence $(\mathrm{sol}_1)\Leftrightarrow(\mathrm{sol}_2)$ (respectively, $(\mathrm{sol}_1)\Leftrightarrow(\mathrm{sol}_3)$) and formula (22) in Theorem 10. The theorem is proved. In the following theorem, the characteristic of the field $k$ can be arbitrary. Theorem 12 (toricity criterion). The following properties of a connected affine algebraic group $G$ are equivalent: $(\mathrm{t}_1)$ $G$ is a torus; $(\mathrm{t}_2)$ $\dim(G)=\operatorname{units}(G)$; $(\mathrm{t}_3)$ the group variety of the group $G$ is isomorphic to $\mathbb{A}_*^{\dim(G)}$. Proof. Lemma 1 gives $(\mathrm{t}_1)\Leftrightarrow(\mathrm{t}_2)$. The implication $(\mathrm{t}_3)\Rightarrow(\mathrm{t}_2)$ follows from (12) and $\operatorname{units}(\mathbb A_*^1)=1$, while $(\mathrm{t}_1)\Rightarrow(\mathrm{t}_3)$ is evident. The theorem is proved.
§ 5. Different group structures on the same varietyAs is known (see [9], § 4, Exercise 18), there are infinitely many pairwise non-isomorphic connected unipotent algebraic groups of any fixed dimension $\geqslant 7$; their group varieties, however, all are isomorphic to each other (see Theorem 10). On the other hand, there are types of connected algebraic groups for which group varieties define group structure unambiguously. The following Theorem 13 shows that such types include semi-abelian varieties (the proof does not use restrictions on the characteristic of the field $k$). Below we will find other types of algebraic groups that have the indicated uniqueness property (see Theorems 15, (b), 16). Theorem 13. Let $G_1$ and $G_2$ be algebraic groups, one of which is a semi-abelian variety. The following properties (a) and (b) are equivalent: (a) the group varieties of the groups $G_1$ and $G_2$ are isomorphic; (b) the algebraic groups $G_1$ are $G_2$ are isomorphic. Proof. Let $G_1$ be a semi-abelian variety. Then, according to [7], Theorem 3, the composition of an isomorphism of the group varieties $G_2\to G_1$ with a suitable left translation of $G_1$ is an isomorphism of algebraic groups, which proves (a) $\Rightarrow$ (b). The theorem is proved. Corollary 4. Algebraic groups, among which there is either a torus or an abelian variety, are isomorphic if and only if their group varieties are isomorphic. From this, in particular, one obtains the fact, discovered by A. Weil, that abelian varieties are isomorphic if and only if their group varieties are isomorphic (see [3]). Remark 4. Semi-abelian varieties are commutative. In preprint [26], published after preprint [10] of the first version of this paper, it is proved that, for $\operatorname{char}(k)=0$, if the group varieties of two connected commutative algebraic groups are isomorphic, then these algebraic groups are isomorphic. The existence of Witt groups shows that in this statement the condition $\operatorname{char}(k)=0$ cannot be dropped. We now investigate the problem of determinability of group structure by the properties of group variety for reductive algebraic groups. Theorem 14. Let $G_1$ and $G_2$ be connected affine algebraic groups, and let $R_i$ be a maximal reductive algebraic subgroup of $G_i$, $i=1, 2$. If the group varieties of the groups $G_1$ and $G_2$ are isomorphic, then the Lie algebras of the connected algebraic groups $R_1$ and $R_2$ are isomorphic. Proof. From $\operatorname{char}(k)=0$ it follows that the group $G_i$ is a semidirect product of the groups $R_i$ and $\mathscr{R}_u(G_i)$ (see [14], Sect. 11.22). Hence, the group $R_i$ is connected (because $G_i$ is connected), and the group manifolds of the groups $G_i$ and $R_i$ are homotopy equivalent topological manifolds (see the proof of Theorem 7).
Consider a compact form $\mathsf{R}_i$ of the reductive algebraic group $R_i$. The group manifolds of the groups $R_i$ and $\mathsf{R}_i$ are homotopy equivalent. Suppose that the group varieties of the groups $G_1$ and $G_2$ are isomorphic algebraic varieties, and therefore, homeomorphic topological manifolds. Then the group manifolds of the groups $\mathsf{R}_1$ and $\mathsf{R}_2$ are homotopy equivalent topological manifolds. In view of [27], Satz, this implies that the real Lie algebras $\operatorname{Lie}(\mathsf{R}_1)$ and $\operatorname{Lie}(\mathsf{R}_2)$ are isomorphic. Now the claim of the theorem follows from the fact that the real Lie algebra $\operatorname{Lie}(\mathsf{R}_i)$ is a real form of the complex Lie algebra $\operatorname{Lie}(R_i)$. Theorem 15. Let $R$ be a connected reductive algebraic group. (i) If $G$ is an algebraic group such that the group varieties of $G$ and $R$ are isomorphic, then
(ii) The number of all algebraic groups, considered up to isomorphism, whose group varieties are isomorphic to that of $R$, is finite. Proof. (i), (a) It follows from connectedness of the group $R$ and the condition on the group $G$ that the group $G$ is connected. In view of Theorem 14 and reductivity of the group $R$, the Lie algebra of a maximal reductive subgroup in $G$ is isomorphic to $\operatorname{Lie} (R)$. In particular, the dimension of this subgroup is equal to $\dim (R)$. Since $\dim(R)=\dim (G)$, this subgroup coincides with $G$.
(i), (b) From the condition on the group $G$ and simply connectedness of the group manifold of the group $R$ it follows that the group manifold of the group $G$ is simply connected. In view of (a) the Lie algebras $\operatorname{Lie}(R)$ and $\operatorname{Lie}(G)$ are isomorphic. Consequently, the algebraic groups $R$ and $G$ are isomorphic (see [18], Chap. 1, § 3, $3^\circ$; Chap. 3, § 3, $4^\circ$). Statement (ii) follows from (i), (a) and finiteness of the numbers of all, considered up to isomorphism, connected reductive algebraic groups of a fixed dimension. This finiteness theorem, which the author failed to find in the literature, is proved below in Section 9 (Theorem 18 and Remark 7). The theorem is proved. Remark 5. Using the proof of Theorem 18 given in Section 9, one can obtain an upper bound for the number specified in Theorem 15 (ii) (see also Remark 6 below). Theorem 1 provides examples of non-isomorphic connected reductive non-semisimple algebraic groups whose group varieties are isomorphic (according to Theorem 15(a), the Lie algebras of these groups are isomorphic). In the case of connected semisimple algebraic groups (that is, when $Z=\{e\}$), Theorem 1 degenerates into a trivial statement that does not provide such examples. However, non-isomorphic connected semisimple algebraic groups whose group varieties are isomorphic do exist. Below is described a method that allows one to construct such groups. It is suitable for a field $k$ of any characteristic. § 6. Construction of non-isomorphic semisimple algebraic groups with isomorphic group varietiesFix a positive integer $n$ and an abstract group $H$. Consider the group
$$
\begin{equation*}
G:=H^{n}:=H\times\dots\times H\quad (n \text{ factors}).
\end{equation*}
\notag
$$
We have $\mathscr{C}(G)= \mathscr{C}(H)^{n}$. Let $F_n$ be a free group of rank $n$ with a free system of generators $x_1,\dots, x_n$. For any elements $g=(h_1, \dots, h_n)\in G$, where $h_j\,{\in}\, H$ and $w\,{\in}\,F_n$, denote by $w(g)$ the element of $H$, which is the image of the element $w$ under the homomorphism $F_n\to H$, mapping $x_j$ to $h_j$ for every $j$. Every element $\sigma\in \operatorname{End}(F_n)$ determines the map
$$
\begin{equation}
\widehat{\sigma}\colon G\to G,\qquad g\mapsto \bigl(\sigma(x_1)(g),\dots, \sigma(x_n)(g)\bigr).
\end{equation}
\tag{29}
$$
It is not difficult to see that
$$
\begin{equation}
\widehat{\sigma\circ \tau} =\widehat{\tau}\circ \widehat{\sigma}\quad \sigma, \tau\in \operatorname{End}(F_n),\qquad \widehat{\operatorname{id}_{F_n}}=\operatorname{id}_{G}.
\end{equation}
\tag{30}
$$
It follows from (29) and the definition of $w(g)$ that (i) $\widehat{\sigma}(S^{n})\subseteq {S^{n}}$ for any subgroup $S$ in $H$; (ii) $\widehat{\sigma}(gz)=\widehat{\sigma}(g)\widehat{\sigma}(z)$ for every $g\in G$, $z\in \mathscr{C}(G)$. In particular, the restriction of the map $\widehat{\sigma}$ to the group $\mathscr{C}(G)$ is its endomorphism. From (30) it follows that if $\sigma\in \operatorname{Aut}(F_n)$, then $\widehat{\sigma}$ is a bijection (but, in general, not an automorphism of the group $G$). Moreover, if $H$ is an algebraic group (respectively, a Lie group), then $\widehat{\sigma}$ is an automorphism of the algebraic variety (respectively, a diffeomorphism of the differentiable manifold) that is $G$. Consider now an element $\sigma\in \operatorname{Aut}(F_n)$ and a subgroup of $C$ in $\mathscr{C}(G)$. Then (ii) yields $C$-equivariance of the bijection $\widehat{\sigma}\colon G\to G$, if we assume that every element $c\in C$ acts on the left copy of $G$ as the translation (multiplication) by $c$, and on the right one as the translation by $\widehat{\sigma}(c)$. The quotient for the first action is the group $G/C$, and for the second is the group $G/\widehat{\sigma}(C)$. Hence, $\widehat{\sigma}$ induces a bijection $G/C\to G/\widehat{\sigma}(C)$. Moreover, if $H$ is an algebraic group (respectively, real Lie group), then this bijection is an isomorphism of algebraic varieties (respectively, a diffeomorphism of differentiable manifolds) (see [14], Sect. 6.1). Thus, $G/C$ and $G/\widehat{\sigma}(C)$ are isomorphic algebraic varieties (respectively, diffeomorphic differentiable manifolds). But, in general, $G/C$ and $G/\widehat{\sigma}(C)$ are not isomorphic as algebraic groups (respectively, as Lie groups). Indeed, take for $H$ a simply connected semisimple algebraic group (respectively, a real compact real Lie group). Then $G$ is also a simply connected algebraic group (respectively, a real compact Lie group), so the group $\mathscr{C}(G)$ is finite. Consider the natural epimorphisms $\pi_C\colon G\to G/C$ and $\pi_{\widehat{\sigma}(C)}\colon G\to G/\widehat{\sigma}(C)$. Since the group $C$ is finite, the differentials (see (1))
$$
\begin{equation*}
d_{\boldsymbol{\cdot}}\pi_C\colon \operatorname{Lie}(G)\to \operatorname{Lie}(G/C)\quad\text{and}\quad d_{\boldsymbol{\cdot}}\pi_{\widehat{\sigma}(C)}\colon \operatorname{Lie}(G)\to \operatorname{Lie}(G/\widehat{\sigma}(C))
\end{equation*}
\notag
$$
are the Lie algebra isomorphisms. Suppose that there is an isomorphism of algebraic groups (respectively, real Lie groups) $\alpha\colon G/C\to G/\widehat{\sigma}(C)$. Then
$$
\begin{equation*}
(d_{\boldsymbol{\cdot}}\pi_{\widehat{\sigma}(C)})^{-1}\circ d_{\boldsymbol{\cdot}}\alpha\circ d_{\boldsymbol{\cdot}}\pi_C\colon \operatorname{Lie}(G)\to \operatorname{Lie}(G)
\end{equation*}
\notag
$$
is the Lie algebra automorphism of $\operatorname{Lie}(G)$. Since $G$ is simply connected, it has the form $d_{\boldsymbol{\cdot}}\widetilde{\alpha}$ for some automorphism $\widetilde{\alpha}\in \operatorname{Aut}(G)$ (see [18], Сhap. 1, § 2, Sect. 8, Theorem 6). It follows from the construction that the diagram is commutative, which, in turn, implies that $\widetilde{\alpha}(C)=\widehat{\sigma}(C)$. Thus, the algebraic groups (respectively, real Lie groups) $G/C$ and $G/\widehat{\sigma}(C)$ are isomorphic if and only if the subgroups $C$ and $\widehat{\sigma}(C)$ of the group $G$ lie in the same orbit of the natural action of the group $\operatorname{Aut}(G)$ on the set of all subgroups of the group $\mathscr{C}(G)$. This action is reduced to the action of the group $\operatorname{Out}(G)$ (isomorphic to the automorphism group of the Dynkin diagram of the group $G$; see [18], Chap. 4, Sect. 4, subsect. 1), because the group $\operatorname{Int}(G)$ acts on $\mathscr{C}(G)$ trivially. It is not difficult to find $H$, $\sigma$ and $C$ such that the groups $C$ and $\widehat{\sigma}(C)$ do not lie in the same $\operatorname{Out}(G)$-orbit. Here is a concrete example. Example 2. Consider a simply connected simple algebraic (respectively, real compact Lie) group $H$ with a nontrivial center. Take $n=2$, so that Let the element $\sigma\in \operatorname{End}(F_2)$ be defined by the equalities clearly, $x_1, x_1x_2^{-1}$ is a free system of generators of the group $F_2$, so $\sigma\in\operatorname{Aut}(F_2)$. Let $S$ be a non-trivial subgroup of the group $\mathscr{C}(H)$. Take Then from (29), (32), (33) it follows that In view of simplicity of the group $H$ the elements of $\operatorname{Out}(G)$ carry out permutations of the factors on the right-hand side of the equality (31). This, (33), and (34) imply that $C$ and $\widehat{\sigma}(C)$ do not lie in the same $\operatorname{Out}(G)$-orbit. Therefore, are non-isomorphic connected semisimple algebraic groups (respectively, real compact Lie groups) whose group varieties (respectively, manifolds) are isomorphic (respectively, diffeomorphic). For example, let $H=\operatorname{SL}_d$, $d\geqslant 2$, and $S=\langle z\rangle$, where $z=\operatorname{diag}(\varepsilon,\dots, \varepsilon) \in H$, $\varepsilon\in k$ is a primitive $d$th root of $1$. In this case, we obtain non-isomorphic algebraic groups
$$
\begin{equation*}
G/C=(\operatorname{SL}_d\times \operatorname{SL}_d)/\langle(z,z)\rangle, \qquad G/\widehat{\sigma}(C)=\operatorname{PSL}_d\times \operatorname{SL}_d
\end{equation*}
\notag
$$
whose group varieties are isomorphic. Note that if $d=2$, then $G=\operatorname{Spin}_4$, $G/C=\operatorname{SO}_4$. For $H=\mathsf{SU}_d$ and the same group $S$ we obtain that
$$
\begin{equation*}
G/C=K_1:=(\mathsf{SU}_d\times \mathsf{SU}_d)/C,\qquad G/\widehat{\sigma}(C)=K_2:=\mathsf{PU}_d\times \mathsf{SU}_d
\end{equation*}
\notag
$$
are non-isomorphic connected semisimple compact real Lie groups whose group manifolds are diffeomorphic. For $d=p^r$ with prime $p$, this is proved in [28], p. 331, where the non-existence of an isomorphism of the groups $K_1$ and $K_2$ is deduced from the non-existence of an isomorphism of their Pontryagin rings $H_*(K_1,\mathbb Z/p\mathbb Z)$ and $H_*(K_2, \mathbb Z/p\mathbb Z)$ (describing these rings is a non-trivial problem). Note that if $d=2$, then
$$
\begin{equation}
K_1=\mathsf{SO}_4,\qquad K_2=\mathsf{SO}_3\times \mathsf{SU}_2.
\end{equation}
\tag{35}
$$
That the group manifolds (35) are diffeomorphic was known long ago: in [29], Chap. 3, § 3.D, a diffeomorphism between them is constructed by means of quaternions. § 7. The case of connected simple algebraic groupsThe following theorem shows that the phenomenon under exploration is not possible for simple groups. Theorem 16. Let $G_1$ and $G_2$ be algebraic groups, one of which is connected and simple. The following properties are equivalent: (a) the group varieties of the groups $G_1$ and $G_2$ are isomorphic; (b) algebraic groups $G_1$ and $G_2$ are isomorphic. Proof. Let the group $G_1$ be connected and simple.
Suppose that (a) holds. Let $\widetilde G_1$ be a simply connected algebraic group with the Lie algebra isomorphic to $\operatorname{Lie}(G_1)$. Then $G_1$ is isomorphic to ${\widetilde G}_1/Z_1$ for some subgroup $Z_1$ of $\mathscr{C}(\widetilde G_1)$. From Theorem 15 it follows that the group $G_2$ is isomorphic to ${\widetilde G}_1/Z_2$ for some subgroup $Z_2$ of $\mathscr{C}(\widetilde G_1)$. As explained above, statement (b) is equivalent to the property that the subgroups $Z_1$ and $Z_2$ lie in the same orbit of the natural action of the group $\operatorname{Out}({\widetilde G}_1)$ (isomorphic to the automorphism group of the Dynkin diagram of the group $\widetilde G_1$) on the set of all subgroups of the group $\mathscr{C}(\widetilde G_1)$. We shall show that the subgroups $Z_1$ and $Z_2$ indeed lie in the same $\operatorname{Out}(\widetilde G_1)$-orbit. Since the fundamental groups of topological manifolds $G_1$ and $G_2$ are isomorphic to, respectively, $Z_1$ and $Z_2$, it follows from (a) that the finite groups $Z_1$ and $Z_2$ are isomorphic. Let $d$ be their order. The structure of the group $\mathscr{C}(\widetilde G_1)$ is known (see [18], § 2, Table 3). Namely, if the type of the simple group $\widetilde G_1$ is different from
$$
\begin{equation}
\mathsf{D}_\ell\quad \text{with even}\quad \ell\geqslant 4,
\end{equation}
\tag{36}
$$
then $\mathscr{C}(\widetilde G_1)$ is a cyclic group. In the case of the group $\widetilde G_1$ of type (36), the group $\mathscr{C}(\widetilde G_1)$ is isomorphic to the Klein four-group $\mathbb Z/2\mathbb Z\oplus \mathbb Z/2\mathbb Z$. Since there is at most one subgroup of a given finite order in any cyclic group, we get that if the type of $\widetilde G_1$ is different from (36), then $Z_1=Z_2$, so in this case, the subgroups $Z_1$ and $Z_2$ lie in the same $\operatorname{Out}(G_1)$-orbit.
Now, let $\widetilde G_1$ be of type (36). This means that $\widetilde G_1=\operatorname{Spin}_{4m}$ for some integer $m\geqslant 2$. Since $|\mathscr{C}(\widetilde G_1)| = 4$, only the cases $d = 1, 2, 4$ are possible. It is clear that $Z_1 = Z_2$ for $d = 1$ and $4$, so in these cases, as above, the subgroups $Z_1$ and $Z_2$ lie in the same $\operatorname{Out}(G_1)$-orbit. Therefore, it remains to consider only the case $d = 2$. There are exactly three subgroups of order $2$ in $\mathscr{C}(\widetilde G_1)$. The natural action on $\mathscr{C}(\widetilde G_1)$ of the group $\operatorname{Out}(\operatorname{Spin}_{4m})$ (isomorphic to the automorphism group of the Dynkin diagram of the group $\widetilde G_1$) can be easily described explicitly using the specified in [18], § 2, Table 3 information.1 This description shows that the number of $\operatorname{Out}(\operatorname{Spin}_{4m})$-orbits on the set of these subgroups equals $1$ for $m=2$ and equals $2$ for $m>2$. Thus, for $m=2$, the groups $G_1$ and $G_2$ are isomorphic and it remains for us to consider the case $m>2$. The quotient group of the group $\operatorname{Spin}_{4m}$ by a subgroup of order $2$ in $\mathscr{C}(\widetilde G_1)$, which is not fixed (respectively, fixed) with respect to the group $\operatorname{Out}(\operatorname{Spin}_{4m})$, is the half-spin group $\operatorname{SSpin}_{4m}$ (respectively, the orthogonal group $\operatorname{SO}_{4m}$). Let $\mathsf{SSpin}_{4m}$ and $\mathsf{SO}_{4m}$ be the compact real forms of the groups $\operatorname{SSpin}_{4m}$ and $\operatorname{SO}_{4m}$, respectively. If the group varieties of the groups $\operatorname{SSpin}_{4m}$ and $\operatorname{SO}_{4m}$ were isomorphic, then the group manifolds of the groups $\mathsf{SSpin}_{4m}$ and $\mathsf{SO}_{4m}$ would be homotopy equivalent. But according to [28], Theorem 9.1, for $m>2$ they are not homotopy equivalent because $H^*(\mathsf{SSpin}_{4m}, \mathbb Z/2\mathbb Z)$ and $H^*(\mathsf{SO}_{4m}, \mathbb Z/2\mathbb Z)$ for $m>2$ are not isomorphic as algebras over the Steenrod algebra.2 Hence, the group varieties of the groups $\operatorname{SSpin}_{4m}$ and $\operatorname{SO}_{4m}$ for $m>2$ are not isomorphic. This completes the proof of implication (a) $\Rightarrow$ (b). Implication (b) $\Rightarrow$ (a) is obvious. Theorem 16 is proved. The considerations used in the proof of Theorem 16, yield a proof of the following Theorem 17, which was published in [28] without proof. Theorem 17 (see [28], Theorem 9.3). The group manifolds of two connected real compact simple Lie groups are homotopy equivalent if and only if these Lie groups are isomorphic. Proof repeats the proof of Theorem 16 if one assumes there that $G_1$ and $G_2$ are connected real compact simple Lie groups whose group manifolds are homotopy equivalent, and $\operatorname{Spin}_{4m}$, $\operatorname{SSpin}_{4m}$ and $\operatorname{SO}_{4m}$ are replaced, respectively, with $\mathsf{Spin}_{4m}$, $\mathsf{SSpin}_{4m}$ and $\mathsf{SO}_{4m}$.
§ 8. Questions1. The previous considerations naturally lead to the question of finding a classification of pairs of non-isomorphic connected reductive algebraic groups whose group varieties are isomorphic. Is it possible to obtain it? 2. The same for connected real compact Lie groups whose group manifolds are homotopy equivalent. 3. It seems plausible that, using, in the spirit of [30] , étale cohomology in place of singular homology and cohomology, it is possible to prove Theorems 4 and 5 and implication (c) $\Rightarrow$ (a) of Theorem 10 in the case of positive characteristic of the field $k$. Are Theorems 14–16 true for such $k$? 4. The author is not aware of examples of connected simple algebraic groups whose group variety is a product of algebraic varieties of positive dimension. Do they exist (N. L. Gordeev’s question)? 5. The problems considered in this paper are obviously reformulated taking into account rationality questions, i.e., definability of varieties over an algebraically non-closed field $\ell$. How are the results of this paper modified in this context? Some of them, for example, Theorem 13, do not change: the above proof of this theorem, with the added remark that the specified left shift is performed by a rational over $\ell$ element, is transferred to the context of definability over $\ell$ and shows that two algebraic groups defined over $\ell$, one of which is a semi-abelian variety, are isomorphic over $\ell$ if and only if their group varieties are isomorphic over $\ell$. In particular, tori or abelian varieties defined over $\ell$ are isomorphic over $\ell$ if and only if their group varieties are isomorphic over $\ell$. 6. The results of this paper concern the uniqueness of the structure of a connected reductive algebraic group (respectively, real compact Lie group) on an algebraic variety (respectively, differentiable compact manifold) that admits at least one such structure. Is it possible to give a criterion for the existence of at least one such structure on an algebraic variety (respectively, differentiable compact manifold) in terms of its geometric characteristics? § 9. Appendix: finiteness theorems for connected reductive algebraic groups and compact Lie groupsIn this section, the characteristic of $k$ can be arbitrary. Theorem 18. The number of all, considered up to isomorphism, connected reductive algebraic groups of any fixed rank is finite. Proof. For every connected reductive group $G$, there is a torus $Z$ and a simply connected semisimple algebraic group $S$ such that the group $G$ is the quotient group of the group $Z\times S$ by a finite central subgroup. Indeed, let $S$ be the universal covering group of the connected semisimple group $\mathscr{D}(G)$, let $\pi\colon S\to \mathscr{D}(G)$ be the natural projection, and let $Z=\mathscr{C}(G)^\circ$. Then the map $Z\times S\to G$, $(z, s)\mapsto z \cdot \pi(s)$, is an epimorphism with a finite kernel, i.e., the natural projection to the quotient group by a finite central subgroup.
Being simply connected, the group $S$ is, up to isomorphism, uniquely determined by the type of its root system. Insofar as the set of types of root systems of any fixed rank is finite, tori of the same dimension are isomorphic, and $\mathscr C(S)$ is a finite group, the problem comes down to proving that, although for $\dim(Z)>0$ there are infinitely many finite subgroups $F$ in $\mathscr C(Z\times S)$, the set of all, up to isomorphism, groups of the form $(Z\times S)/F$ is finite. Note that for every element $\sigma\in\operatorname{Aut}(Z\times S)$, the groups $(Z\times S)/F$ and $(Z\times S)/\sigma(F)$ are isomorphic. Proving this, we put and let $\varepsilon_1,\dots, \varepsilon_n$ be a basis of the group $\operatorname{Hom}(Z, \mathbb G_m)\simeq \mathbb Z^n$.For every positive integer $r$ denote by ${\mathcal D}_{r\times n}$ the set of all matrices $(m_{ij})\in \operatorname{Mat}_{r\times n}(\mathbb Z)$ such that (a) $m_{ij}=0$ for $i\neq j$; (b) $m_{ii}$ divides $m_{i+1, i+1}$; (c) $m_{ii}=m_{ii}'$ (see the notation in Section 1). Consider a matrix $M =(m_{ij})\in \operatorname{Mat}_{r\times n}(\mathbb Z)$. Then
$$
\begin{equation}
Z_M:=\bigcap_{i=1}^{r}\operatorname{ker}(\varepsilon_1^{m_{i1}}\cdots \varepsilon_n^{m_{in}})
\end{equation}
\tag{37}
$$
is an algebraic $(n-\operatorname{rk}(M))$-dimensional subgroup of the group $Z$. Every algebraic subgroup of the group $Z$ is obtained in this way. If the matrix $M=(m_{ij})$ shares properties (a) and (b), then $Z_M=Z_{M'}$, where $M':=(m_{ij}')$, because $\operatorname{ker}(\varepsilon_i^{d})=\operatorname{ker}(\varepsilon_i^{d'})$. If $r=n$, and the matrix $M$ is non-degenerate and shares properties (a), (b), (c), then $Z_M$ is a finite abelian group with the invariant factors $|m_{11}|,\dots, |m_{nn}|$.
The elementary transformations of rows of the matrix $M$ do not change the group $Z_M$. If $\tau_1,\dots, \tau_n$ is another basis of the group $\operatorname{Hom}( Z, \mathbb G_m )$, then $\tau_i=\varepsilon_1^{c_{i1}}\cdots \varepsilon_n^{c_{in}}$, where $C=(c_{ij})\in \operatorname{GL}_r(\mathbb Z)$. The automorphism of the group $\operatorname{Hom}(Z, \mathbb G_m)$, which maps $\varepsilon_i$ to $\tau_i$ for every $i$, has the form $\sigma_{C}^{*}$, where $\sigma_C$ is an automorphism of the group $Z$. The mapping $\operatorname{GL}_n(\mathbb Z)\to \operatorname{Aut}(Z)$, $C\mapsto\sigma_C$, is a group isomorphism and the following equality holds: Since the elementary transformations of the columns of the matrix $M$ are realized by multiplying the matrix $M$ on the right by the corresponding matrices from $\operatorname{GL}_r(\mathbb Z)$, and by means of the elementary transformations of rows and columns, the matrix $M$ can be transformed into its Smith diagonal normal form, (38) implies the existence of an automorphism $\nu \in\operatorname{Aut}(Z)$ and a matrix $D \in \mathcal D_{r\times n}$ such that $\nu(Z_M) = Z_D$.Now consider a finite subgroup $F$ in $\mathscr C(Z\times S)=Z\times \mathscr{C}(S)$ and the canonical projections
$$
\begin{equation*}
Z\xleftarrow{\pi_Z} F \xrightarrow{\pi_S} \mathscr C(S).
\end{equation*}
\notag
$$
The groups $(Z\times S)/F$ and $\bigl((Z\times S)/(F\cap Z)\bigr)/\bigl(F/(F\cap Z)\bigr)$ are isomorphic. Being an $n$-dimensional torus, the group $Z/(F\cap Z)$ is isomorphic to the torus $Z$. Therefore, the groups $(Z\times S)/(F\cap Z)$ and $Z\times S$ are isomorphic. Hence, without changing, up to isomorphism, the group $(Z\times S)/F$, we can (and will) assume that $F\,\cap\, Z=\{e\}$. Then $\operatorname{ker}(\pi_S)=\{e\}$, and therefore $\pi_S$ is an isomorphism between $F$ and the subgroup $\pi_S(F)$ in the group $\mathscr C(S)$. Let $\alpha\colon \pi_S(F)\to \pi_Z(F)$ be an epimorphism that is the composition of the isomorphism inverse to $\pi_S$ with $\pi_Z$. Then
The subgroup $\pi_Z(F)=\alpha(\pi_S(F))$ in $Z$ is finite and therefore has the form $Z_M$ for some non-degenerate matrix $M\in \operatorname{Mat}_{n\times n}(\mathbb Z)$. According to the above, there is an element $\nu \in \operatorname{Aut}(Z)$ such that $\nu (\pi_Z(F))=Z_D$, where $D$ is a non-degenerate matrix from $\mathcal D_{n\times n}$; we denote by the same letter the extension of $\nu$ up to an element of $\operatorname{Aut}(Z\times S)$, which is the identity on $S$. Replacing the group $F$ by the group $\nu (F)$ shows that, without changing, up to isomorphism, the group $(Z\times S)/F$, we can (and will) assume that $\pi_Z(F)=Z_D$. Thus, if $\mathscr F$ is the set all subgroups in $Z\times \mathscr C(S)$ of the form where $H$ runs through all subgroups of $\mathscr C(S)$, and $\gamma$ through all epimorphisms $H \,{\to}\, Z_D$ with a non-degenerate matrix $D\in \mathcal D_{n\times n}$, then $F\in \mathscr F$. Since the group $\mathscr C(S)$ is finite, and the order of the group $Z_D$ is $|{\det(D)}|$, the set $\mathscr F$ is finite. This completes the proof of Theorem18. Proof. This follows from Theorem 18, because connected reductive algebraic groups are classified by their root data, see [16], Theorems 9.6.2, 10.1.1. Theorem 20. The number of all, considered up to isomorphism, connected real compact Lie groups of any fixed rank is finite. Proof. This follows from Theorem 18 in view of the correspondence between connected reductive algebraic groups and connected real compact Lie groups, given by passing to a real compact form, see [18], Theorem 5.2.12. Remark 6. Using this proof of Theorem 18, one can obtain an upper bound for the numbers specified in it and in Theorems 19 and 20. Remark 7. Since the rank does not exceed the dimension of the group, Theorem 18 (respectively, Theorem 20) shows that the number of all, considered up to an isomorphism, connected reductive algebraic groups (respectively, connected real compact Lie groups) of any fixed dimension is finite. The author is grateful to T. Bandman, V. Gorbatsevich, and Yu. Zarhin for drawing his attention to the related publications, and M. Brion, J.-P. Serre, and the referee for the comments.
Citation in format AMSBIB
\Bibitem{Pop22} |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Contact us: |
Terms of Use
|
Registration to the website |
Logotypes |
|