On Banach algebras of band-dominated operators and their order structure (Q2662515)

Several articles have recently explored the rigidity of uniform Roe C*-algebras and Roe C*-algebras of metric spaces. The issue is to recover a bijective coarse equivalence or at least a coarse equivalence from a C*-algebra isomorphism. This article proves some analogous results for Banach algebraic variants of the uniform Roe C*-algebra. Previously, the \(\ell^p\)-versions of the uniform Roe C*-algebra have been studied, which deal with finite-propagation operators on \(\ell^p(X)\) instead of operators on the Hilbert space \(\ell^2(X)\). This article uses an enumerated Schauder basis. Under some assumptions, the definition does not depend on the enumeration of the Schauder basis. The algebra it studies is a Banach algebra, but it also carries a natural order, where the nonnegative elements are those whose matrix entries in the chosen Schauder basis and the dual basis are all nonnegative. The article finds several assumptions implying that the underlying metric spaces are bijectively coarsely equivalent. Namely, this happens if there is an isomorphism between the Banach algebras associated to them that is both an order isomorphism and an isometry or that is both an order isomorphism and an algebra isomorphism. If there is only an algebra isomorphism between them, without information about the order structure, then the same conclusion can be drawn provided that all ghost idempotents in the relevant Banach algebras are compact; this property already played an important role in previous rigidity proofs for uniform Roe C*-algebras. Under some condition on the Schauder basis, this property follows from the underlying metric space having property~A. Summing up, several rigidity results for uniform Roe C*-algebras carry over to suitable Banach algebras, where operators on a Hilbert space are replaced by operators on a Banach space with a Schauder basis with suitable extra properties. The article also contains some counterexamples which show that some assumptions in the main theorem cannot be weakened, and it closes with a list of open problems.