Witt algebra

Last updated May 14, 2023

In mathematics, the complex Witt algebra, named after Ernst Witt, is the Lie algebra of meromorphic vector fields defined on the Riemann sphere that are holomorphic except at two fixed points. It is also the complexification of the Lie algebra of polynomial vector fields on a circle, and the Lie algebra of derivations of the ring C[z,z⁻¹].

Basis

A basis for the Witt algebra is given by the vector fields $L_{n}=-z^{n+1}{\frac {\partial }{\partial z}}$ , for n in $\mathbb {Z}$ .

The Lie bracket of two basis vector fields is given by

[L_{m},L_{n}]=(m-n)L_{m+n}.

This algebra has a central extension called the Virasoro algebra that is important in two-dimensional conformal field theory and string theory.

Note that by restricting n to 1,0,-1, one gets a subalgebra. Taken over the field of complex numbers, this is just the Lie algebra ${\mathfrak {sl}}(2,\mathbb {C} )$ of the Lorentz group $\mathrm {SO} (3,1)$ . Over the reals, it is the algebra sl(2,R) = su(1,1). Conversely, su(1,1) suffices to reconstruct the original algebra in a presentation.^[1]

Over finite fields

Over a field k of characteristic p>0, the Witt algebra is defined to be the Lie algebra of derivations of the ring

k[z]/z^p

The Witt algebra is spanned by L_m for −1≤m≤p−2.

Images

n = -1 Witt vector field

n = 0 Witt vector field

n = 1 Witt vector field

n = -2 Witt vector field

n = 2 Witt vector field

n = -3 Witt vector field

Related Research Articles

<span class="mw-page-title-main">Lie algebra</span> Algebraic structure used in analysis

In mathematics, a Lie algebra is a vector space $together with an operation called the Lie bracket, an alternating bilinear map, that satisfies the Jacobi identity. The Lie bracket of two vectors and is denoted . The vector space together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative.$

<span class="mw-page-title-main">Lie group</span> Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group.

In mathematics, G₂ is the name of three simple Lie groups (a complex form, a compact real form and a split real form), their Lie algebras $as well as some algebraic groups. They are the smallest of the five exceptional simple Lie groups. G 2 has rank 2 and dimension 14. It has two fundamental representations, with dimension 7 and 14.$

In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a Z₂‑grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry. In most of these theories, the even elements of the superalgebra correspond to bosons and odd elements to fermions.

In mathematics, the Virasoro algebra 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.

<span class="mw-page-title-main">Killing form</span>

In mathematics, the Killing form, named after Wilhelm Killing, is a symmetric bilinear form that plays a basic role in the theories of Lie groups and Lie algebras. Cartan's criteria show that Killing form has a close relationship to the semisimplicity of the Lie algebras.

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.

<span class="mw-page-title-main">Cartan subalgebra</span> Nilpotent subalgebra of a Lie algebra

In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra $of a Lie algebra that is self-normalising. They were introduced by Élie Cartan in his doctoral thesis. It controls the representation theory of a semi-simple Lie algebra over a field of characteristic .$

<span class="mw-page-title-main">Semisimple Lie algebra</span> Direct sum of simple Lie algebras

In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras..

In mathematics, an affine Lie algebra is an infinite-dimensional Lie algebra that is constructed in a canonical fashion out of a finite-dimensional simple Lie algebra. Given an affine Lie algebra, one can also form the associated affine Kac-Moody algebra, as described below. From a purely mathematical point of view, affine Lie algebras are interesting because their representation theory, like representation theory of finite-dimensional semisimple Lie algebras, is much better understood than that of general Kac–Moody algebras. As observed by Victor Kac, the character formula for representations of affine Lie algebras implies certain combinatorial identities, the Macdonald identities.

In theoretical physics and mathematics, a Wess–Zumino–Witten (WZW) model, also called a Wess–Zumino–Novikov–Witten model, is a type of two-dimensional conformal field theory named after Julius Wess, Bruno Zumino, Sergei Novikov and Edward Witten. A WZW model is associated to a Lie group, and its symmetry algebra is the affine Lie algebra built from the corresponding Lie algebra. By extension, the name WZW model is sometimes used for any conformal field theory whose symmetry algebra is an affine Lie algebra.

The Lorentz group is a Lie group of symmetries of the spacetime of special relativity. This group can be realized as a collection of matrices, linear transformations, or unitary operators on some Hilbert space; it has a variety of representations. This group is significant because special relativity together with quantum mechanics are the two physical theories that are most thoroughly established, and the conjunction of these two theories is the study of the infinite-dimensional unitary representations of the Lorentz group. These have both historical importance in mainstream physics, as well as connections to more speculative present-day theories.

In mathematics, Cartan's criterion gives conditions for a Lie algebra in characteristic 0 to be solvable, which implies a related criterion for the Lie algebra to be semisimple. It is based on the notion of the Killing form, a symmetric bilinear form on $defined by the formula$

<span class="mw-page-title-main">Hermitian symmetric space</span> Manifold with inversion symmetry

In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds.

In conformal field theory and representation theory, a W-algebra is an associative algebra that generalizes the Virasoro algebra. W-algebras were introduced by Alexander Zamolodchikov, and the name "W-algebra" comes from the fact that Zamolodchikov used the letter W for one of the elements of one of his examples.

<span class="mw-page-title-main">Real form (Lie theory)</span>

In mathematics, the notion of a real form relates objects defined over the field of real and complex numbers. A real Lie algebra g₀ is called a real form of a complex Lie algebra g if g is the complexification of g₀:

A two-dimensional conformal field theory is a quantum field theory on a Euclidean two-dimensional space, that is invariant under local conformal transformations.

<span class="mw-page-title-main">Simple Lie algebra</span>

In algebra, a simple Lie algebra is a Lie algebra that is non-abelian and contains no nonzero proper ideals. The classification of real simple Lie algebras is one of the major achievements of Wilhelm Killing and Élie Cartan.

<span class="mw-page-title-main">Representation theory of semisimple Lie algebras</span>

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 abstract algebra, the Virasoro group or Bott–Virasoro group is an infinite-dimensional Lie group defined as the universal central extension of the group of diffeomorphisms of the circle. The corresponding Lie algebra is the Virasoro algebra, which has a key role in conformal field theory (CFT) and string theory.

References

↑ D Fairlie, J Nuyts, and C Zachos (1988). Phys LettB202 320-324. doi : 10.1016/0370-2693(88)90478-9

Élie Cartan, Les groupes de transformations continus, infinis, simples. Ann. Sci. Ecole Norm. Sup. 26, 93-161 (1909).
"Witt algebra", Encyclopedia of Mathematics , EMS Press, 2001 [1994]

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] D Fairlie, J Nuyts, and C Zachos (1988). Phys LettB202 320-324. doi : 10.1016/0370-2693(88)90478-9

[1]