Computing the spectral action for fuzzy geometries: from random noncommutative geometry to bi-tracial multimatrix models

Abstract

A fuzzy geometry is a certain type of spectral triple whose Dirac operator crucially turns out to be a finite matrix. This notion was introduced in [J. Barrett, J. Math. Phys. 56, 082301 (2015)] and accommodates familiar fuzzy spaces like spheres and tori. In the framework of random noncommutative geometry, we use Barrett's characterization of Dirac operators of fuzzy geometries in order to systematically compute the spectral action $S(D)=\mathrm{Tr}f(D)$ for $2n$-dimensional fuzzy geometries. In contrast to the original Chamseddine-Connes spectral action, we take a polynomial $f$ with $f(x)\to \infty$ as $|x|\to \infty$ in order to obtain a well-defined path integral that can be stated as a random matrix model with action of the type $S(D)=N\cdot \mathrm{tr}F+{\sum }_i\mathrm{tr}{A}_i\cdot \mathrm{tr}{B}_i$, being $F,A_i$ and $B_i$ noncommutative polynomials in $2^{2n-1}$ complex $N\times N$ matrices that parametrize the Dirac operator $D$. For arbitrary signature---thus for any admissible KO-dimension---formulas for 2-dimensional fuzzy geometries are given up to a sextic polynomial, and up to a quartic polynomial for 4-dimensional ones, with focus on the octo-matrix models for Lorentzian and Riemannian signatures. The noncommutative polynomials $F,A_i$ and $B_i$ are obtained via chord diagrams and satisfy: independence of $N$; self-adjointness of the main polynomial $F$ (modulo cyclic reordering of each monomial); also up to cyclicity, either self-adjointness or anti-self-adjointness of $A_i$ and $B_i$ simultaneously, for fixed $i$. Collectively, this favors a free probabilistic perspective for the large-$N$ limit we elaborate on.

arXiv comment51 pages (45+6), some figures. v5. Minor amend to Prop. 4.1 and syntax of Def. 2.2

References in corpus (26)

• The quantum structure of spacetime at the Planck scale and quantum fields
• The Spectral Action Principle
• Gravity and the standard model with neutrino mixing
• Free energy topological expansion for the 2-matrix model
• A Lorentzian version of the non-commutative geometry of the standard model of particle physics
• Random matrices, free probability, planar algebras and subfactors
• Reconstruction of manifolds in noncommutative geometry
• Geometry and the Quantum: Basics
• Topological recursion for chord diagrams, RNA complexes, and cells in moduli spaces
• Introduction to Vassiliev Knot Invariants
• The standard model, the Pati-Salam model, and "Jordan geometry"
• A short overview of the "Topological recursion"
• A universal Dirac operator and noncommutative spin bundles over fuzzy complex projective spaces
• Probing non-orthogonality of eigenvectors in non-Hermitian matrix models: diagrammatic approach
• A survey of spectral models of gravity coupled to matter
• The full Ward-Takahashi Identity for colored tensor models
• Spectral estimators for finite non-commutative geometries
• Gauge networks in noncommutative geometry
• Solution of all quartic matrix models
• Understanding truncated non-commutative geometries through computer simulations
• Finite spectral triples for the fuzzy torus
• A spectral geometry for the Standard Model without the fermion doubling
• Generalized Fuzzy Torus and its Modular Properties
• Dimension and Dimensional Reduction in Quantum Gravity
• Second Quantization and the Spectral Action
• Partial chord diagrams and matrix models

Cited by in corpus (3)

• Phase Transition in Random Noncommutative Geometries
• Riemannian Geometry of a Discretized Circle and Torus
• The loop equations for noncommutative geometries on quivers