Noncommutative geometry

Geometry

Projecting a sphere to a plane.

* Outline
* History

Branches

* Euclidean
* Non-Euclidean
* Elliptic
* Spherical
* Hyperbolic
* Non-Archimedean geometry
* Projective
* Affine
* Synthetic
* Analytic
* Algebraic
* Arithmetic
* Diophantine
* Differential
* Riemannian
* Symplectic
* Discrete differential
* Complex
* Finite
* Discrete/Combinatorial
* Digital
* Convex
* Computational
* Fractal
* Incidence

* Concepts
* Features

Dimension

* Straightedge and compass constructions

* Angle
* Curve
* Diagonal
* Orthogonality (Perpendicular)
* Parallel
* Vertex

* Congruence
* Similarity
* Symmetry

Zero-dimensional

* Point

One-dimensional

* Line
* segment
* ray
* Length

Two-dimensional

* Plane
* Area
* Polygon

Triangle

* Altitude
* Hypotenuse
* Pythagorean theorem

Parallelogram

* Square
* Rectangle
* Rhombus
* Rhomboid

Quadrilateral

* Trapezoid
* Kite

Circle

* Diameter
* Circumference
* Area

Three-dimensional

* Volume

* Cube
* cuboid
* Cylinder
* Pyramid
* Sphere

Four- / other-dimensional

* Tesseract
* Hypersphere

Geometers

by name

* Aida
* Aryabhata
* Ahmes
* Alhazen
* Apollonius
* Archimedes
* Atiyah
* Baudhayana
* Bolyai
* Brahmagupta
* Cartan
* Coxeter
* Descartes
* Euclid
* Euler
* Gauss
* Gromov
* Hilbert
* Jyeṣṭhadeva
* Kātyāyana
* Khayyám
* Klein
* Lobachevsky
* Manava
* Minkowski
* Minggatu
* Pascal
* Pythagoras
* Parameshvara
* Poincaré
* Riemann
* Sakabe
* Sijzi
* al-Tusi
* Veblen
* Virasena
* Yang Hui
* al-Yasamin
* Zhang
* List of geometers

by period

|  BCE

* Ahmes
* Baudhayana
* Manava
* Pythagoras
* Euclid
* Archimedes
* Apollonius

1–1400s

* Zhang
* Kātyāyana
* Aryabhata
* Brahmagupta
* Virasena
* Alhazen
* Sijzi
* Khayyám
* al-Yasamin
* al-Tusi
* Yang Hui
* Parameshvara

1400s–1700s

* Jyeṣṭhadeva
* Descartes
* Pascal
* Minggatu
* Euler
* Sakabe
* Aida

1700s–1900s

* Gauss
* Lobachevsky
* Bolyai
* Riemann
* Klein
* Poincaré
* Hilbert
* Minkowski
* Cartan
* Veblen
* Coxeter

Present day

* Atiyah
* Gromov

* v
* t
* e

Short description: Branch of mathematics

Noncommutative geometry (NCG) is a branch of mathematics that studies geometric ideas through noncommutative algebras. In ordinary geometry, a space can often be studied by means of a commutative algebra of functions on it; noncommutative geometry extends this viewpoint to algebras in which the product of two elements need not commute. Such algebras are treated as analogues of algebras of functions on generalized, or "noncommutative", spaces.[1][2]

The subject is not a single formalism.[2][3] It includes operator-algebraic methods based on C*-algebras, von Neumann algebras, and spectral triples; algebraic approaches to noncommutative rings and graded algebras; and constructions related to deformation quantization, groupoid C*-algebras, cyclic homology, and K-theory. A standard example is the noncommutative torus, whose algebra is generated by two unitary elements satisfying a twisted commutation relation and which has served as a test case for noncommutative versions of vector bundles, connections, curvature and index theory.[4][3]

## Contents

* 1 History and scope
* 2 Motivation
* 2.1 Motivation from ergodic theory
* 3 Operator-algebraic noncommutative spaces
* 3.1 C*-algebras and von Neumann algebras
* 3.2 Groupoids and crossed products
* 4 Spectral triples and noncommutative differentiable manifolds
* 5 Differential calculi and connections
* 6 Noncommutative affine and projective schemes
* 7 Invariants and index theory
* 8 Examples of noncommutative spaces
* 9 Applications in mathematical physics
* 10 See also
* 11 Notes
* 12 References
* 13 Further reading
* 14 External links

## History and scope

Ideas now grouped under noncommutative geometry developed from several areas, including operator algebra theory, index theory, algebraic geometry, quantum mechanics and ergodic theory. The term is particularly associated with work of Alain Connes, who introduced a framework in which operator algebras, cyclic cohomology and generalized differential forms could be used to study spaces that are poorly described by ordinary point-set methods.[5]

The scope of the field is broad. In the operator-algebraic tradition, noncommutative algebras are interpreted as algebras of functions on noncommutative topological, measure-theoretic, smooth or metric spaces. In noncommutative algebraic geometry, one studies associative rings and categories of modules as analogues of coordinate rings and categories of sheaves. Deformation quantization and quantum groups are related areas when their noncommutative algebras are interpreted geometrically, although they are also studied as independent subjects.

## Motivation

The main motivation is to extend the duality between spaces and algebras of functions. If X is a compact Hausdorff space, the commutative C*-algebra C(X) of complex-valued continuous functions determines X up to homeomorphism, by the commutative Gelfand representation. Similarly, the category of affine schemes in algebraic geometry is dual to the category of commutative rings, and many geometric properties of a scheme can be studied through categories of sheaves or modules.

In these classical examples, geometry is encoded algebraically. Addition and multiplication of functions are defined pointwise, and the commutativity of multiplication reflects the fact that functions take scalar values on an ordinary set of points. Noncommutative geometry starts from the observation that many algebras arising naturally in analysis, geometry and physics are not commutative but still retain geometric features. Rather than first defining a space and then its functions, one studies a noncommutative algebra directly and interprets it as the algebra of functions on a generalized space.

A noncommutative algebra generally has too few characters to reconstruct a point-set space in the usual way. Consequently, noncommutative geometry often replaces points by other structures, such as representations, modules, traces, states, K-theory classes, cyclic cocycles or categories. This shift is one reason that different versions of noncommutative geometry emphasize different invariants and notions of equivalence, such as Morita equivalence.

### Motivation from ergodic theory

Some of the operator-algebraic constructions used in noncommutative geometry have roots in ergodic theory. In particular, crossed-product algebras associated with group actions can be viewed as algebras of functions on quotient spaces that may be singular or may not have satisfactory ordinary quotient spaces. Earlier ideas such as George Mackey's virtual subgroup theory anticipated the use of operator algebras to treat ergodic actions as generalized homogeneous spaces.

## Operator-algebraic noncommutative spaces

### C*-algebras and von Neumann algebras

The formal duals of noncommutative C*-algebras are often called noncommutative topological spaces. This terminology is motivated by the Gelfand–Naimark theorem, which identifies commutative C*-algebras with algebras of continuous functions on locally compact Hausdorff spaces. A noncommutative C*-algebra may therefore be studied as though it were the algebra of continuous functions on a space whose ordinary set of points has been replaced by operator-algebraic data.

In a similar way, commutative von Neumann algebras correspond to measure-theoretic objects, while noncommutative von Neumann algebras are often regarded as noncommutative measure spaces. This viewpoint is useful in areas such as noncommutative integration, Tomita–Takesaki theory and the classification theory of operator algebras.

### Groupoids and crossed products

Groupoid C*-algebras and crossed product algebras provide many basic examples. If a group acts on a space, the crossed product combines functions on the space with the action of the group. When the quotient by the action is singular, non-Hausdorff or otherwise ill behaved, the crossed product may still retain useful geometric and dynamical information. This approach is important for foliations, tilings, dynamical systems and examples from mathematical physics.

## Spectral triples and noncommutative differentiable manifolds

A smooth compact Riemannian manifold can be studied using analytic data. For a compact spin manifold M, the algebra C∞(M) acts by multiplication on the Hilbert space L2(M,S) of square-integrable spinors, and the Dirac operator D encodes the metric. This motivates the notion of a spectral triple.

A spectral triple (A,H,D) consists of an algebra A represented on a Hilbert space H, together with a usually unbounded self-adjoint operator D, such that (1+D2)−1/2 is compact and the commutators [D,a] are bounded for elements a in a suitable dense subalgebra of A. Additional structures, such as a grading, a real structure, regularity and finiteness conditions, are imposed in many applications.

Spectral triples allow metric information to be expressed algebraically. For a classical compact Riemannian spin manifold, Connes' distance formula recovers the geodesic distance by

d(x,y)=sup⁡{|f(x)−f(y)|: ‖[D,f]‖≤1}.

Connes' reconstruction theorem states, roughly, that a commutative spectral triple satisfying appropriate regularity, finiteness and orientability hypotheses arises from a compact smooth manifold.[6]

Spectral triples are also used to define noncommutative analogues of differential forms, vector bundles, gauge fields, metric data and index pairings. They are central in Connes' operator-algebraic formulation of noncommutative geometry and in applications to particle physics and index theory.

## Differential calculi and connections

Differential geometry over a noncommutative algebra requires a replacement for differential forms. One common starting point is a differential graded algebra Ω∙(A) with Ω0(A)=A and a derivation d:A->Ω1(A) satisfying the Leibniz rule. Different choices of differential calculus can lead to different geometries on the same algebra.

If E is a right A-module, a connection on E relative to a chosen differential calculus is a linear map

∇:E->E⊗AΩ1(A)

satisfying

∇(ea)=∇(e)a+e⊗da

for e∈E and a∈A. The curvature of such a connection is obtained by extending ∇ to higher-degree forms and taking ∇2. When E is a finitely generated projective module, it plays the role of the module of sections of a vector bundle.

In the setting of spectral triples, one often uses differential one-forms generated by finite sums of operators a[D,b]. Connections on modules then give noncommutative analogues of gauge potentials. In more restrictive settings, one can also study Hermitian connections, torsion, metric compatibility and analogues of Levi-Civita connections, but there is no single universal definition that covers all approaches to noncommutative geometry.

A Connes connection is a connection in this general noncommutative sense, introduced in work of Connes and later developed in related forms by Joachim Cuntz and Daniel Quillen.[7] The precise definition depends on the differential calculus or homological framework being used.

## Noncommutative affine and projective schemes

In algebraic geometry, the category of affine schemes is dual to the category of commutative rings. A basic noncommutative analogue is to regard associative unital rings as coordinate rings of noncommutative affine spaces. Unlike the commutative case, there is no universally accepted category of all noncommutative schemes, and several frameworks coexist.

One influential construction is noncommutative projective geometry. If A is a graded algebra, the quotient category qgr⁡A, obtained from graded modules by factoring out a suitable subcategory of torsion modules, is treated as an analogue of the category of coherent sheaves on Proj⁡A. This approach, developed by Michael Artin and James J. Zhang, extends features of projective geometry to noncommutative graded algebras under hypotheses such as noetherianity and regularity.[8]

Many familiar theorems have analogues in this setting. For example, forms of Serre duality have been proved for noncommutative projective schemes satisfying suitable finiteness conditions.[9] Other approaches, including those of Alexander Rosenberg and of Freddy Van Oystaeyen and collaborators, use localization theory, categories of quasicoherent sheaves and Grothendieck-topological ideas to formulate noncommutative schemes.[10][11]

## Invariants and index theory

A major goal of noncommutative geometry is to extend topological and geometric invariants from ordinary spaces to noncommutative algebras. Operator K-theory and K-homology provide analogues of vector bundles and elliptic operators. Cyclic homology and cyclic cohomology provide noncommutative analogues of de Rham homology and cohomology. The Chern character connects these theories and allows pairings that produce numerical invariants.

Connes introduced cyclic cohomology as a tool for index theory on noncommutative algebras. In the setting of spectral triples, cyclic cocycles represent characteristic classes, and their pairing with K-theory generalizes the pairing between cohomology and vector bundles on manifolds. The Jaffe–Lesniewski–Osterwalder cocycle, or JLO cocycle, gives a Chern character for certain Fredholm modules and spectral triples.

Noncommutative index theory extends classical results such as the Atiyah–Singer index theorem. The local index formula of Connes and Moscovici gives a way to compute index pairings for suitable spectral triples using local expressions in cyclic cohomology.[12]

## Examples of noncommutative spaces

* The noncommutative torus is generated by unitary elements U and V satisfying VU=e2πiθUV. It is a deformation of the algebra of functions on the ordinary torus and has been studied through C*-algebraic methods, projective modules, Morita equivalence and Yang–Mills theory.[13]
* In deformation quantization, the commutative algebra of functions on a Poisson manifold is replaced by a noncommutative product depending on a formal parameter. The Moyal product is the standard example for flat phase space, and Kontsevich proved a general formality theorem for deformation quantization of finite-dimensional Poisson manifolds.[14]
* C*-algebras associated with foliations encode transverse geometric information when the ordinary leaf space is singular or non-Hausdorff.[15]
* Crossed products arising from dynamical systems, including actions connected with number theory such as the Gauss map on continued fractions, provide examples where orbit spaces are studied by noncommutative algebras.
* The fuzzy sphere replaces the algebra of functions on the two-sphere by finite-dimensional matrix algebras and is used as a finite-mode approximation to geometric and field-theoretic models.[16]
* Quantum spacetime models replace commuting coordinate functions by noncommuting operators. One example is the Doplicher–Fredenhagen–Roberts model, motivated by combining quantum-mechanical uncertainty with gravitational considerations.[17]
* Finite-dimensional matrix algebras and finite spectral triples provide simple noncommutative spaces. They appear both as examples in the theory and as ingredients in almost-commutative geometries.

## Applications in mathematical physics

Noncommutative geometry is used in several areas of mathematical physics. In quantum mechanics, noncommuting position and momentum observables motivate the replacement of classical phase-space functions by noncommutative algebras of operators or by star-product algebras. In condensed matter theory, noncommutative geometry has been applied to the integer quantum Hall effect and to aperiodic media, where noncommutative C*-algebras can encode disorder, magnetic translations and gap-labeling data.[18]

In high-energy theory, noncommutative spaces have appeared in matrix models and in some limits of string theory.[19] The spectral action program studies physical Lagrangians associated with spectral triples, including almost-commutative geometries related to the Standard Model of particle physics.[20][21] These uses are active research topics and do not imply that noncommutative geometry is the only mathematical framework for the corresponding physical problems.

The fuzzy sphere has also been used as a finite-dimensional regularization in numerical and theoretical studies, including recent work on conformal field theory and critical phenomena.[22]

## See also

* Algebraic K-theory
* Commutativity
* Cyclic homology
* Deformation quantization
* Fredholm module
* Fuzzy sphere
* Groupoid C*-algebra
* K-homology
* Koszul connection
* Morita equivalence
* Moyal product
* Noncommutative algebraic geometry
* Noncommutative torus
* Noncommutative topology
* Phase space formulation
* Quasi-free algebra
* Spectral action principle
* Spectral triple

## Notes

1. ↑ Connes 1994.
2. ↑ 2.0 2.1 Gracia-Bondía, Várilly & Figueroa 2001.
3. ↑ 3.0 3.1 Khalkhali & Marcolli 2008.
4. ↑ Rieffel, Marc A. (1981). "C*-algebras associated with irrational rotations". Pacific Journal of Mathematics 93 (2): 415–429. doi:10.2140/pjm.1981.93.415.
5. ↑ Connes, Alain (1985). "Non-commutative differential geometry". Publications Mathématiques de l'IHÉS 62: 41–144. doi:10.1007/BF02698807.
6. ↑ Connes, Alain (2013). "On the spectral characterization of manifolds". Journal of Noncommutative Geometry 7 (1): 1–82. doi:10.4171/JNCG/108.
7. ↑ Cuntz, Joachim; Quillen, Daniel (1995). "Algebra Extensions and Nonsingularity". Journal of the American Mathematical Society 8 (2): 251–289. doi:10.2307/2152819.
8. ↑ Artin, Michael; Zhang, James J. (1994). "Noncommutative Projective Schemes". Advances in Mathematics 109 (2): 228–287. doi:10.1006/aima.1994.1087.
9. ↑ Yekutieli, Amnon; Zhang, James J. (1997). "Serre duality for noncommutative projective schemes". Proceedings of the American Mathematical Society 125 (3): 697–708. doi:10.1090/S0002-9939-97-03782-9.
10. ↑ Rosenberg, Alexander L. (1998). "Noncommutative schemes". Compositio Mathematica 112 (1): 93–125. doi:10.1023/A:1000479824211.
11. ↑ Van Oystaeyen, Fred; Willaert, Luc (1995). "Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras". Journal of Pure and Applied Algebra 104 (1): 109–122. doi:10.1016/0022-4049(94)00118-3.
12. ↑ Connes, Alain; Moscovici, Henri (1995). "The local index formula in noncommutative geometry". Geometric and Functional Analysis 5: 174–243. doi:10.1007/BF01895667.
13. ↑ Rieffel, Marc A. (1988). "Projective Modules over Higher-Dimensional Non-Commutative Tori". Canadian Journal of Mathematics 40 (2): 257–338. doi:10.4153/CJM-1988-012-9.
14. ↑ Kontsevich, Maxim (2003). "Deformation Quantization of Poisson Manifolds". Letters in Mathematical Physics 66: 157–216. doi:10.1023/B:MATH.0000027508.00421.bf.
15. ↑ Connes, Alain (1982). "A survey of foliations and operator algebras". Proceedings of Symposia in Pure Mathematics 38: 521–628.
16. ↑ Madore, John (1992). "The fuzzy sphere". Classical and Quantum Gravity 9 (1): 69–87. doi:10.1088/0264-9381/9/1/008.
17. ↑ Doplicher, Sergio; Fredenhagen, Klaus; Roberts, John E. (1994). "Spacetime quantization induced by classical gravity". Physics Letters B 331 (1–2): 39–44. doi:10.1016/0370-2693(94)90940-7.
18. ↑ Bellissard, Jean; van Elst, Andreas; Schulz-Baldes, Hermann (1994). "The noncommutative geometry of the quantum Hall effect". Journal of Mathematical Physics 35 (10): 5373–5451. doi:10.1063/1.530758.
19. ↑ Connes, Alain; Douglas, Michael R.; Schwarz, Albert (1998). "Noncommutative geometry and Matrix theory". Journal of High Energy Physics 1998 (2): 003. doi:10.1088/1126-6708/1998/02/003. Bibcode: 1998JHEP...02..003C.
20. ↑ Chamseddine, Ali H.; Connes, Alain (1997). "The Spectral Action Principle". Communications in Mathematical Physics 186: 731–750. doi:10.1007/s002200050126.
21. ↑ van Suijlekom, Walter D. (2025). Noncommutative Geometry and Particle Physics. Mathematical Physics Studies (2nd ed.). Springer. doi:10.1007/978-3-031-59120-4. ISBN 978-3-031-59120-4.
22. ↑ Zhu, Wei; Han, Chao; Huffman, Emilie; Hofmann, Johannes S.; He, Yin-Chen (2023). "Uncovering Conformal Symmetry in the 3D Ising Transition: State-Operator Correspondence from a Quantum Fuzzy Sphere Regularization". Physical Review X 13 (2). doi:10.1103/PhysRevX.13.021009. Bibcode: 2023PhRvX..13b1009Z.

## References

* Blackadar, Bruce (1998). K-Theory for Operator Algebras (2nd ed.). Cambridge University Press. doi:10.1017/9781009701907. ISBN 9781009701907.
* Connes, Alain (1994). Noncommutative Geometry. San Diego: Academic Press. ISBN 978-0-12-185860-5.
* Connes, Alain; Marcolli, Matilde (2008). Noncommutative Geometry, Quantum Fields and Motives. American Mathematical Society Colloquium Publications. 55. Providence, Rhode Island: American Mathematical Society. ISBN 978-0-8218-4210-2.
* Gracia-Bondía, José M.; Várilly, Joseph C.; Figueroa, Héctor (2001). Elements of Noncommutative Geometry. Boston: Birkhäuser. ISBN 978-0-8176-4124-5.
* An Invitation to Noncommutative Geometry. World Scientific. 2008. doi:10.1142/6422. ISBN 978-981-270-616-4.
* Landi, Giovanni (1997). An Introduction to Noncommutative Spaces and Their Geometries. Lecture Notes in Physics Monographs. 51. Berlin: Springer. ISBN 978-3-540-63509-3.
* Loday, Jean-Louis (1998). Cyclic Homology (2nd ed.). Springer. ISBN 978-3-540-63074-6.
* van Suijlekom, Walter D. (2025). Noncommutative Geometry and Particle Physics. Mathematical Physics Studies (2nd ed.). Springer. doi:10.1007/978-3-031-59120-4. ISBN 978-3-031-59120-4.
* Van Oystaeyen, Fred; Verschoren, Alain (1981). Non-commutative Algebraic Geometry. Lecture Notes in Mathematics. 887. Springer. ISBN 978-3-540-11153-5.

## Further reading

* Noncommutative Geometry, Arithmetic, and Related Topics. Baltimore: Johns Hopkins University Press. 2011. ISBN 978-1-4214-0352-6.
* Ginzburg, Victor (2005). "Lectures on Noncommutative Geometry". arXiv:math/0506603.
* Khalkhali, Masoud (2004). "Very Basic Noncommutative Geometry". arXiv:math/0408416.
* Marcolli, Matilde (2004). "Lectures on Arithmetic Noncommutative Geometry". arXiv:math/0409520.
* Masson, Thierry (2006). "An informal introduction to the ideas and concepts of noncommutative geometry". arXiv:math-ph/0612012.

## External links

* Connection in noncommutative geometry in the nLab
* Theories of Noncommutative Geometry at MathOverflow
* Noncommutative geometry on arXiv
* Noncommutative geometry and particle physics

Template:Geometry

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Noncommutative geometry. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Noncommutative_geometry&oldid=4371557"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template