As mentioned in Section 3.2.5 it often occurs that the spontaneous breaking of a continuous symmetry leaves a discrete subgroup unbroken. If the original symmetry was local, the remaining subgroup is known as a discrete gauge symmetry (e.g., Ibáñez and Ross, 1992). As a simple example, consider a model involving three complex scalars ϕi, i=1⋯3, with a U(1) gauge symmetry. Suppose the potential is of the form
V(ϕ1,ϕ2,ϕ3)=i=1∑3Vi(ϕi†ϕi)+Vcubic,
where Vi(ϕi†ϕi) are quadratic functions of ϕi†ϕi (i.e., quadratic and quartic in ϕi and ϕi†) and
Vcubic=σ1ϕ1ϕ2ϕ3+σ2ϕ12ϕ2†+h.c.
(a) Find the U(1) charges of the ϕi for which the theory is U(1) invariant.
(b) Show that σ1,2 can be taken to be real w.l.o.g.
(c) Suppose the Vi are such that the minimum of V occurs for ⟨0∣ϕ3∣0⟩=0 but ⟨0∣ϕ1,2∣0⟩=0. Show that a discrete Z3 symmetry remains unbroken.