Noncommutative Geometry

Contents

1. Overview
2. Etymology
3. Cultural Impact

Noncommutative geometry, a rather ambitious branch of mathematics , endeavors to explore geometric concepts through the lens of noncommutative algebras . It’s less about the familiar shapes we sketch on paper and more about constructing spaces that, locally at least, are described by algebras where the order of multiplication matters. Imagine a world where xy isn’t always the same as yx; that’s the playground of noncommutative geometry. These algebras aren’t just abstract constructs; they can also be endowed with additional structures, like topologies or norms , making them even richer landscapes to traverse.

Operator Algebras and the Noncommutative Torus

One particularly insightful avenue into these noncommutative realms is through operator algebras . Think of these as collections of bounded linear operators acting on a Hilbert space . These aren’t your everyday matrices; they possess properties that allow for a deeper, more abstract geometric interpretation. A classic example, and one that played a pivotal role in the field’s nascent stages during the 1980s, is the “noncommutative torus ”. This construct, a noncommutative analogue of the familiar torus, paved the way for developing noncommutative versions of fundamental geometric concepts like vector bundles , connections , and curvature . It’s like finding the geometric skeleton of something that, on the surface, appears entirely algebraic.

Motivation: Bridging the Commutative and Noncommutative

The driving force behind noncommutative geometry is a desire to extend a profound duality observed in classical mathematics: the relationship between spaces and the functions defined on them. In the usual, commutative world, a space and its functions are intimately linked. For instance, the ring of continuous complex -valued functions on a topological space X, denoted C(X), allows us to, under certain conditions (like X being a compact Hausdorff space ), reconstruct the original space X. This is essentially what’s meant by saying a space has “commutative topology.”

This duality manifests in various forms. In topology, Gelfand–Naimark theorem reveals that compact Hausdorff spaces are essentially equivalent to commutative Banach algebras of functions. In commutative algebraic geometry , algebraic schemes are built from commutative unital rings, and the work of A. Grothendieck and P. Gabriel –A. Rosenberg shows how to recover schemes from categories of quasicoherent sheaves. Even in the realm of Grothendieck topologies , the structure of a topos captures the cohomological essence of a site. In every case, a geometric object is recovered from an algebraic structure or its categorified counterpart.

The “dream” of noncommutative geometry, then, is to mirror this duality in the noncommutative realm. It seeks to establish a correspondence between noncommutative algebras, or sheaves of such algebras, and geometric entities. The hope is that this bridge will allow for a rich interplay between algebraic and geometric descriptions. Since commutative rings correspond to standard affine schemes and commutative C*-algebras to conventional topological spaces, generalizing to noncommutative structures necessitates a broader understanding of “non-commutative spaces,” a concept that inherently demands a departure from our usual intuitions about geometry. This is why terms like non-commutative topology are used, though they carry other meanings as well.

Applications in Mathematical Physics

The influence of physics on the development of noncommutative geometry is undeniable. For example, the fuzzy sphere , a discretized version of a sphere, has been a valuable tool in exploring the emergence of conformal symmetry within the context of the 3-dimensional Ising model . This suggests that abstract mathematical frameworks can offer concrete insights into physical phenomena.

Motivation from Ergodic Theory

Interestingly, some of the technical machinery developed by Alain Connes for handling noncommutative geometry has roots in earlier work, particularly in ergodic theory . The concept of a “virtual subgroup,” proposed by George Mackey to treat ergodic group actions as a generalized form of homogeneous spaces , has found its place within this broader framework.

Noncommutative C*-algebras and von Neumann Algebras

In the language of operator algebras, the duals of non-commutative C*-algebras are often conceptualized as noncommutative spaces. This analogy draws directly from the Gelfand representation , which establishes a duality between commutative C*-algebras and locally compact Hausdorff spaces . The spectrum of a C*-algebra provides a way to associate a topological space to any C*-algebra, and when that algebra is commutative, this space is the one we intuitively understand.

Similarly, the duality between localizable measure spaces and commutative von Neumann algebras leads to the notion of noncommutative von Neumann algebras as noncommutative measure spaces . These are not spaces in the traditional sense, but rather algebraic structures that capture geometric and measure-theoretic properties in a generalized fashion.

Noncommutative Differentiable Manifolds

A smooth Riemannian manifold M is more than just a topological space ; it’s imbued with a rich geometric structure. While the algebra of its continuous functions, C(M), only recovers the topology, the spectral triple offers a way to encode the Riemannian structure itself. A spectral triple consists of a C*-algebra A acting on a Hilbert space H, along with an unbounded operator D that has a compact resolvent. The crucial condition is that the commutator [D, a] must be bounded for all elements ‘a’ in a dense subalgebra of A. A profound theorem by Connes demonstrates that M, as a Riemannian manifold, can be fully reconstructed from this spectral data.

This insight suggests defining a noncommutative Riemannian manifold as a spectral triple (A, H, D) where [D, a] is bounded for all ‘a’ in a dense subalgebra of A. This area is a vibrant research field, with numerous examples of noncommutative manifolds being constructed.

Noncommutative Affine and Projective Schemes

Drawing inspiration from the duality between affine schemes and commutative rings , noncommutative affine schemes are defined as the dual of the category of associative unital rings. Within this framework, analogues of the Zariski topology can be constructed, allowing for the “gluing” of these affine schemes into more complex objects.

Furthermore, generalizations of the Cone construction and the Proj of a commutative graded ring are explored, echoing Serre ’s theorem on Proj. This theorem states that the category of quasicoherent sheaves on the Proj of a commutative graded algebra is equivalent to the category of graded modules over the localized ring. This concept has been extended to the noncommutative setting by Michael Artin and J. J. Zhang, who introduced notions like Artin–Schelter regularity. Many properties of projective schemes, including the celebrated Serre duality , have found their noncommutative counterparts in this context.

A. L. Rosenberg has developed a general relative notion of noncommutative quasicompact schemes, abstracting Grothendieck’s study of schemes and covers using categories of quasicoherent sheaves and flat localization functors. Another significant approach, pioneered by Fred Van Oystaeyen , Luc Willaert, and Alain Verschoren, utilizes localization theory and the concept of a schematic algebra.

Invariants for Noncommutative Spaces

A central theme in noncommutative geometry is the extension of classical topological invariants to the algebraic structures that represent noncommutative spaces. Alain Connes ’ work on cyclic homology and its relationship with algebraic K-theory via the Connes–Chern character map is a prime example.

The theory of characteristic classes for smooth manifolds has been adapted to spectral triples, employing tools from operator K-theory and cyclic cohomology . Various generalizations of classical index theorems enable the extraction of numerical invariants from spectral triples. The JLO cocycle , a fundamental characteristic class in cyclic cohomology, serves as a noncommutative analogue of the Chern character .

Examples of Noncommutative Spaces

The abstract concepts of noncommutative geometry find concrete expression in several examples:

Phase Space in Quantum Mechanics: In the phase space formulation of quantum mechanics, the symplectic phase space of classical mechanics is effectively “deformed” into a noncommutative phase space. This deformation is generated by the position and momentum operators , which do not commute.
Noncommutative Torus: As mentioned earlier, the noncommutative torus is a deformation of the algebra of functions on the ordinary torus. It can be endowed with the structure of a spectral triple and serves as a foundational example, a testbed for more complex constructions.
Snyder Space: This is a specific model of quantized spacetime proposed by Hartland S. Snyder in 1947, introducing noncommutativity into the fundamental structure of spacetime itself.
Foliations: Noncommutative algebras can arise from the study of foliations , which are decompositions of a manifold into a collection of submanifolds.
Dynamical Systems in Number Theory: Certain dynamical systems originating from number theory , such as the Gauss shift related to continued fractions, give rise to noncommutative algebras possessing intriguing noncommutative geometries.

Connections

The notion of a “connection” in noncommutative geometry is a generalization of the familiar concept from differential geometry .

In the Sense of Connes

A Connes connection, introduced by Alain Connes and later extended by Joachim Cuntz and Daniel Quillen , provides a way to define a noncommutative generalization of a connection .

Definition

Given a right A-module E, a Connes connection on E is a linear map $\nabla : E \to E \otimes_A \Omega^1 A$ that satisfies the Leibniz rule : $\nabla_{ra}(sa) = \nabla_r(s)a + s \otimes da$. This rule dictates how the connection behaves when acting on products of elements, ensuring it respects the algebraic structure.

Citations

The following citations provide the foundation for the concepts discussed:

Khalkhali & Marcolli 2008, p. 171.
Khalkhali & Marcolli 2008, p. 21.
Connes, Alain; Douglas, Michael R; Schwarz, Albert (1998-02-05). “Noncommutative geometry and Matrix theory”. Journal of High Energy Physics . 1998 (2): 003. arXiv :hep-th/9711162. Bibcode :1998JHEP…02..003C. doi :10.1088/1126-6708/1998/02/003. ISSN 1029-8479. S2CID 7562354.
Zhu, Wei; Han, Chao; Huffman, Emilie; Hofmann, Johannes S.; He, Yin-Chen (2023-04-18). “Uncovering Conformal Symmetry in the 3D Ising Transition: State-Operator Correspondence from a Quantum Fuzzy Sphere Regularization”. Physical Review X. 13 (2) 021009. arXiv :2210.13482. Bibcode :2023PhRvX..13b1009Z. doi :10.1103/PhysRevX.13.021009.
Connes, Alain (2013). “On the spectral characterization of manifolds”. Journal of Noncommutative Geometry. 7: 1–82. arXiv :0810.2088. doi :10.4171/JNCG/108. S2CID 17287100.
Artin, M.; Zhang, J.J. (1994). “Noncommutative Projective Schemes”. Advances in Mathematics . 109 (2): 228–287. doi :10.1006/aima.1994.1087. ISSN 0001-8708.
Yekutieli, Amnon; Zhang, James J. (1997-03-01). “Serre duality for noncommutative projective schemes”. Proceedings_of_the_American_Mathematical_Society . 125 (3). American Mathematical Society (AMS): 697–708. doi :10.1090/s0002-9939-97-03782-9. ISSN 0002-9939.
A. L. Rosenberg, Noncommutative schemes, Compositio Mathematica 112 (1998) 93–125, doi; Underlying spaces of noncommutative schemes, preprint MPIM2003-111, dvi, ps; MSRI lecture Noncommutative schemes and spaces (Feb 2000): video
Freddy van Oystaeyen, Algebraic geometry for associative algebras, ISBN 0-8247-0424-X - New York: Dekker, 2000.- 287 p. - (Monographs and textbooks in pure and applied mathematics, 232)
Van Oystaeyen, Fred; Willaert, Luc (1995). “Grothendieck topology, coherent sheaves and Serre’s theorem for schematic algebras” (PDF). Journal of Pure and Applied Algebra . 104 (1). Elsevier BV: 109–122. doi :10.1016/0022-4049(94)00118-3. hdl :10067/124190151162165141. ISSN 0022-4049.
Snyder, Hartland S. (1947-01-01). “Quantized Space-Time”. Physical Review . 71 (1). American Physical Society (APS): 38–41. Bibcode :1947PhRv…71…38S. doi :10.1103/physrev.71.38. ISSN 0031-899X.
Vale 2009, Definition 8.1.