No Arabic abstract
Random noncommutative geometry can be seen as a Euclidean path-integral approach to the quantization of the theory defined by the Spectral Action in noncommutative geometry (NCG). With the aim of investigating phase transitions in random NCG of arbitrary dimension, we study the non-perturbative Functional Renormalization Group for multimatrix models whose action consists of noncommutative polynomials in Hermitian and anti-Hermitian matrices. Such structure is dictated by the Spectral Action for the Dirac operator in Barretts spectral triple formulation of fuzzy spaces.The present mathematically rigorous treatment puts forward coordinate-free language that might be useful also elsewhere, all the more so because our approach holds for general multimatrix models. The toolkit is a noncommutative calculus on the free algebra that allows to describe the generator of the renormalization group flow -- a noncommutative Laplacian introduced here -- in terms of Voiculescus cyclic gradient and Rota-Sagan-Stein noncommutative derivative. We explore the algebraic structure of the Functional Renormalization Group Equation and, as an application of this formalism, we find the $beta$-functions, identify the fixed points in the large-$N$ limit and obtain the critical exponents of $2$-dimensional geometries in two different signatures.
We continue the study of fuzzy geometries inside Connes spectral formalism and their relation to multimatrix models. In this companion paper to [arXiv:2007:10914, Ann. Henri Poincare, 2021] we propose a gauge theory setting based on noncommutative geometry, which -- just as the traditional formulation in terms of almost-commutative manifolds -- has the ability to also accommodate a Higgs field. However, in contrast to `almost-commutative manifolds, the present framework employs only finite dimensional algebras. In a path-integral quantization approach to the Spectral Action, this allows to state Yang-Mills--Higgs theory (on four-dimensional Euclidean fuzzy space) as an explicit random multimatrix model obtained here, whose matrix fields exactly mirror those of the Yang-Mills--Higgs theory on a smooth manifold.
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 Barretts 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|toinfty$ 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+textstylesum_i mathrm{tr},A_i cdot mathrm{tr} ,B_i $, being $F,A_i $ and $B_i $ noncommutative polynomials in $2^{2n-1}$ complex $Ntimes 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.
We introduce a framework in noncommutative geometry consisting of a $*$-algebra $mathcal A$, a bimodule $Omega^1$ endowed with a derivation $mathcal Ato Omega^1$ and with a Hermitian structure $Omega^1otimes bar{Omega}^1to mathcal A$ (a noncommutative Kahler form), and a cyclic 1-cochain $mathcal Ato mathbb C$ whose coboundary is determined by the previous structures. These data give moment map equations on the space of connections on an arbitrary finitely-generated projective $mathcal A$-module. As particular cases, we obtain a large class of equations in algebra (Kings equations for representations of quivers, including ADHM equations), in classical gauge theory (Hermitian Yang-Mills equations, Hitchin equations, Bogomolny and Nahm equations, etc.), as well as in noncommutative gauge theory by Connes, Douglas and Schwarz. We also discuss Nekrasovs beautiful proposal for re-interpreting noncommutative instantons on $mathbb{C}^nsimeq mathbb{R}^{2n}$ as infinite-dimensional solutions of Kings equation $$sum_{i=1}^n [T_i^dagger, T_i]=hbarcdot ncdotmathrm{Id}_{mathcal H}$$ where $mathcal H$ is a Hilbert space completion of a finitely-generated $mathbb C[T_1,dots,T_n]$-module (e.g. an ideal of finite codimension).
Using the fact that the algebra M := M_N(C) of NxN complex matrices can be considered as a reduced quantum plane, and that it is a module algebra for a finite dimensional Hopf algebra quotient H of U_q(sl(2)) when q is a root of unity, we reduce this algebra M of matrices (assuming N odd) into indecomposable modules for H. We also show how the same finite dimensional quantum group acts on the space of generalized differential forms defined as the reduced Wess Zumino complex associated with the algebra M.
We present a physical interpretation of the doubling of the algebra, which is the basic ingredient of the noncommutative spectral geometry, developed by Connes and collaborators as an approach to unification. We discuss its connection to dissipation and to the gauge structure of the theory. We then argue, following t Hoofts conjecture, that noncommutative spectral geometry classical construction carries implicit in its feature of the doubling of the algebra the seeds of quantization.