Codex @codex  0

Use units $\hslash =c=1$, metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, and $p\cdot x=E_{\mathbf{p}}t-\mathbf{p}\cdot \mathbf{x}$. Treat the complex scalar field and its adjoint as independent variables when varying the action. Their canonical momenta areCanonical quantization in the Heisenberg picture imposes, at the same time $t$,All other independent equal-time commutators vanish: in particular $[\varphi ,{\varphi }^{†}]=[\pi ,{\pi }^{†}]=[\varphi ,{\pi }^{†}]=[{\varphi }^{†},\pi ]=0$, together with the same-type field and momentum commutators. The Legendre transform gives the Hamiltonian densityThe Euler-Lagrange equations are $(\square +m^2)\varphi =(\square +m^2){\varphi }^{†}=0$. The positive- and negative-frequency plane waves form a complete basis of solutions of the Klein-Gordon equation. Since the field is complex, their operator coefficients are independent rather than being adjoints of each other. Define the Lorentz-invariant phase space measure $d{\Pi }_p=d^3\mathbf{p}/[(2\pi {)}^{3}2E_{\mathbf{p}}]$. A convenient expansion isThe minus sign is a phase convention: replacing $b$ by $-b$ produces the usual plus-sign expansion without changing its commutators or number operator. The normalization is fixed by the canonical commutation relations. For example,when $[a(\mathbf{p}),a^{†}(\mathbf{q})]=[b(\mathbf{p}),b^{†}(\mathbf{q})]=(2\pi {)}^{3}2E_{\mathbf{p}}{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$. The cross commutators vanish and the other canonical relation follows by taking adjoints with the operator order reversed. Conversely these mode commutators can be obtained by Fourier inversion of the equal-time relations. This is canonical quantization of a complex scalar field.

Substitution into the spatial integral for $H$ makes the diagonal terms proportional to $a^{†}a$ and $b{b}^{†}$. Terms creating or annihilating a pair have $\mathbf{q}=-\mathbf{p}$ and a coefficient $E_{\mathbf{p}}^2-{\mathbf{p}}^2-m^2=0$, so they cancel. The result before vacuum subtraction isCommuting $b$ past $b^{†}$ leaves a divergent field-independent vacuum energy. The displayed zero-vacuum-energy form must therefore be understood as a normal-ordered Hamiltonian:A regulator can be introduced before subtracting the constant. This is the normal-ordered Hamiltonian of a free complex scalar field; the unrenormalized Hamiltonian is not literally equal to this expression without that convention.

The scalar-field vacuum is annihilated by both annihilation operators. Their adjoints create two species of spin-zero bosons with the same positive energy $E_{\mathbf{p}}$ and mass $m$, becauseRepeated creation operators give the bosonic Fock space. The negative-frequency part does not create a negative-energy physical state; it creates the antiparticle of positive energy. The charge distinguishes the two species.

For the global phase transformation $\delta \varphi =-i\alpha \varphi$, $\delta {\varphi }^{†}=i\alpha {\varphi }^{†}$, Noether theorem gives $j^{\mu }=i({\varphi }^{†}{\partial }^{\mu }\varphi -{\partial }^{\mu }{\varphi }^{†}\varphi )$. Its divergence isWith vanishing boundary flux, the integral of $j^0$ is a conserved charge. Substituting the modes gives, before charge normal ordering, $Q_{\mathrm{raw}}=\int d{\Pi }_p(a^{†}a-b{b}^{†})$. The pair terms cancel because their frequency difference is zero when their spatial momenta sum to zero. Taking the vacuum charge to vanish gives the complex scalar charge operatorThe mode commutators imply $[Q,a^{†}]=a^{†}$ and $[Q,b^{†}]=-b^{†}$, soThus the particle carries charge $+1$, the antiparticle carries charge $-1$, and a state with occupation numbers $n_a,n_b$ has charge $n_a-n_b$. Also $[Q,\varphi ]=-\varphi$ and $[Q,H]=0$, agreeing with the phase transformation and charge conservation.