Skip to content

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.

LabelMeaningWhat it does not determine
ddSpacetime dimension; the signature is stated separatelySpinor reality or a supersymmetry count
N\mathcal NCopies of the minimal spinor supercharge in a specified dimensionGauge rank
Full supersymmetryThe complete Poincaré algebra of the flat theoryHow many charges a chosen presentation makes explicit
Manifest supersymmetryThe subalgebra explicit in the chosen variablesA smaller physical theory
Background-preserved supersymmetryCharges whose transformations preserve the specified metric and all other sourcesA number inferable from the metric alone
NN in SU(N)SU(N) or U(N)U(N)Dimension of the fundamental color spaceThe number of generators or supercharges

In three dimensions, N=2\mathcal N=2 has four real Lorentzian Poincaré supercharges; in four dimensions, N=2\mathcal N=2 has eight. Four-dimensional N=4\mathcal N=4 SYM has sixteen, even when written in N=1\mathcal N=1 variables that make four manifest. Standard compact U(N)k×U(N)−kU(N)_k\times U(N)_{-k} ABJM has twelve at generic level, with four manifest in its N=2\mathcal N=2 chiral presentation. Its exceptional levels k=1,2k=1,2 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, rank⁡SU(N)=N−1\operatorname{rank}SU(N)=N-1 and rank⁡U(N)=N\operatorname{rank}U(N)=N, while their Lie-algebra dimensions are N2−1N^2-1 and N2N^2. The phrase “large rank” often uses NN as the growing size parameter. In equal-size ABJM, each node has rank NN and the product group has rank 2N2N. A Lie algebra alone does not specify the global gauge group, allowed fluxes or line operators.

SymbolUsual role hereEssential qualification
ℓ\ellPhysical sphere radius[ℓ]=−1[\ell]=-1 in mass units; a dimensionless mass is ℓm\ell m
rrR-charge of a chiral scalarSome geometric coordinates also use rr locally; check the definition
RRRicci scalar, an R-symmetry generator, or a source paper’s radiusThese are different objects; a Ricci scalar has dimension two
μ,ν\mu,\nu; a,ba,b; α,β\alpha,\betaOften coordinate, orthonormal-frame and spinor indicesThe same letters can label other objects when explicitly defined
AμA_\mu, aμa_\muConnectionsIn the three-manifold package AμA_\mu is a fixed R-source; aμa_\mu commonly denotes a dynamical gauge connection
aa, aDa_DElectric and magnetic special coordinates in Seiberg–Witten theoryThey are scalar periods, not connection one-forms
DμD_\mu, DDCovariant derivative, vector-multiplet auxiliaryAn index distinguishes these uses; neither is a spacetime dimension
λα\lambda_\alphaGauginoThe unindexed λ\lambda often denotes a coupling instead
Hat, tilde, bar, daggerA second node, an independent partner, or a conjugation operationA hat on an ABJM field is not complex conjugation; Euclidean tilded fields need not be conjugates

The original three-manifold paper uses R=−6/ℓ2R=-6/\ell^2 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 A−V/2A-V/2 from the current source A−3V/2A-3V/2. 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”
NotationDefinition or roleWhere to continue
FΦF_\PhiChiral auxiliary component; a source may write simply FFChiral multiplet
FμνF_{\mu\nu}Gauge-field strengthIts connection and sign convention are specified with the action
F=−log⁡ZF=-\log ZFree energy from a partition functionRe⁡F=−log⁡∣Z∣\operatorname{Re}F=-\log\lvert Z\rvert; phases and counterterms still matter
F(a)\mathcal F(a)Holomorphic prepotential in four-dimensional N=2\mathcal N=2 theoryLow-energy prepotential
W(Φ)W(\Phi)Superpotential, a holomorphic interactionSuperpotential interactions
W[C]W[C] or WloopW_{\rm loop}Wilson-loop operator on a contour CCSupersymmetric Wilson loops

For the prepotential, aD=∂aFa_D=\partial_a\mathcal F and τeff=∂a2F=daD/da\tau_{\rm eff}=\partial_a^2\mathcal F=da_D/da in the specified local electric frame. In general this is not aD/aa_D/a. The source writes the holomorphic function as FF; calling it F\mathcal F 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.

Symbol and settingMeaningDo not silently identify it with
λSYM=gYM2N\lambda_{\rm SYM}=g_{\rm YM}^2NFour-dimensional ‘t Hooft coupling in the declared trace conventionABJM’s λ=N/k\lambda=N/k
λABJM=N/k\lambda_{\rm ABJM}=N/k, k>0k>0Rank-to-level ratio for the ordered pair of opposite levelsA continuously variable level at fixed finite rank
τUV=θ/(2π)+4πi/g2\tau_{\rm UV}=\theta/(2\pi)+4\pi i/g^2A specified four-dimensional microscopic complex couplingA low-energy period ratio without a normalization map
τeff=daD/da\tau_{\rm eff}=da_D/daLocal low-energy couplingaD/aa_D/a, or every other Abelian coupling convention
τRR\tau_{RR}Coefficient of the R-current two-point functionA gauge coupling or a coordinate
τ\tau in a geometry or dual-photon calculationA coordinate or a periodic scalar, as locally declaredThe complex coupling above
τi\tau_iPauli matrices in some spinor formulasAny of these scalar quantities
qqMay be a charge eigenvalue, an instanton parameter, an index fugacity, or an odd superchargeA common numerical value across those uses
kkChern–Simons level; elsewhere an instanton number or mode labelThe same lattice or orientation in every calculation

Even an expression such as q=e2πiτq=e^{2\pi i\tau} needs its definition: some instanton-counting formulas instead absorb powers of a dimensional scale into qq. State its dimension and the quantity conjugate to it. Likewise, “large NN” needs a sequence of theories: fixed kk and fixed N/kN/k 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 ii:

WDG=1NTr⁡NPexp⁡[i∮(Aμx˙μ+iΦi∣x˙∣θDGi)dt].(RF01.1)W_{\rm DG}=\frac1N\operatorname{Tr}_N \mathcal P\exp\left[i\oint \bigl(A_\mu\dot x^\mu+i\Phi_i\lvert\dot x\rvert\theta_{\rm DG}^i\bigr)dt\right]. \tag{RF01.1}

Here Aμ,ΦiA_\mu,\Phi_i are Hermitian matrix fields with the coupling absorbed, and θDG\theta_{\rm DG} is a unit vector in scalar-flavor space. It is not the four-dimensional theta angle. Rename the connection Aμ=AμDG\mathcal A_\mu=A_\mu^{\rm DG}, keeping the scalar matrices fixed. The site’s Wilson-loop operator can then be written as

W[n]=tr⁡NPexp⁡[∮(iAμx˙μ+niΦi∣x˙∣)dt],tr⁡N:=1NTr⁡N,n=−θDG.(RF01.2)W[n]=\operatorname{tr}_N\mathcal P\exp\left[\oint \bigl(i\mathcal A_\mu\dot x^\mu+n^i\Phi_i\lvert\dot x\rvert\bigr)dt\right], \qquad \operatorname{tr}_N:=\frac1N\operatorname{Tr}_N,\qquad n=-\theta_{\rm DG}. \tag{RF01.2}

Distributing the first ii gives iAμx˙μ−ΦiθDGi∣x˙∣iA_\mu\dot x^\mu-\Phi_i\theta_{\rm DG}^i\lvert\dot x\rvert. This proves equality point by point. The path, orientation, representation, gauge coupling and order of multiplication remain fixed. In particular tr⁡N1N=1\operatorname{tr}_N\mathbf1_N=1, whereas Tr⁡N1N=N\operatorname{Tr}_N\mathbf1_N=N. Replacing the latter by the former inside an action also requires translating its coefficient.

One finite U(2)U(2) matrix check makes the ordering visible. Let three consecutive constant segment generators be K1=E12K_1=E_{12}, K2=E21K_2=E_{21} and K3=diag⁡(log⁡4,0)K_3=\operatorname{diag}(\log4,0), where EijE_{ij} has a single unit entry. These are dimensionless integrated generators. Each can be written as Kj=iAj−SjK_j=iA_j-S_j with Hermitian Aj=(Kj−Kj†)/(2i)A_j=(K_j-K_j^\dagger)/(2i) and Sj=−(Kj+Kj†)/2S_j=-(K_j+K_j^\dagger)/2, so the source-to-site scalar-sign translation applies. With later segments multiplying on the left,

U=eK3eK2eK1=(4412),12Tr⁡U=3.(RF01.3)U=e^{K_3}e^{K_2}e^{K_1} =\begin{pmatrix}4&4\\1&2\end{pmatrix},\qquad \frac12\operatorname{Tr}U=3. \tag{RF01.3}

Both notations give this matrix. Reversing the product instead gives normalized trace 9/29/2; keeping the wrong scalar sign gives 3/43/4. 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.