In quantum field theory, the 't Hooft loop is a magnetic analogue of the Wilson loop for which spatial loops give rise to thin loops of magnetic flux associated with magnetic vortices. They play the role of a disorder parameter for the Higgs phase in pure gauge theory. Consistency conditions between electric and magnetic charges limit the possible 't Hooft loops that can be used, similarly to the way that the Dirac quantization condition limits the set of allowed magnetic monopoles. They were first introduced by Gerard 't Hooft in 1978 in the context of possible phases that gauge theories admit. [1]
There are a number of ways to define 't Hooft lines and loops. For timelike curves they are equivalent to the gauge configuration arising from the worldline traced out by a magnetic monopole. [2] These are singular gauge field configurations on the line such that their spatial slice have a magnetic field whose form approaches that of a magnetic monopole
where in Yang–Mills theory is the generally Lie algebra valued object specifying the magnetic charge. 't Hooft lines can also be inserted in the path integral by requiring that the gauge field measure can only run over configurations whose magnetic field takes the above form.
More generally, the 't Hooft loop can be defined as the operator whose effect is equivalent to performing a modified gauge transformations that is singular on the loop in such a way that any other loop parametrized by with a winding number around satisfies [3]
These modified gauge transformations are not true gauge transformations as they do not leave the action invariant. For temporal loops they create the aforementioned field configurations while for spatial loops they instead create loops of color magnetic flux, referred to as center vortices. By constructing such gauge transformations, an explicit form for the 't Hooft loop can be derived by introducing the Yang–Mills conjugate momentum operator
If the loop encloses a surface , then an explicitly form of the 't Hooft loop operator is [4]
Using Stokes' theorem this can be rewritten in a way which show that it measures the electric flux through , analogous to how the Wilson loop measures the magnetic flux through the enclosed surface.
There is a close relation between 't Hooft and Wilson loops where given a two loops and that have linking number , then the 't Hooft loop and Wilson loop satisfy
where is an element of the center of the gauge group. This relation can be taken as a defining feature of 't Hooft loops. The commutation properties between these two loop operators is often utilized in topological field theory where these operators form an algebra.
The 't Hooft loop is a disorder operator since it creates singularities in the gauge field, with their expectation value distinguishing the disordered phase of pure Yang–Mills theory from the ordered confining phase. Similarly to the Wilson loop, the expectation value of the 't Hooft loop can follow either the area law [5]
where is the area enclosed by loop and is a constant, or it can follow the perimeter law
where is the length of the loop and is a constant.
On the basis of the commutation relation between the 't Hooft and Wilson loops, four phases can be identified for gauge theories that additionally contain scalars in representations invariant under the center symmetry. The four phases are
In the third phase the gauge group is only partially broken down to a smaller non-abelian subgroup. The mixed phase requires the gauge bosons to be massless particles and does not occur for theories, but is similar to the Coulomb phase for abelian gauge theory.
Since 't Hooft operators are creation operators for center vortices, they play an important role in the center vortex scenario for confinement. [6] In this model, it is these vortices that lead to the area law of the Wilson loop through the random fluctuations in the number of topologically linked vortices.
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. [7] For a gauge group where is the universal covering group with a Lie algebra and is a subgroup of the center, then the set of allowed Wilson lines is in one-to-one correspondence with the representations of . This can be formulated more precisely by introducing the weights of the Lie algebra, which span the weight lattice . Denoting as the lattice spanned by the weights associated with the algebra of rather than , the Wilson lines are in one-to-one correspondence with the lattice points lattice where is the Weyl group.
The Lie algebra valued charge of the 't Hooft line can always be written in terms of the rank Cartan subalgebra as , where is an -dimensional charge vector. Due to Wilson lines, the 't Hooft charge must satisfy the generalized Dirac quantization condition , which must hold for all representations of the Lie algebra.
The generalized quantization condition is equivalent to the demand that holds for all weight vectors. To get the set of vectors that satisfy this condition, one must consider roots which are adjoint representation weight vectors. Co-roots, defined using roots by , span the co-root lattice . These vectors have the useful property that meaning that the only magnetic charges allowed for the 't Hooft lines are ones that are in the co-root lattice
This is sometimes written in terms of the Langlands dual algebra of with a weight lattice , in which case the 't Hooft lines are described by .
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 up to the identification that for all it holds that
Line operators play a role in indicating differences in gauge theories of the form that differ by the center subgroup . 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 gauge theories, Wilson loops are labelled by while 't Hooft lines by . However in the lattices are reversed where now the Wilson lines are determined by while the 't Hooft lines are determined by . [8]
In mathematics, a root system is a configuration of vectors in a Euclidean space satisfying certain geometrical properties. The concept is fundamental in the theory of Lie groups and Lie algebras, especially the classification and representation theory of semisimple Lie algebras. Since Lie groups and Lie algebras have become important in many parts of mathematics during the twentieth century, the apparently special nature of root systems belies the number of areas in which they are applied. Further, the classification scheme for root systems, by Dynkin diagrams, occurs in parts of mathematics with no overt connection to Lie theory. Finally, root systems are important for their own sake, as in spectral graph theory.
In the mathematical field of representation theory, a weight of an algebra A over a field F is an algebra homomorphism from A to F, or equivalently, a one-dimensional representation of A over F. It is the algebra analogue of a multiplicative character of a group. The importance of the concept, however, stems from its application to representations of Lie algebras and hence also to representations of algebraic and Lie groups. In this context, a weight of a representation is a generalization of the notion of an eigenvalue, and the corresponding eigenspace is called a weight space.
In mathematics, and especially differential geometry and gauge theory, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. A principal G-connection on a principal G-bundle over a smooth manifold is a particular type of connection which is compatible with the action of the group .
In mathematics, a Casimir element is a distinguished element of the center of the universal enveloping algebra of a Lie algebra. A prototypical example is the squared angular momentum operator, which is a Casimir element of the three-dimensional rotation group.
In quantum field theory, Wilson loops are gauge invariant operators arising from the parallel transport of gauge variables around closed loops. They encode all gauge information of the theory, allowing for the construction of loop representations which fully describe gauge theories in terms of these loops. In pure gauge theory they play the role of order operators for confinement, where they satisfy what is known as the area law. Originally formulated by Kenneth G. Wilson in 1974, they were used to construct links and plaquettes which are the fundamental parameters in lattice gauge theory. Wilson loops fall into the broader class of loop operators, with some other notable examples being 't Hooft loops, which are magnetic duals to Wilson loops, and Polyakov loops, which are the thermal version of Wilson loops.
In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space. Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory.
In mathematics, a vertex operator algebra (VOA) is an algebraic structure that plays an important role in two-dimensional conformal field theory and string theory. In addition to physical applications, vertex operator algebras have proven useful in purely mathematical contexts such as monstrous moonshine and the geometric Langlands correspondence.
Verma modules, named after Daya-Nand Verma, are objects in the representation theory of Lie algebras, a branch of mathematics.
In theoretical physics, scalar electrodynamics is a theory of a U(1) gauge field coupled to a charged spin 0 scalar field that takes the place of the Dirac fermions in "ordinary" quantum electrodynamics. The scalar field is charged, and with an appropriate potential, it has the capacity to break the gauge symmetry via the Abelian Higgs mechanism.
The quantum Heisenberg model, developed by Werner Heisenberg, is a statistical mechanical model used in the study of critical points and phase transitions of magnetic systems, in which the spins of the magnetic systems are treated quantum mechanically. It is related to the prototypical Ising model, where at each site of a lattice, a spin represents a microscopic magnetic dipole to which the magnetic moment is either up or down. Except the coupling between magnetic dipole moments, there is also a multipolar version of Heisenberg model called the multipolar exchange interaction.
In theoretical physics, the BRST formalism, or BRST quantization denotes a relatively rigorous mathematical approach to quantizing a field theory with a gauge symmetry. Quantization rules in earlier quantum field theory (QFT) frameworks resembled "prescriptions" or "heuristics" more than proofs, especially in non-abelian QFT, where the use of "ghost fields" with superficially bizarre properties is almost unavoidable for technical reasons related to renormalization and anomaly cancellation.
There are various mathematical descriptions of the electromagnetic field that are used in the study of electromagnetism, one of the four fundamental interactions of nature. In this article, several approaches are discussed, although the equations are in terms of electric and magnetic fields, potentials, and charges with currents, generally speaking.
In mathematics, the Littelmann path model is a combinatorial device due to Peter Littelmann for computing multiplicities without overcounting in the representation theory of symmetrisable Kac–Moody algebras. Its most important application is to complex semisimple Lie algebras or equivalently compact semisimple Lie groups, the case described in this article. Multiplicities in irreducible representations, tensor products and branching rules can be calculated using a coloured directed graph, with labels given by the simple roots of the Lie algebra.
In mathematics, the Plancherel theorem for spherical functions is an important result in the representation theory of semisimple Lie groups, due in its final form to Harish-Chandra. It is a natural generalisation in non-commutative harmonic analysis of the Plancherel formula and Fourier inversion formula in the representation theory of the group of real numbers in classical harmonic analysis and has a similarly close interconnection with the theory of differential equations. It is the special case for zonal spherical functions of the general Plancherel theorem for semisimple Lie groups, also proved by Harish-Chandra. The Plancherel theorem gives the eigenfunction expansion of radial functions for the Laplacian operator on the associated symmetric space X; it also gives the direct integral decomposition into irreducible representations of the regular representation on L2(X). In the case of hyperbolic space, these expansions were known from prior results of Mehler, Weyl and Fock.
Center vortices are line-like topological defects that exist in the vacuum of Yang–Mills theory and QCD. There is evidence in lattice simulations that they play an important role in the confinement of quarks.
In the theory of Lie groups, Lie algebras and their representation theory, a Lie algebra extensione is an enlargement of a given Lie algebra g by another Lie algebra h. Extensions arise in several ways. There is the trivial extension obtained by taking a direct sum of two Lie algebras. Other types are the split extension and the central extension. Extensions may arise naturally, for instance, when forming a Lie algebra from projective group representations. Such a Lie algebra will contain central charges.
This is a glossary of representation theory in mathematics.
In mathematics, the representation theory of semisimple Lie algebras is one of the crowning achievements of the theory of Lie groups and Lie algebras. The theory was worked out mainly by E. Cartan and H. Weyl and because of that, the theory is also known as the Cartan–Weyl theory. The theory gives the structural description and classification of a finite-dimensional representation of a semisimple Lie algebra ; in particular, it gives a way to parametrize irreducible finite-dimensional representations of a semisimple Lie algebra, the result known as the theorem of the highest weight.
In quantum field theory, the Polyakov loop is the thermal analogue of the Wilson loop, acting as an order parameter for confinement in pure gauge theories at nonzero temperatures. In particular, it is a Wilson loop that winds around the compactified Euclidean temporal direction of a thermal quantum field theory. It indicates confinement because its vacuum expectation value must vanish in the confined phase due to its non-invariance under center gauge transformations. This also follows from the fact that the expectation value is related to the free energy of individual quarks, which diverges in this phase. Introduced by Alexander M. Polyakov in 1975, they can also be used to study the potential between pairs of quarks at nonzero temperatures.
In physics, the Gaudin model, sometimes known as the quantum Gaudin model, is a model, or a large class of models, in statistical mechanics first described in its simplest case by Michel Gaudin. They are exactly solvable models, and are also examples of quantum spin chains.