Figure 1: The operator Φ(Γ, 0, βy) is equal to Φ(Γ) unless Φ(Γ) straddles the line y = 0 (red region), in which case it is defined by e−iβyQ(Λd)Φ(Γ)eiβyQ(Λd), where Q(Λd) is the operator that measures the U(1) charge of Td (blue region).
...read more