In the seventies, Feldman and Moore studied Cartan pairs of von Neumann algebras. These pairs consist of an algebra A and a maximal commutative subalgebra B with B sitting "nicely" inside of A. They showed that all such pairs of algebras come from twisted groupoid algebras of quite special groupoids (in the measure theoretic category) and their commutative subalgebras of functions on the unit space, and that moreover the groupoid and twist were uniquely determined (up to equivalence). Kumjian and Renault developed the C*-algebra theory of Cartan pairs. Again, in this setting all Cartan pairs arise as twisted groupoid algebras, this time of effective etale groupoids, and again the groupoid and twist are unique (up to equivalence).
In recent years, Matsumoto and Matui exploited this to give C*-algebraic characterizations of continuous orbit equivalence and flow equivalence of shifts of finite type using graph C*-algebras and their commutative subalgebras of continuous functions on the shift space (which form a Cartan pair under mild assumptions on the graph). The key point was translating these dynamical conditions into groupoid language. The ring theoretic analogue of graph C*-algebras are Leavitt path algebras. Leavitt path algebras are also connected to Thompson's group V and some related simple groups considered by Matui and others. Since the Leavitt path algebra associated to a graph is the "Steinberg" algebra of the same groupoid (a ring theoretic version of groupoid C*-algebras whose study was initiated by the speaker), this led people to wonder whether these dynamical invariants can be read off the pair consisting of the Leavitt path algebra and its subalgebra of locally constant maps on the shift space. The answer is yes, and it turns out in the algebraic setting one doesn’t even need any conditions on the graph. Initially work was focused on recovering a groupoid from the pair consisting of its "Steinberg" algebra and the algebra of locally constant functions on the unit space. But no abstract theory of Cartan pairs existed and twists had not yet been considered. Our work develops the complete picture.
It turns out that a twist on a groupoid gives rise to a Cartan pair when the algebra satisfies a groupoid analogue of the Kaplansky unit conjecture. In particular, if the groupoid has a dense set of objects whose isotropy groups satisfy the Kaplansky unit conjecture (e.g., are unique product property groups or left orderable), then the groupoid gives rise to a Cartan pair. This is what happens in the case of Leavitt path algebras where the isotropy groups are either trivial or infinite cyclic and hence left orderable.
