We consider anomaly cancellation for SU (N ) × SU (2) × U (1) gauge theories where the left-handed chiral multiplets are in higher SU (2) representations. In particular, if the left-handed quarks and leptons transform under the triplet representation of SU (2) and if the U (1) gauge group is compact then up to an overall scaling there is only one possible nontrivial assignment for the hypercharges if N = 3, and two if N = 9. Otherwise there are infinitely many. We use the Mordell-Weil theorem, Mazur's theorem and the Cremona elliptic curve database which uses Kolyvagin's theorem on the Birch Swinnerton-Dyer conjecture to prove these statements.
In memory of P. G. O. FreundIt has been long known that anomalies restrict the matter content in particle physics [1][2][3][4]. In particular, the ratios of the U(1) hypercharges of the standard model are almost fixed by the cancellation of anomalies [5]. The types of anomalies encountered are U(1) 3 anomalies [6], mixed anomalies of the U(1) with the other gauge groups [2], SU(3) 3 anomalies [3], and mixed U(1) gravitational anomalies [7,4]. Assuming that there are five overall hypercharge assignments for the left-and right-handed quarks and leptons, the anomaly cancellation conditions lead to four homogeneous equations for the hypercharges. Up to an overall scaling there is a zero-dimensional space of solutions where one finds two independent solutions, the hypercharges of the standard model, and a second, almost trivial solution [5,8,9]. Both solutions are rational, consistent with having the Abelian gauge group be the compact U(1) and not R. Since one of the anomaly cancellation equations is cubic in the hypercharges, it was not a priori guaranteed that any solutions would be rational.Recently Lohitsiri and Tong turned this question around and asked what would happen if instead of requiring the cancellation of the mixed gravitational anomalies, one started with a compact U(1) ab initio, forcing all charge ratios to be rational [10]. With one less anomaly equation there is a one-dimensional space of solutions over R. However, over the rationals, Q, the solutions are discrete. Since the U(1) 3 anomaly equation is cubic in the hypercharges and the two mixed U(1) gauged anomaly equations are linear, the resulting space is an elliptic curve in P 2 for complex hypercharges. Using the linear equations to remove two of the hypercharges and after a convenient linear transformation to a new set of variables the anomaly cancellation equations reduce to the elliptic curve [10](1.1)Up to an overall scaling this equation only has the solutions (X, Y, Z) = (1, −1, 0) and its permutations in Q. Two of these solutions map to the standard model charges and one to the almost trivial solution. Hence requiring a compact U(1) leads to the same solutions as