|
Harish-Chandra Isomorphism
In mathematics, the Harish-Chandra isomorphism, introduced by , is an isomorphism of commutative rings constructed in the theory of Lie algebras. The isomorphism maps the center \mathcal(U(\mathfrak)) of the universal enveloping algebra U(\mathfrak) of a reductive Lie algebra \mathfrak to the elements S(\mathfrak)^W of the symmetric algebra S(\mathfrak) of a Cartan subalgebra \mathfrak that are invariant under the Weyl group W. Introduction and setting Let \mathfrak be a semisimple Lie algebra, \mathfrak its Cartan subalgebra and \lambda, \mu \in \mathfrak^* be two elements of the weight space (where \mathfrak^* is the dual of \mathfrak) and assume that a set of positive roots \Phi_+ have been fixed. Let V_\lambda and V_\mu be highest weight modules with highest weights \lambda and \mu respectively. Central characters The \mathfrak-modules V_\lambda and V_\mu are representations of the universal enveloping algebra U(\mathfrak) and its center acts on the modules by scalar m ... [...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] |
Positive Root
In mathematics, a root system is a configuration of vector space, 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 Li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infinitesimal Character
In mathematics, the infinitesimal character of an irreducible representation ρ of a semisimple Lie group ''G'' on a vector space ''V'' is, roughly speaking, a mapping to scalars that encodes the process of first differentiating and then diagonalizing the representation. It therefore is a way of extracting something essential from the representation ρ by two successive linearizations. Formulation The infinitesimal character is the linear form on the center ''Z'' of the universal enveloping algebra of the Lie algebra of ''G'' that the representation induces. This construction relies on some extended version of Schur's lemma to show that any ''z'' in ''Z'' acts on ''V'' as a scalar, which by abuse of notation could be written ρ(''z''). In more classical language, ''z'' is a differential operator, constructed from the infinitesimal transformations which are induced on ''V'' by the Lie algebra of ''G''. The effect of Schur's lemma is to force all ''v'' in ''V'' to be simultaneous e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Translation Functor
In mathematical representation theory, a (Zuckerman) translation functor is a functor taking representations of a Lie algebra to representations with a possibly different central character. Translation functors were introduced independently by and . Roughly speaking, the functor is given by taking a tensor product with a finite-dimensional representation, and then taking a subspace with some central character. Definition By the Harish-Chandra isomorphism, the characters of the center ''Z'' of the universal enveloping algebra of a complex reductive Lie algebra can be identified with the points of ''L''⊗C/''W'', where ''L'' is the weight lattice and ''W'' is the Weyl group In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections th .... If λ is a point of ''L''⊗C/''W'' then write χλ for the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Casimir Invariant
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] |
Dual Coxeter Number
In mathematics, the Coxeter number ''h'' is the order of a Coxeter element of an irreducible Coxeter group. It is named after H.S.M. Coxeter. Definitions Note that this article assumes a finite Coxeter group. For infinite Coxeter groups, there are multiple conjugacy classes of Coxeter elements, and they have infinite order. There are many different ways to define the Coxeter number ''h'' of an irreducible root system. A Coxeter element is a product of all simple reflections. The product depends on the order in which they are taken, but different orderings produce conjugate elements, which have the same order. *The Coxeter number is the order of any Coxeter element;. *The Coxeter number is 2''m''/''n'', where ''n'' is the rank, and ''m'' is the number of reflections. In the crystallographic case, ''m'' is half the number of roots; and ''2m''+''n'' is the dimension of the corresponding semisimple Lie algebra. *If the highest root is Σ''m''iα''i'' for simple roots α''i'', then ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coxeter Number
In mathematics, the Coxeter number ''h'' is the order of a Coxeter element of an irreducible Coxeter group. It is named after H.S.M. Coxeter. Definitions Note that this article assumes a finite Coxeter group. For infinite Coxeter groups, there are multiple conjugacy classes of Coxeter elements, and they have infinite order. There are many different ways to define the Coxeter number ''h'' of an irreducible root system. A Coxeter element is a product of all simple reflections. The product depends on the order in which they are taken, but different orderings produce conjugate elements, which have the same order. *The Coxeter number is the order of any Coxeter element;. *The Coxeter number is 2''m''/''n'', where ''n'' is the rank, and ''m'' is the number of reflections. In the crystallographic case, ''m'' is half the number of roots; and ''2m''+''n'' is the dimension of the corresponding semisimple Lie algebra. *If the highest root is Σ''m''iα''i'' for simple roots α''i'', th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chevalley–Shephard–Todd Theorem
In mathematics, the Chevalley–Shephard–Todd theorem in invariant theory of finite groups states that the ring of invariants of a finite group acting on a complex vector space is a polynomial ring if and only if the group is generated by pseudoreflections. In the case of subgroups of the complex general linear group the theorem was first proved by who gave a case-by-case proof. soon afterwards gave a uniform proof. It has been extended to finite linear groups over an arbitrary field in the non-modular case by Jean-Pierre Serre. Statement of the theorem Let ''V'' be a finite-dimensional vector space over a field ''K'' and let ''G'' be a finite subgroup of the general linear group ''GL''(''V''). An element ''s'' of ''GL''(''V'') is called a pseudoreflection if it fixes a codimension 1 subspace of ''V'' and is not the identity transformation ''I'', or equivalently, if the kernel Ker (''s'' − ''I'') has codimension one in ''V''. Assume that the order of ''G'' is relativel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polynomial Ring
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables) with coefficients in another ring, often a field. Often, the term "polynomial ring" refers implicitly to the special case of a polynomial ring in one indeterminate over a field. The importance of such polynomial rings relies on the high number of properties that they have in common with the ring of the integers. Polynomial rings occur and are often fundamental in many parts of mathematics such as number theory, commutative algebra, and algebraic geometry. In ring theory, many classes of rings, such as unique factorization domains, regular rings, group rings, rings of formal power series, Ore polynomials, graded rings, have been introduced for generalizing some properties of polynomial rings. A closely related notion is that of the ring ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generalized Verma Module
In mathematics, generalized Verma modules are a generalization of a (true) Verma module, and are objects in the representation theory of Lie algebras. They were studied originally by James Lepowsky in the 1970s. The motivation for their study is that their homomorphisms correspond to invariant differential operators over generalized flag manifolds. The study of these operators is an important part of the theory of parabolic geometries. Definition Let \mathfrak be a semisimple Lie algebra and \mathfrak a parabolic subalgebra of \mathfrak. For any irreducible finite-dimensional representation V of \mathfrak we define the generalized Verma module to be the relative tensor product :M_(V):=\mathcal(\mathfrak)\otimes_ V. The action of \mathfrak is left multiplication in \mathcal(\mathfrak). If λ is the highest weight of V, we sometimes denote the Verma module by M_(\lambda). Note that M_(\lambda) makes sense only for \mathfrak-dominant and \mathfrak-integral weights (see weight) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Verma Module
Verma modules, named after Daya-Nand Verma, are objects in the representation theory of Lie algebras, a branch of mathematics. Verma modules can be used in the classification of irreducible representations of a complex semisimple Lie algebra. Specifically, although Verma modules themselves are infinite dimensional, quotients of them can be used to construct finite-dimensional representations with highest weight \lambda, where \lambda is dominant and integral. Their homomorphisms correspond to invariant differential operators over flag manifolds. Informal construction We can explain the idea of a Verma module as follows. Let \mathfrak be a semisimple Lie algebra (over \mathbb, for simplicity). Let \mathfrak be a fixed Cartan subalgebra of \mathfrak and let R be the associated root system. Let R^+ be a fixed set of positive roots. For each \alpha\in R^+, choose a nonzero element X_\alpha for the corresponding root space \mathfrak_\alpha and a nonzero element Y_\alpha in the root ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Victor Kac
Victor Gershevich (Grigorievich) Kac (russian: link=no, Виктор Гершевич (Григорьевич) Кац; born 19 December 1943) is a Soviet and American mathematician at MIT, known for his work in representation theory. He co-discovered Kac–Moody algebras, and used the Weyl character formula#Weyl.E2.80.93Kac character formula, Weyl–Kac character formula for them to reprove the Macdonald identities. He classified the finite-dimensional simple Lie superalgebras, and found the Kac determinant formula for the Virasoro algebra. He is also known for the Kac–Weisfeiler conjectures with Boris Weisfeiler. Biography Kac studied mathematics at Moscow State University, receiving his MS in 1965 and his PhD in 1968. From 1968 to 1976, he held a teaching position at the Moscow Institute of Electronic Machine Building (MIEM). He left the Soviet Union in 1977, becoming an associate professor of mathematics at MIT. In 1981, he was promoted to full professor. Kac received a Sloa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
