6c478f292a54623f.tex
1: \begin{abstract}
2: 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: \textup{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.
3: 
4: For every subgroup $\Gamma$ of $\mathbb{R/Z}$ we define $\textup{IET}(\Gamma)$ as the subgroup of IET consisting of all elements $f$ such that $f$ is continuous outside $\Gamma$. Let $\tilde{\Gamma}$ be the preimage of $\Gamma$ in $\mathbb{R}$. We establish an isomorphism between the abelianization of $\textup{IET}(\Gamma)$ and the second skew-symmetric power of $\tilde{\Gamma}$ over $\mathbb{Z}$ denoted by ${}^\circleddash\!\!\bigwedge^2_{\mathbb{Z}} \tilde{\Gamma}$. This group often has non-trivial $2$-torsion, which is not detected by the $\textup{SAF}$-homomorphism.
5: 
6: 
7: 
8: We then define $\textup{IET}^{\bowtie}$ the group of all interval exchange transformations with flips. Arnoux proved that this group is simple thus perfect. However for every subgroup $\textup{IET}^{\bowtie}(\Gamma)$ we establish an isomorphism between its abelianization and $\langle \lbrace a \otimes a ~ [\textup{mod}~2] \mid a \in \tilde{\Gamma} \rbrace \rangle \times \langle \lbrace \ell \wedge \ell \modulo{2} \mid \ell \in \tilde{\Gamma} \rbrace \rangle$ which is a $2$-elementary abelian subgroup of $\bigotimes^2_{\mathbb{Z}} \tilde{\Gamma} / (2\bigotimes^2_{\mathbb{Z}} \tilde{\Gamma}) \times {}^\circleddash\!\!\bigwedge^2_{\mathbb{Z}} \tilde{\Gamma} / (2 {}^\circleddash\!\!\bigwedge^2_{\mathbb{Z}} \tilde{\Gamma})$.
9: 
10: \end{abstract}
11: