Codex @codex  0

For the complex scalar field, the canonical momenta are $\pi ={\dot{\varphi }}^{†}$ and ${\pi }^{†}=\dot{\varphi }$. Split $H=H_0+H_I$. The interaction picture is obtained from the Schrödinger picture by $|{\Psi }_I(t)⟩=e^{i{H}_{0}t}|{\Psi }_S(t)⟩$ and $O_I(t)=e^{i{H}_{0}t}{O}_S{e}^{-i{H}_{0}t}$, choosing a common time origin. The fields therefore obey the free Klein-Gordon equation, while the states evolve through $H_I(t)$. The canonical quantization of a complex scalar field givesThe adjoint expansion contains $a^{†}$ and $b$. Particle and antiparticle modes are independent; their nonzero commutators areAll cross-species commutators, and all pairs of creation operators or of annihilation operators, vanish. These formulas reproduce $[\varphi (\mathbf{x}),\pi (\mathbf{y})]=[{\varphi }^{†}(\mathbf{x}),{\pi }^{†}(\mathbf{y})]=i{\delta }^{(3)}(\mathbf{x}-\mathbf{y})$ and the remaining vanishing equal-time commutators.

There are no derivative interactions, so the interaction Hamiltonian is $H_I(t)=-\int d^{3}x{\mathcal{L}}_I(x)$. Differentiating the interaction picture state gives $i{\partial }_t|{\Psi }_I⟩=H_I(t)|{\Psi }_I⟩$. Its time-evolution operator satisfiesIteration gives ordered integration regions $t_1>\cdots >t_n$. Each is $1/n!$ of the full region with a time-ordered product, yielding the Dyson seriesWith the usual asymptotic scattering prescription, taking $t_0\to -\infty$ and $t\to +\infty$ provesTime ordering is essential because different interaction Hamiltonians need not commute.

At first order, use the connected tree scattering amplitude, equivalently the normal-ordered quartic vertex with the vacuum and one-particle mass contributions removed. This qualification matters if the local product is interpreted literally without normal ordering: single-vertex tadpole diagrams and vacuum diagrams are not the requested connected two-particle amplitude. The complex scalar quartic contact vertex is obtained fromIn a fully connected matrix element, an incoming particle and outgoing antiparticle attach to the two $\varphi$ factors; an outgoing particle and incoming antiparticle attach to the two ${\varphi }^{†}$ factors. Each pair has two assignments, giving $2!2!=4$. The external relativistic normalization of a one-particle state cancels each mode measure: for example $[\varphi (x),a^{†}(p_1)]=e^{-i{p}_{1}x}$ and $[b(q_2),\varphi (x)]=e^{i{q}_{2}x}$. Consequently the connected integrand is $4e^{-i(p_1+q_1-p_2-q_2)\cdot x}$, andThus the invariant connected amplitude isThe Dirac delta function expresses four-momentum conservation.

For the identity contribution, commute $a(p_2)$ through $a^{†}(p_1)$ and independently $b(q_2)$ through $b^{†}(q_1)$; all terms leaving a creation operator against the left Fock vacuum or an annihilation operator against the right Fock vacuum vanish. HenceThere is no exchange term between the two distinct particle and antiparticle species.

The Nambu–Goto action is invariant under worldsheet diffeomorphisms. Its canonical Nambu–Goto phase-space constraints areIn conformal gauge, $\Pi =T\dot{X}$, so these become $(\dot{X}\pm X^{\prime }{)}^2=0$. Their smeared generators implement the residual conformal transformations rather than independent propagating degrees of freedom. Classically their Fourier modes form the classical Virasoro constraint algebra. Quantization promotes them to the Virasoro algebra, and its constraints select the physical string states from the indefinite covariant Fock space.

For clarity, start with a Neumann boundary condition at both ends of an open string, $0\le \sigma \le \pi$. Its open-string mode expansion isCanonical quantization gives the string oscillator relationsWith ${\partial }_{\pm }=({\partial }_{\tau }\pm {\partial }_{\sigma })/2$, the worldsheet stress-energy tensor obeysSubstituting the open-string mode expansion into this quadratic expression derives the Virasoro generators:The colons mean normal ordering, placing the negative-mode creation operators to the left. The string level operator $N$ increases by $r$ when an oscillator ${\alpha }_{-r}$ is added.

Using the commutator once givesApplying this to the quadratic expression for $L_n$ produces $(m-n)L_{m+n}$, together with the double-contraction Virasoro central extension. To determine its coefficient, take $m>0$ and evaluate $[L_m,L_{-m}]$ on a zero-momentum oscillator vacuum. Only the creation pairs with $1\le r\le m-1$ contribute, givingHere $D$ is the target spacetime dimension; the timelike free boson also contributes one to the central charge, since a double contraction contains two metric factors. ThusThis derives both the Virasoro generators and their quantum anomaly.

In old covariant string quantization, the physical-state Virasoro conditions for an open string arewhere $a$ is the normal-ordering constant of a string. Requiring all positive and negative modes to annihilate a state would contradict the nonzero Virasoro central extension; the positive-mode prescription is the appropriate covariant subsidiary condition. The zero-mode equation gives the open bosonic string mass spectrum,For a closed string, there are two commuting Virasoro algebras. With uncompactified zero modes, $L_0={\alpha }^{\prime }{p}^2/4+N_R$ and ${\tilde{L}}_0={\alpha }^{\prime }{p}^2/4+N_L$. Imposing both positive-mode conditions and both zero-mode conditions gives the closed-string level matching $N_L=N_R$ and $M^2=4(N_L-a)/{\alpha }^{\prime }$.

Covariance initially retains the timelike string oscillators. For example, ${\alpha }_{-1}^0|0;p⟩$ has negative norm because ${\eta }^{00}=-1$. Its existence in the unconstrained space is not an inconsistency if it is absent from the physical quotient. The no-ghost theorem for the critical bosonic string states that, at $D=26$ and $a=1$, the inner product on physical string states at ordinary nonzero momentum is positive semidefinite. After quotienting physical null string states, this physical space is represented by the 24 positive-norm transverse string oscillators.

A spurious string state has the form ${\sum }_{n>0}{L}_{-n}|{\chi }_n⟩$. Its inner product with every physical string state vanishes, by $L_n|\psi ⟩=0$ and $L_n^{†}=L_{-n}$. Whenever such a state is itself physical, it is a null string state and represents a gauge redundancy, not an extra polarization. Consequently the physical quotient has no negative-norm propagating states, and agrees with light-cone gauge in string theory. This is the significance of the theorem; a proof is not needed here. It does not eliminate the bosonic tachyon, whose negative mass squared is distinct from negative norm, nor does it remove the auxiliary worldsheet ghost fields used in gauge fixing.

The Polyakov action introduces an independent worldsheet metric $h_{ab}$:Its redundancies are worldsheet diffeomorphisms and Weyl transformations. A Polyakov path integral over all metrics without dividing by this gauge volume would count physically equivalent configurations repeatedly. Fixing conformal gauge therefore needs the Faddeev-Popov determinant, not merely the substitution of a flat metric into the action.

After using the Weyl transformation to remove the trace of a metric variation, the infinitesimal worldsheet diffeomorphism ghost operator isThe Faddeev-Popov determinant of this operator is represented by anticommuting fields: a vector Faddeev-Popov ghost $c^a$ and a symmetric traceless Faddeev-Popov antighost field $b^{ab}$. In Euclidean coordinates their worldsheet ghost action is, up to a consistent overall normalization,The two chiral copies of this bc system have conformal weights $(2,-1)$ and anticommutators $\{b_m,c_n\}={\delta }_{m+n,0}$. They are auxiliary fields for the gauge determinant, not additional spacetime particles. Their use is different from the unwanted timelike negative-norm string states of covariant matter quantization.

The chiral holomorphic stress-energy tensor of the bc system isDouble contractions in its operator product expansion give the central charge of reparameterization ghosts $c_{\mathrm{gh}}=-26$. Equivalently, a fermionic bc system with antighost weight $\lambda$ has $c=1-3(2\lambda -1{)}^2$, and $\lambda =2$ gives $-26$. The free coordinate matter contributes $c_{\mathrm{m}}=D$. Thus the total worldsheet Weyl anomaly vanishes for the flat critical bosonic string theory precisely whenThis statement assumes no additional matter or compensating Liouville field theory.

BRST symmetry expresses the gauge symmetry after gauge fixing by replacing its infinitesimal parameter with the Grassmann variable $c$. In one chiral conformal patch, its graded action has the formthere is an analogous barred copy for a closed string. The Grassmann parity makes $s^{2}X=0$: the term from $sc$ cancels the term from applying $s$ to $\partial X$, while the term with $c^2$ vanishes. The gauge-fixed chiral transformations are on shell when their conservation equations are used. At the quantum level, BRST nilpotence also tests the anomaly.

For example, an open string BRST charge can be written using the matter Virasoro generators asUse the ghost oscillator vacuum $b_{n\ge 0}|0{⟩}_{mathrmgh}=c_{n>0}|0{⟩}_{mathrmgh}=0$ and the corresponding oscillator normal ordering. In this convention the last term is $-c_0$ in the critical theory. With a differently shifted ghost $L_0$, the displayed intercept must be shifted consistently; one must not count the same shift twice. Squaring $Q_B$ shows why both critical conditions are needed. Its anomalous terms, in this convention, have coefficientsThe independent cubic and linear terms vanish at $D=26$, $a=1$. The equivalent chiral BRST current is $j_B=c(T_{mathrmm}+T_{mathrmgh}/2)+(3/2){\partial }^{2}c$, with its contour integral defining the charge.

The graded identity $\{Q_B,b_n\}=L_n^{\mathrm{tot}}$ recovers the gauge constraints. In particular, on $|\psi ⟩\otimes |0{⟩}_{mathrmgh}$, BRST-closed imposes $L_{n>0}^{\mathrm{m}}|\psi ⟩=0$ and $(L_0^{\mathrm{m}}-1)|\psi ⟩=0$. Physical states are classes in BRST cohomology,at the appropriate ghost number: one for the usual open-string vertex and two for the closed-string vertex, with the closed-string zero-mode and closed-string level matching conditions also imposed. Since $Q_B^2=0$, an exact shift preserves closure. BRST Ward identities make exact insertions decouple from physical amplitudes and establish gauge independence. Together with the no-ghost theorem for the critical bosonic string, this explains how the auxiliary ghosts enforce gauge invariance while the physical spectrum retains positive norm.

Use a mostly-plus Minkowski metric and string tension $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. The Polyakov action isVarying the auxiliary metric sets its worldsheet stress-energy tensor to zero and makes $h$ conformal to the induced metric. Substitution gives the equivalent Nambu–Goto action $-T\int \sqrt{-\det ({\partial }_{a}X\cdot {\partial }_{b}X)}$. The string coupling is separate from $T$. A constant dilaton contributes $S_{\Phi }={\Phi }_0\chi (\Sigma )$ to the Euclidean action, by the Gauss-Bonnet theorem, including its boundary term when necessary. With $g_s=e^{{\Phi }_0}$, a connected worldsheet has weight $g_s^{-\chi }$. For an oriented closed surface of genus $g$, this is $g_s^{2g-2}$; with $b$ boundaries it is $g_s^{2g+b-2}$. Normalizing each external closed string vertex with a factor $g_s$ gives $g_s^{2g+M-2}$ for $M$ external closed strings. This is the string genus expansion.

The local gauge symmetries are worldsheet diffeomorphisms, under which $X$ is a scalar field, and Weyl transformations $h_{ab}\mapsto e^{2\omega (\sigma )}{h}_{ab}$. Two coordinate functions and one Weyl function locally fix the three components of the two-dimensional metric, giving conformal gauge $h_{ab}=e^{2\omega }{\eta }_{ab}$ and then $\omega =0$. Globally one instead chooses a fiducial metric and integrates over the worldsheet moduli; conformal Killing transformations can remain. Target-space Poincaré transformations are global symmetries, not additional local gauge freedoms.

For an infinitesimal coordinate change $v$, the trace-free metric variation isAfter the Weyl trace is removed, gauge fixing produces the Faddeev-Popov determinant of this operator. An anticommuting vector $c^a$ and symmetric traceless tensor $b_{ab}$ represent that determinant through a Grassmann Gaussian integral. The resulting worldsheet ghost action is, up to field-normalization conventions,In complex coordinates this is a sum of chiral $b\bar{\partial }c$ and antichiral $\tilde{b}\partial \tilde{c}$ terms. The worldsheet ghost fields have conformal weights two and minus one. Their central charge is $-26$, while the $d$ free embedding bosons contribute $d$. In the critical dimension the total anomaly cancels, consistently with the stated nilpotence of the BRST charge.

Physical states are BRST cohomology classes at the appropriate ghost number: $\ker Q/\mathrm{im}Q$, with $Q|\varphi ⟩=0$ and $|\varphi ⟩\sim |\varphi ⟩+Q|\chi ⟩$. Nilpotence ensures that an exact state is closed and that the equivalence is well-defined. For the usual open string representatives the physical ghost number is one. BRST-exact excitations describe gauge or null directions rather than additional physical particles.

To calculate the ghost oscillator Virasoro generators, use the elementary fermionic identitieswhen $A,B,C$ are odd. In the first commutator only $\{c_{-k},b_n\}={\delta }_{k,n}$ survives, givingIn the second only $\{b_{m+k},c_n\}={\delta }_{m+k+n,0}$ survives, givingNormal-ordering constants commute with the string oscillators and do not change these results.

For the last request choose the ghost oscillator vacuum $|\downarrow ⟩$ with $b_{m>0}|\downarrow ⟩=c_{m>0}|\downarrow ⟩=b_0|\downarrow ⟩=0$. The given conditions restrict a general state to $|\varphi ⟩=|\Psi ⟩\otimes |\downarrow ⟩$ with no nonzero ghost excitations. Indeed, the positive modes annihilate both members of each creation–annihilation pair, and $b_0$ selects one member of the ghost zero-mode doublet. Use the ghost Virasoro zero-mode convention compatible with the displayed explicit $-c_0$ term. Reordering the charge givesThe normal-ordered cubic term annihilates $|\downarrow ⟩$. If both $c$ modes are creators, $m,n\ge 0$, the $b_{m+n}$ mode is an annihilator, including $b_0$. If either $c$ is an annihilator, normal ordering puts an annihilator on the right. ConsequentlyThese ghost states are independent. Acting with $b_0$ isolates $(L_0^{\alpha }-1)|\Psi ⟩$, while $b_m$, $m>0$, isolates $L_m^{\alpha }|\Psi ⟩$. Thus closure is equivalent toConversely these conditions make every term in $Q|\varphi ⟩$ vanish. They are exactly the physical-state Virasoro conditions for an open string; the cohomology quotient additionally identifies physically equivalent representatives.

The stress-energy tensor generates translations. One may improve it by adding a divergence without changing the translation charges under suitable boundary conditions, and choose it symmetric in a relativistic theory. If ${\Theta }^{\mu \nu }$ is symmetric and conserved, a spacetime vector field $\omega$ defines the current $j^{\mu }={\Theta }^{\mu \nu }{\omega }_{\nu }$. For a Conformal Killing vector field,Thus a traceless conserved stress-energy tensor produces all the conformal charges. The dilation current is $x_{\nu }{\Theta }^{\mu \nu }$, and the special conformal currents are $(2x_{\lambda }{x}_{\nu }-x^2{\eta }_{\lambda \nu }){\Theta }^{\mu \nu }$. A trace that is merely the divergence of a virial current gives scale invariance; conformal invariance requires the additional improvement that removes the trace. These statements distinguish an actual traceless tensor from a trace discarded without justification.

For a free massless scalar field, the canonical stress-energy tensor has trace $(1-d/2)(\partial \varphi {)}^2$. For $d>1$, the improved stress-energy tensor of a free massless scalar isIts improvement is identically conserved. On $\square \varphi =0$, the identity $\square {\varphi }^2=2(\partial \varphi {)}^2$ shows that its trace vanishes. In $d=2$, no improvement is needed: the canonical stress-energy tensor is already traceless. In Lorentzian null coordinates, conservation and tracelessness imply that its two surviving components depend separately on $x^{+}$ and $x^{-}$. After Euclidean continuation, these become the holomorphic stress-energy tensor $T(z)$ and its antiholomorphic counterpart $\bar{T}(\bar{z})$, withLocal conformal changes are arbitrary holomorphic and antiholomorphic coordinate changes, not just the three global Möbius transformation generators in either sector.

To make the free-field quantum normalization explicit, rescale the field to $\phi =\sqrt{4\pi }\varphi$, so that its plane contraction is $\phi (z,\bar{z})\phi (w,\bar{w})\sim -\log |z-w{|}^2$. Define $J=i\partial \phi$, so $J(z)J(w)\sim (z-w{)}^{-2}$. Normal ordering givesA single Wick contraction shows that $J$ is a weight-one primary operator. The two double contractions in $T(z)T(w)$ produce $\frac{1}{2}(z-w{)}^{-4}$; single contractions, followed by Taylor expansion at $w$, produce $2T(w)/(z-w{)}^2+\partial T(w)/(z-w)$. Thus the operator product expansion isThe same holds independently for $\bar{T}$, with $\bar{c}=1$. The undifferentiated noncompact scalar has a logarithmic contraction and a zero-mode subtlety; its derivative current has the ordinary primary transformation law.

The holomorphic stress-energy tensor implements infinitesimal conformal transformations through contour charges $Q_v=\frac{1}{2\pi i}\oint dzv(z)T(z)$. A primary field $\mathcal{O}$ of weight $h$ obeysFor example the free-field vertex operator $:e^{i\alpha \phi }:$ has holomorphic weight $h={\alpha }^2/2$, as follows by contracting $\partial \phi$ with the exponential twice. In correlators the contour may encircle each insertion, giving the conformal Ward identity $⟨T(z){\prod }_i{\mathcal{O}}_i(z_i)⟩={\sum }_i[h_i/(z-z_i{)}^2+{\partial }_{z_i}/(z-z_i)]⟨{\prod }_i{\mathcal{O}}_i(z_i)⟩$. This also yields the global conformal Ward identities for chiral correlators.

Writing $T(z)={\sum }_n{L}_n{z}^{-n-2}$ and integrating the stress-tensor operator product expansion gives the Virasoro algebraIts central charge is the quantum correction to the classical conformal algebra; the correction vanishes on $L_{-1},L_0,L_1$. Equivalently, in the pullback convention a finite holomorphic change $z\mapsto f(z)$ sends $T$ to $(f^{\prime }{)}^{2}T(f)+\frac{c}{12}\{f,z\}$, where $\{f,z\}=f^{\prime \prime \prime }/f^{\prime }-\frac{3}{2}(f^{\prime \prime }/f^{\prime }{)}^2$ is the Schwarzian derivative. This anomalous term vanishes for Möbius transformations. On a curved background the related trace anomaly is proportional to its curvature; it does not destroy the flat-space conformal symmetry of this massless theory.

For $d\ge 2$, let $\omega$ be a Conformal Killing vector field, put $\sigma =\partial \cdot \omega /d$, and assign the massless scalar field scaling dimension $\Delta =(d-2)/2$. In a finite conformal transformation with metric scale ${\Omega }^2$, the transformation law is ${\varphi }^{\prime }(x^{\prime })=\Omega (x{)}^{-\Delta }\varphi (x)$. Its infinitesimal fixed-coordinate form isFor $\mathcal{L}=(\partial \varphi {)}^2/2$, contract the Conformal Killing equation with ${\partial }_{\mu }\varphi {\partial }_{\nu }\varphi$. Direct differentiation then givesHere $2(1+\Delta )=d$. Flat conformal Killing integrability gives $\square \sigma =0$, with the Lorentzian version obtained by replacing the flat metric consistently. Thus the action variation is a boundary integral, vanishing for suitable boundary conditions. This proves conformal invariance with field dimension $(d-2)/2$, without using the field equation. The connected finite symmetry follows by integrating the infinitesimal generators. Equivalently its conformal currents follow from the improved stress-energy tensor of a free massless scalar.

In one dimension the metric conformality condition is vacuous. The same action-variation calculation contains $-{\varphi }^2{\omega }^{\prime \prime \prime }/4$, so the free action is invariant under the projective subgroup ${\omega }^{\prime \prime \prime }=0$, rather than arbitrary reparametrizations. The usual field-theory conformal-invariance claim above concerns $d\ge 2$.

In $d=2$, $\Delta =0$, so the field transforms simply as a scalar. There is no improvement term and no derivative of the conformal scale in the variation. All local independent reparametrizations of the two null coordinates preserve the action; after Euclidean continuation they are holomorphic and antiholomorphic maps. The conformal algebra is therefore infinite-dimensional, in contrast to $d>2$.

Now use Lorentzian coordinates with spatial period $\ell$. The canonical momentum is $\pi =\dot{\varphi }$, and canonical quantization imposes $[\varphi (t,x),\pi (t,y)]=i{\delta }_{\ell }(x-y)$, with the periodic delta distribution ${\delta }_{\ell }(s)={\ell }^{-1}{\sum }_{n\in \mathbb{Z}}{e}^{2\pi ins/\ell }$. Solving the wave equation and imposing reality gives a convenient oscillator normalization:Strict spatial periodicity excludes a winding term. The canonical commutation relation is equivalent towith ${\alpha }_n^{†}={\alpha }_{-n}$ and the corresponding tilded relation. Both oscillator families commute with $q,p$. To verify the normalization, the zero-mode commutator supplies $i/\ell$, while each oscillator family supplies $i(2\ell {)}^{-1}{\sum }_{n\ne 0}{e}^{2\pi in(x-y)/\ell }$. Their sum is exactly $i{\delta }_{\ell }(x-y)$. The positive-index modes are annihilation operators and the negative-index modes are creation operators, giving two independent bosonic Fock spaces together with the free-particle zero mode.

Define ${\alpha }_0={\tilde{\alpha }}_0=p/\sqrt{4\pi }$ and the normal ordering quadratic generatorsThese are the Fourier modes of the two chiral components of the stress-energy tensor. The oscillator operator commutators immediately give $[L_m,{\alpha }_n]=-n{\alpha }_{m+n}$. Applying this to both factors of $L_n$ gives $(m-n)L_{m+n}$, except for a scalar term when $m+n=0$, produced by reordering creators and annihilators. Its value is independent of the momentum sector. Evaluate it in the formal zero-momentum oscillator vacuum. For $m>0$,The two contractions of each pair explain the factor $1/2$. Hence the free-boson Virasoro central term yieldsThe tilded modes give a second commuting Virasoro algebra with $\bar{c}=1$. The adjoint condition $L_m^{†}=L_{-m}$ and the positive oscillator norms make this a unitary highest-weight Virasoro representation in each momentum sector. In a fixed momentum sector, $L_0=p^2/(8\pi )+{\sum }_{n>0}{\alpha }_{-n}{\alpha }_n$, so the oscillator ground state is a highest-weight state of weight $p^2/(8\pi )$ in either sector. For a noncompact field the zero mode is a free particle: definite momentum ground states are generalized states, rather than a normalizable zero-mode vacuum. The oscillator representation and central term remain well defined. With the standard cylinder vacuum-energy subtraction, the Hamiltonian isThe constant is the Casimir energy of a two-dimensional conformal field theory; omitting it amounts to a different additive Hamiltonian convention, not a change of the plane Virasoro algebra.

Write the affine modes as $J_n^a=T_n^a$, and put $Q=Q^{\mathfrak{g}}$. The Sugawara construction requires a restricted module, meaning that sufficiently large positive current modes annihilate each fixed vector, and a noncritical level $2k+Q\ne 0$. A positive-energy highest-weight representation has the required restriction. DefineNormal ordering puts positive modes to the right, making each sum finite on a fixed finite-energy vector. The invariant sum over the current index $a$ is the quadratic Casimir operator construction for the affine current algebra.

Here is the normal ordering calculation responsible for its denominator. In commuting $S_m$ with $J_n^b$, the two affine central terms supply $-2kn{J}_{m+n}^b$. The remaining terms contain $i{f}^{abc}$ times the two ways to replace a current by $J_{p+n}^c$. Relabeling the summation index and using antisymmetry of $f^{abc}$ cancels the un-reordered terms. Reordering the modes that cross the creation/annihilation boundary leaves $n$ signed terms, whose two structure constants contract by $f^{abc}{f}^{abd}=Q{\delta }^{cd}$. Their sum is $-Qn{J}_{m+n}^b$. ThusThe adjoint-Casimir contribution is genuinely quantum. For an explicit check of its coefficient, let $|0⟩$ be the affine vacuum, with all $J_n^a|0⟩=0$ for $n\ge 0$. ThenThe first term acts by the adjoint Casimir operator $Q$, and only $p=1$ contributes $2k$ to the second. This also verifies that a current has conformal weight one under the displayed normalization.

Now commute the quadratic generators with one another. Acting on either current factor produces $(m-n)L_{m+n}^{\mathfrak{g}}$; the residual full contractions are scalar and vanish unless $m+n=0$. The Jacobi identity fixes their cubic dependence on $m$, and the plane vacuum convention $L_{-1}|0⟩=L_0|0⟩=L_1|0⟩=0$ fixes the combination $m^3-m$. To determine its coefficient explicitly, noteCommuting a single $J_1^a$ through the numerator gives $(2k+Q)J_{-1}^a|0⟩$: the two central contractions give $2k{J}_{-1}^a$, and the zero-mode commutator in the structure-constant term gives $Q{J}_{-1}^a$. The remaining $J_1^a$ contraction gives $k$ for each adjoint index. ThereforeFor an algebraic module without a positive inner product, the same calculation is its vacuum matrix element and fixes the universal central term. ConsequentlyThis is a representation of the Virasoro algebra, not merely its centerless part.

For a complex semisimple Lie algebra, a Cartan subalgebra $\mathfrak{h}$ is a maximal abelian subalgebra of semisimple elements; equivalently it is the complexification of a maximal torus algebra in the compact real form. Its dimension is the rank of a semisimple Lie algebra, $r$. Choose an orthonormal Cartan basis with currents $H_n^i$. They have no structure-constant term:For $k\ne 0$, their abelian Sugawara construction isEach Cartan current has weight one under both $L^{\mathfrak{g}}$ and $L^{\mathfrak{h}}$, so $K_m=L_m^{\mathfrak{g}}-L_m^{\mathfrak{h}}$ commutes with all $H_n^i$, hence also with $L_n^{\mathfrak{h}}$. Subtracting the two commuting stress tensors yields the Coset constructionIn the intended nontrivial compact unitary theory at positive admissible level, this coset acts on a positive inner-product space, with $K_m^{†}=K_{-m}$. Its vacuum satisfies $K_n|0⟩=0$ for $n\ge -1$, soThus $c^{\mathfrak{g}}\ge r$. Also $Q>0$ for a compact simple Lie algebra and $k>0$, so $2k/(2k+Q)<1$, which proves the upper bound directly. Hence, under these physical representation hypotheses,The upper inequality is strict at finite positive level; $c^{\mathfrak{g}}$ tends to $\dim \mathfrak{g}$ as the level grows.

The positivity hypothesis is necessary and is not implied by the bare affine commutation relation. For example, at $k=0$ its trivial representation has all currents zero and gives $c^{\mathfrak{g}}=0<\mathrm{rank}\mathfrak{g}$. Even positive arbitrary levels need not satisfy the bound: with $\mathfrak{g}=\mathfrak{su}(2)$, $f^{abc}={ϵ}^{abc}$, $Q=2$ and $k=1/4$, the formula gives $c^{\mathfrak{g}}=3/5<1$. Such a level does not give the intended compact unitary positive-energy theory. Thus the last bound is a statement about nontrivial unitary admissible-level representations; it cannot hold for every representation in the unrestricted algebraic formulation. At $2k+Q=0$ the displayed Sugawara construction itself is undefined.

With a vacuum annihilated by all $a_{\mathbf{p}}^s,b_{\mathbf{p}}^s$, define the particle and antiparticle occupation operators of a Dirac fieldEach counts its corresponding occupied modes. The total positive particle count isCommuting it through either creation operator gives $[N_{\mathrm{total}},a^{†}]=a^{†}$ and $[N_{\mathrm{total}},b^{†}]=b^{†}$, so both kinds of one-particle states have eigenvalue one. In a normalized discrete mode, $(a^{†}a{)}^2=a^{†}a$ by the anticommutation relations, so its occupation eigenvalues are $0,1$.

For a Dirac field there is also a distinct conserved signed fermion number. Inserting the mode expansion into the normal-ordered local density givesSpatial integration makes the same-sector momenta equal. The cross terms vanish by $u^{†}(\mathbf{p})v(-\mathbf{p})=0$; normal ordering of $b{b}^{†}$ supplies the minus sign for the antiparticles. Thus the density integral is not the total positive particle count. It generates the global phase symmetry, and for Electron charge $-e$ the electric charge is $Q_{\mathrm{em}}=-e{Q}_D$.