# Algebraic character

Algebraic character

Algebraic character is a formal expression attached to a module in representation theory of semisimple Lie algebras that generalizes the character of a finite-dimensional representation and is analogous to the Harish-Chandra character of the representations of semisimple Lie groups.

Definition

Let $mathfrak\left\{g\right\}$ be a semisimple Lie algebra with a fixed Cartan subalgebra $mathfrak\left\{h\right\},$ and let the abelian group $A=mathbb\left\{Z\right\}mathfrak\left\{h\right\}^*$ consist of the (possibly infinite) formal integral linear combinations of $e^\left\{mu\right\}$, where $muinmathfrak\left\{h\right\}^*$, the (complex) vector space of weights. Suppose that $V$ is a locally-finite weight module. Then the algebraic character of $V$ is an element of $A$defined by the formula:: $ch\left(V\right)=sum_\left\{mu\right\}dim V_\left\{mu\right\}e^\left\{mu\right\},$ where the sum is taken over all weight spaces of the module $V.$

Example

The algebraic character of the Verma module $M_lambda$ with the highest weight $lambda$ is given by the formula

: $ch\left(M_\left\{lambda\right\}\right)=frac\left\{e^\left\{lambda\left\{prod_\left\{alpha>0\right\}\left(1-e^\left\{-alpha\right\}\right)\right\},$

with the product taken over the set of positive roots.

Properties

Algebraic characters are defined for locally-finite weight modules and are "additive", i.e. the character of a direct sum of modules is the sum of their characters. On the other hand, although one can define multiplication of the formal exponents by the formula $e^\left\{mu\right\}cdot e^\left\{ u\right\}=e^\left\{mu+ u\right\}$ and extend it to their "finite" linear combinations by linearity, this does not make $A$ into a ring, because of the possibility of formal infinite sums. Thus the product of algebraic characters is well defined only in restricted situations; for example, for the case of a highest weight module, or a finite-dimensional module. In good situations, the algebraic character is "multiplicative", i.e., the character of the tensor product of two weight modules is the product of their characters.

Generalization

Characters also can be defined almost "verbatim" for weight modules over a Kac-Moody or generalized Kac-Moody Lie algebra.

*Weyl-Kac character formula

References

*cite book|last = Weyl|first = Hermann|title = The Classical Groups: Their Invariants and Representations|publisher = Princeton University Press|date = 1946|isbn = 0691057567|url = http://books.google.com/books?id=zmzKSP2xTtYC|accessdate = 2007-03-26
*cite book|last = Kac|first = Victor G|title = Infinite-Dimensional Lie Algebras|publisher = Cambridge University Press|date = 1990|isbn = 0521466938|url = http://books.google.com/books?id=kuEjSb9teJwC|accessdate = 2007-03-26
*cite book|last = Wallach|first = Nolan R|coauthors = Goodman, Roe|title = Representations and Invariants of the Classical Groups|publisher = Cambridge University Press|date = 1998|isbn = 0521663482|url = http://books.google.com/books?vid=ISBN0521663482&id=MYFepb2yq1wC|accessdate = 2007-03-26

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… …   Wikipedia

• Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… …   Wikipedia

• Character variety — In the mathematics of moduli theory, given an algebraic, reductive, Lie group G and a finitely generated group π, the G character variety of π is a space of equivalence classes of group homomorphisms More precisely, G acts on by conjugation and… …   Wikipedia

• Algebraic data type — In computer programming, particularly functional programming and type theory, an algebraic data type (sometimes also called a variant type[1]) is a datatype each of whose values is data from other datatypes wrapped in one of the constructors of… …   Wikipedia

• Character theory — This article refers to the use of the term character theory in mathematics. For the media studies definition, see Character theory (Media). In mathematics, more specifically in group theory, the character of a group representation is a function… …   Wikipedia

• Character (computing) — In computer and machine based telecommunications terminology, a character is a unit of information that roughly corresponds to a grapheme, grapheme like unit, or symbol, such as in an alphabet or syllabary in the written form of a natural… …   Wikipedia

• Weyl character formula — In mathematics, the Weyl character formula in representation theory describes the characters of irreducible representations of compact Lie groups in terms of their highest weights. It is named after Hermann Weyl, who proved it in the late… …   Wikipedia

• Hecke character — In mathematics, in the field of number theory, a Hecke character is a generalisation of a Dirichlet character, introduced by Erich Hecke to construct a class of L functions larger than Dirichlet L functions, and a natural setting for the Dedekind …   Wikipedia

• Adelic algebraic group — In mathematics, an adelic algebraic group is a topological group defined by an algebraic group G over a number field K , and the adele ring A = A ( K ) of K . It consists of the points of G having values in A ; the definition of the appropriate… …   Wikipedia

• Orientation character — In algebraic topology, a branch of mathematics, an orientation character on a group π is a group homomorphism . This notion is of particular significance in surgery theory. Contents 1 Motivation 2 …   Wikipedia