[Paper Review] An Introduction to Noncommutative Geometry

Joseph C. Várilly|ArXiv.org|Sep 30, 1997

Advanced Operator Algebra Research4 citations

TL;DR

This paper introduces noncommutative geometry through spectral triples, establishing a framework that generalizes Riemannian geometry to noncommutative algebras. It presents foundational constructions on the Riemann sphere and noncommutative torus, introduces the noncommutative integral, and develops quantization via the tangent groupoid, culminating in an axiomatic foundation for real spectral triples and their equivalence and action functionals.

ABSTRACT

This is the introduction and bibliography for lecture notes of a course given at the Summer School on Noncommutative Geometry and Applications, sponsored by the European Mathematical Society, at Monsaraz and Lisboa, Portugal, September 1-10, 1997. In the published version, an epilogue of recent developments and many new references from 1998-2006 have been added. 1. Commutative geometry from the noncommutative point of view. 2. Spectral triples on the Riemann sphere. 3. Real spectral triples, the axiomatic foundation. 4. Geometries on the noncommutative torus. 5. The noncommutative integral. 6. Quantization and the tangent groupoid. 7. Equivalence of geometries. 8. Action functionals. 9. Epilogue: new directions.

Motivation & Objective

• To provide a comprehensive introduction to noncommutative geometry for researchers in mathematical physics and differential geometry.
• To establish spectral triples as a noncommutative generalization of Riemannian manifolds, particularly on the Riemann sphere and noncommutative torus.
• To develop the axiomatic framework for real spectral triples, enabling applications in quantum field theory and gravity.
• To introduce the noncommutative integral and its role in defining volume and measure in noncommutative spaces.
• To explore the tangent groupoid construction as a tool for quantization and geometric deformation quantization.

Proposed method

• Uses spectral triples (A, H, D) as the central geometric object, where A is a noncommutative algebra, H a Hilbert space, and D a self-adjoint operator with compact resolvent.
• Constructs spectral triples on the Riemann sphere using the algebra of smooth functions and the Dirac operator, generalizing classical geometry.
• Introduces real spectral triples via a real structure operator J, satisfying specific commutation relations with D and A.
• Applies the tangent groupoid construction to model the deformation of a manifold into its cotangent bundle, enabling quantization via groupoid C*-algebras.
• Defines the noncommutative integral via the Dixmier trace, linking spectral data to geometric invariants like volume.
• Establishes equivalence of geometries via Morita equivalence and spectral invariants, ensuring invariance under noncommutative diffeomorphisms.

Experimental results

Research questions

• RQ1 How can Riemannian geometry be generalized to noncommutative algebras using spectral triples?
• RQ2 What are the conditions under which a spectral triple defines a noncommutative manifold, particularly on the noncommutative torus?
• RQ3 How does the tangent groupoid construction facilitate the transition from classical to noncommutative geometry in quantization?
• RQ4 In what way does the noncommutative integral recover classical geometric invariants such as volume?
• RQ5 How can real spectral triples be used to define a consistent noncommutative version of Riemannian geometry with Poincaré duality?

Key findings

• Spectral triples on the Riemann sphere realize the standard metric via the Dirac operator on spinors, recovering classical geometry from noncommutative data.
• The noncommutative torus admits a family of spectral triples parameterized by the noncommutative parameter θ, with metric structure encoded in the Dirac operator.
• The noncommutative integral is defined via the Dixmier trace, yielding a finite value for the volume of the noncommutative torus when applied to the unit element.
• Real spectral triples satisfy the first-order condition and Poincaré duality, providing a rigorous noncommutative generalization of Riemannian geometry.
• The tangent groupoid construction provides a geometric framework for deformation quantization, linking classical and quantum observables via groupoid C*-algebras.
• Equivalence of geometries is characterized by Morita equivalence of spectral triples, preserving spectral and metric invariants.