REVIEW
Lectures on Fuzzy and Fuzzy SUSY Physics
High Energy Physics - Theory · Submitted 9 Nov 2005 · 121 references
Pith's verdict: Honest, well-organized lecture notes on fuzzy physics that are worth having as a reference; the one real soft spot is a genericity step in the gauged Ginsparg-Wilson chapter, and the authors flag most of their other gaps themselves.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A manifold can be discretized by quantizing it, and the resulting finite matrices keep the symmetry, the bundles, and the topology that a lattice throws away.
The reading
What carries the argument
Four objects carry the argument. First, the fuzzy sphere algebra itself, generated by $x_i$ with $[x_i,x_j] = (2i/n)e_{ijk}x_k$ and $x_ix_i = 1 + 2/n$, whose left and right actions generate two commuting matrix algebras and give the orbital angular momentum $L_i = L^L_i - L^R_i$ with an undeformed spectrum $l(l+1)$ up to $l = n$. Second, the star products: the coherent-state (Voros) product $f *_C g = f e^{leftarrow{partial}_z rightarrow{partial}_{bar z}} g$ and the Weyl product $f *_W g = f e^{(i/2)omega^{ij} leftarrow{partial}_i rightarrow{partial}_j} g$, with the Weyl product singled out by the trace identity that lets one factor of $*_W$ be dropped inside an integral. Third, the Ginsparg-Wilson algebra generated by two involutions, which yields $D$, the chirality $Gamma_2$, and the index formula $Tr Gamma_2 = $ index of $Gamma_1$; this is what makes the axial anomaly exact. Fourth, the Bott projectors $P^{(k)}(x) = v_k(z) v_k^dagger(z)$ with $v_k = (z_1^k, z_2^k)^T/sqrt{Z_k}$, which turn monopole and instanton sectors into projective modules and whose fuzzy analogues $hat v_k = (a_1^k, a_2^k)^T/sqrt{hat Z_k}$ give the corresponding fuzzy modules.
Extended reading notes
Core claim
The central claim is that quantization of coadjoint orbits supplies a regularization scheme for quantum field theory that is finite, symmetry-preserving, and topologically faithful. Concretely: the algebra of functions on $S^2$ is replaced by the full matrix algebra $Mat(n+1)$; the coordinates become the angular-momentum matrices; the algebra of functions is deformed by star products (a coherent-state product and a Weyl product, explicitly equivalent to one another); sections of $U(1)$ bundles of Chern number $k$ become projective modules built from Bott projectors $P^{(k)}$; and the Dirac operator is constructed from the Ginsparg-Wilson algebra generated by two involutions $Gamma$ and $Gamma'$, with $D = (Gamma + Gamma')/a$ and chirality $Gamma_2$. On this construction the integrated axial anomaly is $Tr Gamma_2$, an integer that is shown to be independent of the gauge field by continuity, so the anomaly is a topological invariant of the fuzzy model rather than a cutoff artifact. The supersymmetric half of the book makes the analogous claim for $S(2,2)_F$: replacing $su(2)$ by $osp(2,1)$ and $osp(2,2)$ yields a finite supermatrix algebra $Mat(n+1,n)$ on which an exact $OSp(2,1)$-invariant action can be written, with the supertrace playing the role that the ordinary trace plays on $S^2_F$.
Load-bearing premise
The construction of the gauged Dirac operator assumes that the operator $vec{sigma}cdot(vec{L}^L + vec{A}^L) + 1/2$ has no zero modes for a generic fuzzy gauge field, so that dividing by its modulus to form the involution in Eq. 8.42 is legitimate; the text asserts this by continuity from the zero-field case rather than proving it.
Editorial extensions
If this is right
- Fuzzy regularization gives a finite matrix model of a field theory in which rotation symmetry, the instanton number, and the axial anomaly are all exact at finite cutoff, so numerical work on the matrix model can be extrapolated to the continuum without symmetry restoration errors.
- Because the Dirac operator satisfies the Ginsparg-Wilson relation by construction, the fuzzy sphere provides a setting where fermion doubling is absent and the index theorem holds exactly, which is the property lattice formulations struggle to achieve.
- Supersymmetric models on $S(2,2)_F$ are finite-dimensional supermatrix models with exact $OSp(2,1)$ invariance, giving a concrete route to numerically studying supersymmetric field theories without the fine-tuning that lattice SUSY normally requires.
- The projective-module construction gives a uniform algebraic description of all magnetic charges on the fuzzy sphere, so particles of different monopole charge can coexist in one model even though the fuzzy gauge group cannot tensor arbitrary representations.
Reading between the lines
- If the fuzzy Dirac operator's index is truly gauge-field independent by continuity, then the axial anomaly is a genuine topological invariant of the finite matrix model, which would make fuzzy regularization a testing ground for anomaly-matching arguments that are otherwise only checked in the continuum.
- The book's own admission that the relation between the two families of CP^1 soliton projectors is not understood suggests a concrete calculation: compare the spectra of the two corresponding fuzzy Dirac operators and see whether the discrepancy sits only in the top angular-momentum mode, as it does for the ordinary fuzzy sphere.
- The failure to tensor representations of the fuzzy gauge group is the sharpest structural obstacle described; a reader could test whether the Higgs-field workaround mentioned in passing actually reproduces the charge assignments needed for a realistic model, which would be a decisive check on how far the programme can go.
- Since the fuzzy sphere has no continuous deformation parameter, unlike the Moyal plane, the usual map between gauge theories at different deformation parameters has no analogue here; whether some discrete substitute exists is left open and looks like the natural next question.
Original abstract
This is a preliminary version, comments and inputs are welcome. Contents: 1. Introduction. 2. Fuzzy Spaces. 3. Star Products. 4. Scalar Fields on the Fuzzy Sphere. 5. Instantons, Monopoles and Projective Modules. 6. Fuzzy Nonlinear Sigma Models. 7. Fuzzy Gauge Theories. 8. The Dirac Operator and Axial Anomaly. 9. Fuzzy Supersymmetry. 10.Fuzzy Spaces as Hopf Algebras.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
This is a preliminary version, comments and inputs are welcome. Contents: 1. Introduction. 2. Fuzzy Spaces. 3. Star Products. 4. Scalar Fields on the Fuzzy Sphere. 5. Instantons, Monopoles and Projective Modules. 6. Fuzzy Nonlinear Sigma Models. 7. Fuzzy Gauge Theories. 8. The Dirac Operator and Axial Anomaly. 9. Fuzzy Supersymmetry. 10.Fuzzy Spaces as Hopf Algebras.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | This is a preliminary version, comments and inputs are welcome. Contents: 1. Introduction. 2. Fuzzy Spaces. 3. Star Products. 4. | limitation 0.80 | 0.06 | 0.02 | unclear 0.61 |
| s1 | Scalar Fields on the Fuzzy Sphere. 5. | contribution 0.61 | 0.05 | 0.02 | unclear 1.00 |
| s2 | Instantons, Monopoles and Projective Modules. 6. | contribution 0.57 | 0.06 | 0.02 | unclear 1.00 |
| s3 | Fuzzy Nonlinear Sigma Models. 7. Fuzzy Gauge Theories. 8. | contribution 0.60 | 0.07 | 0.02 | unclear 0.99 |
| s4 | The Dirac Operator and Axial Anomaly. 9. | contribution 0.65 | 0.08 | 0.02 | unclear 0.99 |
| s5 | Fuzzy Supersymmetry. 10.Fuzzy Spaces as Hopf Algebras. | contribution 0.57 | 0.10 | 0.03 | unclear 0.93 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
53 arXiv papers cite this in 85 sentences
Papers citing it · 41 sentences without a confident label
Uses its method or tool 3 papers
-
Following [ref] we consider imposing the constraints (X_a + Γ_a + A_a)^2 = (X_a + Γ_a)^2 = - (ℓ+ γ)(ℓ+γ+1) 1 where $γ$ is taking on the values $±1/2 , 0$.
New Fuzzy Extra Dimensions from $SU({\cal N})$ Gauge Theories · The Vacuum Structure and Gauge Theory over $M ×S_F^2 Int$ · 0.93
-
Following the approaches in [ref] , we introduce the conditions [equation] where $γ=0,±1/2$.
Equivariant Fields in an $SU({\cal N})$ Gauge Theory with new Spontaneously Generated Fuzzy Extra Dimensions · Gauge Theory over $M^4 ×S_F^2 Int ×S_F^2 Int$ · 0.92
-
Another way to construct a theory that contains a classical $S^3$, described in an $(2) ×(1)$ covariant manner, might be to realise the standard Holstein-Primakoff construction with Heisenberg oscillators [ref] .
The fuzzy S^2 structure of M2-M5 systems in ABJM membrane theories · Multi-membrane actions and $S^3$ at large $N$ · 0.82
Compares with it 1 paper
-
The Dirac operator constructed in section IIIB of [ref] by using the Ginsparg-Wilson relations, which also appears in section 8.3.2 of [ref] , and is the spin-1/2 case in [ref] , is essentially the same as the Dirac operator that we have constructed above.
Dirac operators for matrix algebras converging to coadjoint orbits · The fuzzy sphere · 1.00
Cites it as support 1 paper
-
An intriguing result that we came across in our studies is that the vacuum configuration $S_F^2 Int$ forms the bosonic part of the $N=2$ fuzzy supersphere with $OSP(2,2)$ supersymmetry [ref] .
New Fuzzy Extra Dimensions from $SU({\cal N})$ Gauge Theories · Introduction · 0.96
Cites it as background 32 papers
-
It represents nonassociative spaces [ref] as well as noncommutative ones [ref] .] is described by an algebra of functions, which can be characterized by a rank-three tensor that defines multiplication, $f_a ⋆f_b=C_ab^cf_c$.
Emergent general relativity in the tensor models possessing Gaussian classical solutions · Introduction · 0.94
-
These in turn lead to the $(2)$ decompositions of $End ( )$, $End ( )$, $Hom ( , )$, $Hom ( , )$, for the fluctuation matrices that we saw in Section [ref].[The usual fuzzy $S^2$ has also been discussed in terms of the Hopf fibration, where the realisation of the $(2)$ generators in terms of bilinears in Heisenberg algebra oscillators yields an infinite dimensional space which admits various projections to finite $N$ constructions [ref] .
Bifundamental Fuzzy 2-Sphere and Fuzzy Killing Spinors · Hopf fibration interpretation · 0.92
-
To understand this statement, let us briefly recall the Berezin-Toeplitz quantization of the 2-sphere [ref] , see also [ref] and references therein.
Magnetic Domains · Nahm transform and the fuzzy funnel · 0.85
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.