Pith. Sign in

REVIEW

Construction of non-Abelian gauge theories on noncommutative spaces

High Energy Physics - Theory · Submitted 18 Apr 2001 · 15 references

Pith's verdict: A solid construction paper: the first-order solutions check by hand, the second-order ones are the real new content and the real risk, and the authors are honest about what they leave open.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 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 →

· 3 major objections · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0104153 (version 4)
Pith IDW6RT723B, Pith's permanent record of this paper and its review
CitationBranislav Jurco, Julius Wess, Lutz M\"oller, Peter Schupp, Stefan Schraml. "Construction of non-Abelian gauge theories on noncommutative spaces." arXiv:hep-th/0104153 (2001). https://pith.science/paper/W6RT723B
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
The paper

The paper claims

Non-Abelian gauge theories can be built order by order on a noncommutative space, with the gauge parameter, potential, matter fields, and field strength all fixed by one consistency relation.

The reading

The paper asks how to put a non-Abelian gauge theory — the kind that describes quarks and gluons — on a space whose coordinates do not commute, so that ordinary multiplication is replaced by a star product. The obstacle is that on such a space the gauge parameter can no longer be a Lie-algebra element; two successive gauge transformations close only if the parameter is promoted to an element of the enveloping algebra, an infinite tower of symmetrized products of generators. The authors' proposal is to demand that this tower be generated entirely by the ordinary Lie-algebra parameter $[abstract:s0]$, and to impose the closure condition $(2.14)$ that makes two such transformations compose correctly. Solving that condition order by order in a noncommutativity parameter $h$ yields explicit formulas for the gauge parameter, the noncommutative potential, matter fields, and the field strength, all written in terms of the ordinary gauge field and its derivatives $[abstract:s1]$. With those in hand the standard Yang-Mills and matter actions can be expanded in $h$, giving ordinary Lagrangians with new $h$-dependent couplings $[abstract:s2]$.

What carries the argument

The load-bearing device is the closure, or consistency, relation $i(2.14)$, namely $i(2.14)$, which says that the failure of two star-commuting gauge transformations to commute must itself be a gauge transformation with parameter $i(2.4)$. Because the star product of two enveloping-algebra-valued parameters stays in the enveloping algebra, the relation can be expanded in $h$ and solved recursively: at each order the inhomogeneous piece is a known functional of lower-order solutions, and a finite ansatz linear in $i(2.15)$ suffices to cancel it. The symmetrized basis $i(2.11)$ keeps the tower in a canonical form, and the structure of the solutions ties the power of $i(2.15)$ to the power of the generators — order $n$ in $h$ carries at most $n+1$ generators. The same relation, applied to fields and to the potential, generates the Seiberg-Witten-type maps $i(3.3)$, $i(4.4)$, and $i(4.10)$ that make the expanded actions possible.

Extended reading notes

Core claim

The central claim is that the consistency relation $i(2.14)$, namely $i(2.14)$, holds, in the form $i(2.14)$, and admits a solution in which every noncommutative object is an explicit power series in the noncommutativity parameter built from the ordinary Lie-algebra potential. Concretely, the authors solve the relation to first order in $h$ with $i(2.18)$, namely $i(2.18)$, giving $i(2.18)$; and to second order with the long expression $i(2.27)$. The same procedure delivers the matter field to first and second order, $i(3.3)$ and $i(3.5)$, the enveloping-algebra-valued potential $i(4.4)$ and $i(4.7)$, and the field strength $i(4.10)$. Inserting these into the trace action $i(5.2)$ and the matter action $i(5.3)$ and expanding produces ordinary Lagrangians $i(5.4)$ and $i(5.5)$ in which $h$ plays the role of a coupling constant, with new terms such as $i(5.5)$ and $i(5.5)$. The authors emphasise that the construction works for arbitrary gauge groups, unlike earlier approaches restricted to particular ones.

Load-bearing premise

The construction fixes one representative among a family of solutions by discarding the homogeneous terms in equations (2.22) and (2.25), and nothing in the paper shows that this particular choice is the one with acceptable high-energy behaviour — the authors themselves note that such extra terms are essential for renormalizability.

Editorial extensions

If this is right

  • Any non-Abelian gauge group, not just the unitary ones handled by earlier constructions, can be given a noncommutative deformation with the gauge parameter, potential, and matter fields determined order by order in the noncommutativity parameter.
  • The deformed Yang-Mills and matter Lagrangians in equations (5.4) and (5.5) are ordinary field theories in which the noncommutativity parameter enters as a coupling, so existing perturbative machinery can be applied to them directly.
  • The expanded actions contain genuinely new vertices — for instance the $\theta^{kl}\mathrm{Tr}\,F^{0}_{ik}F^{0}_{jl}F^{0}_{ij}$ term — which modify the tree-level S-matrix relative to the commutative theory.
  • In the Abelian case the authors recover, to all orders in $\theta$ and first order in the potential, the known closed forms (6.6) and (6.7) built from the auxiliary product $\star_2$ of equation (6.8), confirming that the general construction reduces correctly.
  • The non-Abelian expansion in powers of the commutative potential is shown to be obstructed beyond zeroth order by the Bianchi identity, a limitation the Abelian case does not share.

Reading between the lines

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

  • Because the solution is fixed only up to homogeneous terms, the physical content of the expanded actions depends on which representative is chosen; different choices are related by field redefinitions of the potential, as in equation (2.23), and a reader who wants a definite prediction must specify the choice.
  • The obstruction to expanding non-Abelian fields in powers of the commutative potential — traced to the Bianchi identity — suggests that any all-orders closed form for the non-Abelian map must be organised by something other than a naive potential expansion, perhaps by the covariant coordinates of reference [2].
  • The first-order action corrections are all of the form field strength times a covariant derivative or a commutator, which is the shape one expects from a lowest-order derivative expansion; it would be worth checking whether this pattern persists at second order or whether genuinely new tensor structures appear.
  • Since the construction is presented for a constant Poisson tensor, the natural test of its scope is whether the same recursive solution of the closure relation survives when the Poisson tensor depends on position, as the authors' own earlier work suggests it should.
Original abstract

We present a formalism to explicitly construct non-Abelian gauge theories on noncommutative spaces (induced via a star product with aconstant Poisson tensor) from a consistency relation. This results in an expansion of the gauge parameter, the noncommutative gauge potential and fields in the fundamental representation, in powers of a parameter of the noncommutativity. This allows the explicit construction of actions for these gauge theories.

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, 2,923 input tokens, $0.0001 reported.

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

The abstract, sentence by sentence

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

We present a formalism to explicitly construct non-Abelian gauge theories on noncommutative spaces (induced via a star product with aconstant Poisson tensor) from a consistency relation. This results in an expansion of the gauge parameter, the noncommutative gauge potential and fields in the fundamental representation, in powers of a parameter of the noncommutativity. This allows the explicit construction of actions for these gauge theories.

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 present a formalism to explicitly construct non-Abelian gauge theories on noncommutative spaces (induced via a star product with aconstant Poisson tensor) from a consistency relation. contribution 0.97 0.94 0.45 asserted 1.00
s1 This results in an expansion of the gauge parameter, the noncommutative gauge potential and fields in the fundamental representation, in powers of a parameter of the noncommutativity. result 0.71 0.90 0.20 asserted 1.00
s2 This allows the explicit construction of actions for these gauge theories. result 0.76 0.86 0.31 asserted 0.90

What kind of paper the classifier reports this is: method or tool 0.92 · 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 later papers used it

50 later papers cite it

Evidence: substantial. 49 of the citing papers share no author with it, and 12 of those carry a confident label from Pith's citation classifier.

Pith read 11 of the 102 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 1 of 8 papers with this label
  • Followed this paper to give the general strategy to solve the noncommutative gauge consistency condition and Seiberg-Witten map for general order n.

    Seiberg--Witten Maps to All Orders (2007) · 0.88 · paraphrased: the licence does not allow quoting

How the literature uses it

45 arXiv papers cite this in 89 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 · 57 sentences without a confident label

Contests it 1 paper
  • The importance of this systematic approach is stressed a posteriori by discovering ambiguities in the SWM that have been missed in earlier $𝒪(θ^2)$ constructions of SWM [ref] .

    The Noncommutative Standard Model at O(theta^2) · Introduction · contest 0.83

Builds on it 2 papers
  • This idea was further developed in [ref] where it was shown that any commutative (but possibly nonabelian) gauge algebra can be extended to a noncommutative version by a generalization of the Seiberg-Witten map.

    Quantum Space-Time and Noncommutative Gauge Field Theories · The Seiberg-Witten map · 0.93

  • [ref] for non-supersymmetric gauge theories: now the noncommutative vector superfields will be valued in the enveloping algebra of the Lie algebra of the ordinary gauge group.

    The Seiberg-Witten map and supersymmetry · Summary and Conclusions · 0.82

Uses its method or tool 7 papers
Compares with it 2 papers
Cites it as background 16 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.