Geometric foundations for classical $\mathrm{U}(1)$-gauge theory on noncommutative manifolds

Abstract

We systematically extend the elementary differential and Riemannian geometry of classical $\mathrm{U}(1)$-gauge theory to the noncommutative setting by combining recent advances in noncommutative Riemannian geometry with the theory of coherent $2$-groups. We show that Hermitian line bimodules with Hermitian bimodule connection over a unital pre-${\mathrm{C}}^{\ast }$-algebra with $\ast$-exterior algebra form a coherent $2$-group, and we prove that weak monoidal functors between coherent $2$-groups canonically define bar or involutive monoidal functors in the sense of Beggs--Majid and Egger, respectively. Hence, we prove that a suitable Hermitian line bimodule with Hermitian bimodule connection yields an essentially unique differentiable quantum principal $\mathrm{U}(1)$-bundle with principal connection and vice versa; here, $\mathrm{U}(1)$ is $q$-deformed for $q$ a numerical invariant of the bimodule connection. From there, we formulate and solve the interrelated lifting problems for noncommutative Riemannian structure in terms of abstract Hodge star operators and formal spectral triples, respectively; all the while, we account precisely for emergent modular phenomena of geometric nature. In particular, it follows that the spin Dirac spectral triple on quantum $\mathbf{C}{\mathrm{P}}^1$ does not lift to a twisted spectral triple on $3$-dimensional quantum $\mathrm{SU}(2)$ with the $3$-dimensional calculus but does recover Kaad--Kyed's compact quantum metric space on quantum $\mathrm{SU}(2)$ for a canonical choice of parameters.

arXiv comment85 pp. Minor revision for submission. The material originally in Section 4.1 on Hodge decomposition and Maxwell's equations has been set aside for future work

References in corpus (24)

• The Spectral Action Principle
• The Non-Commutative Geometry of the Quantum Hall Effect
• Quantum group gauge theory on quantum spaces
• Morita equivalence and duality
• Categories of holomorphic vector bundles on noncommutative two-tori
• Unbounded bivariant $K$-theory and correspondences in noncommutative geometry
• Strong Connections on Quantum Principal Bundles
• Spectral flow and the unbounded Kasparov product
• A Local Index Formula for the Quantum Sphere
• Dirac Operator on the Standard Podles Quantum Sphere
• A higher category approach to twisted actions on C*-algebras
• Electromagnetism and Gauge Theory on the Permutation Group $S_3$
• Pimsner algebras and Gysin sequences from principal circle actions
• Adiabatic Quantum Transport: Quantization and Fluctuations
• Gauge Theory for Spectral Triples and the Unbounded Kasparov Product
• T-duality simplifies bulk-boundary correspondence
• Electrodynamics from Noncommutative Geometry
• Gauged Laplacians on quantum Hopf bundles
• Commutator Representations of Differential Calculi on the Quantum Group SU_q(2)
• Gauge theory on noncommutative Riemannian principal bundles
• Remarks on anomalous symmetries of C*-algebras
• Noncommutative circle bundles and new Dirac operators
• Part I, Free Actions of Compact Abelian Groups on C*-Algebras
• Lifting spectral triples to noncommutative principal bundles

Cited by in corpus (1)

• On the Durdevic approach to quantum principal bundles