Conformal field theoryA conformal field theory (CFT) is a quantum field theory that is invariant under conformal transformations. In two dimensions, there is an infinite-dimensional algebra of local conformal transformations, and conformal field theories can sometimes be exactly solved or classified. Conformal field theory has important applications to condensed matter physics, statistical mechanics, quantum statistical mechanics, and string theory. Statistical and condensed matter systems are indeed often conformally invariant at their thermodynamic or quantum critical points.
Two-dimensional conformal field theoryA two-dimensional conformal field theory is a quantum field theory on a Euclidean two-dimensional space, that is invariant under local conformal transformations. In contrast to other types of conformal field theories, two-dimensional conformal field theories have infinite-dimensional symmetry algebras. In some cases, this allows them to be solved exactly, using the conformal bootstrap method. Notable two-dimensional conformal field theories include minimal models, Liouville theory, massless free bosonic theories, Wess–Zumino–Witten models, and certain sigma models.
Conformal symmetryIn mathematical physics, the conformal symmetry of spacetime is expressed by an extension of the Poincaré group, known as the conformal group. The extension includes special conformal transformations and dilations. In three spatial plus one time dimensions, conformal symmetry has 15 degrees of freedom: ten for the Poincaré group, four for special conformal transformations, and one for a dilation. Harry Bateman and Ebenezer Cunningham were the first to study the conformal symmetry of Maxwell's equations.
Liouville field theoryIn physics, Liouville field theory (or simply Liouville theory) is a two-dimensional conformal field theory whose classical equation of motion is a generalization of Liouville's equation. Liouville theory is defined for all complex values of the central charge of its Virasoro symmetry algebra, but it is unitary only if and its classical limit is Although it is an interacting theory with a continuous spectrum, Liouville theory has been solved. In particular, its three-point function on the sphere has been determined analytically.
Conformal mapIn mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths. More formally, let and be open subsets of . A function is called conformal (or angle-preserving) at a point if it preserves angles between directed curves through , as well as preserving orientation. Conformal maps preserve both angles and the shapes of infinitesimally small figures, but not necessarily their size or curvature. The conformal property may be described in terms of the Jacobian derivative matrix of a coordinate transformation.
Conformal bootstrapThe conformal bootstrap is a non-perturbative mathematical method to constrain and solve conformal field theories, i.e. models of particle physics or statistical physics that exhibit similar properties at different levels of resolution. Unlike more traditional techniques of quantum field theory, conformal bootstrap does not use the Lagrangian of the theory. Instead, it operates with the general axiomatic parameters, such as the scaling dimensions of the local operators and their operator product expansion coefficients.
Conformal geometryIn mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space. In a real two dimensional space, conformal geometry is precisely the geometry of Riemann surfaces. In space higher than two dimensions, conformal geometry may refer either to the study of conformal transformations of what are called "flat spaces" (such as Euclidean spaces or spheres), or to the study of conformal manifolds which are Riemannian or pseudo-Riemannian manifolds with a class of metrics that are defined up to scale.
Virasoro algebraIn mathematics, the Virasoro algebra (named after the physicist Miguel Ángel Virasoro) is a complex Lie algebra and the unique central extension of the Witt algebra. It is widely used in two-dimensional conformal field theory and in string theory. The Virasoro algebra is spanned by generators Ln for n ∈ Z and the central charge c. These generators satisfy and The factor of is merely a matter of convention. For a derivation of the algebra as the unique central extension of the Witt algebra, see derivation of the Virasoro algebra.
Quantum field theoryIn theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and in condensed matter physics to construct models of quasiparticles. QFT treats particles as excited states (also called quanta) of their underlying quantum fields, which are more fundamental than the particles.
Conformal groupIn mathematics, the conformal group of an inner product space is the group of transformations from the space to itself that preserve angles. More formally, it is the group of transformations that preserve the conformal geometry of the space. Several specific conformal groups are particularly important: The conformal orthogonal group. If V is a vector space with a quadratic form Q, then the conformal orthogonal group CO(V, Q) is the group of linear transformations T of V for which there exists a scalar λ such that for all x in V For a definite quadratic form, the conformal orthogonal group is equal to the orthogonal group times the group of dilations.
Möbius transformationIn geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form of one complex variable z; here the coefficients a, b, c, d are complex numbers satisfying ad − bc ≠ 0. Geometrically, a Möbius transformation can be obtained by first performing stereographic projection from the plane to the unit two-sphere, rotating and moving the sphere to a new location and orientation in space, and then performing stereographic projection (from the new position of the sphere) to the plane.
Euler characteristicIn mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by (Greek lower-case letter chi). The Euler characteristic was originally defined for polyhedra and used to prove various theorems about them, including the classification of the Platonic solids.
Linear fractional transformationIn mathematics, a linear fractional transformation is, roughly speaking, an invertible transformation of the form The precise definition depends on the nature of a, b, c, d, and z. In other words, a linear fractional transformation is a transformation that is represented by a fraction whose numerator and denominator are linear. In the most basic setting, a, b, c, d, and z are complex numbers (in which case the transformation is also called a Möbius transformation), or more generally elements of a field.
Characteristic classIn mathematics, a characteristic class is a way of associating to each principal bundle of X a cohomology class of X. The cohomology class measures the extent the bundle is "twisted" and whether it possesses sections. Characteristic classes are global invariants that measure the deviation of a local product structure from a global product structure. They are one of the unifying geometric concepts in algebraic topology, differential geometry, and algebraic geometry.
Euler classIn mathematics, specifically in algebraic topology, the Euler class is a characteristic class of oriented, real vector bundles. Like other characteristic classes, it measures how "twisted" the vector bundle is. In the case of the tangent bundle of a smooth manifold, it generalizes the classical notion of Euler characteristic. It is named after Leonhard Euler because of this. Throughout this article is an oriented, real vector bundle of rank over a base space . The Euler class is an element of the integral cohomology group constructed as follows.
Liouville's theorem (conformal mappings)In mathematics, Liouville's theorem, proved by Joseph Liouville in 1850, is a rigidity theorem about conformal mappings in Euclidean space. It states that any smooth conformal mapping on a domain of Rn, where n > 2, can be expressed as a composition of translations, similarities, orthogonal transformations and inversions: they are Möbius transformations (in n dimensions). This theorem severely limits the variety of possible conformal mappings in R3 and higher-dimensional spaces.
Limit (mathematics)In mathematics, a limit is the value that a function (or sequence) approaches as the input (or index) approaches some value. Limits are essential to calculus and mathematical analysis, and are used to define continuity, derivatives, and integrals. The concept of a limit of a sequence is further generalized to the concept of a limit of a topological net, and is closely related to and direct limit in . In formulas, a limit of a function is usually written as (although a few authors use "Lt" instead of "lim") and is read as "the limit of f of x as x approaches c equals L".
Limit inferior and limit superiorIn mathematics, the limit inferior and limit superior of a sequence can be thought of as limiting (that is, eventual and extreme) bounds on the sequence. They can be thought of in a similar fashion for a function (see limit of a function). For a set, they are the infimum and supremum of the set's limit points, respectively. In general, when there are multiple objects around which a sequence, function, or set accumulates, the inferior and superior limits extract the smallest and largest of them; the type of object and the measure of size is context-dependent, but the notion of extreme limits is invariant.
Limit of a sequenceAs the positive integer becomes larger and larger, the value becomes arbitrarily close to . We say that "the limit of the sequence equals ." In mathematics, the limit of a sequence is the value that the terms of a sequence "tend to", and is often denoted using the symbol (e.g., ). If such a limit exists, the sequence is called convergent. A sequence that does not converge is said to be divergent. The limit of a sequence is said to be the fundamental notion on which the whole of mathematical analysis ultimately rests.
Erlangen programIn mathematics, the Erlangen program is a method of characterizing geometries based on group theory and projective geometry. It was published by Felix Klein in 1872 as Vergleichende Betrachtungen über neuere geometrische Forschungen. It is named after the University Erlangen-Nürnberg, where Klein worked. By 1872, non-Euclidean geometries had emerged, but without a way to determine their hierarchy and relationships. Klein's method was fundamentally innovative in three ways: Projective geometry was emphasized as the unifying frame for all other geometries considered by him.
