Sha-rigidity of adjoint Chevalley groups of types A_1, A_2, B_2, G_2 over commutative rings

Let R be a commutative ring.

(1) Assume that 2\in R^\times and let \Phi\in\{\mathbf A_1,\mathbf A_2,\mathbf B_2\}. Then every locally inner endomorphism of E_{\mathrm{ad}}(\Phi,R) is inner. Moreover, any locally inner endomorphism of G_{\mathrm{ad}}(\Phi,R) is inner for \Phi\in\{\mathbf A_2,\mathbf B_2\}, and for \Phi=\mathbf A_1 under the additional assumption that E_{\mathrm{ad}}(\mathbf A_1,R) is normal in G_{\mathrm{ad}}(\mathbf A_1,R).

(2) Assume that 2,3\in R^\times. Then every locally inner endomorphism of E_{\mathrm{ad}}(\mathbf G_2,R) is inner, and every locally inner endomorphism of G_{\mathrm{ad}}(\mathbf G_2,R) is inner.

In particular, all groups listed above are \operatorname{Sha}-rigid.

Every commutative ring R with 1 embeds into the product of its localizations at maximal ideals

via the diagonal map a\mapsto \bigl(\frac{a}{1}\bigr)_{\mathfrak m}, see, e.g., [AtiyahMacdonald].

The centralizer of x_\alpha(1) in \mathrm{M}_3(R) consists precisely of the matrices

The situation

is impossible for h,d\neq 0 and a\neq 1.

Let R be a commutative ring with 1/2\in R. Then any locally inner endomorphism of E_{\mathrm{ad}}(\mathbf A_1,R) is inner. Equivalently, E_{\mathrm{ad}}(\mathbf A_1,R) has Property E, hence is \operatorname{Sha}-rigid.

Let X_{12}=\varphi\bigl(x_{\alpha_1+\alpha_2}(1)\bigr). Then

Let R be a commutative ring and let G_{\mathrm{ad}}(A_2,R) be the adjoint Chevalley group of type A_2 over R. Set \gamma=\alpha_1+\alpha_2 and consider

Let \varphi be the automorphism of G_{\mathrm{ad}}(A_2,R) such that

Then, if R has at least one localization by a maximal ideal with residue field of characteristic \ne 7, the elements Y and \varphi(Y) are not conjugate in G_{\mathrm{ad}}(A_2,R).

Let R be a commutative ring with 1/2\in R. Then every locally inner endomorphism of the elementary adjoint Chevalley group E_{\mathrm{ad}}(\mathbf A_2,R) is inner. Equivalently, E_{\mathrm{ad}}(\mathbf A_2,R) is \operatorname{Sha}-rigid.

Let R be a commutative ring with 1/2\in R. Then every locally inner endomorphism of the adjoint Chevalley group G_{\mathrm{ad}}(\mathbf A_2,R) is inner. Equivalently, G_{\mathrm{ad}}(\mathbf A_2,R) is \operatorname{Sha}-rigid.

The centralizer of X_0 in U^+ consists precisely of the elements

One has

After conjugating \varphi by an element of the centralizer C(X_0), we may assume

Let R be a commutative ring with 1/2\in R. Then every locally inner endomorphism of E_{\mathrm{ad}}(\mathbf B_2,R) is inner. Equivalently, E_{\mathrm{ad}}(\mathbf B_2,R) is \operatorname{Sha}-rigid.

Let R be a commutative ring with 1/2\in R. Then every locally inner endomorphism of G_{\mathrm{ad}}(\mathbf B_2,R) is inner. Equivalently, G_{\mathrm{ad}}(\mathbf B_2,R) is \operatorname{Sha}-rigid.

Let R be a commutative ring with 1/2,1/3\in R. Then every locally inner endomorphism of E_{\mathrm{ad}}(\mathbf G_2,R) is inner. Equivalently, E_{\mathrm{ad}}(\mathbf G_2,R) is \operatorname{Sha}-rigid.

Let R be a commutative ring with 1/2,1/3\in R. Then every locally inner endomorphism of G_{\mathrm{ad}}(\mathbf G_2,R) is inner. Equivalently, G_{\mathrm{ad}}(\mathbf G_2,R) is \operatorname{Sha}-rigid.