[Paper Review] Spectral C*-categories and Fell bundles with path-lifting

Rachel A. D. Martins|arXiv (Cornell University)|Aug 23, 2013

Noncommutative and Quantum Gravity Theories43 references3 citations

TL;DR

This paper establishes an equivalence between finite-dimensional even $S^0$-real spectral triples and spectral C*-categories equipped with a self-adjoint section of their domain maps, while also showing that such structures correspond to unital saturated Fell bundles over pair groupoids with a path-lifting operator defined by a normaliser. The key contribution is a categorical reformulation of noncommutative geometry that naturally incorporates quantum gravity features and reconstructs classical general relativity in the $ ightharpoonup 0$ limit.

ABSTRACT

Following Crane's suggestion that categorification should be of fundamental importance in quantising gravity, we show that finite dimensional even $S^o$-real spectral triples over $\bbc$ are already nothing more than full C*-categories together with a self-adjoint section of their domain and range maps, while the latter are equivalent to unital saturated Fell bundles over pair groupoids equipped with a path-lifting operator given by a normaliser. Interpretations can be made in the direction of quantum Higgs gravity. These geometries are automatically quantum geometries and we reconstruct the classical limit, that is, general relativity on a Riemannian spin manifold.

Motivation & Objective

• To explore a categorification program for noncommutative geometry inspired by Crane’s suggestion that categorification is essential in quantizing gravity.
• To establish a correspondence between finite-dimensional even $S^0$-real spectral triples and spectral C*-categories with a self-adjoint section of domain maps.
• To show that these spectral C*-categories are equivalent to unital saturated Fell bundles over pair groupoids endowed with a path-lifting operator via a normaliser.
• To provide a categorical framework that naturally encodes quantum geometries and reconstructs classical Riemannian spin geometry in the $ ightharpoonup 0$ limit.
• To connect this structure to quantum Higgs gravity and the spectral action principle, offering a new perspective on noncommutative general relativity.

Proposed method

• The paper introduces the concept of a spectral C*-category as a triple $(\mathcal{C}, \sigma)$, where $\mathcal{C}$ is a C*-category and $\sigma$ is a self-adjoint section of its domain map.
• It establishes an equivalence between spectral C*-categories and unital saturated Fell bundles over pair groupoids equipped with a path-lifting operator derived from a normaliser.
• The construction uses the notion of a Fell bundle triple $(\mathcal{E}, \pi, \mathcal{G}, PL)$, where $PL$ encodes the path-lifting property analogous to that in vector bundles.
• The formalism incorporates Connes’s fluctuation procedure for the Dirac operator, expressed as $\mathcal{D}^f = \sum_j r_j U_j \sigma U_j^*$, with $U_j$ in the spinor group and $r_j \in \mathbb{R}$, to model curvature.
• The classical limit is recovered as $\hbar \to 0$, where the fluctuated Dirac operator converges to $\sum_i c_i (\partial / \partial x_i + \omega_i)$, yielding a general Dirac operator with spin connection $\omega$.
• The framework is shown to be compatible with the tangent groupoid quantisation and provides a natural setting for interpreting the spectral action as a path integral.

Experimental results

Research questions

• RQ1 How can finite-dimensional even $S^0$-real spectral triples be reformulated within a categorical framework of C*-categories with additional geometric data?
• RQ2 What is the precise categorical equivalence between spectral C*-categories and Fell bundles with path-lifting?
• RQ3 How does the path-lifting operator in the Fell bundle structure relate to the geometry of spin connections and curvature in noncommutative gravity?
• RQ4 Can the spectral action and fluctuations of the Dirac operator be naturally encoded within this categorical formalism?
• RQ5 How does the classical limit of general relativity on a Riemannian spin manifold emerge from this quantum categorical structure as $\hbar \to 0$?

Key findings

• Finite-dimensional even $S^0$-real spectral triples are equivalent to spectral C*-categories equipped with a self-adjoint section of their domain maps.
• Spectral C*-categories are categorically equivalent to unital saturated Fell bundles over pair groupoids with a path-lifting operator defined by a normaliser.
• The path-lifting structure in the Fell bundle corresponds to a geometric connection analogous to a spin connection, enabling the encoding of curvature.
• The fluctuation of the Dirac operator via $\mathcal{D}^f = \sum_j r_j U_j \sigma U_j^*$ reproduces a general curved Dirac operator with spin connection $\omega$ in the classical limit.
• As $\hbar \to 0$, the quantum categorical structure recovers the classical Dirac operator $\sum_i c_i (\partial / \partial x_i + \omega_i)$, reconstructing general relativity on a Riemannian spin manifold.
• The framework provides a natural setting for interpreting the spectral action as a path integral and supports a categorical formulation of quantum Higgs gravity.