The geometry of conjugation in affine Coxeter groups

Elizabeth Milićević,Petra Schwer,Anne Thomas

2024-07-12

Abstract:We develop new and precise geometric descriptions of the conjugacy class $[x]$ and coconjugation set $\operatorname{C}(x,x') = \{ y \in \overline{W} \mid yxy^{-1} = x' \}$ for all elements $x,x'$ of any affine Coxeter group $\overline{W}$. The centralizer of $x$ in $\overline{W}$ is the special case $\operatorname{C}(x,x)$. The key structure in our description of the conjugacy class $[x]$ is the mod-set ${Mod}_{\overline{W}}(w) = (w-\operatorname{I})R^\vee$, where~$w$ is the finite part of $x$ and $R^\vee$ is the coroot lattice. The coconjugation set $\operatorname{C}(x,x')$ is then described by ${Mod}_{\overline{W}}(w')$ together with the fix-set of $w'$, where $w'$ is the finite part of $x'$. For any element $w$ of the associated finite Weyl group $W$, the mod-set of $w$ is contained in the classical move-set ${Mov}(w) = \operatorname{Im}(w - \operatorname{I})$. We prove that the rank of ${Mod}_{\overline{W}}(w)$ equals the dimension of ${Mov}(w)$, and then further investigate type-by-type the surprisingly subtle structure of the $\mathbb{Z}$-module ${Mod}_\overline{W}(w)$. As corollaries, we determine exactly when ${Mod}_{\overline{W}}(w) = {Mov}(w) \cap R^\vee$, in which case our closed-form descriptions of conjugacy classes and coconjugation sets are as simple as possible.

Group Theory,Combinatorics,Representation Theory

What problem does this paper attempt to address?

This paper aims to solve the problem of geometric description of conjugate classes and conjugate sets in affine Coxeter groups. Specifically, the authors develop new and accurate geometric description methods for the conjugate class \([x]\) and the conjugate set \(C(x, x')\) of any elements \(x\) and \(x'\) in the affine Coxeter group \(W\), where:

- The conjugate class \([x]=\{yxy^{-1}\mid y\in W\}\)
- The conjugate set \(C(x, x') = \{y\in W\mid yxy^{-1}=x'\}\)

The key structure in the paper is the mod - set, defined as \(\text{Mod}_W(w)=(w - I)R^\vee\), where \(w\) is the finite part of \(x\), and \(R^\vee\) is the associated dual root lattice. For any element \(w\) belonging to the associated finite Weyl group \(W\), the mod - set \(\text{Mod}_W(w)\) is contained in the classical moving set \(\text{Mov}(w)=\text{Im}(w - I)\).

The main contributions include:
1. **Relationship between mod - set and moving set**: It is proved that the rank of \(\text{Mod}_W(w)\) is equal to the dimension of \(\text{Mov}(w)\), and the fine structure of \(\text{Mod}_W(w)\) as a \(\mathbb{Z}\)-module is further studied.
2. **Geometric description of conjugate classes and conjugate sets**: Closed - form descriptions of conjugate classes and conjugate sets are given through mod - sets and fix - sets.
3. **Type - specific analysis**: Detailed mod - set descriptions are carried out for different types of affine Coxeter groups (such as \(\tilde{A}_n\), \(\tilde{C}_n\), \(\tilde{B}_n\) and \(\tilde{D}_n\)), and it is determined which elements fill their moving sets.

These results not only provide a deep understanding of conjugate classes and conjugate sets, but also lay the foundation for further research in related fields.