[Paper Review] Automorphisms of Chevalley groups over commutative rings

E. I. Bunina|arXiv (Cornell University)|Apr 26, 2023

Finite Group Theory Research28 citations

TL;DR

The paper proves that every automorphism of a Chevalley group (or its elementary subgroup) of rank greater than 1 over a commutative ring is standard, i.e., a composition of ring, inner, central, and graph automorphisms, under specified invertibility conditions.

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 A_2, F_4, B_l, C_l; with 1/2 and 1/3 for the system G_2) 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.

Motivation & Objective

• Motivate and classify automorphisms of Chevalley groups over rings beyond fields.
• Extend prior results to arbitrary commutative rings for rank >1 root systems.
• Provide a uniform description (standard automorphisms) and identify invertibility constraints involved.
• Bridge to model-theoretic applications through the established automorphism structure.

Proposed method

• Use localization to reduce the problem to local rings and analyze automorphisms via adjoint and elementary subgroups.
• Show that any automorphism factors through graph, ring, and inner components, reducing to a strictly inner automorphism on adjoint groups.
• Utilize generators and relations of elementary Chevalley groups to constrain possible automorphisms.
• Decompose automorphisms into standard types (inner, ring, central, graph) and handle centers via adjoint/central considerations.
• Leverage earlier results on normalizers and action on root elements to control conjugation behavior.

Experimental results

Research questions

• RQ1 Can every automorphism of a Chevalley group (or its elementary subgroup) over a commutative ring be expressed as a standard product of ring, inner, central, and graph automorphisms?
• RQ2 What invertibility conditions on the ring are necessary for the standard description to hold across different root systems?
• RQ3 How does the passage from a general Chevalley group to its adjoint (or elementary) form influence the automorphism classification?
• RQ4 Can localization techniques at maximal ideals reduce the global automorphism problem to local cases without loss of information?
• RQ5 What are the model-theoretic consequences of the standard automorphism description for Chevalley groups over rings?

Key findings

• Every automorphism of G = G_pi(Φ, R) (or its elementary subgroup) of rank > 1 is standard under the stated invertibility conditions.
• In the adjoint case, automorphisms decompose into graph, ring, and strictly inner automorphisms (center trivial in adjoint groups).
• The analysis reduces to checking the action on root elements and uses localization to lift identifications from local to global rings.
• Conjugation by an element normalizing the elementary subgroup can be realized within the adjoint framework, enabling control of the automorphism structure.
• Graph automorphisms corresponding to automorphisms of the root system play a key role in the standard decomposition, with explicit handling per root system.
• The results extend prior local and adjoint-case analyses to arbitrary commutative rings for rank > 1, clarifying the full automorphism landscape.