Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userComputing the spectral action for fuzzy geometries: from random noncommutative geometry to bi-tracial multimatrix models
63
0
0.0
(
0
)
Added by
Carlos I. P\\'erez-S\\'anchez
Publication date
2019
fields
Physics
and research's language is
English
Authors
Carlos I. Perez-Sanchez
Ask ChatGPT about the research
No Arabic 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 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.
rate research
Read More
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.
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 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.
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).
We consider the O(n) loop model on tetravalent maps and show how to rephrase it into a model of bipartite maps without loops. This follows from a combinatorial decomposition that consists in cutting the O(n) model configurations along their loops so that each elementary piece is a map that may have arbitrary even face degrees. In the induced statistics, these maps are drawn according to a Boltzmann distribution whose parameters (the face weights) are determined by a fixed point condition. In particular, we show that the dense and dilute critical points of the O(n) model correspond to bipartite maps with large faces (i.e. whose degree distribution has a fat tail). The re-expression of the fixed point condition in terms of linear integral equations allows us to explore the phase diagram of the model. In particular, we determine this phase diagram exactly for the simplest version of the model where the loops are rigid. Several generalizations of the model are discussed.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
