People sometimes say :
"start with the required symmetries, and you'll see that you can add another term to the largrangian" :
{ \cal L}=\bar{\psi}<br />
(\imath\gamma^\mu D_\mu-{m} \exp^{\imath \theta'\gamma_{5}})<br />
\psi<br />
+\frac{1}{4} F^a_{\,\mu\nu}F^{a\mu\nu} -n_f \frac{g^2 \theta}{32\pi^3}F^a_{\,\mu\nu}\tilde{F}^{a\mu\nu}<br />
For the sake of completeness, I also have mentionned \theta', but one can show that it is unphysical in a regularized theory. It is integrated out, and only the
difference between \theta and \theta' remains. So let us concentrate on \theta.
For the data : first attempts to explain the vanishing of \theta tried to introduce a new particule, known as the "axion" and definitely absent from experimental data.
Also, the electric dipole moment of the neutron
is zero, ruling out CP-violation in QCD.
A first reaction could be to answer : so you want to add this Tr(F\tilde{F^*}). Fine, but why bother ! That pretty much amounts to adding CP-violation
by hand. Besides, in terms of gauge connection Tr(FF^*) is simply the curvature term, which provides an elegant geometrical interpretation of gluonic gauge fields. Adding Tr(F\tilde{F^*}) makes the geometrical interpretation much more complicated. And torsion is absent in GR as well !
The electroweak and strong sectors are rather different. Who needs gluons to couple to the axial part of the quark current ?
Why not admit that massless bosons couple only to the vector part of the currents ?
A second reaction : All this is good, but to be honnest, one must confess that it is quite complicated business, involving intantons and the non-perturbative chiral-symmetry breaking of QCD. And even admitting that one starts with a bare lagrangian without CP-violation, one can expect higher-order corrections contributing to CP-violation.
Soft Superweak CP Violation and the Strong CP Puzzle
by Howard Georgi & Sheldon L. Glashow
We discuss a class of models in which CP is violated softly in a heavy sector adjoined to the standard model. Heavy-sector loops produce the observed CP violation in kaon physics, yielding a tiny and probably undetectable value for \epsilon^\prime. All other CP-violating parameters in the effective low-energy standard model, including the area of the unitarity triangle and \bar\theta, are finite, calculable and can be made very small. The leading contribution to \bar\theta comes from a four-loop graph. These models offer a natural realization of superweak CP violation and can resolve the strong CP puzzle. In one realization of this idea, CP is violated in the mass matrix of heavy majorana neutrinos.
and check as well, if you liked, later work they've done in the same spirit.
TASI Lectures on The Strong CP Problem
Michael Dine
These lectures discuss the $\theta$ parameter of QCD. After an introduction to anomalies in four and two dimensions, the parameter is introduced. That such topological parameters can have physical effects is illustrated with two dimensional models, and then explained in QCD using instantons and current algebra. Possible solutions including axions, a massless up quark, and spontaneous CP violation are discussed.