---
title: Coxeter Element Overview
url: https://www.emergentmind.com/topics/coxeter-element
type: topic
---

# Coxeter Element Overview

A Coxeter element is a fundamental object in the theory of Coxeter and complex reflection groups, playing a central role in geometric, combinatorial, and representation-theoretic aspects of Lie theory, singularity theory, and algebraic combinatorics. Its definition, algebraic structure, spectral theory, and connection to noncrossing partitions, monodromy, and primitive factorizations constitute a rich area of research with deep consequences for the understanding of finite and infinite reflection groups.

## 1. Definition and Characterization

Let $(W, S)$ be a Coxeter system with $W$ a group generated by involutive simple reflections $S = \{s_1, \ldots, s_n\}$, subject to braid relations determined by the Coxeter matrix. A **Coxeter element** is any product of all simple reflections in some order:
\[
c = s_{\pi(1)} s_{\pi(2)} \cdots s_{\pi(n)},\quad \pi \in S_n
\]
The set of all such products, each involving every simple reflection exactly once, exhausts all Coxeter elements; different orderings may yield the same or distinct group elements. In the classical finite real case, Coxeter elements correspond to regular elements whose eigenvalues and spectral data encode the exponents and Coxeter number of $W$ [2007.09238].

For irreducible, well-generated complex reflection groups $W \subset \mathrm{GL}(V)$, with degrees $1 \leq d_1 \leq \dots \leq d_n$ of basic polynomial invariants and Coxeter number $h = d_n$, a Coxeter element is precisely a **regular element of order $h$**, i.e., an element that acts on $V$ with a regular eigenvector outside the reflecting hyperplanes, for an eigenvalue $\zeta = e^{2\pi i/h}$ [1404.5522, 1808.10395].

## 2. Conjugacy, Automorphisms, and Enumeration

### Conjugacy and Automorphisms

In finite irreducible $W$, all Coxeter elements form a single conjugacy class, except in types where the Dynkin diagram admits a nontrivial automorphism. Eriksson and Eriksson proved that two Coxeter elements are conjugate if and only if their reduced words are related by a sequence of rotations (moving the first letter to the end) and legal commutations (swapping commuting generators) [1302.2842]. This combinatorial criterion is tightly linked to acyclic orientations and chip-firing games on the Coxeter graph.

For complex reflection groups, the set of Coxeter elements forms a single orbit under the action of **reflection automorphisms**: group automorphisms that permute the set of all reflections. The Galois group of the field of definition $K_W$ acts simply transitively on the set of conjugacy classes of Coxeter elements, with the number of such classes given by $|\mathrm{Conj}(c)| = [K_W : \mathbb{Q}] = \varphi(h)/\varphi_W(h)$, where $\varphi_W(h)$ counts exponents coprime to $h$ [1404.5522].

### Enumeration

The total number of Coxeter elements in $W$ is $|W|/h$, where $h$ is the order of any Coxeter element (the Coxeter number). For example, in type $A_{n-1}$ ($W \cong S_n$), there are $(n-1)!$ Coxeter elements, each an $n$-cycle in the symmetric group [2007.09238].

| Type      | $|W|$         | $h$         | $\#$ Coxeter elements |
|-----------|--------------|-------------|-----------------------|
| $A_{n-1}$ | $n!$         | $n$         | $(n-1)!$              |
| $B_n/C_n$ | $2^n n!$     | $2n$        | $2^{n-1}(n-1)!$       |
| $D_n$     | $2^{n-1}n!$  | $2n-2$      | $2^{n-2} n!/(n-1)$    |

## 3. Algebraic and Spectral Properties

Coxeter elements are **regular**: in the reflection representation, their eigenvalues are $\{\exp(2\pi i e_k / h)\}_{k=1}^n$, with the $e_k$ the exponents of the group. The centralizer $\mathrm{Cent}_W(c)$ is the cyclic group generated by $c$ itself, i.e., $\langle c \rangle$, which has order $h$ when $W$ is finite [1912.01529]. This rigidity is foundational for the study of regular conjugacy classes and for the structural properties of absolute order, representations, and monodromy.

In the context of complex groups and their duals, the Coxeter element is realized as the value of the dual cocharacter $\widehat{\rho}$ (associated to half the sum of positive roots) at $e^{2\pi i/h}$, thus connecting Coxeter theory to the Langlands dual group. Kostant’s theorem states that the character value of an irreducible representation at the Coxeter element is always in $\{-1, 0, 1\}$, nonzero precisely when the corresponding weight lies in the Weyl group orbit of a specific regular semisimple torsion element in the dual torus [1402.5504].

## 4. Coxeter Elements and Root Systems

### Action on Roots

The action of a Coxeter element $c$ on the root system $\Phi$ of $W$ partitions the roots into $n$ orbits of size $h$ in the finite case; a natural transversal is given by certain nested sequences of simple reflections. In affine types, the orbit structure becomes more intricate: there are $2n$ infinite orbits and, for ranks greater than two, countably many finite real $c$-orbits. These are completely classified in terms of certain rank-$(n-2)$ finite root subsystems and associated discrete parameters [1808.05090].

### Infinite and Non-finite Rank Variants

For root systems of "half-infinite" types such as $A_{1/2\infty}$ and $D_{1/2\infty}$, the Coxeter operator is defined as the product of monodromy automorphisms about the critical values, and its spectrum becomes continuous over an interval rather than discrete, providing an infinite-dimensional, analytic extension of the finite-type spectral theory [1201.5718].

## 5. Noncrossing Partitions and Absolute Order

Coxeter elements index intervals in the absolute order on $W$: $\leq_R$ is defined by reflection length, and the noncrossing partition lattice $NC(W, c)$ is the interval $[1, c]_R$. The poset $NC(W, c)$ is isomorphic under reflection automorphisms for different Coxeter elements; the associated combinatorial and geometric structures (EL-shellability, Catalan enumeration, self-duality) do not depend on the choice of $c$ [1404.5522, 1808.10395].

Reduced reflection factorizations of $c$ correspond bijectively to maximal chains in $NC(W, c)$, connecting representation theory, braid groups, and algebraic geometry. The **primitive factorization** theory enumerates length-additive factorizations of $c$ into parabolic Coxeter elements and reflections, with uniform formulas depending on reflection length and normalizer indices [1808.10395].

## 6. Geometry, Schubert Varieties, and Broader Contexts

Coxeter elements appear in the geometry of Schubert varieties: for a simple algebraic group $G$ with Weyl group $W$, each Schubert variety $X_w$ in $G/B$ is indexed by $w\in W$. Coxeter elements are maximally spherical elements, and $X_c = G/B$ is $G$-spherical. Generalizations allow for spherical elements indexed by more intricate subsets, with applications to the study of spherical Schubert geometry, Demazure modules, and key polynomials [2007.09238].

In the broader categorical and monodromy contexts, Coxeter elements serve as Garside elements in braid groups, generate centralizers in Artin group theory, and underpin continous spectral decompositions in singularity and Hodge theory [1201.5718, 1808.10395].

## 7. Generalizations and Regular Elements

Properties of Coxeter elements robustly extend to regular elements of arbitrary order in well-generated (and, in many cases, badly generated) complex reflection groups. Reflection automorphisms act transitively on regular elements of a given order, and the corresponding Galois-theoretic and combinatorial statements carry over with adjustments to degree and orbit counting determined by the exponents and regular numbers [1404.5522].

---

**Key references**:
- [2007.09238] Hodges, Yong: Coxeter combinatorics and spherical Schubert geometry.
- [1404.5522] Reiner, Ripoll, Stump: On non-conjugate Coxeter elements in well-generated reflection groups.
- [1402.5504] Prasad: Half the sum of positive roots, the Coxeter element, and a theorem of Kostant.
- [1912.01529] Wegener: The centralizer of a Coxeter element.
- [1808.05090] Hohlweg, Ripoll: The action of a Coxeter element on an affine root system.
- [1808.10395] Douvropoulos: Lyashko-Looijenga morphisms and primitive factorizations of the Coxeter element.
- [1201.5718] Saito: Coxeter elements for vanishing cycles of type $A_{1/2\infty}$ and $D_{1/2\infty}$.
- [1302.2842] Eriksson, Eriksson: Conjugacy of Coxeter elements.

Source: https://www.emergentmind.com/topics/coxeter-element