A geometric Elliott invariant and noncommutative rigidity of mapping tori
Hao Guo, Valerio Proietti, Hang Wang

TL;DR
This paper establishes a noncommutative rigidity property for mapping tori of minimal dynamical systems, showing that leafwise homotopy equivalences induce isomorphisms of their foliation C*-algebras, extending topological rigidity concepts.
Contribution
It introduces a geometric approach to the Elliott invariant for mapping tori, linking topological and index-theoretic data to noncommutative rigidity results.
Findings
Leafwise homotopy equivalences lift to C*-algebra isomorphisms.
Extension of the theory to actions of discrete cocompact subgroups of solvable Lie groups.
Application to magnetic gap-labelling in Cantor minimal systems.
Abstract
We prove a rigidity property for mapping tori associated to minimal topological dynamical systems using tools from noncommutative geometry. More precisely, we show that under mild geometric assumptions, an orientation-preserving leafwise homotopy equivalence of two mapping tori associated to -actions on a compact space can be lifted to an isomorphism of their foliation -algebras. This property is a noncommutative analogue of topological rigidity in the context of foliated spaces whose space of leaves is singular, where isomorphism type of the -algebra replaces homeomorphism type. Our technique is to develop a geometric approach to the Elliott invariant that relies on topological and index-theoretic data from the mapping torus. We also discuss how our construction can be extended to slightly more general homotopy quotients arising from actions of discrete…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Operator Algebra Research · Homotopy and Cohomology in Algebraic Topology · Advanced Topics in Algebra
