Gauge Theory on Noncommutative Riemannian Principal Bundles

We present a new, general approach to gauge theory on principal G-spectral triples, where G is a compact connected Lie group. We introduce a notion of vertical Riemannian geometry for G-C∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C^*$$\end{document}-algebras and prove that the resulting noncommutative orbitwise family of Kostant’s cubic Dirac operators defines a natural unbounded KKG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$KK^G$$\end{document}-cycle in the case of a principal G-action. Then, we introduce a notion of principal G-spectral triple and prove, in particular, that any such spectral triple admits a canonical factorisation in unbounded KKG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$KK^G$$\end{document}-theory with respect to such a cycle: up to a remainder, the total geometry is the twisting of the basic geometry by a noncommutative superconnection encoding the vertical geometry and underlying principal connection. Using these notions, we formulate an approach to gauge theory that explicitly generalises the classical case up to a groupoid cocycle and is compatible in general with this factorisation; in the unital case, it correctly yields a real affine space of noncommutative principal connections with affine gauge action. Our definitions cover all locally compact classical principal G-bundles and are compatible with θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document}-deformation; in particular, they cover the θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document}-deformed quaternionic Hopf fibration C∞(Sθ7)↩C∞(Sθ4)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C^\infty (S^7_\theta ) \hookleftarrow C^\infty (S^4_\theta )$$\end{document} as a noncommutative principal SU(2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\,\mathrm{SU}\,}}(2)$$\end{document}-bundle.