[Paper Review] From Topology to Noncommutative Geometry: $K$-theory

Nadish de Silva|arXiv (Cornell University)|Aug 6, 2014

Advanced Operator Algebra Research3 references3 citations

TL;DR

This paper proposes a geometric construction, $G(\mathcal{A})$, as a noncommutative generalization of the Gel'fand spectrum for unital $C^*$-algebras by associating a diagram of compact Hausdorff spaces to each algebra. It introduces a functorial method to extend topological functors—such as $K$-theory—directly to $C^*$-algebras via $G(\mathcal{A})$, showing that the resulting extension $\tilde{K}$ agrees with the standard operator $K_0$ functor, thereby justifying $G(\mathcal{A})$ as a canonical noncommutative space.

ABSTRACT

We associate to each unital $C^*$-algebra $A$ a geometric object---a diagram of topological spaces representing quotient spaces of the noncommutative space underlying $A$---meant to serve the role of a generalized Gel'fand spectrum. After showing that any functor $F$ from compact Hausdorff spaces to a suitable target category can be applied directly to these geometric objects to automatically yield an extension $ ilde{F}$ which acts on all unital $C^*$-algebras, we compare a novel formulation of the operator $K_0$ functor to the extension $ ilde K$ of the topological $K$-functor.

Motivation & Objective

• To develop a geometric object $G(\mathcal{A})$ that generalizes the Gel'fand spectrum for noncommutative $C^*$-algebras.
• To provide a systematic method for extending topological functors from compact Hausdorff spaces to unital $C^*$-algebras via $G(\mathcal{A})$.
• To compare the resulting extension of topological $K$-theory with the standard operator $K_0$ functor, establishing its validity as a noncommutative generalization.
• To conjecture that the lattice of closed sets in $G(\mathcal{A})$ corresponds to the lattice of closed two-sided ideals in $\mathcal{A}$, linking $G(\mathcal{A})$ to the primitive ideal space $\mathrm{Prim}(\mathcal{A})$.

Proposed method

• Construct a contravariant functor $G(\mathcal{A})$ from unital $C^*$-algebras to diagrams of compact Hausdorff spaces, representing quotient spaces of the noncommutative space underlying $\mathcal{A}$.
• Define a general extension procedure: for any functor $F$ on compact Hausdorff spaces, apply $F$ directly to $G(\mathcal{A})$ to obtain a functor $\tilde{F}$ on $C^*$-algebras.
• Use the limit of $K$-theory applied to the diagram $G(\mathcal{A})$ to define $\tilde{K}(\mathcal{A})$, showing it is naturally isomorphic to the standard $K_0(\mathcal{A})$.
• Introduce the concept of partial ideals in $C^*$-algebras, where each unital commutative subalgebra is assigned a closed ideal compatible under inclusion.
• Conjecture that a partial ideal arises from a total two-sided ideal if and only if it is invariant under all unitary conjugations, linking the structure of $G(\mathcal{A})$ to the lattice of ideals.
• Prove the von Neumann algebra analogue of this conjecture, providing evidence for the $C^*$-algebraic version.

Experimental results

Research questions

• RQ1 Can a geometric diagram $G(\mathcal{A})$ of compact Hausdorff spaces serve as a noncommutative generalization of the Gel'fand spectrum for unital $C^*$-algebras?
• RQ2 Does the functorial extension of topological $K$-theory via $G(\mathcal{A})$ yield the standard operator $K_0$ functor on $C^*$-algebras?
• RQ3 Is the lattice of closed sets in $G(\mathcal{A})$ isomorphic to the lattice of closed two-sided ideals in $\mathcal{A}$, thereby recovering the hull-kernel topology of $\mathrm{Prim}(\mathcal{A})$?
• RQ4 Can the structure of $G(\mathcal{A})$ be used to recover the primitive ideal space $\mathrm{Prim}(\mathcal{A})$ via a sheaf-theoretic or topological limit construction?
• RQ5 Under what conditions does a partial ideal in a $C^*$-algebra—defined on commutative subalgebras—arise from a global two-sided ideal?

Key findings

• The extension $\tilde{K}$ of topological $K$-theory via the diagram $G(\mathcal{A})$ is naturally isomorphic to the standard operator $K_0$ functor on unital $C^*$-algebras.
• The construction of $G(\mathcal{A})$ allows for the automatic extension of any topological functor $F$ from compact Hausdorff spaces to a category $\mathcal{C}$, yielding a functor $\tilde{F}$ on $C^*$-algebras.
• The map $\eta_{\mathcal{A}}: K_0(\mathcal{A}) \to \underrightarrow{\mathrm{lim}} \tilde{K}_f \circ \mathscr{K}(\mathcal{A})$ is an isomorphism, confirming that $\tilde{K}$ recovers $K_0$.
• The conjecture that $\tilde{\mathscr{T}}(\mathcal{A})$, the extension of the closed set functor, equals the lattice of closed two-sided ideals in $\mathcal{A}$, is supported by a proof in the von Neumann algebra setting.
• The von Neumann algebra analogue of the conjecture is proven: a partial ideal arises from a total ideal if and only if it is invariant under all unitary conjugations.
• The result provides strong evidence that $G(\mathcal{A})$ is a canonical enrichment of $\mathrm{Prim}(\mathcal{A})$, potentially enabling sheaf-theoretic methods in noncommutative geometry.