Abelianization of some groups of interval exchanges

Abstract

Let IET be the group of bijections from $\mathopen{[}0,1 \mathclose{[}$ to itself that are continuous outside a finite set, right-continuous and piecewise translations. The abelianization homomorphism $f: \text{IET} \to A$, called SAF-homomorphism, was described by Arnoux-Fathi and Sah. The abelian group $A$ is the second exterior power of the reals over the rationals. For every subgroup $Γ$ of $\mathbb{R/Z}$ we define $\text{IET}(Γ)$ as the subgroup of $\text{IET}$ consisting of all elements $f$ such that $f$ is continuous outside $Γ$. Let $\tildeΓ$ be the preimage of $Γ$ in $\mathbb{R}$. We establish an isomorphism between the abelianization of $\text{IET}(Γ)$ and the second skew-symmetric power of $\tildeΓ$ over $\mathbb{Z}$ denoted by ${}^\circleddash\!\!\bigwedge^2_{\mathbb{Z}} \tildeΓ$. This group often has non-trivial $2$-torsion, which is not detected by the SAF-homomorphism. We then define $\text{IET}^{\bowtie}$ the group of all interval exchange transformations with flips. Arnoux proved that this group is simple thus perfect. However for every subgroup $\text{IET}^{\bowtie}(Γ)$ we establish an isomorphism between its abelianization and $\langle \lbrace a \otimes a ~ [\text{mod}~2] \mid a \in \tildeΓ \rbrace \rangle \times \langle \lbrace \ell \wedge \ell ~ [\text{mod}~2] \mid \ell \in \tildeΓ \rbrace \rangle$ which is a $2$-elementary abelian subgroup of $\bigotimes^2_{\mathbb{Z}} \tildeΓ / (2\bigotimes^2_{\mathbb{Z}} \tildeΓ) \times {}^\circleddash\!\!\bigwedge^2_{\mathbb{Z}} \tildeΓ / (2 {}^\circleddash\!\!\bigwedge^2_{\mathbb{Z}} \tildeΓ)$.