Gauging C on the lattice

We discuss general aspects of charge conjugation symmetry in Euclidean lattice field theories, including its dynamical gauging. Our main focus is O(2) = U(1) ⋊ ℤ₂ gauge theory, which we construct using a non-abelian generalization of the Villain formulation via gauging the charge conjugation symmetry of pure U(1) gauge theory. We describe how to construct gauge-invariant non-local operators in a theory with gauged charge conjugation symmetry, and use it to define Wilson and ’t Hooft lines as well as non-invertible symmetry operators. Our lattice discretization preserves the higher-group and non-invertible symmetries of O(2) gauge theory, which we explore in detail. In particular, these symmetries give rise to selection rules for extended operators and their junctions, and constrain the properties of the worldvolume degrees of freedom on twist vortices (also known as Alice or Cheshire strings). We propose a phase diagram of the theory coupled to dynamical magnetic monopoles and twist vortices, where the various generalized symmetries are typically only emergent.