Weyl Denominator 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 was proved by . There is a closely related formula for the character of an irreducible representation of a semisimple Lie algebra. In Weyl's approach to the representation theory of connected compact Lie groups, the proof of the character formula is a key step in proving that every dominant integral element actually arises as the highest weight of some irreducible representation. Important consequences of the character formula are the Weyl dimension formula and the Kostant multiplicity formula. By definition, the character \chi of a representation \pi of ''G'' is the trace of \pi(g), as a function of a group element g\in G. The irreducible representations in this case are all finite-dimensional (this is part of the Peter–Weyl theorem); so the notion of trace is the usual one from linear algebra. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kostant Partition Function
In representation theory, a branch of mathematics, the Kostant partition function, introduced by , of a root system \Delta is the number of ways one can represent a vector (weight) as a non-negative integer linear combination of the positive roots \Delta^+\subset\Delta. Kostant used it to rewrite the Weyl character formula as a formula (the Kostant multiplicity formula) for the multiplicity of a weight of an irreducible representation of a semisimple Lie algebra. An alternative formula, that is more computationally efficient in some cases, is Freudenthal's formula. The Kostant partition function can also be defined for Kac–Moody algebras and has similar properties. An example Consider the A2 root systems, with positive roots \alpha_1, \alpha_2, and \alpha_3:=\alpha_1+\alpha_2. If an element \mu can be expressed as a non-negative integer linear combination of \alpha_1, \alpha_2, and \alpha_3, then since \alpha_3=\alpha_1+\alpha_2, it can also be expressed as a non-negative intege ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Root System
In mathematics, a root system is a configuration of vectors in a Euclidean space satisfying certain geometrical properties. The concept is fundamental in the theory of Lie groups and Lie algebras, especially the classification and representation theory of semisimple Lie algebras. Since Lie groups (and some analogues such as algebraic groups) and Lie algebras have become important in many parts of mathematics during the twentieth century, the apparently special nature of root systems belies the number of areas in which they are applied. Further, the classification scheme for root systems, by Dynkin diagrams, occurs in parts of mathematics with no overt connection to Lie theory (such as singularity theory). Finally, root systems are important for their own sake, as in spectral graph theory. Definitions and examples As a first example, consider the six vectors in 2-dimensional Euclidean space, R2, as shown in the image at the right; call them roots. These vectors Linear span, s ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Reductive Group
In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group ''G'' over a perfect field is reductive if it has a representation with finite kernel which is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group ''GL''(''n'') of invertible matrices, the special orthogonal group ''SO''(''n''), and the symplectic group ''Sp''(2''n''). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive. Claude Chevalley showed that the classification of reductive groups is the same over any algebraically closed field. In particular, the simple algebraic groups are classified by Dynkin diagrams, as in the theory of compact Lie groups or complex semisimple Lie algebras. Reductive groups over an arbitrary field are harder to classify, but for many fields such as the real numbers R or a numbe ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Elliptic Modular Function
In mathematics, Felix Klein's -invariant or function, regarded as a function of a complex variable , is a modular function of weight zero for defined on the upper half-plane of complex numbers. It is the unique such function which is holomorphic away from a simple pole at the cusp such that :j\left(e^\right) = 0, \quad j(i) = 1728 = 12^3. Rational functions of are modular, and in fact give all modular functions. Classically, the -invariant was studied as a parameterization of elliptic curves over , but it also has surprising connections to the symmetries of the Monster group (this connection is referred to as monstrous moonshine). Definition The -invariant can be defined as a function on the upper half-plane :j(\tau) = 1728 \frac = 1728 \frac = 1728 \frac with the third definition implying j(\tau) can be expressed as a cube, also since 1728 = 12^3. The given functions are the modular discriminant \Delta(\tau) = g_2(\tau)^3 - 27g_3(\tau)^2 = (2\pi)^\,\eta^(\tau) ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Monster Lie Algebra
In mathematics, the monster Lie algebra is an infinite-dimensional generalized Kac–Moody algebra acted on by the monster group, which was used to prove the monstrous moonshine conjectures. Structure The monster Lie algebra ''m'' is a ''Z2''-graded Lie algebra. The piece of degree (''m'', ''n'') has dimension ''c''''mn'' if (''m'', ''n'') ≠ (0, 0) and dimension 2 if (''m'', ''n'') = (0, 0). The integers ''cn'' are the coefficients of ''q''''n'' of the ''j''-invariant as elliptic modular function ::j(q) -744 = + 196884 q + 21493760 q^2 + \cdots. The Cartan subalgebra is the 2-dimensional subspace of degree (0, 0), so the monster Lie algebra has rank 2. The monster Lie algebra has just one real simple root, given by the vector (1, −1), and the Weyl group has order 2, and acts by mapping (''m'', ''n'') to (''n'', ''m''). The imaginary simple roots are the vectors (1, ''n'') for ''n'' = 1, 2, 3, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Generalized Kac–Moody Algebra
In mathematics, a generalized Kac–Moody algebra is a Lie algebra that is similar to a Kac–Moody algebra, except that it is allowed to have imaginary simple roots. Generalized Kac–Moody algebras are also sometimes called GKM algebras, Borcherds–Kac–Moody algebras, BKM algebras, or Borcherds algebras. The best known example is the monster Lie algebra. Motivation Finite-dimensional semisimple Lie algebras have the following properties: * They have a nondegenerate symmetric invariant bilinear form (,). * They have a grading such that the degree zero piece (the Cartan subalgebra) is abelian. * They have a (Cartan) involution ''w''. * (''a'', ''w(a)'') is positive if ''a'' is nonzero. For example, for the algebras of ''n'' by ''n'' matrices of trace zero, the bilinear form is (''a'', ''b'') = Trace(''ab''), the Cartan involution is given by minus the transpose, and the grading can be given by "distance from the diagonal" so that the Cartan subalgebra is the diagonal elements ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jacobi Triple Product
In mathematics, the Jacobi triple product is the mathematical identity: :\prod_^\infty \left( 1 - x^\right) \left( 1 + x^ y^2\right) \left( 1 +\frac\right) = \sum_^\infty x^ y^, for complex numbers ''x'' and ''y'', with , ''x'', < 1 and ''y'' ≠ 0. It was introduced by in his work '' Fundamenta Nova Theoriae Functionum Ellipticarum''. The Jacobi triple product identity is the Macdonald identity for the affine root system of type ''A''1, and is the Weyl denominator formula for the corresponding affine Kac–Moody algebra. Properties The basis of Jacobi's proof relies on Euler's pentagonal number theorem, which is itself a specific case of the Jacobi Triple Product Identity. Let x=q\sqrt q and y^2=-\sqrt. Then we have :\phi(q) = \prod_^\infty \left(1-q^m \right) = \sum_^\infty (-1)^n q^. The Jacobi Triple Product also allows the Jacobi theta function to be written as an infinite product as follows: Let x=e^ and y=e^. Then the Jacobi theta function : \vartheta(z; ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Macdonald Identities
In mathematics, the Macdonald identities are some infinite product identities associated to affine root systems, introduced by . They include as special cases the Jacobi triple product identity, Watson's quintuple product identity, several identities found by , and a 10-fold product identity found by . and pointed out that the Macdonald identities are the analogs of the Weyl denominator formula for affine Kac–Moody algebra 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 a ...s and superalgebras. References * * * * * *{{Citation , last1=Winquist , first1=Lasse , title=An elementary proof of p(11m+6) ≡ 0 mod 11 , mr=0236136 , year=1969 , journal=Journal of Combinatorial Theory , volume=6 , pages=56–59 , doi=10.1016/s0021-9800(69)80105-5, doi-access=free Lie algebra ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kac–Moody Algebra
In mathematics, a Kac–Moody algebra (named for Victor Kac and Robert Moody, who independently and simultaneously discovered them in 1968) is a Lie algebra, usually infinite-dimensional, that can be defined by generators and relations through a generalized Cartan matrix. These algebras form a generalization of finite-dimensional semisimple Lie algebras, and many properties related to the structure of a Lie algebra such as its root system, irreducible representations, and connection to flag manifolds have natural analogues in the Kac–Moody setting. A class of Kac–Moody algebras called affine Lie algebras is of particular importance in mathematics and theoretical physics, especially two-dimensional conformal field theory and the theory of exactly solvable models. Kac discovered an elegant proof of certain combinatorial identities, the Macdonald identities, which is based on the representation theory of affine Kac–Moody algebras. Howard Garland and James Lepowsky demonstrated th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Casimir Element
In mathematics, a Casimir element (also known as a Casimir invariant or Casimir operator) is a distinguished element of the center of the universal enveloping algebra of a Lie algebra. A prototypical example is the squared angular momentum operator, which is a Casimir element of the three-dimensional rotation group. The Casimir element is named after Hendrik Casimir, who identified them in his description of rigid body dynamics in 1931. Definition The most commonly-used Casimir invariant is the quadratic invariant. It is the simplest to define, and so is given first. However, one may also have Casimir invariants of higher order, which correspond to homogeneous symmetric polynomials of higher order. Quadratic Casimir element Suppose that \mathfrak is an n-dimensional Lie algebra. Let ''B'' be a nondegenerate bilinear form on \mathfrak that is invariant under the adjoint action of \mathfrak on itself, meaning that B(\operatorname_XY, Z) + B(Y, \operatorname_X Z) = 0 for all ''X ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hans Freudenthal
Hans Freudenthal (17 September 1905 – 13 October 1990) was a Jewish-German-born Dutch mathematician. He made substantial contributions to algebraic topology and also took an interest in literature, philosophy, history and mathematics education. Biography Freudenthal was born in Luckenwalde, Brandenburg, on 17 September 1905, the son of a Jewish teacher. He was interested in both mathematics and literature as a child, and studied mathematics at the University of Berlin beginning in 1923.. He met Brouwer in 1927, when Brouwer came to Berlin to give a lecture, and in the same year Freudenthal also visited the University of Paris.. He completed his thesis work with Heinz Hopf at Berlin, defended a thesis on the ends of topological groups in 1930, and was officially awarded a degree in October 1931. After defending his thesis in 1930, he moved to Amsterdam to take up a position as assistant to Brouwer. In this pre-war period in Amsterdam, he was promoted to lecturer at the Universit ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |