nLab noncommutative geometry

Idea

Spaces can be characterized by their algebras of functions (see at Isbell duality - table).

Using this duality between space and quantity one can define generalized spaces in terms of generalizations of their algebras of functions.

The idea of noncommutative geometry is to encode everything about the geometry of a space algebraically and then allow all commutative function algebras to be generalized to possibly non-commutative algebras.

More generally, noncommutative geometry means replacing the space by some structure carried by an entity (or a collection of entities) living on that would-be space. The entity may be for example a function, vector bundle, coherent sheaf, a complex of sheaves and KK-theory class. Objects organize into associative algebras, operator algebras, categories, higher categories ($k$-linear or not) and so on; and sometimes such a collection represents a space. Reconstruction theorems are theorems on construction of a genuine (say topological) “underlying” space of such an entity or collection. Spectral theories are procedures (sometimes functors, often not) which recover some form of underlying space called spectrum, often just partially or under strong assumptions on (the data determining) the noncommutative space.

Under the process of forming groupoid convolution algebras a good bit of commutative but higher geometry translates into noncommutative geometry. This is for instance the origin of the role of noncommutative geometry in twisted K-theory.

Definitions

Connes’ noncommutative geometry

A particular and most prominent realization of the program of noncommutative geometry has been lead by Alain Connes. This is really “spectral” and possibly non-commutative Riemannian geometry, where the metric structure on a possibly noncommutative “algebra of functions” is encoded by a structure called a spectral triple (see there for more).

The central ingredients in Connes’ noncommutative geometry are

• the idea to characterize a (noncommutative) space by a C-star algebra $A$, to be thought of as the $C^*$-algebra of global functions on that space; this approach has been occasionally considered earlier e.g. in the book of Semadeni on Banach algebras.

• There is a refined, quantized differential calculus where the differential is given by a commutator formula involving a Fredholm operator; the setup in which this is taken place involves cyclic cocycles discovered by Tsygan and Connes.

• the noncommutative analog of the structure of a Riemannian manifold with a spin structure in terms of generalized Dirac operators $D$ acting on a representation space of the algebra $A$. Metric information on the space is then encoded in the spectrum of $D$.

For that reason Connes‘ noncommutative manifolds are well described as spectral geometry. The Dirac operator is, of course, very much related to the quantized differential calculus of Connes.

• Noncommutative measure spaces are represented by noncommutative von Neumann algebras.

In noncommutative geometry various homotopical and (co)homological invariants were introduced by large amount of improvisation, similar to the beginnings of algebraic topology, but more recently there are few systematic approaches to homotopy theory emerging. See model structure on operator algebras.

Related concepts

• noncommutative topology, noncommutative measure theory, noncommutative probability theory

• groupoid algebra

• noncommutative torus, fuzzy sphere

• noncommutative topology of quasiperiodicity

• noncommutative scheme

• non-commutative analytic space

• QFT on non-commutative spacetime

• noncommutative motive

• Riemann hypothesis and physics

• D-brane geometry

• noncommutative algebraic geometry

• derived noncommutative geometry

duality between $\;$algebra and geometry

$\phantom{A}$geometry$\phantom{A}$	$\phantom{A}$category$\phantom{A}$	$\phantom{A}$dual category$\phantom{A}$	$\phantom{A}$algebra$\phantom{A}$
$\phantom{A}$topology$\phantom{A}$	$\phantom{A}$$\phantom{NC}TopSpaces_{H,cpt}$$\phantom{A}$	$\phantom{A}$$\overset{\text{<a href="https://ncatlab.org/nlab/show/Gelfand-Kolmogorov+theorem">Gelfand-Kolmogorov</a>}}{\hookrightarrow} Alg^{op}_{\mathbb{R}}$$\phantom{A}$	$\phantom{A}$commutative algebra$\phantom{A}$
$\phantom{A}$topology$\phantom{A}$	$\phantom{A}$$\phantom{NC}TopSpaces_{H,cpt}$$\phantom{A}$	$\phantom{A}$$\overset{\text{<a class="existingWikiWord" href="https://ncatlab.org/nlab/show/Gelfand+duality">Gelfand duality</a>}}{\simeq} TopAlg^{op}_{C^\ast, comm}$$\phantom{A}$	$\phantom{A}$comm. C-star-algebra$\phantom{A}$
$\phantom{A}$noncomm. topology$\phantom{A}$	$\phantom{A}$$NCTopSpaces_{H,cpt}$$\phantom{A}$	$\phantom{A}$$\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} TopAlg^{op}_{C^\ast}$$\phantom{A}$	$\phantom{A}$general C-star-algebra$\phantom{A}$
$\phantom{A}$algebraic geometry$\phantom{A}$	$\phantom{A}$$\phantom{NC}Schemes_{Aff}$$\phantom{A}$	$\phantom{A}$$\overset{\text{<a href="https://ncatlab.org/nlab/show/affine+scheme#AffineSchemesFullSubcategoryOfOppositeOfRings">almost by def.</a>}}{\simeq} \phantom{Top}Alg^{op}$$\phantom{A}$	$\phantom{A} \phantom{A}$ $\phantom{A}$commutative ring$\phantom{A}$
$\phantom{A}$noncomm. algebraic$\phantom{A}$ $\phantom{A}$geometry$\phantom{A}$	$\phantom{A}$$NCSchemes_{Aff}$$\phantom{A}$	$\phantom{A}$$\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} \phantom{Top}Alg^{op}_{fin, red}$$\phantom{A}$	$\phantom{A}$fin. gen. $\phantom{A}$associative algebra$\phantom{A}$$\phantom{A}$
$\phantom{A}$differential geometry$\phantom{A}$	$\phantom{A}$$SmoothManifolds$$\phantom{A}$	$\phantom{A}$$\overset{\text{<a href="https://ncatlab.org/nlab/show/embedding+of+smooth+manifolds+into+formal+duals+of+R-algebras">Milnor's exercise</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{comm}$$\phantom{A}$	$\phantom{A}$commutative algebra$\phantom{A}$
$\phantom{A}$supergeometry$\phantom{A}$	$\phantom{A}$$\array{SuperSpaces_{Cart} \\ \\ \mathbb{R}^{n\vert q}}$$\phantom{A}$	$\phantom{A}$$\array{ \overset{\phantom{\text{Milnor's exercise}}}{\hookrightarrow} & Alg^{op}_{\mathbb{Z}_2 \phantom{AAAA}} \\ \mapsto & C^\infty(\mathbb{R}^n) \otimes \wedge^\bullet \mathbb{R}^q }$$\phantom{A}$	$\phantom{A}$supercommutative$\phantom{A}$ $\phantom{A}$superalgebra$\phantom{A}$
$\phantom{A}$formal higher$\phantom{A}$ $\phantom{A}$supergeometry$\phantom{A}$ $\phantom{A}$(super Lie theory)$\phantom{A}$	$\phantom{A}\array{ Super L_\infty Alg_{fin} \\ \mathfrak{g} }\phantom{A}$	$\phantom{A}\array{ \overset{ \phantom{A}\text{<a href="https://ncatlab.org/nlab/show/L-infinity-algebra#ReformulationInTermsOfSemifreeDGAlgebra">Lada-Markl</a>}\phantom{A} }{\hookrightarrow} & sdgcAlg^{op} \\ \mapsto & CE(\mathfrak{g}) }\phantom{A}$	$\phantom{A}$differential graded-commutative$\phantom{A}$ $\phantom{A}$superalgebra $\phantom{A}$ (“FDAs”)

in physics:

$\phantom{A}$algebra$\phantom{A}$	$\phantom{A}$geometry$\phantom{A}$
$\phantom{A}$Poisson algebra$\phantom{A}$	$\phantom{A}$Poisson manifold$\phantom{A}$
$\phantom{A}$deformation quantization$\phantom{A}$	$\phantom{A}$geometric quantization$\phantom{A}$
$\phantom{A}$algebra of observables	$\phantom{A}$space of states$\phantom{A}$
$\phantom{A}$Heisenberg picture	$\phantom{A}$Schrödinger picture$\phantom{A}$
$\phantom{A}$AQFT$\phantom{A}$	$\phantom{A}$FQFT$\phantom{A}$
$\phantom{A}$higher algebra$\phantom{A}$	$\phantom{A}$higher geometry$\phantom{A}$
$\phantom{A}$Poisson n-algebra$\phantom{A}$	$\phantom{A}$n-plectic manifold$\phantom{A}$
$\phantom{A}$En-algebras$\phantom{A}$	$\phantom{A}$higher symplectic geometry$\phantom{A}$
$\phantom{A}$BD-BV quantization$\phantom{A}$	$\phantom{A}$higher geometric quantization$\phantom{A}$
$\phantom{A}$factorization algebra of observables$\phantom{A}$	$\phantom{A}$extended quantum field theory$\phantom{A}$
$\phantom{A}$factorization homology$\phantom{A}$	$\phantom{A}$cobordism representation$\phantom{A}$

History

Very early sources and schools

There are many sources of noncommutative spaces, e.g. quantization in physics (Snyder studied an interesting noncommutative space in the late 1940s). It has been often noticed, since Gel’fand–Neimark’s work (see Gelfand spectrum), that many geometric notions for commutative Banach algebras are interesting in the noncommutative case; among early enthusiasts one could mention Irving Segal; Semadeni’s monograph on Banach spaces of continuous maps also predates the sudden expansion of the field in the late 1970s when Alain Connes (web site) brought about a whole revolution in mathematics using the framework of noncommutative geometry based on operator algebras, and boosted by the discovery of cyclic (co)homology by Connes and Boris Tsygan and its connection to K-theory.

In ring theory, there were many efforts at building spectra of noncommutative rings or abelian categories (the spectrum of indecomposable injectives of Gabriel, the affine spectrum of P. M. Cohn and so on) and stronger results in special cases like P. I. rings (polynomial identities rings) by M. Artin, F. van Oystaeyen and others in the 1970s. Golan and van Oystaeyen took noncommutative localization seriously in the mid 1970s with very promising results; A. Rosenberg found in 1982 the so-called left spectrum? of a noncommutative ring, straightforwardly later generalized to a spectrum of an abelian category. All these efforts belong to an early phase of noncommutative algebraic geometry. In the late 1980s, the study of derived categories of (quasi)coherent sheaves complemented that effort (Kapranov, Bondal, Orlov, …). Though the effort was rather disconnected (from ring-theoretic mainstream noncommutative algebraic geometry) at the beginning, it can be now more easily judged as closely related; this is also the time of birth of the influential school of noncommutative projective geometry (Artin, Smith, Zhang, …).

The quantization program and the study of integrable systems brought about a number of interesting examples (in the early phase by G. Kac, Sklyanin, Fadeev, Drinfel’d, Woronowicz, Jimbo, Manin, Reshetikin, Lusztig, Majid and others) with group-like flavour, the study of quantum groups which were studied in a number of formalisms from operator algebraic to algebro-geometric and purely categorical. Actions are very important in noncommutative geometry, and are some of the main examples in Connes’ school like group(oid) $C^*$-algebras, crossed product operator algebras and the study of functions on orbifolds and foliations. They also play an important role in equivariant noncommutative algebraic geometry; cf. the central notions like Hopf–Galois extension and entwining structure.

Noncommutative formal geometry, concerned with objects like infinitesimal neighborhoods of subvariaties, power series in noncommutative variables and so on, has been appearing more sporadically than the operator algebraic and algebro-geometric frameworks. Among pioneering works, there are Kontsevich‘s (formal) noncommutative symplectic geometry (1992) and Kapranov's noncommutative geometry “based on commutator expansions”. Noncommutative analytic geometry is even now only vaguely outlined in existing works.

References

General

• Alain Connes, Noncommutative Geometry, Academic Press, San Diego, CA, 1994 (ISBN:9780080571751, pdf)

• José Gracia-Bondia, Joseph Varilly, Héctor Figueroa, Elements of noncommutative geometry, Birkhäuser 2001. xviii+685 pp. (doi:10.1007/978-1-4612-0005-5, gBooks)

Exposition:

• Ernesto Lupercio, Non-commutative Geometry Indomitable (arXiv:2008.08529)

See also:

• Alain Connes, Noncommutative geometry and reality, J. Math. Phys. 36 (11), 1995 (pdf)

• Alain Connes, A walk in the non-commutative garden (arXiv:math/0601054)

With a view towards motives in physics:

• Alain Connes, Matilde Marcolli, Noncommutative Geometry, Quantum Fields and Motives

Quantum Hall effect via non-commutative geometry

Discussion of the integer quantum Hall effect via a Brillouin torus with noncommutative geometry and using the Connes-Chern character:

• J. Bellissard, A. van Elst, H. Schulz-Baldes: The noncommutative geometry of the quantum Hall effect, J. Math. Phys. 35 5373 (1994) [doi:10.1063/1.530758, cond-mat/9411052]

Generalization of BvESB94 to the fractional quantum Hall effect:

• Matilde Marcolli, Varghese Mathai: Towards the fractional quantum Hall effect: a noncommutative geometry perspective, in Noncommutative Geometry and Number Theory, Vieweg (2006) [doi:10.1007/978-3-8348-0352-8_12, arXiv:cond-mat/0502356]

See also exposition in:

• Vincent Pasquier: Quantum Hall Effect and Non-commutative Geometry, in: Quantum Spaces, Progress in Mathematical Physics 53, Birkhäuser (2007) [doi:10.1007/978-3-7643-8522-4_1, pdf]

Discussion of the fractional quantum Hall effect via abelian but noncommutative (matrix model-)Chern-Simons theory:

• Leonard Susskind: The Quantum Hall Fluid and Non-Commutative Chern Simons Theory [arXiv:hep-th/0101029]

• Simeon Hellerman, Leonard Susskind: Realizing the Quantum Hall System in String Theory [arXiv:hep-th/0107200]

  (relating this to M5-branes via the BFSS matrix model)

• Alexios P. Polychronakos: Quantum Hall states as matrix Chern-Simons theory, JHEP 0104:011 (2001) [doi:10.1088/1126-6708/2001/04/011, arXiv:hep-th/0103013]

• Simeon Hellerman, Mark Van Raamsdonk: Quantum Hall Physics = Noncommutative Field Theory, JHEP 0110:039 (2001) [doi:10.1088/1126-6708/2001/10/039, arXiv:hep-th/0103179]

• Eduardo Fradkin, Vishnu Jejjala, Robert G. Leigh: Non-commutative Chern-Simons for the Quantum Hall System and Duality, Nucl. Phys. B 642 (2002) 483-500 [doi:10.1016/S0550-3213(02)00616-8, arXiv:cond-mat/0205653]

• Andrea Cappelli, Ivan D. Rodriguez: Matrix Effective Theories of the Fractional Quantum Hall effect, J. Phys. A 42 (2009) 304006 [doi:10.1088/1751-8113/42/30/304006, arXiv:0902.0765]

• Zhihuan Dong, T. Senthil: Non-commutative field theory and composite Fermi Liquids in some quantum Hall systems, Phys. Rev. B 102 (2020) 205126 [doi:10.1103/PhysRevB.102.205126, arXiv:2006.01282]

In string/M-theory

Discussion of effective non-commutative geometry on M5-brane worldvolumes induced from a constant B-field flux density:

• Eric Bergshoeff, David S. Berman, Jan Pieter van der Schaar, Per Sundell: A Noncommutative M-Theory Five-brane, Nucl. Phys. B 590 (2000) 173-197 [doi:10.1016/S0550-3213(00)00476-4, arXiv:hep-th/0005026]

• Eric Bergshoeff, David S. Berman, Jan Pieter van der Schaar, Per Sundell: Critical fields on the M5-brane and noncommutative open strings, Phys. Lett. B 492 (2000) 193-200 [doi:10.1016/S0370-2693(00)01081-9, arXiv:hep-th/0006112]

• Rajesh Gopakumar, Shiraz Minwalla, Nathan Seiberg, Andrew Strominger: OM Theory in Diverse Dimensions, JHEP08 (2000) 008 [doi:10.1088/1126-6708/2000/08/008, arXiv:hep-th/0006062]

• Micha Berkooz: Light-like $(2,0)$ Noncommutativity and Light-Cone Rigid Open Membrane Theory [arXiv:hep-th/0010158, inspire:535327]

and relating this to aspects of the quantum Hall effect:

• Simeon Hellerman, Leonard Susskind: Realizing the Quantum Hall System in String Theory [arXiv:hep-th/0107200]