Some questions I think about:
- What can category-theoretical invariants tell us about the dynamics of interval exchange transformations
- In what ways can we express the linguistic structure of IETs using K-theoretic structures?
- On what manifolds do Rauzy-like induction schemes naturally "live?"
- What can we say about the commutativity of branching Rauzy induction chains for a fixed regular k-IET?