Bruno M. Braga,Joseph Eisner,David Sherman
Abstract:We propose a quantization of coarse spaces and uniform Roe algebras. The objects are based on the quantum relations introduced by N. Weaver and require the choice of a represented von Neumann algebra. In the case of the diagonal inclusion l_infty(X) subset B(l_2(X)), they reduce to the usual constructions. Quantum metric spaces furnish natural examples parallel to the classical setting, but we provide other examples that are not inspired by metric considerations, including the new class of support expansion C*-algebras. We also work out the basic theory for maps between quantum coarse spaces and their consequences for quantum uniform Roe algebras.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to solve the problem of how to quantize coarse spaces and uniform Roe algebras. Specifically, the authors propose a new framework for coarse spaces and uniform Roe algebras based on quantum relations, which were introduced by N. Weaver, and a von Neumann algebra of representation needs to be selected.
#### Main contributions of the paper
1. **Generalize the classical theory**:
- The article points out that the existing framework implicitly depends on the simplest form of von Neumann algebra \(\ell^\infty(X)\) and generalizes it to an arbitrary von Neumann algebra.
- This generalization opens up a new research area of quantum coarse spaces and their related quantum uniform Roe algebras.
2. **Define new concepts**:
- Define quantum coarse structure and intrinsic quantum coarse structure, and show their consistency in different situations.
- Propose a new class of C* - algebras - support expansion C* - algebras, which serve as examples of non - metric quantum uniform Roe algebras.
3. **Study mappings and equivalences**:
- Explore issues such as homomorphisms, equivalences, and embeddings between quantum coarse spaces, including concepts such as coarse functions, coarse isomorphisms, proximity functions, coarse equivalences, coarse subspaces, coarse embeddings, expansiveness, and co - finiteness in the quantum version.
- Study the influence of these mappings on quantum uniform Roe algebras and prove some important theorems.
4. **Provide specific examples**:
- Give specific examples of quantum graphs, quantum metric spaces, and support expansion C* - algebras to show the flexibility and application potential of the theory.
5. **Explore basic properties**:
- Explore the metrizability of quantum coarse spaces and prove that a quantum coarse space is metrizable if and only if it is countably generated.
Through these works, the article lays the foundation for quantum coarse geometry and points out possible future research directions and potential application areas.
### Formula summary
- **Definition of quantum relations**:
\[
V=\{a\in B(\mathcal{H}):(x,y)\notin E\Rightarrow\chi_{\{x\}}a\chi_{\{y\}} = 0\}
\]
where \(E\) is a relation on the set \(X\), and \(\chi_{\{x\}}\) represents the characteristic function.
- **Conditions for support expansion C* - algebras**:
\[
\tau(s_M^\ell(aq)),\tau(s_M^\ell(a^*q))\leq\lambda\cdot\tau(q)
\]
where \(\tau\) is a faithful normal semifinite trace, and \(s_M^\ell(\cdot)\) represents the left \(M\)-support projection.
- **Generation of quantum coarse structure**:
\[
V_V = \{V\in QRel(M\subset B(\mathcal{H})):\exists t\geq0\text{ such that }V\subset V_t\}
\]
These formulas and concepts together form the core content of the paper, providing a solid theoretical foundation for the study of quantum coarse geometry.