Abstract:In 1972, R. Carter introduced admissible diagrams to classify conjugacy classes in a finite Weyl group W. We say that an admissible diagram \Gamma is a Carter diagram if any edge {\alpha, \beta} with inner product (\alpha, \beta) > 0 (resp. (\alpha, \beta) < 0) is drawn as dotted (resp. solid) edge. We construct an explicit transformation of any Carter diagram containing long cycles (with the number of vertices l > 4) into another Carter diagram containing only 4-cycles. Thus, all Carter diagrams containing long cycles can be eliminated from the classification list. There exist diagrams determining two conjugacy classes in W.It is shown that any connected Carter diagram \Gamma containing a 4-vertex pattern D_4 or D_4(a_1) determines a single conjugacy class. The main approach is studying different extensions of Carter diagrams. Let \tilde{\Gamma} be the Carter diagram obtained from a certain Carter diagram \Gamma by adding a single vertex \alpha connected to \Gamma at n points, n \leq 3. Let a socket be the set of vertices of \Gamma connected to \alpha. If the number of sockets available for extensions is equal to 2, then there is a pair of extensions \Gamma < \tilde{\Gamma}_L and \Gamma < \tilde{\Gamma}_R, called mirror extensions and the pair elements w_L and w_R associated with \tilde{\Gamma}_L and \tilde{\Gamma}_R. We show that w_R = T^{-1}w_L{T} for some T \in W, where the map T is explicitly constructed for all mirror extensions. In Carter's description of the conjugacy classes in a Weyl group a key result (Carter's theorem) states that every element in a Weyl group is a product of two involutions. One of the goals of this paper and its sequels is to prepare the notions and framework in which we give the proof of this fact without appealing to the classification of conjugacy classes.

On simply-laced generalized root systems

Root Structure of a Special Generalized Kac-Moody Algebra

Affine root systems, stable tubes and a conjecture by Geiss-Leclerc-Schröer

Root systems and diagram calculus. I. Regular extensions of Carter diagrams and the uniqueness of conjugacy classes

Root systems for asymmetric geometric representations of Coxeter groups

Restricted Root Systems and Spin Representations

Rooted trees with level structures, $Ω$-classes and double ramification cycles

ON PAIRED ROOT SYSTEMS OF COXETER GROUPS

A classification of generalized root systems

Euler systems and relative Satake isomorphism

Root systems and diagram calculus. II. Quadratic forms for the Carter diagrams

Euler systems for conjugate-symplectic motives

Even More Infinite Ball Packings from Lorentzian Root Systems

Root Systems In Finite Symplectic Vector Spaces

Defining sequences for fundamental root systems and Coxeter graphs for super Weyl groups

Integer quadratic forms and extensions of subsets of linearly independent roots

On loop Deligne--Lusztig varieties of Coxeter-type for inner forms of ${\rm GL}_n$

Real roots in the root system $\mathsf{T}_{2,p,q}$

Worpitzky-compatible sets and the freeness of arrangements between Shi and Catalan

Rank-3 root systems induce root systems of rank 4 via a new Clifford spinor construction