I will discuss that result and several related (TAMS '26 solo, Forum Math '23 joint w/ Pavlov, ETDS '23 solo, [in preparation] joint w/ T. Adams) shedding light on what appears to be a hierarchy amongst low complexity dynamical systems relating quantitative bounds on word complexity with qualitative structural statements about such systems.
I will explain two results. First, in joint work with Dietmar Bisch, we show that if N ⊂ M has uniform infinite index, then every positive contraction of N is the expectation of a projection. In particular this holds for crossed products by infinite groups and for L(H) ⊂ L(G) with [G:H] = ∞. Second, for every extremal inclusion of finite index d > 4, the whole middle interval lies in Λ(M,N). Together, these show that Λ(M,N) depends only on the index for every irreducible inclusion of II₁ factors.
This is joint work with Jason Crann and Alec Gow.