Notation
The same letter can denote a field, a charge or an observable. Read its definition, indices and theory before combining formulas. This page provides a lookup guide and one exact source translation. It does not impose one notation on every paper.
Dimension, supersymmetry and gauge size
Section titled “Dimension, supersymmetry and gauge size”| Label | Meaning | What it does not determine |
|---|---|---|
| Spacetime dimension; the signature is stated separately | Spinor reality or a supersymmetry count | |
| Copies of the minimal spinor supercharge in a specified dimension | Gauge rank | |
| Full supersymmetry | The complete Poincaré algebra of the flat theory | How many charges a chosen presentation makes explicit |
| Manifest supersymmetry | The subalgebra explicit in the chosen variables | A smaller physical theory |
| Background-preserved supersymmetry | Charges whose transformations preserve the specified metric and all other sources | A number inferable from the metric alone |
| in or | Dimension of the fundamental color space | The number of generators or supercharges |
In three dimensions, has four real Lorentzian Poincaré supercharges; in four dimensions, has eight. Four-dimensional SYM has sixteen, even when written in variables that make four manifest. Standard compact ABJM has twelve at generic level, with four manifest in its chiral presentation. Its exceptional levels have sixteen; the ABJM introduction explains the global theory and the enhancement result.
These counts exclude the additional conformal supercharges of a superconformal algebra. In the quantum-mechanics examples, one complex charge and its adjoint supply two real generators. Independent Euclidean spinor variables do not double the count of the Lorentzian parent. See multiplets and charges for the detailed dimension-dependent tables.
Strictly, and , while their Lie-algebra dimensions are and . The phrase “large rank” often uses as the growing size parameter. In equal-size ABJM, each node has rank and the product group has rank . A Lie algebra alone does not specify the global gauge group, allowed fluxes or line operators.
Geometry, charges and fields
Section titled “Geometry, charges and fields”| Symbol | Usual role here | Essential qualification |
|---|---|---|
| Physical sphere radius | in mass units; a dimensionless mass is | |
| R-charge of a chiral scalar | Some geometric coordinates also use locally; check the definition | |
| Ricci scalar, an R-symmetry generator, or a source paper’s radius | These are different objects; a Ricci scalar has dimension two | |
| ; ; | Often coordinate, orthonormal-frame and spinor indices | The same letters can label other objects when explicitly defined |
| , | Connections | In the three-manifold package is a fixed R-source; commonly denotes a dynamical gauge connection |
| , | Electric and magnetic special coordinates in Seiberg–Witten theory | They are scalar periods, not connection one-forms |
| , | Covariant derivative, vector-multiplet auxiliary | An index distinguishes these uses; neither is a spacetime dimension |
| Gaugino | The unindexed often denotes a coupling instead | |
| Hat, tilde, bar, dagger | A second node, an independent partner, or a conjugation operation | A hat on an ABJM field is not complex conjugation; Euclidean tilded fields need not be conjugates |
The original three-manifold paper uses on the round sphere. The spinor and curvature reference fixes the matrices, index order and curvature trace. The background-field reference distinguishes prescribed sources from dynamical auxiliaries and the matter connection from the current source . Changing a symbol does not make those two connections interchangeable.
Several different quantities called F or W
Section titled “Several different quantities called F or W”| Notation | Definition or role | Where to continue |
|---|---|---|
| Chiral auxiliary component; a source may write simply | Chiral multiplet | |
| Gauge-field strength | Its connection and sign convention are specified with the action | |
| Free energy from a partition function | ; phases and counterterms still matter | |
| Holomorphic prepotential in four-dimensional theory | Low-energy prepotential | |
| Superpotential, a holomorphic interaction | Superpotential interactions | |
| or | Wilson-loop operator on a contour | Supersymmetric Wilson loops |
For the prepotential, and in the specified local electric frame. In general this is not . The source writes the holomorphic function as ; calling it here changes no normalization. These definitions are directly in Seiberg–Witten v1, (2.10) and the paragraph before (3.2). The period and charge basis must still be fixed before comparing a mass formula. The paper guide explains the source versions and the published figure correction.
Couplings and overloaded local symbols
Section titled “Couplings and overloaded local symbols”| Symbol and setting | Meaning | Do not silently identify it with |
|---|---|---|
| Four-dimensional ‘t Hooft coupling in the declared trace convention | ABJM’s | |
| , | Rank-to-level ratio for the ordered pair of opposite levels | A continuously variable level at fixed finite rank |
| A specified four-dimensional microscopic complex coupling | A low-energy period ratio without a normalization map | |
| Local low-energy coupling | , or every other Abelian coupling convention | |
| Coefficient of the R-current two-point function | A gauge coupling or a coordinate | |
| in a geometry or dual-photon calculation | A coordinate or a periodic scalar, as locally declared | The complex coupling above |
| Pauli matrices in some spinor formulas | Any of these scalar quantities | |
| May be a charge eigenvalue, an instanton parameter, an index fugacity, or an odd supercharge | A common numerical value across those uses | |
| Chern–Simons level; elsewhere an instanton number or mode label | The same lattice or orientation in every calculation |
Even an expression such as needs its definition: some instanton-counting formulas instead absorb powers of a dimensional scale into . State its dimension and the quantity conjugate to it. Likewise, “large ” needs a sequence of theories: fixed and fixed are different ABJM limits. The canonical large-rank lesson defines those limits; the two coupling conventions above are used explicitly in Drukker–Gross, below (1.1) and ABJM, section 2.2.
Translate one expression while keeping the operator fixed
Section titled “Translate one expression while keeping the operator fixed”Drukker–Gross v2 equation (1.4) defines the normalized fundamental probe with an overall :
Here are Hermitian matrix fields with the coupling absorbed, and is a unit vector in scalar-flavor space. It is not the four-dimensional theta angle. Rename the connection , keeping the scalar matrices fixed. The site’s Wilson-loop operator can then be written as
Distributing the first gives . This proves equality point by point. The path, orientation, representation, gauge coupling and order of multiplication remain fixed. In particular , whereas . Replacing the latter by the former inside an action also requires translating its coefficient.
One finite matrix check makes the ordering visible. Let three consecutive constant segment generators be , and , where has a single unit entry. These are dimensionless integrated generators. Each can be written as with Hermitian and , so the source-to-site scalar-sign translation applies. With later segments multiplying on the left,
Both notations give this matrix. Reversing the product instead gives normalized trace ; keeping the wrong scalar sign gives . Thus a correct translation preserves more than the names of the letters. This is a finite matrix test of the operator dictionary, not a claim that these arbitrary segment fields form a supersymmetric background or compute a Wilson-loop expectation value.