The Theta Parameter, Strong CP, and the Witten Effect in Biquaternionic Form

Introduction

The Semiclassical Expansion and the Instanton Gas in Biquaternionic Form showed that the sum over topological sectors forces a dependence on an angle, and Electric–Magnetic Duality and the Modular Group in Biquaternionic Form showed that the shift of that angle by $2\pi$ is one generator of the duality group. This article takes the angle seriously as a parameter of the theory and follows its consequences: the theta term in the action, its periodicity, the strong CP problem that its non-observation creates, and the shift it induces in the electric charge of a magnetic monopole, which is the Witten effect.

The framework's contribution to this subject is unusually direct, and it rests on a result established earlier in the series. In the abelian sector the topological density is not a foreign object: it is proportional to the framework's second invariant,

$$ \tfrac14\epsilon^{\mu\nu\rho\sigma}F_{\mu\nu}F_{\rho\sigma} =\tfrac12\,F_{\mu\nu}\star F^{\mu\nu} =\frac{2i}{c}\,I_2 \quad(\text{Lorentzian}), \qquad I_2=\mathbf E\cdot\mathbf B , $$

as Instantons and Solitons in Biquaternionic Form recomputed from the component conventions of The Field-Strength Biquaternion and Its Invariants. The coefficient is fixed by the identity $\tfrac14\epsilon^{\mu\nu\rho\sigma}F_{\mu\nu}F_{\rho\sigma}=\tfrac12 F_{\mu\nu}\star F^{\mu\nu}$, so that the quarter-density carries half the coefficient of $F_{\mu\nu}\tilde F^{\mu\nu}=\frac{4i}{c}I_2$ used below; the two are not to be "aligned". The theta term of the Maxwell sector is therefore proportional to the integral of one of the framework's own invariants, and it is specifically the pseudoscalar invariant: $I_1=\mathbf E^2-c^2\mathbf B^2$ is parity-even and $I_2$ is parity-odd. The CP-odd character of the theta term, which is the source of the strong CP problem, is thus visible in the algebra as the parity of the second invariant.

Three things follow, and the article states them separately. The algebra supplies the theta term's density and its discrete periodicity; it supplies the structure of the Witten effect, in the sense that a theta shift and a magnetic charge together generate an electric charge; and it does not supply the value of $\theta$, because $\theta$ is a parameter labelling the vacuum and not an output of a complexified classical algebra. The strong CP problem is the statement that the observed near-vanishing of the physical theta parameter is not explained by the framework — or by the Standard Model without additional structure. This is reported as the boundary of what the algebra can address.

Conventions. We use those of Conventions in the Biquaternion Universe and of the companion gauge articles. The field-strength biquaternion is $\tilde F=i\sqrt{\epsilon}\mathbf E-\sqrt{\mu}\mathbf H$, its dual is $\tilde F_\star=-i\tilde F$, and the invariants are $I_1=\mathbf E^2-c^2\mathbf B^2$ and $I_2=\mathbf E\cdot\mathbf B$. The topological charge and theta term are

$$ Q=\frac{1}{8\pi^2}\int\mathrm{Tr}\bigl(F\wedge F\bigr)\in\mathbb Z , \qquad S_\theta=\frac{\theta}{32\pi^2}\int F_{\mu\nu}\tilde F^{\mu\nu} , \qquad \tilde F^{\mu\nu}=\tfrac12\epsilon^{\mu\nu\rho\sigma}F_{\rho\sigma} , $$

with all indices summed in the $ict$ convention as in the companion gauge articles. Charges are in units $\hbar=c=1$ where a quantisation statement is made. The trace $\mathrm{Tr}$ is the matrix trace on the gauge factor, distinguished from the informational trace formula.

Companion article The Magnetic Monopole in Biquaternionic Form, for the dyons and the quantisation condition.
Companion article The 't Hooft–Polyakov Monopole in Biquaternionic Form, for the finite-energy topological monopole.
Companion article The Field-Strength Biquaternion and Its Invariants, for the invariant $I_2=\mathbf E\cdot\mathbf B$.
Companion article The Semiclassical Expansion and the Instanton Gas in Biquaternionic Form, for the theta vacuum and its periodicity.
Companion article Electric–Magnetic Duality and the Modular Group in Biquaternionic Form, for the modular action on the charges.

The Theta Term and Its Density

The theta term of a non-abelian gauge theory is

$$ S_\theta=\frac{\theta}{32\pi^2}\int d^4x\,F^a_{\mu\nu}\tilde F^{a\,\mu\nu} =\frac{\theta}{8\pi^2}\int\mathrm{Tr}\bigl(F\wedge F\bigr) , $$

so that $S_\theta=\theta\,Q$ with the charge normalisation used here, since $\int F^a\tilde F^a=4\int\mathrm{Tr}(F\wedge F)=32\pi^2Q$. It is a total derivative,

$$ F^a_{\mu\nu}\tilde F^{a\,\mu\nu}=\partial_\mu K^\mu , \qquad K^\mu=\epsilon^{\mu\nu\rho\sigma}\Bigl(A^a_\nu F^a_{\rho\sigma} -\tfrac{g}{3}\,\epsilon^{abc}A^a_\nu A^b_\rho A^c_\sigma\Bigr), $$

the standard non-abelian Chern–Simons current, whose abelian part is the primitive $K^\mu=\epsilon^{\mu\nu\rho\sigma}A_\nu F_{\rho\sigma}$ of Instantons and Solitons in Biquaternionic Form and whose form identity $F\wedge F=d\Omega_{\mathrm{CS}}$ is that article's. Two consequences of the total-derivative property are stated there and are used here: the integral depends only on the boundary data, hence on the instanton number, and the local equations of motion are unaffected by the theta term, so its effects are topological and quantum-mechanical rather than classical.

The abelian density is the framework's invariant. In the Maxwell sector the density collapses to the second invariant,

$$ F_{\mu\nu}\tilde F^{\mu\nu}=\frac{4i}{c}I_2\ \ (\text{Lorentzian}), \qquad F_{\mu\nu}\tilde F^{\mu\nu}=4I_2\ \ (\text{Euclidean}), \qquad I_2=\mathbf E\cdot\mathbf B , $$

so the theta term of the abelian theory is

$$ S_\theta^{\text{ab}}=\frac{\theta}{32\pi^2}\int d^4x\,\frac{4i}{c}I_2 =\frac{i\theta}{8\pi^2 c}\int d^4x\,I_2 . $$

The theta term is thus the integral of the framework's own parity-odd invariant, with the factor $i$ that the $ict$ convention attaches to the pseudoscalar. This is the genuine affirmative content of the article: in the abelian sector the CP-odd term is not an object the framework lacks; it is $I_2$, already present in The Field-Strength Biquaternion and Its Invariants.

Parity. The transformation $I_2\to-I_2$ under parity, established with the other invariant properties of the field strength, is what makes the theta term a source of CP violation. A term linear in a parity-odd density, with a real coefficient $\theta$, is not invariant under parity unless $\theta$ takes the special values $0$ or $\pi$ (mod $2\pi$); the theory therefore violates $P$ and $T$, and by CPT, $CP$, for generic $\theta$. The statement is purely algebraic in the abelian sector: the framework has one parity-even and one parity-odd derivative-free invariant, and the theta term is the integral of the odd one.

Periodicity and the Theta Vacuum

The theta dependence enters the partition function through the instanton sum of The Semiclassical Expansion and the Instanton Gas in Biquaternionic Form,

$$ Z(\theta)=\sum_{Q\in\mathbb Z}e^{iQ\theta}Z_Q , $$

and the integrality of the topological charge $Q$ makes the partition function periodic,

$$ Z(\theta+2\pi)=\sum_Q e^{iQ(\theta+2\pi)}Z_Q=\sum_Q e^{iQ\theta}Z_Q=Z(\theta), $$

which was verified to machine precision on an explicit finite instanton sum in that article. The periodicity has two readings. Physically, $\theta$ and $\theta+2\pi$ label the same vacuum, so the angle is defined modulo $2\pi$ and the inequivalent vacua lie on a circle. Algebraically, the periodicity is the statement that the $T$ generator of the modular group, $T:\theta\to\theta+2\pi$, is a symmetry; it is the generator that Electric–Magnetic Duality and the Modular Group in Biquaternionic Form identified as the one requiring the integral topological charge. The periodicity is therefore not a property of the algebra but of the sum over the algebra's instanton sectors: it comes from $Q\in\mathbb Z$, which comes from $\pi_3(SU(2))=\mathbb Z$ and hence from the Hopf total space.

The small-$\theta$ dependence of the vacuum energy is the same as in the semiclassical article,

$$ \mathcal E(\theta)=\mathcal E_0-2K\cos\theta\,e^{-8\pi^2/g^2}+\cdots , $$

so the vacuum is CP-conserving at $\theta=0$ and $\theta=\pi$, and CP-violating elsewhere. The special value $\theta=\pi$ is the boundary between the two, and it is a genuine CP-conserving point because $e^{iQ\pi}=(-1)^Q$ is real.

Strong CP and the Value of Theta

The strong CP problem is the following. The theta term of quantum chromodynamics is not forbidden by any symmetry of the Standard Model, so its coefficient is expected to be of order unity; but the theta term violates CP, and CP violation in the strong sector is bounded by the electric dipole moment of the neutron. The physical, renormalisation-invariant parameter is

$$ \bar\theta=\theta+\arg\det M_q , $$

the sum of the gauge theta angle and the phase of the quark mass matrix (a chiral rotation of the quark fields shifts both, keeping $\bar\theta$ invariant), and the experimental bound on the neutron electric dipole moment requires

$$ |\bar\theta|\lesssim 10^{-10} . $$

The problem is not that $\bar\theta$ is nonzero but that it is unnaturally small: the framework, like the Standard Model without additional structure, contains no reason for it to vanish. The standard dynamical solution is the Peccei–Quinn mechanism, in which $\bar\theta$ is promoted to a field whose potential is minimised at zero; the pseudo-Goldstone boson of that mechanism is the axion, which belongs to the spin-zero programme of the corpus and is not developed here.

What the framework does and does not say. The framework supplies the theta term's density, its parity-odd character as the invariant $I_2$, its periodicity and its role in the vacuum. It does not supply the value of $\theta$, because $\theta$ is not an element of the algebra: it is a coefficient in the action, and the algebra is a complexified classical structure with no action principle of its own. The strong CP problem is therefore a question the framework poses in its own language — why is the coefficient of the parity-odd invariant $I_2$ so small? — without answering it. Any answer must come from the dynamics, and in this corpus the dynamics of a scalar that could relax the coefficient is the axion programme, which is outside this subcategory. The honest statement is that the algebra's contribution is the identification of the CP-odd term with a known invariant, and that the resolution of strong CP is imported from beyond the algebra.

The Chiral Rotation and the Invariance of the Physical Parameter

The reason $\bar\theta$ and not $\theta$ is the physical parameter is the anomaly. Consider a common axial rotation of the quark fields,

$$ \psi\;\longmapsto\;e^{i\alpha\gamma_5}\,\psi , \qquad \psi_L\mapsto e^{-i\alpha}\psi_L , \qquad \psi_R\mapsto e^{+i\alpha}\psi_R , $$

under which the mass matrix in the fermion bilinear $\bar\psi_L M_q\psi_R$ transforms as

$$ M_q\;\longmapsto\;e^{2i\alpha}M_q , \qquad \arg\det M_q\;\longmapsto\;\arg\det M_q+2N_f\alpha , $$

for $N_f$ flavours. The classical action is invariant under this rotation for massless quarks, but the fermionic measure is not: the Jacobian of the rotation is non-trivial, and the anomaly shifts the theta angle by the compensating amount,

$$ \theta\;\longmapsto\;\theta-2N_f\alpha . $$

The two shifts are opposite, and their sum is invariant:

$$ \bar\theta=\theta+\arg\det M_q \;\longmapsto\;\bigl(\theta-2N_f\alpha\bigr)+\bigl(\arg\det M_q+2N_f\alpha\bigr)=\bar\theta . $$

This is why $\bar\theta$ is the renormalisation-invariant physical parameter, and why a theory with $\theta=0$ and complex masses is equivalent to one with $\theta\ne0$ and real masses: the rotation moves the phase between the two terms without changing the physics. The invariance is the standard anomaly argument; the measure's non-invariance belongs to the spin-half programme of the corpus, where the anomalous divergence and the Jacobian are computed, and it is not re-derived here.

What the framework contributes. The axial rotation is generated by $\gamma_5$, whose biquaternionic realisation is the chirality grading that separates the two central ideals of $\mathbb B\cong M_2(\mathbb C)$; the rotation acts on the two ideals with opposite phases, and the mass term is the chirality-off-diagonal coupling between them, as Conventions in the Biquaternion Universe records. The shift of $\theta$ is therefore a rotation of the two chiral ideals against each other, and the invariance of $\bar\theta$ is the statement that the physics depends only on the product of the theta phase and the mass-matrix phase. The algebra makes the structure of the rotation visible — the axial generator, the off-diagonal mass, the two ideals — while the anomaly that makes the rotation non-trivial for the measure is imported from the quantum theory.

The Witten Effect

The Witten effect is the statement that in the presence of a theta angle a magnetic monopole acquires an electric charge proportional to $\theta$. Its origin is the interplay of the theta term with the monopole's topology, and it can be exhibited in the framework's variables.

Consider a monopole of magnetic charge $g_m$ in a theory with theta angle $\theta$. The theta term, although a total derivative, is not gauge invariant as a bulk term in the presence of a boundary or a monopole; on the monopole configuration it contributes an effective electric charge through the Wess–Zumino term. The standard result for the charges of a dyon is

$$ q_e=e\left(m+\frac{\theta}{2\pi}\,n\right), \qquad q_m=\frac{4\pi}{e}\,n , \qquad m,n\in\mathbb Z , $$

so that a monopole with $n=1$ acquires the electric charge $e\theta/2\pi$ in addition to the integer multiple $em$. The electric charge is therefore shifted by $\theta$, and the shift is proportional to the magnetic charge.

The two properties that make the shift consistent were verified explicitly.

Periodicity in $\theta$. Under $\theta\to\theta+2\pi$ the electric charge changes by $en$, $q_e\to q_e+en$, which is exactly the relabelling $m\to m+n$ of the integer electric quantum number. Hence the physics is invariant under $\theta\to\theta+2\pi$, as it must be, and the shift is a rotation of the charge lattice rather than a change of the spectrum. On a sample with $m=2$, $n=3$, the charge changed by $2.999999999999999$, equal to $en=3$ within rounding, and the shifted state coincided with the relabelled one.
Consistency with the modular action. The combined transformation $(\theta\to\theta+2\pi,\ m\to m+n)$ is precisely the $T$ generator of $SL(2,\mathbb Z)$ acting on the charge lattice of Electric–Magnetic Duality and the Modular Group in Biquaternionic Form. The Witten effect is therefore the statement that the theta shift and the charge relabelling are one symmetry, and it is the physical content of the $T$ generator.

The framework's reading of the effect. The Witten effect is the place where the article's three ingredients meet: the theta angle, the magnetic charge of The Magnetic Monopole in Biquaternionic Form and The 't Hooft–Polyakov Monopole in Biquaternionic Form, and the duality rotation of Electric–Magnetic Duality and the Modular Group in Biquaternionic Form. In the framework's variables the effect is the statement that the theta angle and the magnetic charge together generate an electric charge through the parity-odd invariant: the term $\theta\int I_2$ has a nonzero cross term with the monopole's magnetic field, and the cross term is an electric source. The algebra makes the structure visible — the CP-odd invariant is $I_2$, and a magnetic field plus a theta angle is an electric charge — but the coefficient $e\theta/2\pi$ follows from the standard Wess–Zumino analysis and is imported, as is the quantisation that makes $m$ and $n$ integers.

Dyon masses. A dyon with charges $(m,n)$ has a mass bounded below by the BPS formula

$$ M\;\ge\;v\sqrt{q_m^2+q_e^2} \;=\;\frac{4\pi v}{g}\sqrt{n^2+\Bigl(\frac{g^2}{4\pi}\Bigr)^{\!2}\Bigl(m+\frac{\theta}{2\pi}n\Bigr)^{\!2}} , $$

which reduces at $\theta=0$ to the monopole mass $M=4\pi v/g$ of the monopole article and to the W-boson mass $M=gv$ for $(m,n)=(1,0)$. The mass formula is the BPS bound of the $\mathcal N=2$ theory; its theta dependence is the standard one, and the framework's contribution is the identification of the charges with its invariants.

Summary

The theta term $S_\theta=\frac{\theta}{32\pi^2}\int F_{\mu\nu}\tilde F^{\mu\nu}$ is a total derivative, hence dependent only on the instanton number, and in the abelian sector its density is proportional to the framework's parity-odd invariant $I_2=\mathbf E\cdot\mathbf B$:

$$ F_{\mu\nu}\tilde F^{\mu\nu}=\frac{4i}{c}\,I_2 \quad(\text{Lorentzian}), \qquad F_{\mu\nu}\tilde F^{\mu\nu}=4\,I_2 \quad(\text{Euclidean}). $$

Because it is the integral of a parity-odd density, the theta term violates $P$ and $T$ unless $\theta=0$ or $\pi$. The theta dependence enters through the instanton sum $Z(\theta)=\sum_Qe^{iQ\theta}Z_Q$ and is periodic with period $2\pi$, verified to machine precision; the periodicity is the $T$ generator of the modular group and originates in the integrality of the topological charge.

The physical theta parameter is $\bar\theta=\theta+\arg\det M_q$, and the neutron electric dipole moment bounds it by $|\bar\theta|\lesssim10^{-10}$, which is the strong CP problem: the framework, like the Standard Model without additional structure, gives no reason for the near-vanishing. The framework supplies the CP-odd density as the invariant $I_2$ and supplies the periodicity and the vacuum structure, but it does not supply the value of $\theta$, which is a coefficient in the action and not an element of the algebra; the resolution is imported.

The Witten effect states that a monopole of magnetic charge $q_m=4\pi n/e$ carries the electric charge $q_e=e(m+\theta n/2\pi)$. Under $\theta\to\theta+2\pi$ this changes by $en$, which is the relabelling $m\to m+n$, verified numerically; the effect is the physical content of the $T$ generator, and the framework makes its structure visible as the cross term of the theta angle with the monopole field through the parity-odd invariant, while the coefficient and the quantisation are standard and imported.

Summary of Notation

Symbol	Meaning
$\mathbb B=\mathbb C\otimes_{\mathbb R}\mathbb H$	Biquaternion algebra
$\tilde F=i\sqrt{\epsilon}\mathbf E-\sqrt{\mu}\mathbf H$	Field-strength biquaternion
$\tilde F_\star=-i\tilde F$	Dual field-strength biquaternion
$I_1=\mathbf E^2-c^2\mathbf B^2$	First invariant (parity-even, scalar)
$I_2=\mathbf E\cdot\mathbf B$	Second invariant (parity-odd, pseudoscalar); theta density
$\theta$	Theta angle; coefficient of the topological term
$S_\theta=\frac{\theta}{32\pi^2}\int F\tilde F$	Theta term of the action
$\tilde F^{\mu\nu}=\frac12\epsilon^{\mu\nu\rho\sigma}F_{\rho\sigma}$	Hodge dual field strength
$Q=\frac{1}{8\pi^2}\int\mathrm{Tr}(F\wedge F)$	Topological charge, $Q\in\mathbb Z$
$K^\mu$	Chern–Simons current, $F\tilde F=\partial_\mu K^\mu$
$Z(\theta)=\sum_Q e^{iQ\theta}Z_Q$	Theta-dependent partition function, period $2\pi$
$\bar\theta=\theta+\arg\det M_q$	Physical CP-violating parameter
$M_q$	Quark mass matrix (imported)
$q_e=e(m+\theta n/2\pi)$	Witten-shifted electric charge of a dyon
$q_m=4\pi n/e$	Magnetic charge
$m,n\in\mathbb Z$	Electric and magnetic quantum numbers
$M\ge v\sqrt{q_m^2+q_e^2}$	BPS dyon mass bound