Abstract
In this paper we prove that every automorphism of a Chevalley group (or its elementary subgroup) with root system of rank > 1 over a commutative ring (with 1/2 for the systems ; with 1/2 and 1/3 for the system ) is standard, i.e., it is a composition of ring, inner, central and graph automorphisms. This result finalizes description of automorphisms of Chevalley groups. However, the restrictions on invertible elements can be a topic of further considerations. We provide also some model-theoretic applications of this description.
2020 MATHEMATICS SUBJECT CLASSIFICATION:
1 Introduction
1.1 Automorphisms and isomorphisms of classical linear groups
Automorphisms and isomorphisms of linear groups are studied by mathematicians from the beginning of XX century. First papers on automorphisms and isomorphisms of linear groups appeared already in the beginning of the 20th century. In particular, in the paper by Schreier and van der Warden [Citation54] they described all automorphisms of the group over an arbitrary field. Later on, Hua [Citation33] generalized this method and applied it to the description of automorphisms of symplectic groups over a field of characteristic . Diedonne [Citation27] (1951) and Rickart [Citation52] (1950) introduced the involution method, and described automorphisms of the group ( over a skew field, and then also of unitary and symplectic groups over skew fields of characteristic [Citation53].
The first step toward the description of automorphisms of classical groups over rings was made by Hua and Reiner [Citation32]. They dealt with the case . This result was extended to non-commutative principal ideal domains by Landin and Reiner in [Citation39] and by Yan Shi-jian in [Citation57].
The methods of the papers mentioned above were based mostly on studying involutions in the corresponding linear groups.
O’Meara in 1976 invented very different (geometrical) method, which did not use involutions. By its aid, O’Meara described automorphisms of the group () over domains [Citation45] and automorphisms of symplectic groups of a special form over fields (so-called groups rich in transvections) [Citation46]. Independently, Yan Shi-jian in [Citation57] described automorphisms of the group , where R is a domain of characteristic using the involution method. In the paper [Citation43] Pomfret and MacDonald studied automorphisms of the groups , over a commutative local ring with 1/2. Further on, Waterhouse in [Citation66] obtained a description of automorphisms of the group , over arbitrary commutative rings with 1/2.
In 1982 Petechuk [Citation47] described automorphisms of the groups () over arbitrary commutative rings. If n = 3, then automorphisms of linear groups are not always standard [Citation48]. They are standard either if in a ring 2 is invertible, or if a ring is a domain, or it is a semisimple ring.
McQueen and McDonald in [Citation44] obtained the description of automorphisms of the groups , over commutative local rings with 1/2. Continuing research in this direction, in 1980 Petechuk in [Citation49] studied automorphisms of symplectic groups over arbitrary commutative local rings. In 1982 he extended description of automorphisms to the case , over arbitrary commutative ring R, using the localization method, see [Citation50].
Isomorphisms of the groups and over arbitrary associative rings with 1/2 for were described in 1981 by Golubchik and Mikhalev [Citation29] and independently by Zelmanov [Citation67]. In 1997 Golubchik described isomorphisms between these groups for , over arbitrary associative rings with 1 [Citation30].
In 1983 Golubchik and Mikhalev in [Citation28] studied isomorphisms of unitary linear groups over arbitrary associative rings with 1/2, with some conditions for the dimension of the group and the rank of the form. For the case when and the hyperbolic rank of the form Q is maximal, the automorphism of , were independently classified in 1985 by Zelmanov, see [Citation67].
1.2 Automorphisms and isomorphisms of Chevalley groups
In 50-th years of the previous century Chevalley, Steinberg and others introduced the concept of Chevalley groups over commutative rings. The foundations of the theory of Chevalley groups have been laid in the papers of Chevalley, Tits, Borel, Weil, Grothendieck, Demazure, Stenberg, etc. In 1956–1958 Chevalley obtained a classification of semisimple algebraic groups over algebraically closed fields. Later on, Chevalley showed that all semisimple groups over an algebraically closed field are actually defined under , or, in other words, are obtained as a result of expanding to an arbitrary ring of some group scheme defined over . These group schemes are called Chevalley-Demazure schemes. The groups of points of Chevalley-Demazure schemes over commutative rings are called Chevalley groups. Chevalley groups include classical linear groups (special linear , special orthogonal , symplectic , spinor , and also projective groups connected with them) over commutative rings. Finite simple groups of Lie type are the central quotients of Chevalley groups.
Isomorphisms and automorphisms of Chevalley groups over different classes of rings were intensively studied. The description of isomorphisms of Chevalley groups over fields was obtained by Steinberg [Citation60] for the finite case and by Humphreys [Citation34] for the infinite one. Many papers are devoted to description of automorphisms of Chevalley groups over commutative rings. We can mention here the papers of Borel–Tits [Citation6], Carter–Chen Yu [Citation19], Chen Yu [Citation20]–[Citation22], Abe [Citation1], Klyachko [Citation38].
Usually complete description of automorphisms of Chevalley groups means standardity of all these automorphisms, that is, all automorphisms are compositions of some simple and well-described types of automorphisms: inner automorphisms, automorphisms induced by ring automorphisms, etc.
Abe in [Citation1] proved the standardity of automorphisms for Noetherian rings with 1/2, which could help to close the question of automorphisms of Chevalley groups over arbitrary commutative rings with 1/2. However, in considering the case of adjoint elementary groups has a gap, which cannot be eliminated by the methods of this article.
The cases when the ring contains a lot of invertible integers (in some sense) are completely clarified in the paper of Klyachko [Citation38].
In the paper [Citation8] Bunina proved that automorphisms of adjoint elementary Chevalley groups with root systems , over local rings with invertible 2 can be represented as the composition of ring automorphism and an automorphism–conjugation (by automorphism-conjugation we call conjugation of elements of a Chevalley group in the adjoint representation by some matrix from the normalizer of this group in ). By the similar token it was proved in [Citation10] that every automorphism of an arbitrary Chevalley (or its arbitrary subgroup) group is standard, i.e., it is a composition of ring, inner, central and graph automorphisms. In the same paper it was obtained the theorem describing the normalizer of Chevalley groups in their adjoint representation, which also holds for local rings without 1/2.
In the series of papers [Citation9, Citation11–13, Citation17] the similar methods made it possible to obtain the standardity of all automorphisms of Chevalley groups where , R is a local ring and , or and 1/2, . The same is true for , , R is a local ring and . As we already mentioned the case (symplectic linear groups and projective symplectic linear groups) was considered in the papers of Petechuk and Golubchik–Mikhalev (even for non-commutative rings).
The non-standard automorphisms are described by Steinberg in [Citation59] for the cases of Chevalley groups of types and over fields of characteristic 2 and of type over fields of characteristic 3. For fields of characteristic 2 also there exists an isomorphism between Chevalley groups of types and , . In [Citation48] Petechuk described (non-standard) automorphisms of Chevalley groups of the type over local rings without 1/2. Therefore the cases of Chevalley groups of the types over rings without 1/2 and of the type over rings without 1/3 require separate consideration.
In the paper [Citation14] Bunina used the localization method and ideas of Petechuk and generalized the description of automorphisms of Chevalley groups over local rings to adjoint Chevalley groups over arbitrary commutative rings. In the paper [Citation15] the isomorphisms between these Chevalley groups were described.
In this paper we extend the result of [Citation14] to arbitrary Chevalley groups over rings.
The paper is organized as follows. Section 2 deals with definitions and formulation of the Main Theorem. The proof of the Main Theorem for elementary case is situated in Section 3. The next Section 4 is devoted to the proof of the Main Theorem in the general case.
2 Definitions and main theorem
2.1 Root systems and semisimple Lie algebras
We fix an indecomposable root system of the rank , with the system of simple roots Δ, the set of positive (negative) roots (), and the Weil group W. Recall that any two roots of the same length are conjugate under the action of the Weil group. Let . More detailed texts about root systems and their properties can be found in the books [Citation7, Citation35].
Recall also that for
Suppose now that we have a semisimple complex Lie algebra with the Cartan subalgebra (more details about semisimple Lie algebras can be found, for instance, in the book [Citation35]).
Lie algebra has a decomposition , and if , then , all nonzero such that , form some root system . The root system and the semisimple Lie algebra over uniquely (up to automorphism) define each other.
On the Lie algebra we can introduce a bilinear Killing form that is non-degenerated on . Therefore we can identify the spaces and .
We can choose a basis in and for every elements so that is a basis in and for every two elements of this basis their commutator is an integral linear combination of the elements of the same basis. This basis is called a Chevalley basis.
2.2 Elementary Chevalley groups
Introduce now elementary Chevalley groups (see [Citation59]).
Let be a semisimple Lie algebra (over ) with a root system be its finitely dimensional faithful representation (of dimension n). If is a Cartan subalgebra of , then a functional is called a weight of a given representation, if there exists a nonzero vector (that is called a weight vector) such that for any
In the space V in the Chevalley basis all operators for are written as integral (nilpotent) matrices. An integral matrix also can be considered as a matrix over an arbitrary commutative ring with 1. Let R be such a ring. Consider matrices n × n over R, matrices for are included in .
Now consider automorphisms of the free module Rn of the form
Since all matrices are nilpotent, we have that this series is finite. Automorphisms are called elementary root elements. The subgroup in , generated by all , is called an elementary Chevalley group (notation: ).
In elementary Chevalley group we can introduce the following important elements and subgroups:
;
;
N is generated by all ;
H is generated by all ;
The subgroup of the Chevalley group (resp. ) is generated by elements , the subgroup is generated by elements .
The action of on the Chevalley basis is described in [Citation18, Citation65].
It is known that the group N is a normalizer of H in elementary Chevalley group, the quotient group N/H is isomorphic to the Weil group .
All weights of a given representation (by addition) generate a lattice (free Abelian group, where every -basis is also a -basis in ), that is called the weight lattice .
Elementary Chevalley groups are defined not even by a representation of the Chevalley groups, but just by its weight lattice. More precisely, up to an abstract isomorphism an elementary Chevalley group is completely defined by a root system , a commutative ring R with 1 and a weight lattice .
Among all lattices we can mark two: the lattice corresponding to the adjoint representation, it is generated by all roots (the root lattice Λad) and the lattice generated by all weights of all representations (the lattice of weights Λsc). For every faithful representation π we have the inclusion Respectively, we have the adjoint and simply connected elementary Chevalley groups.
Every elementary Chevalley group satisfies the following relations:
(R1) ;
(R2) where i, j are integers, product is taken by all roots , taken in some fixed order; cij are integer numbers not depending on t and u, but depending on α and β and the order of roots in the product.
(R3) ;
(R4) ;
(R5) , where ;
(R6) .
For a given by we denote the subgroup .
2.3 Chevalley groups
Introduce now Chevalley groups (see [Citation5, Citation18, Citation23, Citation25, Citation59, Citation64, Citation65], and references therein).
Consider semisimple linear algebraic groups over algebraically closed fields. These are precisely elementary Chevalley groups (see. [Citation59], Section 5).
All these groups are defined in as common set of zeros of polynomials of matrix entries aij with integer coefficients (for example, in the case of the root system and the universal representation we have and the polynomials from the condition , where Q is a matrix of the symplectic form). It is clear now that multiplication and taking inverse element are defined by polynomials with integer coefficients. Therefore, these polynomials can be considered as polynomials over an arbitrary commutative ring with a unit. Let some elementary Chevalley group E over be defined in by polynomials . For a commutative ring R with a unit let us consider the group where are polynomials having the same coefficients as , but considered over R.
This group is called the Chevalley group of the type over the ring R, and for every algebraically closed field K it coincides with the elementary Chevalley group. In more advanced terms a Chevalley group is the value of the Chevalley-Demazure group scheme, see [Citation23].
The subgroup of diagonal (in the standard basis of weight vectors) matrices of the Chevalley group is called the standard maximal torus of and it is denoted by . This group is isomorphic to .
Let us denote by the elements of the torus , corresponding to the homomorphism .
In particular, (), where
2.4 Connection between Chevalley groups and their elementary subgroups
Connection between Chevalley groups and corresponding elementary subgroups is an important problem in the structure theory of Chevalley groups over rings. For elementary Chevalley groups there exists a convenient system of generators , and all relations between these generators are well-known. For general Chevalley groups it is not always true.
If R is an algebraically closed field, then for any representation π. This equality is not true even for the case of fields, which are not algebraically closed.
However if G is a simply connected Chevalley group and the ring R is semilocal (i.e., contains only finite number of maximal ideals), then we have the condition
[Citation2, Citation4, Citation42, Citation58].
If, however, π is arbitrary and R is semilocal, then: ] (see [Citation2, Citation4, Citation42]), and the elements are connected with elementary generators by the formula (1) (1)
Remark 1.
Since , if we know the values of χ on some set of roots which generate all roots (for example, on some basis of ), then we know for all and respectively all for all and .
Therefore (in particular) if for all roots β from some generating set of we have , then and hence .
We will use this observation in the next section many times.
If is an irreducible root system of a rank , then is always normal and even characteristic in (see [Citation31, Citation63]). In the case of semilocal rings it is easy to show that except the cases .
In the case the subgroup of elementary matrices is not necessarily normal in the special linear group (see [Citation24, Citation61, Citation62]).
In the general case the difference between and is measured by K1-functor.
2.5 Standard automorphisms of Chevalley groups
Define four types of automorphisms of a Chevalley group , we call them standard.
Central automorphisms. Let be a center of be some homomorphism of groups. Then the mapping from onto itself is an automorphism of , denoted by τ. It is called a central automorphism of the group .
Ring automorphisms. Let be an automorphism of the ring R. The mapping from onto itself is an automorphism of the group , denoted by the same letter ρ. It is called a ring automorphism of the group . Note that for all and an element is mapped to .
Inner automorphisms. Let S be some ring containing R, g be an element of , that normalizes the subgroup . Then the mapping is an automorphism of the group , denoted by ig. It is called an inner automorphism, induced by the element . If , then we call ig a strictly inner automorphism.
Graph automorphisms. Let δ be an automorphism of the root system such that . Then there exists a unique automorphisms of (we denote it by the same letter δ) such that for every and an element is mapped to , where for all and for all .
Now suppose that are all different graph automorphisms for the given root system (for the systems there can be just identical automorphism, for the systems there are two such automorphisms, for the system there are six automorphisms). Suppose that we have a system of orthogonal idempotents of the ring R:
Then the mapping of the Chevalley group onto itself is an automorphism, called a graph automorphism of the Chevalley group .
Similarly we can define four types of automorphisms of the elementary subgroup . An automorphism σ of the group (or ) is called standard if it is a composition of automorphisms of these introduced four types.
In [Citation14] the following theorem was proved:
Theorem 1.
Let be an adjoint Chevalley group (or its elementary subgroup ) of rank > 1, R be a commutative ring with 1. Suppose that for or we have , for we have . Then every automorphism of the group G is standard and the inner automorphism in the composition is strictly inner.
Our goal is to prove the following theorem:
Theorem 2.
Let be a Chevalley group (or its elementary subgroup of rank > 1, R be a commutative ring with 1. Suppose that for or we have , for we have . Then every automorphism of the group G is standard.
3 Proof of the main theorem for elementary Chevalley groups and subgroups
3.1 Localization of rings and modules; injection of a ring into the product of its localizations
Definition 1.
Let R be a commutative ring. A subset is called multiplicatively closed in R, if and Y is closed under multiplication.
Introduce an equivalence relation ∼ on the set of pairs R × Y as follows:
By we denote the whole equivalence class of the pair (a, s), by we denote the set of all equivalence classes. On the set we can introduce the ring structure by
Definition 2.
The ring is called the ring of fractions of R with respect to Y.
Let be a prime ideal of R. Then the set is multiplicatively closed (it is equivalent to the definition of the prime ideal). We will denote the ring of fractions in this case by . The elements , form an ideal in . If , then , therefore is invertible in . Consequently the ideal consists of all non-invertible elements of the ring , i. e., is the greatest ideal of this ring, so is a local ring.
The process of passing from R to is called localization at .
Proposition 1.
Every commutative ring R with 1 can be naturally embedded in the cartesian product of all its localizations by maximal ideals by diagonal mapping, which corresponds every to the element
3.2 Proof for
Suppose that or is a Chevalley group (or its elementary subgroup), where is an indecomposable root system of rank > 1, R is an arbitrary commutative ring (with 1/2 in the case and with 1/2 and 1/3 in the case ). Suppose that .
Since the subgroup is characteristic in , then induces the automorphism (we denote it by the same letter).
The elementary adjoint Chevalley group is the quotient group of our initial elementary Chevalley group by its center . Therefore the automorphism induces an automorphism of the adjoint Chevalley group . By Theorem 1 is the composition of a graph automorphism , where , a ring automorphism , induced by , and the strictly inner automorphism , induced by some . Central automorphism is identical in the decomposition of , since the center of any adjoint Chevalley group is trivial.
Since and for any and for any representation π of the corresponding Lie algebra there exists the corresponding graph automorphism , then there exists a graph automorphism such that the induced automorphism of the group is precisely .
Also taking the ring automorphism we see that the induced automorphism of is precisely .
Therefore if we take , then we obtain an automorphism of the group G (and in any cases of the group/subgroup ) which induces the strictly inner automorphism on .
We always assume that R is a subring of the ring , where every Ri is a local ring, therefore
Note that since every Ri is local, then we have and therefore
Suppose now that , where .
Let us consider one , where , i.e., , where .
Since is a product of elementary unipotents over the ring Ri, then we can take , that is the same product of the same elementary unipotents and its image under factorization of by its center is precisely .
Now let us consider the element . This element corresponds to some homomorphism and acts on any as
If , then we can extend the ring Ri up to a ring Si so that there exists with the same action on all elementary uniponents as our . The ring Si is an algebraic extension of Ri, in which there exist several new roots for a finite number of . This Si can be obtained from Ri by the standard procedure
Note that Si is not necessarily local.
Now since , then and . We see that for every the torus element acts on all as , therefore the element acts on all as the initial .
Consequently the element acts on all as the initial .
Therefore we have such that
In particular,
Let us take such that its image under factorization of by its center is precisely .
Now we can take , it will be an isomorphism between and the subgroup of such that under factorization by the center of we obtain the identical automorphism of the group .
Now let us analyze the mapping .
Since is identical, then
If α is either any root of the systems , , l = 6, 7, 8, , or any long root of the systems , or any short root of the systems , then α can be represented as , where . In this case
therefore
Consequently, for all .
For the root system all Chevalley groups are adjoint and so we do not need to prove Theorem 1 for this root system.
For the root system if α is a long simple root and β is a short simple root, then , where is short and is long and
(see [Citation59], Lemma 33).
Since for the root system we require , then
and by the same arguments as above for all long roots γ and all . Then thus also for all short roots . Therefore for for all and all the mapping is an identical automorphism of .
Since any root γ of the root system or , can be embedded to some root system isomorphic to , and in this case we also require , then for these root systems also for all and is an identical automorphism of .
Therefore for all cases under consideration
so where , Λ is a graph automorphism of the groups and and ρ is a ring automorphism of the groups and .
Thus, for the main theorem (Theorem 2) is proved.
4 Proof of the main theorem for the groups
Let now . Initially the mapping was an automorphism of the group G. The mapping from the previous section was the composition of and graph and ring automorphisms of the group G, i.e., also an automorphism of G. After that (from the previous section) is the composition of and the conjugation of G by some element , where . We know that y normalizes and we want to show that in our case y normalizes also our full Chevalley group G.
Note that for the simply-connected Chevalley group of the type Luzgarev and Vavilov in [Citation40] proved that the normalizers of the Chevalley group and its elementary subgroup coincide. Then in [Citation41] they proved the same theorem for the root system . Since all other exceptional Chevalley groups are adjoint, we only need to show the coincidence of normalizers for non-adjoint classical Chevalley groups, but our method will cover all the cases.
Lemma 1.
Under assumptions of Theorem 2 the elements , by addition, multiplication and multiplication by elements from R generate the Lie algebra , where N is the dimension of the representation π.
Proof.
For the adjoint Chevalley groups this lemma was proved in [Citation14]. Therefore we will not repeat the proof for the root system (since it is always adjoint).
If the root system differs from and , then , therefore and
Suppose now that we deal with systems , (), .
For all these systems and non-adjoint representations π we have for all , therefore
The lemma is proved. □
From Lemma 1 we see that the conjugation by y maps the Lie algebra onto itself.
Lemma 2.
Under assumptions of Theorem 2 the Lie algebra together with the unity matrix E by addition, multiplication and multiplication by elements from R generate the matrix ring , where N is the dimension of the representation π.
Proof.
For all adjoint Lie algebras under consideration this fact was proved in the papers [Citation8, Citation9, Citation11–13].
For classical representations of classical Lie algebras the proof is clear and direct:
If we have the root system and the standard representation, then
The Lie algebra of the type in its universal representation has 2l-dimensional linear space and the basis
Multiplying by , we get all for all . Multiplying by , we obtain for all . It is clear that after that we have all Eij, , and therefore the whole matrix ring .
For the root system the standard representation gives the algebra , where in 2l-dimensional space the basis is
Since for we have , then the whole matrix ring is generated by this Lie algebra.
All other representations are described by Plotkin, Semenov and Vavilov in [Citation51] as microweight representations with the help of so-called weight diagrams.
Weight diagram is a labeled graph, its vertices correspond (bijectively) to the weights . The vertices corresponding to , are joined by a bond marked (or simply i) if and only if their difference is a simple root. The diagrams are usually drawn in such way that the marks on the opposite (parallel) sides of a parallelogram are equal and at least one of them is usually omitted. All weights are numbered in any order and give the basis of our representation π. If we want to find , then we need to find all bonds marked by i, and if they join the vertices , then
It is clear that if we take an element , then it is a sum of , where there exists a path from the weight γ to of the length 2 marked by the sequence (i, j). Similarly, if we take an element , then it is a sum of , where there exists a path from the weight γ to of the length k marked by the sequence .
Our goal is to generate all matrix units , where . Since all weight diagrams are connected, it is sufficient to generate all matrix units and , where . The general idea how to do it is the following: for any and any such that we find such that:
there exists a path from γ to ;
in our weight diagram there is no other path ;
the path exists only from to .
Then
and and therefore can be generated.
It is almost clear that such and unique paths always exist, we will just show one diagram as an example.
If we take the case with the weight ω2, the representation is 28-dimensional. Let us find a path which gives . Since the path (1, 3) is unique in the diagram, then the path (2, 1, 3) is also unique and we have
If we want to generate, for example, , then the suitable path is (4, 1, 5), since the path (1, 5) is unique in the diagram.
Looking at the picture it is easy to find the suitable path for any pair of neighboring vertices.
Therefore the lemma is proved for all the cases. □
Since and generates the whole matrix ring , then . Therefore . From the other side, since , then . Since is (by definition) the Chevalley group , then y normalizes G.
Now we know that is an automorphism of , identical on the elementary subgroup . Let us take some and and let . Then therefore so
By the main theorem from [Citation3] , therefore
Whence is a central automorphism of G and the initial is the composition of graph, ring, inner and central automorphisms, i.e., is standard.
The theorem is proved.
5 Some applications: isomorphisms and model theory of Chevalley groups
Standard description of automorphisms of Chevalley groups allows to describe and classify Chevalley groups up to different type of equivalencies and also to study model-theoretic properties.
Theorem 3.
Let and be two Chevalley groups of ranks > 1, R1, R2 be commutative rings with 1. Suppose that for or we have , for we have . Then every isomorphism between the groups G1 and G2 is standard: it is a composition of inner, diagram and central automorphisms of G1 and ring isomorphism between G1 and G2.
Proof.
We will use Theorem 6 from [Citation15]:
If and are Chevalley groups of ranks > 1, is an isomorphism between them, then .
Now together with an isomorphism we have an isomorphism between their elementary subgroups. Since the quotient groups of and by their centers are adjoint elementary Chevalley groups and , then induces an isomorphism . By Theorem 9 from [Citation15] in this case and the isomorphism is a composition of a ring isomorphism induced by some isomorphism of rings and an automorphism .
The ring isomorphism ρ also induces an isomorphism between the initial Chevalley groups G1 and G2. Therefore is an automorphism of the Chevalley group G1, which is by Theorem 2 a composition of ring, inner, diagram and central automorphisms of G1, therefore the initial is a composition of inner, diagram and central automorphisms of G1 and ring isomorphism between G1 and G2. □
Remark 2.
The result of Theorem 3 is valid with respect to elementary Chevalley groups and as well.
Corollary 1
(classification of Chevalley groups up to isomorphism). Under conditions from Theorem 3 two Chevalley groups G1 and G2 (elementary Chevalley groups, respectively) are isomorphic if and only if they have the same root systems and , same weight lattices and and isomorphic rings R1 and R2.
Proof.
If , then there exists an isomorphism , which is composition of a ring isomorphism and some automorphism (according to Theorem 3). Therefore there exists a ring isomorphism between G1 and G2, i.e., G1 and G2 have the same root systems, weight lattices and isomorphic rings. □
Another application of Theorem 3 is classification of Chevalley groups up to elementary equivalence (for adjoint Chevalley groups it was done in [Citation15]).
Definition 3.
Two algebraic systems and of the same language are called elementarily equivalent, if their first order theories coincide.
Theorem 4
(Keisler–Shelah Isomorphism theorem, [Citation36, Citation56]). Two models and of the same language are elementarily equivalent if and only if there exists an ultrafilter such that
Corollary 2 (classification of Chevalley groups up to elementary equivalence). Under conditions from Theorem 3 two Chevalley groups G1 and G2 (elementary Chevalley groups, respectively) are elementarily equivalent if and only if they have the same root systems and , same weight lattices and and elementarily equivalent rings R1 and R2.
Proof.
By Theorem 4 the groups G1 and G2 are elementarily equivalent if and only if for some ultrafilter their ultrapowers are isomorphic. Since the latter is equivalent to what was required. □
Two last corollaries almost finalize classification of Chevalley groups over commutative rings up to isomorphisms and elementary equivalence. However, there are still open questions concerning the relations of Chevalley groups with model theory.
In the recent work of D. Segal and K. Tent [Citation55] the question of bi-interpretability of Chevalley groups over integral domains was considered (see [Citation55] and [Citation37] for the definition of bi-interpretability):
Theorem 5.
[Citation55] Let be a Chevalley group of rank atleast two, and let R be an integral domain. Then R and G(R) are bi-interpretableprovided either
G is adjoint, or
G(R) has finite elementary width,
In the paper [Citation16] regular bi-interpretabilty of Chevalley groups over local rings was obtained. This result used the ideas from [Citation55] along with description of isomorphisms between Chevalley groups over local rings. It has also been proved that the class of Chevalley groups over local rings is elementarily definable: any group that is elementarily equivalent to some Chevalley group over a local ring is also a Chevalley group (of the same type) over a local ring (see [Citation16]). Theorems 2 and 3 of the current paper allows us to prove regular bi-interptretability and elementary definability of adjoint Chevalley groups and Chevalley groups of finite elementary width over arbitrary commutative rings.
Acknowledgments
My sincere thanks go to Eugene Plotkin for very useful discussions regarding various aspects of this work and permanent attention to it.
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
- Abe, E. (1993). Automorphisms of Chevalley groups over commutative rings. Algebra Anal. 5(2):74–90.
- Abe, E. (1969). Chevalley groups over local rings. Tohoku Math. J. 21(3):474–494.
- Abe, E., Hurley, J. (1988). Centers of Chevalley groups over commutative rings. Commun. Algebra 16(1):57–74. DOI: 10.1080/00927878808823561.
- Abe, E., Suzuki, K. (1976). On normal subgroups of Chevalley groups over commutative rings. Tohoku Math. J. 28(1):185–198.
- Borel, A. (1973). Properties and linear representations of Chevalley groups. In: Seminar in Algebraic Groups, pp. 9–59.
- Borel, A., Tits, J. (1973). Homomorphismes “abstraits” de groupes algébriques simples. Ann. Math. 73:499–571. DOI: 10.2307/1970833.
- Bourbaki, N. (1968). Groupes et Algébres de Lie. Paris: Hermann.
- Bunina, E. I. (2009). Automorphisms of elementary adjoint Chevalley groups of types Al, Dl, El over local rings. Algebra Logic 48(4):250–267 (arXiv:math/0702046). DOI: 10.1007/s10469-009-9061-1.
- Bunina, E.I. (2008). Automorphisms of adjoint Chevalley groups of types B2 and G2 over local rings. J. Math. Sci. 155(6):795–814. DOI: 10.1007/s10958-008-9242-9.
- Bunina, E. I. (2010). Automorphisms and normalizers of Chevalley groups of types Al, Dl, El over local rings with 1/2. J. Math. Sci. 167:749–766. DOI: 10.1007/s10958-010-9959-0.
- Bunina, E. I. (2009). Automorphisms of Chevalley groups of types Bl over local rings with 1/2. Fundamentalnaya i prikladnaya matematika 15(7):3–46 (arXiv:0911.4243).
- Bunina, E. I. (2010). Automorphisms of Chevalley groups of type F4 over local rings with 1/2. J. Algebra 323: 2270–2289. DOI: 10.1016/j.jalgebra.2009.12.034.
- Bunina, E. I. (2010). Automorphims of Chevalley groups of types Al,Dl,El over local rings without 1/2. J. Math Sci. 169:589–613. DOI: 10.1007/s10958-010-0062-3.
- Bunina, E. I. Automorphisms of Chevalley groups of different types over commutative rings. J. Algebra 355(1): 154–170. DOI: 10.1016/j.jalgebra.2012.01.002.
- Bunina, E. I. (2019). Isomorphisms and elementary equivalence of Chevalley groups over commutative rings. Sbornik: Math. 210(8):1067–1091. DOI: 10.1070/SM9069.
- Bunina, E. I. (2023). Regular bi-interpretability of Chevalley groups over local rings. To published in European Journal of Mathematics. (Arxiv.org/abs/2208.13623). DOI: 10.1007/s40879-023-00659-4.
- Bunina, E. I., Weryovkin, P. V. (2014). Normalizers of Chevalley groups of the type G2 over local rings without 1/2. J. Math. Sci. 201(4):446–449. DOI: 10.1007/s10958-014-2004-y.
- Carter, R. W. (1989). Simple Groups of Lie Type, 2nd ed. London: Wiley.
- Carter, R. W., Chen, Yu. (1993). Automorphisms of affine Kac–Moody groups and related Chevalley groups over rings. J. Algebra 155:44–94. DOI: 10.1006/jabr.1993.1031.
- Chen, Yu. (1994). Isomorphic Chevalley groups over integral domains. Rend. Sem. Mat. univ. Padova 92:231–237.
- Chen, Yu. (1996). Isomorphisms of adjoint Chevalley groups over integral domains. Trans. Amer. Math. Soc. 348(2):1–19. DOI: 10.1090/S0002-9947-96-01521-8.
- Chen, Yu. (2000). Isomorphisms of Chevalley groups over algebras. J. Algebra 226:719–741. DOI: 10.1006/jabr.1999.8133.
- Chevalley, C. (1960–1961). Certain schemas des groupes semi-simples. Sem. Bourbaki 219:1–16.
- Cohn, P. (1966). On the structure of the GL 2 of a ring. Publ. Math. Inst. Hautes Et. Sci. 30:365–413. DOI: 10.1007/BF02684355.
- Demazure, M., Gabriel, P. (1970). Groupes algébriques. I. Amsterdam: North Holland, pp. 1–770.
- Demazure, M., Grothendieck, A. (1971). Schémas en groupes. I, II, III. Lecture Notes Math. 151:1–564; 152:1–654; 153:1–529.
- Diedonne, J. (1951). On the Automorphisms of Classical Groups. Memoirs of the American Mathematical Society, Vol. 2. Providence, RI: American Mathematical Society.
- Golubchik, I. Z., Mikhalev, A. V. (1983). Isomorphisms of unitary groups over associative rings. Zapiski nauchnyh seminarov LOMI 132:97–109 (in Russian).
- Golubchik, I. Z., Mikhalev, A. V. (1983). Isomorphisms of the general linear group over associative ring. Vestnik MSU, ser. math. 3:61–72.
- Golubchik, I. Z. (1997). Linear groups over associative rings. Doctoral degree dissertation, Ufa.
- Hazrat, R., Vavilov, N. A. (2003). K1 of Chevalley groups are nilpotent. J. Pure Appl. Algebra 179:99–116. DOI: 10.1016/S0022-4049(02)00292-X.
- Hua, L. K., Reiner, I. (1951). Automorphisms of unimodular groups. Trans. Amer. Math. Soc. 71:331–348. DOI: 10.1090/S0002-9947-1951-0043847-X.
- Hua, L. K. (1948). On the automorphisms of the symplectic group over any field. Ann. Math. 49:739–759. DOI: 10.2307/1969397.
- Humphreys, J. F. (1969). On the automorphisms of infinite Chevalley groups. Can. J. Math. 21:908–911. DOI: 10.4153/CJM-1969-099-7.
- Humphreys, J. E. (1978). Introduction to Lie Algebras and Representation Theory. New York: Springer–Verlag.
- Keisler, H. J. (1961). Ultraproducts and elementary classes. Honinkl. Ned. Akad. Wetensch. Proc., Ser. A 64: 477–495. DOI: 10.1016/S1385-7258(61)50048-0.
- Kharlampovich, O., Myasnikov, A., Sohrabi, M. (2021). Rich groups, weak second order logic, and applications. In: Groups and Model Theory, GAGTA Book 2. Berlin: De Gruyter, pp. 127–191.
- Klyachko, A. A. (2010). Automorphisms and isomorphisms of Chevalley groups and algebras. J. Algebra 324(10):2608–2619. DOI: 10.1016/j.jalgebra.2009.08.024.
- Landin, J., Reiner, I. (1957). Automorphisms of the general linear group over a principal ideal domain. Ann. Math. 65(3):519–526. DOI: 10.2307/1970063.
- Luzgarev, A. Yu., Vavilov, N. A. Normalizer of the Chevalley group of type E6. St. Petersburg Math. J. 19(5): 699–718. DOI: 10.1090/S1061-0022-08-01016-9.
- Luzgarev, A. Yu., Vavilov, N. A. (2016). Normalizer of the Chevalley group of type E7. St. Petersburg Math. J. 27(6):899–921.
- Matsumoto, H. (1969). Sur les sous-groupes arithmétiques des groupes semi-simples deployés. Ann. Sci. Ecole Norm. Sup., 4eme ser. 2:1–62. DOI: 10.24033/asens.1174.
- McDonald, B. R., Pomfret, J. (1972). Automorphisms of GL n(R), R a local ring. Trans. Amer. Math. Soc. 173: 379–388. DOI: 10.2307/1996281.
- McQueen, L., McDonald, B. R. (1974). Automorphisms of the symplectic group over a local ring. J. Algebra 30(1–3):485–495. DOI: 10.1016/0021-8693(74)90219-1.
- O’Meara, O. T. (1966). The automorphisms of linear groups over any integral domain. J. Reine Angew. Math. 223:56–100.
- O’Meara, O. T. (1968). The automorphisms of the standard symplectic group over any integral domain. J. Reine Angew. Math. 230:103–138.
- Petechuk, V. M. (1983). Automorphisms of matrix groups over commutative rings. Math. Sbornik 45:527–542. DOI: 10.1070/SM1983v045n04ABEH001024.
- Petechuk, V. M. (1982). Automorphisms of groups SL 3(K), GL 3(K). Math. Notes 31(5): 657–668.
- Petechuk, V. M. Automorphisms of the symplectic group Sp n(R) over some local rings. VINITI, 2224–80.
- Petechuk, V. M. (1983). Isomorphisms of symplectic groups over commutative rings. Algebra Logic 22(5):551–562.
- Plotkin, E., Semenov, A., Vavilov, N. (1998). Visual Basic Representations: an Atlas. Int. J. Algebra Comput. 08(1):61–95. DOI: 10.1142/S0218196798000053.
- Rickart, C. E. (1950). Isomorphic group of linear transformations. Amer. J. Math. 72:451–464. DOI: 10.2307/2372048.
- Rickart, C. E. (1951). Isomorphic group of linear transformations, II. Amer. J. Math. 73:697–716. DOI: 10.2307/2372320.
- Schreier, O., van der Waerden, B. L. (1928). Die Automorphismen der projektiven Gruppen. Abh. Math. Sem. Univ. Hamburg 6:303–322. DOI: 10.1007/BF02940620.
- Segal, D., Tent, K. (2020). Defining R and G(R). arXiv:2004.13407.
- Shelah, S. (1972). Every two elementarily equivalent models have isomorphic ultrapowers. Israel J. Math. 10: 224–233. DOI: 10.1007/BF02771574.
- Shi-jian, Y. (1957). An automorphism of linear group over a non-commutative principal ideal domain of characteristic ≠2. Acta Math. Sinica 7:533–573.
- Stein, M. R. (1973). Surjective stability in dimension 0 for K2 and related functors. Trans. Amer. Soc. 178(1): 165–191.
- Steinberg, R. (1967). Lectures on Chevalley Groups. Yale University. Providence, RI: American Mathematical Society.
- Steinberg, R. (1960). Automorphisms of finite linear groups. Can. J. Math. 121:606–615. DOI: 10.4153/CJM-1960-054-6.
- Suslin, A. A. (1981). On a theorem of Cohn. J. Sov. Math. 17(2):1801–1803. DOI: 10.1007/BF01091767.
- Swan, R. (1971). Generators and relations for certain special linear groups. Adv. Math. 6:1–77. DOI: 10.1016/0001-8708(71)90027-2.
- Taddei, G. (1986). Normalité des groupes élémentaire dans les groupes de Chevalley sur un anneau. Contemp. Math. Part II 55:693–710.
- Vavilov, N. A. (1991). Structure of Chevalley groups over commutative rings. In: Proc. Conf. Non-associative Algebras and Related Topics (Hiroshima – 1990). London: World Scientific Publishing, pp. 219–335.
- Vavilov, N. A., Plotkin, E. B. (1996). Chevalley groups over commutative rings. I. Elementary calculations. Acta Applicandae Math. 45:73–115. DOI: 10.1007/BF00047884.
- Waterhouse, W. C. (1980). Automorphisms of GLn(R). Proc. Amer. Math. Soc. 79:347–351. DOI: 10.2307/2043063.
- Zelmanov, E. I. (1985). Isomorphisms of general linear groups over associative rings. Siberian Math. J. 26(4): 515–530 (in English).