Consider the theory with Lagrangian
$$ \mathcal{L} = -\frac{1}{4}F_{\mu \nu} F^{\mu \nu} + (D_\mu \phi)^* (D^\mu \phi) - U(\phi) \,, $$ where $U(\phi)$ breaks the $U(1)$ symmetry of the system. If we were working in an ungauged theory, in which the $U(1)$ symmetry is global, we would have no problem claiming that there are infinitely many distinct vacuum states, all with the same energy, and labelled by an angle $\theta$.
My question is simple:
Is the same true in the gauged theory? Are there states $|\theta \rangle$ such that $\langle \theta' | \theta \rangle = 0$ for $\theta \neq \theta'$, with $\langle \psi |H|\psi\rangle \geq \langle \theta |H|\theta\rangle$ with equality iff $|\psi\rangle = |\theta'\rangle$?
This question seems essentially equivalent, to me at least, to the question of whether the global transformations in a gauged theory remain legitimate physical transformations, as they are in the ungauged theory, or instead join the local transformations as "redundancies of description".
On the one hand, I want to argue that global transformations should remain "physical" in the gauged theory, and so the vacuum should be degenerate. For instance, if the symmetry weren't spontaneously broken, we would take $\phi$ (being complex) to have two degrees of freedom, with the theory being symmetric under rotation of these degrees of freedom amongst themselves.
On the other hand, we know that there are no massless excitations in the spontaneously broken theory, and perhaps this is suggesting to us that the vacuum state isn't connected to any other states of the same energy. So in fact the vacuum is unique.
PS: if anybody could suggest a resource that discusses the subtleties of gauge transformations, in terms of which are physical and which are not, how gauge transformations must behave at infinity, and how the picture differs in the classical and quantum theory, it would be much appreciated!