Pith. Sign in

REVIEW

Noncommutative Gauge Theory on Fuzzy Sphere from Matrix Model

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
S.Iso, Y.Kimura, K.Tanaka, K. Wakatsuki

High Energy Physics - Theory · Submitted 16 Jan 2001 · 36 references

Pith's verdict: The fuzzy-sphere derivation is solid and worth citing; the decompactification limit to the noncommutative plane is the part I would not take on faith.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 13, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0101102 (version 4)
Pith IDS4C7TLBB, Pith's permanent record of this paper and its review
CitationK.Tanaka, K. Wakatsuki, S.Iso, Y.Kimura. "Noncommutative Gauge Theory on Fuzzy Sphere from Matrix Model." arXiv:hep-th/0101102 (2001). https://pith.science/paper/S4C7TLBB
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

A three-dimensional matrix model, expanded around the fuzzy sphere, produces a noncommutative gauge theory whose two large-$N$ limits are an ordinary gauge theory on a sphere and a noncommutative Yang-Mills theory on a plane.

The reading

The paper asks whether a finite matrix model can be used as a generating machine for gauge theories on a curved, noncommutative space. Its answer is yes for the fuzzy sphere: start from a three-dimensional reduced supersymmetric matrix action, add a Chern-Simons term so that the fuzzy-sphere configuration $[x_i,x_j]=i$ is an actual solution of the equations of motion, and add a Majorana mass so the action stays supersymmetric; then expand around that solution and translate matrices into functions using noncommutative spherical harmonics. The payoff is a concrete dictionary: the expansion reproduces a $U(1)$ or $U(n)$ noncommutative gauge theory on the fuzzy sphere, with a gauge-covariant field strength, a scalar in the adjoint, and a gaugino, all written with a star product. Two different large-$N$ limits then land on two known worlds, an ordinary gauge theory on a commutative sphere and noncommutative Yang-Mills on a noncommutative plane, which is the paper's evidence that the construction is not merely formal. The second half turns to stability and to a second, cleaner model in which the fuzzy sphere is a half-BPS configuration and therefore receives no perturbative quantum corrections.

What carries the argument

The load-bearing device is the pair (fuzzy-sphere solution, matrix-to-function map). The solution $x_i=L_i$ turns the matrices into a representation of the $SU(2)$ algebra, so that matrix commutators become derivations $[L_i,]$ that map onto the Killing-vector differential operators $L_i$ on the sphere, and traces become integrals, $1/(N+1)$ $d/4$. The map itself expands matrices in noncommutative spherical harmonics $Y_{lm}$ built from symmetrized products of the $x_i$ with the same coefficients as ordinary spherical harmonics, which fixes the ordering to be of Weyl type and makes matrix multiplication become a star product on the fuzzy sphere. That correspondence is what converts the matrix action into a field theory with local gauge symmetry $a_i a_i-iL_i/ +i[,a_i]$, and it is also what guarantees that the decompactified limit gives the Moyal product rather than some other deformation.

Extended reading notes

Core claim

The central claim is that the fuzzy sphere is not just an analogy for noncommutative geometry but an actual classical solution of a matrix model that can be expanded around, in the same way flat noncommutative backgrounds were previously expanded around in matrix models. Concretely, the authors take a three-dimensional reduced action with Yang-Mills, Chern-Simons and Majorana mass terms, show that $[x_i,x_j]=i$ with $x_ix_i=^2$ solves the equations of motion, and set $x_i=L_i$ in the $(N+1)$-dimensional representation of $SU(2)$, so that $^2=^2N(N+2)/4$. Writing $A_i=x_i+a_i$ and mapping matrices to functions through noncommutative spherical harmonics, they obtain a noncommutative $U(1)$ action with a field strength $F_{ij}=L_ia_j/ -L_ja_i/ +[a_i,a_j]_-i_{ijk}a_k/$, and by tensoring with $U(m)$ generators the $U(n)$ version. They then show that the fixed-$ $ large-$N$ limit reproduces a commutative-sphere theory of a gauge field $b_a$, an adjoint scalar $$ and a gaugino, with the Chern-Simons term giving the gauge field a mass, and that the fixed-$ $ large-radius limit around the north pole reproduces noncommutative Yang-Mills on a Moyal plane with coupling $g_{YM}^2=4g^2/N^2^6$. The paper closes by computing one-loop effective actions around the diagonal-matrix and fuzzy-sphere solutions, finding the fuzzy sphere favoured at large $N$ for fixed $g_{YM}$ in the first model, and by exhibiting a second model, with only Yang-Mills and Chern-Simons terms and a modified supersymmetry transformation, in which the fuzzy sphere preserves half the supersymmetry and its one-loop correction vanishes.

Load-bearing premise

The stability conclusions rest on treating a one-loop effective action computed perturbatively around the fuzzy-sphere background as a meaningful measure of stability, even though the authors note in footnote 6 that the partition function of three-dimensional supersymmetric reduced models is not convergent, and even though in the second model they say it is difficult to conclude perturbative stability because the competing diagonal-matrix effective action is negative and of the same order in $N$.

Editorial extensions

If this is right

  • A noncommutative $U(n)$ gauge theory on the fuzzy sphere follows from a finite matrix model, with the gauge field, adjoint scalar and gaugino all arising from the same matrix degrees of freedom.
  • In the commutative large-$N$ limit the construction reduces to a gauge theory on an ordinary sphere whose action contains $F_{ab}F^{ab}+2i^{ab}F_{ab}/ +(D_a)(D^a)-2^2$, so the matrix model reproduces standard curved-space physics.
  • In the large-radius, fixed-noncommutativity limit the same model becomes noncommutative Yang-Mills on a plane, with the fuzzy-sphere star product becoming the Moyal product and the coupling fixed at $g_{YM}^2=4g^2/N^2^6$.
  • The Chern-Simons term makes the gauge field massive by absorbing the radial scalar, with mass $M=2'$, and both the gauge field and gaugino become massless as the radius is taken to infinity.
  • For the first model, the one-loop corrected energy of the fuzzy sphere, $-^2N(N+2)/(6g_{YM}^2)+2 N$, lies below that of commuting diagonal matrices for large $N$ at fixed $g_{YM}$, so the fuzzy sphere is perturbatively stable in that regime but destabilized if $g_{YM}$ is taken large.
  • In the second model the fuzzy sphere is half-BPS, its one-loop correction vanishes, and the competing diagonal-matrix configuration instead collapses into a ball of size set by the noncommutativity scale $$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The two models display an apparent trade-off worth stating plainly: the model that keeps the original supersymmetry off the fuzzy sphere has a stable curved vacuum but no BPS protection, while the model with modified supersymmetry makes the fuzzy sphere BPS and quantum-stable but leaves the diagonal branch unstable. A reader could ask whether this trade-off is generic to Chern-Simons-matrix constr
  • Because the fuzzy-sphere-to-plane limit converts Weyl-ordered matrix products into Moyal products, the construction supplies a translation dictionary in both directions; finite-$N$ matrix computations could in principle be read as predictions for noncommutative field theory on a plane, and vice versa.
  • Appendix B shows that a different ordering choice (normal ordering, giving a Berezin-type product) is equally available, which suggests the ordering is a physical input rather than a convention. Whether gauge-invariant observables at finite $N$ depend on that choice is a concrete question the paper does not settle.
  • The mechanism by which the Chern-Simons term gives the gauge field a mass by eating the radial scalar resembles a Higgs mechanism without a separate Higgs field; it would be worth checking whether the mass $2'$ survives loop corrections in the same scheme used for the stability analysis.
Original abstract

We derive a noncommutative U(1) and U(n) gauge theory on the fuzzy sphere from a three dimensional matrix model by expanding the model around a classical solution of the fuzzy sphere. Chern-Simons term is added in the matrix model to make the fuzzy sphere as a classical solution of the model. Majorana mass term is also added to make it supersymmetric. We consider two large $N$ limits, one corresponding to a gauge theory on a commutative sphere and the other to that on a noncommutative plane. We also investigate stability of the fuzzy sphere by calculating one-loop effective action around classical solutions. In the final part of this paper, we consider another matrix model which gives a supersymmetric gauge theory on the fuzzy sphere. In this matrix model, only Chern-Simons term is added and supersymmetry transformation is modified.

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.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,503 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.07 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.16 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v4. Results and the main claim are underlined; .

We derive a noncommutative U(1) and U(n) gauge theory on the fuzzy sphere from a three dimensional matrix model by expanding the model around a classical solution of the fuzzy sphere. Chern-Simons term is added in the matrix model to make the fuzzy sphere as a classical solution of the model. Majorana mass term is also added to make it supersymmetric. We consider two large $N$ limits, one corresponding to a gauge theory on a commutative sphere and the other to that on a noncommutative plane. We also investigate stability of the fuzzy sphere by calculating one-loop effective action around classical solutions. In the final part of this paper, we consider another matrix model which gives a supersymmetric gauge theory on the fuzzy sphere. In this matrix model, only Chern-Simons term is added and supersymmetry transformation is modified.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We derive a noncommutative U(1) and U(n) gauge theory on the fuzzy sphere from a three dimensional matrix model by expanding the model around a classical solution of the fuzzy sphere. contribution 0.90 0.96 0.57 asserted 1.00
s1 Chern-Simons term is added in the matrix model to make the fuzzy sphere as a classical solution of the model. method 0.94 0.90 0.05 asserted 1.00
s2 Majorana mass term is also added to make it supersymmetric. method 0.90 0.91 0.04 asserted 1.00
s3 We consider two large $N$ limits, one corresponding to a gauge theory on a commutative sphere and the other to that on a noncommutative plane. contribution 0.59 0.92 0.10 asserted 0.98
s4 We also investigate stability of the fuzzy sphere by calculating one-loop effective action around classical solutions. contribution 0.69 0.95 0.09 asserted 0.98
s5 In the final part of this paper, we consider another matrix model which gives a supersymmetric gauge theory on the fuzzy sphere. contribution 0.91 0.90 0.08 asserted 0.97
s6 In this matrix model, only Chern-Simons term is added and supersymmetry transformation is modified. method 0.57 0.82 0.06 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v4
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How the literature uses it

36 arXiv papers cite this in 52 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 36 sentences without a confident label

Uses its method or tool 3 papers
Compares with it 1 paper
  • We mentioned earlier that the gauge field on the fuzzy sphere behaves similarly, only in that case the scalar component corresponds to the radial degree of freedom $ϕ=x^iA_i +A_i x^i$ while the remaining two gauge degrees of freedom are tangential, [ref] ; see also [ref] .

    Gauge fields on noncommutative geometries with curvature · Gauge fields · 0.94

Cites it as support 1 paper
Cites it as background 9 papers

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.