Classification of Rauzy-Veech groups: proof of the Zorich conjecture (Q1741564)

The Rauzy-Veech induction is a renormalization procedure for interval exchange transformations which associates to any irreducible permutation (a permutation in \(S_n\) is irreducible if the only subset of the from \(\{1, \dots, k\}\) it leaves invariant is when \(k=n\)) a graph, known as the \textit{Rauzy graph}, each arrow of which is labeled by an \(n \times n\) matrix. These matrices record the action of the mapping class group of a surface in the appropriate genus on homology of the surface, and as such, are symplectic matrices. A question is what is the group generated by these matrices, and in this article, it is shown that it is always a \textit{finite index} subgroup of the group of integer symplectic matrices.