A fuzzy sphere is a variant of an n-sphere in noncommutative geometry. Often the fuzzy 2-sphere is meant by default, but there are also fuzzy spheres of higher dimension.
For $N \in \mathbb{N}$, $j \geq 2$, the fuzzy 2-sphere of $N$ bits is the formal dual to the associative algebra which is the sub-algebra in the matrix algebra $Mat_{j \times j}$ generated from the elements of the $N$-dimensional irreducible Lie algebra representation of su(2).
More in detail:
With $\mathfrak{su}(2)$ the Lie algebra of SU(2), write
for a choice of linear basis such that the Lie bracket takes the form
Notice that the element
is a Casimir element in the universal enveloping algebra.
Let then
be the $N$-dimensional irreducible Lie algebra representation of $\mathfrak{su}(2)$, and write
for the matrices representing the generators $\sigma_i$ in this representation, suitably normalized.
Due to the normalization, the commutation relation (1) in this representation reads
and the image of the Casimir element (2) under this representation is the identity matrix
Equation (3) shows that in the large N limit $N \to \infty$, the algebra generated by the $X_i$ becomes commutative, and (4) says that for any $N$, the algebra generated by the $X_i$ satisfies the same relation as the smooth algebra on generators $x_i$ restricted to the actual 2-sphere:
In this vein, one defines the fuzzy refinement of the integral of functions over the 2-sphere, against its canonical volume form, to be given by the matrix trace, normalized as follows
With this definition the volume of the fuzzy 2-sphere of $N$ bits comes out as
This indeed goes to the volume of the actual 2-sphere in the limit:
We discuss how the βshape observablesβ on the fuzzy 2-sphere (above) are given by single trace observables which are Lie algebra weight systems on chord diagrams (following Ramgoolam-Spence-Thomas 04, McNamara-Papageorgakis 05, see McNamara 06, Section 4 for review).
For more see at weight systems on chord diagrams in physics.
While in the commutative large N limit, all powers of the radius function are equal
for finite $N$ there is an ordering ambiguity: In fact, the number of functions on the fuzzy 2-sphere at finite $N$ that all go to the same function $R^{2k}$ in the large N limit grows rapidly with $k$.
At $k = 1$ there is the single radius observable (4)
At $k = 2$ there are, under the integral (5), two radius observables:
$\int_{S^2_N} \underset{i,j}{\sum} X_i X_i X_j X_j$
$\int_{S^2_N} \underset{i,j}{\sum} X_i X_j X_j X_i$
(Here we are using that under the integral/trace, a cyclic permutation of the factors in the integrand does not change the result).
Similarly for higher $k$, where the number of possible orderings increases rapidly. The combinatorics that appears here is familiar in knot theory:
Every ordering of operators, up to cyclic permutation, in the single trace observable $Tr(R^2)^n$ is encoded in a chord diagram and the value of the corresponding single trace observable is the value of the su(2)-Lie algebra weight system on this chord diagram.
On the fuzzy 2-sphere:
See also:
Relation of Dp-D(p+2)-brane bound states (hence Yang-Mills monopoles) to su(2)-Lie algebra weight systems on chord diagrams computing radii averages of fuzzy spheres:
Sanyaje Ramgoolam, Bill Spence, S. Thomas, Section 3.2 of: Resolving brane collapse with $1/N$ corrections in non-Abelian DBI, Nucl. Phys. B703 (2004) 236-276 (arxiv:hep-th/0405256)
Simon McNamara, Constantinos Papageorgakis, Sanyaje Ramgoolam, Bill Spence, Appendix A of: Finite $N$ effects on the collapse of fuzzy spheres, JHEP 0605:060, 2006 (arxiv:hep-th/0512145)
Simon McNamara, Section 4 of: Twistor Inspired Methods in Perturbative FieldTheory and Fuzzy Funnels, 2006 (spire:1351861, pdf, pdf)
Constantinos Papageorgakis, p. 161-162 of: On matrix D-brane dynamics and fuzzy spheres, 2006 (pdf)
The fuzzy 3-sphere was first discussed (in the context of D0-brane-systems) in
Discussion in the context of M2-M5-brane bound states/E-strings:
The fuzzy 4-sphere:
Harald Grosse, Ctirad Klimcik, P. Presnajder, On Finite 4D Quantum Field Theory in Non-Commutative Geometry, Commun. Math. Phys.180:429-438, 1996 (arXiv:hep-th/9602115)
Judith Castelino, Sangmin Lee, Washington Taylor, Longitudinal 5-branes as 4-spheres in Matrix theory, Nucl. Phys. B526:334-350, 1998 (arXiv:hep-th/9712105)
(via D5-branes)
The fuzzy 6-sphere and higher:
Sanjaye Ramgoolam, Section 5 of: On spherical harmonics for fuzzy spheres in diverse dimensions, Nucl. Phys. B610: 461-488, 2001 (arXiv:hep-th/0105006)
Yusuke Kimura, On Higher Dimensional Fuzzy Spherical Branes, Nucl. Phys. B664 (2003) 512-530 (arXiv:hep-th/0301055)
Last revised on December 1, 2019 at 16:55:20. See the history of this page for a list of all contributions to it.