In the presence of both 't Hooft lines and Wilson lines, a theory requires consistency conditions similar to the Dirac quantization condition which arises when both electric and magnetic monopoles are present. For a gauge group G = \tilde G/H where \tilde G is the
universal covering group with a Lie algebra \mathfrak g and H is a subgroup of the center, then the set of allowed Wilson lines is in
one-to-one correspondence with the
representations of G. This can be formulated more precisely by introducing the
weights \boldsymbol \mu of the Lie algebra, which span the weight lattice \Lambda_w(\mathfrak g). Denoting \Lambda^G_w \subset \Lambda_w as the lattice spanned by the weights associated with the algebra of G rather than \mathfrak g, the Wilson lines are in one-to-one correspondence with the lattice points \Lambda_w^G/W lattice where W is the Weyl group. The Lie algebra valued charge of the 't Hooft line can always be written in terms of the rank r Cartan subalgebra \boldsymbol H as Q=\boldsymbol m \cdot \boldsymbol H, where \boldsymbol m is an r-dimensional charge vector. Due to Wilson lines, the 't Hooft charge must satisfy the generalized Dirac quantization condition e^{i\boldsymbol m \cdot \boldsymbol H} = 1, which must hold for all representations of the Lie algebra. The generalized quantization condition is equivalent to the demand that \boldsymbol m \cdot \boldsymbol \mu \in 2\pi \mathbb Z holds for all weight vectors. To get the set of vectors \boldsymbol m that satisfy this condition, one must consider
roots \boldsymbol \alpha which are
adjoint representation weight vectors. Co-roots, defined using roots by \boldsymbol \alpha^\vee = 2\boldsymbol \alpha/\boldsymbol \alpha^2, span the co-root lattice \Lambda_{\text{co-root}}(\mathfrak g). These vectors have the useful property that \boldsymbol \alpha^\vee \cdot \boldsymbol \mu \in \mathbb Z meaning that the only magnetic charges allowed for the 't Hooft lines are ones that are in the co-root lattice : \boldsymbol m \in 2\pi \Lambda_{\text{co-root}}(\mathfrak g). This is sometimes written in terms of the
Langlands dual algebra \mathfrak g^\vee of \mathfrak g with a weight lattice \Lambda_{mw}, in which case the 't Hooft lines are described by \Lambda_{mw}/W. More general classes of
dyonic line operators, with both electric and magnetic charges, can also be constructed. Sometimes called ''Wilson–'t Hooft line operators'', they are defined by pairs of charges (\lambda_e, \lambda_m) \in \Lambda_w \times \Lambda_{mw} up to the
identification that for all w \in W it holds that : (\lambda_e, \lambda_m) \sim (w\lambda_e, w \lambda_m). Line operators play a role in indicating differences in gauge theories of the form G = \tilde G/H that differ by the center subgroup H. Unless they are
compactified, these theories do not differ in local physics and no amount of local
experiments can deduce the exact gauge group of the theory. Despite this, the theories do differ in their global properties, such as having different sets of allowed line operators. For example, in \text{SU}(N) gauge theories, Wilson loops are labelled by \Lambda_w(\mathfrak g) while 't Hooft lines by \Lambda_{\text{co-root}}(\mathfrak g). However in \text{SU}(N)/\mathbb Z_N the lattices are reversed where now the Wilson lines are determined by \Lambda_{\text{co-root}} while the 't Hooft lines are determined by \Lambda_w. == See also ==