Consistent New Matter and Gauge Sectors

New matter or a new gauge factor is consistent only when its representations descend to the faithful gauge group, every mass and interaction is gauge invariant, perturbative and global anomalies vanish, kinetic terms are positive, symmetry breaking supplies any gauge-boson mass, and the heavy sector decouples in the claimed limit. Vectorlike matter makes gauge-invariant masses and perturbative anomaly cancellation transparent; genuinely chiral matter requires a complete model-level charge solution.

Required background. Consistency Checklist for Standard Model Extensions supplies the ordered gates. The Global Form of the Standard Model Gauge Group supplies the common-center and charge-quantization test.

Helpful background. Global Form, Matter Representations, and the Faithful Gauge Group develops the quotient-group and line-operator classification.

Representation and mass construction

Work with left-handed Weyl fields. For each new field record

Field	Lorentz type	$SU(3)_c\times SU(2)_L\times U(1)_Y\times G_X$	Multiplicity	Proposed mass source
$\psi_i$	left Weyl	$(R_{3i},R_{2i},Y_i,R_{Xi})$	$n_i$	bilinear, Standard Model Higgs, or new scalar
$\phi_a$	complex or real scalar	$(R_{3a},R_{2a},Y_a,R_{Xa})$	$n_a$	scalar potential and chosen vacuum
$X_\mu^A$	gauge field	adjoint of $G_X$	1	unbroken, Higgs, or Stückelberg mechanism

A fermion bilinear $m_{ij}\psi_i\psi_j+\text{h.c.}$ exists only if $R_i\otimes R_j$ contains a singlet of the full gauge group and its Abelian charges sum to zero. A Yukawa term $y_{ija}\psi_i\psi_j\phi_a$ obeys the analogous three-representation test. Writing a mass after symmetry breaking without the parent invariant hides both its charge assignment and its high-energy longitudinal completion.

The global check is stronger than a Lie-algebra label. If the proposed gauge group is

$$G=\frac{\widetilde G_1\times\cdots\times U(1)^k}{\Gamma},$$

every element of the quotient subgroup $\Gamma$ must act trivially on every matter multiplet. Conversely, dividing by a larger center than the common kernel discards legitimate representations. This choice also fixes the allowed charge and line-operator lattices; it cannot be reconstructed from local vertices alone.

Local and global anomaly tests

For a new Abelian factor $U(1)_X$, evaluate at least

$$\sum_i d_i X_i^3, \quad \sum_i d_i X_i, \quad \sum_i d_i T_3(R_{3i})X_i, \quad \sum_i d_i T_2(R_{2i})X_i,$$

together with $U(1)_X^2U(1)_Y$, $U(1)_XU(1)_Y^2$, and every relevant pure non-Abelian cubic anomaly. Here $d_i$ contains the dimensions and multiplicities of spectator representations but not the representation factor already displayed. Exact cancellation must occur in one consistent left-handed convention Bilal 2008, §§3–4 and 7.1.

For $SU(2)$ doublets, an even number of left-handed doublets is required by the familiar global anomaly. More generally, the global test depends on the representation content and the topology of the gauge group; vanishing triangle sums alone do not settle it Witten 1982, pp. 324–328.

Exact vectorlike fixture

Add

$$L'(\mathbf1,\mathbf2,-\tfrac12),\quad L'^c(\mathbf1,\mathbf2,+\tfrac12),\quad E'(\mathbf1,\mathbf1,-1),\quad E'^c(\mathbf1,\mathbf1,+1).$$

Each representation has its conjugate, so all odd Abelian sums and mixed non-Abelian–Abelian sums cancel pairwise. The two new $SU(2)$ doublets also preserve even doublet parity. Gauge-invariant terms include

$$\mathcal L\supset -M_L L'L'^c-M_EE'E'^c -y_1 H^\dagger L'E'^c-y_2 H L'^cE'+\text{h.c.},$$

where the $SU(2)$ contractions are implicit and fixed once a doublet-index convention is chosen. Removing $L'^c$ leaves a chiral doublet: the bilinear $M_LL'L'^c$ disappears, the mixed anomalies no longer cancel pairwise, and the doublet parity becomes odd. This is a structural failure, not a small correction. Exact rational arithmetic reproduces the anomaly and mass/Yukawa checks.

Gauge kinetic terms, running, and masses

For several Abelian factors the kinetic term is a positive symmetric form,

$$\mathcal L_{\rm kin}=-\frac14F^a_{\mu\nu}K_{ab}F^{b\mu\nu}, \qquad K=K^{\mathsf T}>0.$$

Canonical normalization acts simultaneously on fields, currents, charges, and the mass matrix. An off-diagonal $K_{ab}$ is allowed by Abelian gauge symmetry and is radiatively generated when matter carries both charges; it must not be diagonalized after the mass matrix Holdom 1986, pp. 196–198.

At one loop, a simple gauge factor with Weyl fermions and complex scalars has

$$\mu\frac{dg}{d\mu} =-\frac{g^3}{(4\pi)^2} \left[ \frac{11}{3}C_A -\frac{2}{3}\sum_{\rm Weyl}T(R_f) -\frac{1}{3}\sum_{\rm complex}T(R_s) \right].$$

This coefficient is a perturbative diagnostic, not an ultraviolet-completion theorem. Run every coupling with threshold matching, and reject a parameter point if the trajectory reaches a pole or nonperturbative domain below the scale claimed for the model.

A gauge boson may remain massless, acquire mass from a scalar vacuum expectation value, or—only for an Abelian factor—through a gauge-invariant Stückelberg construction. A bare non-Abelian Proca mass is not a renormalizable gauge-theory definition. For any Higgs realization, count the broken generators, Goldstone modes, physical scalars, and unbroken subgroup before quoting a spectrum.

Decoupling and stable-state checks

If a vectorlike mass $M$ is gauge invariant and $M\to\infty$ at fixed dimensionless couplings, low-energy amplitudes normally admit a local expansion in powers of $E/M$. If the mass instead arises as $M=yv_X$, taking $M$ large by increasing $y$ can violate perturbativity and leave nondecoupling symmetry-breaking effects. The heavy limit must specify which Lagrangian parameters are held fixed Appelquist and Carazzone 1975, pp. 2856–2861.

Also determine every exact remnant symmetry after symmetry breaking. A lightest state carrying an unbroken discrete or gauge charge is stable. That may be intended, but a stable electrically charged or colored particle requires a dedicated cosmological and bound-state analysis rather than being silently accepted. If the state should decay, exhibit an allowed operator and verify that its lifetime lies within the domain used by the observable calculation.

Independent checks and failure modes

• Recompute anomaly sums using both the all-left-handed table and an independent vectorlike-pair decomposition.
• Verify $K>0$ through its eigenvalues or Sylvester minors before canonicalization, and rotate the current vector with the same matrix as the gauge fields.
• Recover the original theory when a new coupling is set to zero and the matched EFT when all gauge-invariant heavy masses become large.
• Check masses and Yukawas before inserting vacuum expectation values; a numerically sensible mass matrix can originate from forbidden operators.
• Treat local anomaly cancellation, the faithful quotient, and global anomalies as three separate tests.

Once the matter and gauge sector passes these checks, use Vector Portals and Kinetic Mixing for its Abelian communication channel or the scalar and fermion siblings for their mass sectors. General representation theory and global-form classification remain with the linked symmetry volume; current mass limits belong to Effective Field Theory and Tests of the Standard Model.

References

• Appelquist, Thomas, and J. Carazzone. “Infrared Singularities and Massive Fields.” Physical Review D 11 (1975): 2856–2861. DOI.
• Bilal, Adel. “Lectures on Anomalies.” arXiv:0802.0634 [hep-th] (2008). arXiv.
• Holdom, Bob. “Two U(1)’s and Epsilon Charge Shifts.” Physics Letters B 166 (1986): 196–198. DOI.
• Witten, Edward. “An SU(2) Anomaly.” Physics Letters B 117 (1982): 324–328. DOI.