Cartan subalgebra | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra of a Lie algebra that is self-normalising (if for all , then ). 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 . In a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero (e.g., ), a Cartan subalgebra is the same thing as a maximal abelian subalgebra consisting of elements x such that the adjoint endomorphism is semisimple (i.e., diagonalizable). Sometimes this characterization is simply taken as the definition of a Cartan subalgebra.pg 231 In general, a subalgebra is called toral if it consists of semisimple elements. Over an algebraically closed field, a toral subalgebra is automatically abelian. Thus, over an algebraically closed field of characteristic zero, a Cartan subalgebra can also be defined as a maximal toral subalgebra. Kac–Moody algebras and generalized Kac–Moody algebras also have subalgebras that play the same role as the Cartan subalgebras of semisimple Lie algebras (over a field of characteristic zero). Cartan subalgebras exist for finite-dimensional Lie algebras whenever the base field is infinite. One way to construct a Cartan subalgebra is by means of a regular element. Over a finite field, the question of the existence is still open. For a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero, there is a simpler approach: by definition, a toral subalgebra is a subalgebra of that consists of semisimple elements (an element is semisimple if the adjoint endomorphism induced by it is diagonalizable). A Cartan subalgebra of is then the same thing as a maximal toral subalgebra and the existence of a maximal toral subalgebra is easy to see. In a finite-dimensional Lie algebra over an algebraically closed field of characteristic zero, all Cartan subalgebras are conjugate under automorphisms of the algebra, and in particular are all isomorphic.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (1)

Related concepts (15)

Related courses (2)

Related lectures (13)

MATH-319: Lie Algebras

On introduit les algèbres de Lie semisimples de dimension finie sur les nombres complexes et démontre le théorème de classification de celles-ci.

MATH-680: Monstrous moonshine

The monstrous moonshine is an unexpected connection between the Monster group and modular functions. In the course we will explain the statement of the conjecture and study the main ideas and concepts

Stability of Equilibria for the so(4) Free Rigid Body

Tudor Ratiu, Murat Turhan

The stability for all generic equilibria of the Lie-Poisson dynamics of the so(4) rigid body dynamics is completely determined. It is shown that for the generalized rigid body certain Cartan subalgebras (called of coordinate type) of so(n) are equilibrium points for the rigid body dynamics. In the case of so(4) there are three coordinate type Cartan subalgebras whose intersection with a regular adjoint orbit gives three Weyl group orbits of equilibria. These coordinate type Cartan subalgebras are the analogues of the three axes of equilibria for the classical rigid body in so(3). In addition to these coordinate type Cartan equilibria there are others that come in curves.

2012

Cartan subalgebra

Semisimple Lie algebra

In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra , if nonzero, the following conditions are equivalent: is semisimple; the Killing form, κ(x,y) = tr(ad(x)ad(y)), is non-degenerate; has no non-zero abelian ideals; has no non-zero solvable ideals; the radical (maximal solvable ideal) of is zero.

Cartan matrix

In mathematics, the term Cartan matrix has three meanings. All of these are named after the French mathematician Élie Cartan. Amusingly, the Cartan matrices in the context of Lie algebras were first investigated by Wilhelm Killing, whereas the Killing form is due to Cartan. A (symmetrizable) generalized Cartan matrix is a square matrix with integral entries such that For diagonal entries, . For non-diagonal entries, . if and only if can be written as , where is a diagonal matrix, and is a symmetric matrix.

Explores the proof of the Weyl character formula for finite-dimensional representations of semisimple Lie algebras.

Explores gauge symmetries in quantum field theory, emphasizing invariance under transformations and the role of ghost fields.

Explores the concept of diagonalizable groups and their properties in linear algebraic groups.