Dixmier mapping

Last updated

In mathematics, the Dixmier mapping describes the space Prim(U(g)) of primitive ideals of the universal enveloping algebra U(g) of a finite-dimensional solvable Lie algebra g over an algebraically closed field of characteristic 0 in terms of coadjoint orbits. More precisely, it is a homeomorphism from the space of orbits g*/G of the dual g* of g (with the Zariski topology) under the action of the adjoint group G to Prim(U(g)) (with the Jacobson topology). The Dixmier map is closely related to the orbit method, which relates the irreducible representations of a nilpotent Lie group to its coadjoint orbits. Dixmier  ( 1963 ) introduced the Dixmier map for nilpotent Lie algebras and then in (Dixmier  1966 ) extended it to solvable ones. Dixmier (1996 , chapter 6) describes the Dixmier mapping in detail.

Construction

Suppose that g is a completely solvable Lie algebra, and f is an element of the dual g*. A polarization of g at f is a subspace h of maximal dimension subject to the condition that f vanishes on [h,h], that is also a subalgebra. The Dixmier map I is defined by letting I(f) be the kernel of the twisted induced representation Ind~(f|h,g) for a polarization h.

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. In other words, a Lie algebra is an algebra over a field for which the multiplication operation is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors and is denoted . A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, with the Lie bracket defined as the commutator .

<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.

In mathematics, a unitary representation of a group G is a linear representation π of G on a complex Hilbert space V such that π(g) is a unitary operator for every gG. The general theory is well-developed in the case that G is a locally compact (Hausdorff) topological group and the representations are strongly continuous.

In functional analysis, a discipline within mathematics, given a C*-algebra A, the Gelfand–Naimark–Segal construction establishes a correspondence between cyclic *-representations of A and certain linear functionals on A. The correspondence is shown by an explicit construction of the *-representation from the state. It is named for Israel Gelfand, Mark Naimark, and Irving Segal.

In mathematics, the Gelfand–Naimark theorem states that an arbitrary C*-algebra A is isometrically *-isomorphic to a C*-subalgebra of bounded operators on a Hilbert space. This result was proven by Israel Gelfand and Mark Naimark in 1943 and was a significant point in the development of the theory of C*-algebras since it established the possibility of considering a C*-algebra as an abstract algebraic entity without reference to particular realizations as an operator algebra.

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

In the mathematical field of representation theory, a Lie algebra representation or representation of a Lie algebra is a way of writing a Lie algebra as a set of matrices in such a way that the Lie bracket is given by the commutator. In the language of physics, one looks for a vector space together with a collection of operators on satisfying some fixed set of commutation relations, such as the relations satisfied by the angular momentum operators.

In mathematics, specifically ring theory, a left primitive ideal is the annihilator of a (nonzero) simple left module. A right primitive ideal is defined similarly. Left and right primitive ideals are always two-sided ideals.

In mathematics, Schur's lemma is an elementary but extremely useful statement in representation theory of groups and algebras. In the group case it says that if M and N are two finite-dimensional irreducible representations of a group G and φ is a linear map from M to N that commutes with the action of the group, then either φ is invertible, or φ = 0. An important special case occurs when M = N, i.e. φ is a self-map; in particular, any element of the center of a group must act as a scalar operator on M. The lemma is named after Issai Schur who used it to prove the Schur orthogonality relations and develop the basics of the representation theory of finite groups. Schur's lemma admits generalisations to Lie groups and Lie algebras, the most common of which are due to Jacques Dixmier and Daniel Quillen.

In mathematics, the spectrum of a C*-algebra or dual of a C*-algebraA, denoted Â, is the set of unitary equivalence classes of irreducible *-representations of A. A *-representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed subspace K different from H and {0} which is invariant under all operators π(x) with xA. We implicitly assume that irreducible representation means non-null irreducible representation, thus excluding trivial (i.e. identically 0) representations on one-dimensional spaces. As explained below, the spectrum  is also naturally a topological space; this is similar to the notion of the spectrum of a ring.

Continuation of the Séminaire Nicolas Bourbaki programme, for the 1950s.

In mathematics, the coadjoint representation of a Lie group is the dual of the adjoint representation. If denotes the Lie algebra of , the corresponding action of on , the dual space to , is called the coadjoint action. A geometrical interpretation is as the action by left-translation on the space of right-invariant 1-forms on .

In mathematics, the orbit method establishes a correspondence between irreducible unitary representations of a Lie group and its coadjoint orbits: orbits of the action of the group on the dual space of its Lie algebra. The theory was introduced by Kirillov for nilpotent groups and later extended by Bertram Kostant, Louis Auslander, Lajos Pukánszky and others to the case of solvable groups. Roger Howe found a version of the orbit method that applies to p-adic Lie groups. David Vogan proposed that the orbit method should serve as a unifying principle in the description of the unitary duals of real reductive Lie groups.

In mathematics, the Harish-Chandra isomorphism, introduced by Harish-Chandra (1951), is an isomorphism of commutative rings constructed in the theory of Lie algebras. The isomorphism maps the center of the universal enveloping algebra of a reductive Lie algebra to the elements of the symmetric algebra of a Cartan subalgebra that are invariant under the Weyl group .

Jacques Dixmier is a French mathematician. He worked on operator algebras, especially C*-algebras, and wrote several of the standard reference books on them, and introduced the Dixmier trace and the Dixmier mapping.

In mathematics, a commutation theorem for traces explicitly identifies the commutant of a specific von Neumann algebra acting on a Hilbert space in the presence of a trace.

<span class="mw-page-title-main">Complexification (Lie group)</span> Universal construction of a complex Lie group from a real Lie group

In mathematics, the complexification or universal complexification of a real Lie group is given by a continuous homomorphism of the group into a complex Lie group with the universal property that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a complex analytic homomorphism between the complex Lie groups. The complexification, which always exists, is unique up to unique isomorphism. Its Lie algebra is a quotient of the complexification of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear.

<span class="mw-page-title-main">Michèle Vergne</span> French mathematician

Michèle Vergne (born August 29, 1943, in L’Isle-Adam, Val d´Oise) is a French mathematician, specializing in analysis and representation theory.

This is a glossary of representation theory in mathematics.

<span class="mw-page-title-main">Glossary of Lie groups and Lie algebras</span>

This is a glossary for the terminology applied in the mathematical theories of Lie groups and Lie algebras. For the topics in the representation theory of Lie groups and Lie algebras, see Glossary of representation theory. Because of the lack of other options, the glossary also includes some generalizations such as quantum group.

In representation theory, polarization is the maximal totally isotropic subspace of a certain skew-symmetric bilinear form on a Lie algebra. The notion of polarization plays an important role in construction of irreducible unitary representations of some classes of Lie groups by means of the orbit method as well as in harmonic analysis on Lie groups and mathematical physics.

References