Demazure Character Formula
   HOME
*





Demazure Character Formula
In mathematics, a Demazure module, introduced by , is a submodule of a finite-dimensional representation generated by an extremal weight space under the action of a Borel subalgebra. The Demazure character formula, introduced by , gives the characters of Demazure modules, and is a generalization of the Weyl character formula. The dimension of a Demazure module is a polynomial in the highest weight, called a Demazure polynomial. Demazure modules Suppose that ''g'' is a complex semisimple Lie algebra, with a Borel subalgebra ''b'' containing a Cartan subalgebra ''h''. An irreducible finite-dimensional representation ''V'' of ''g'' splits as a sum of eigenspaces of ''h'', and the highest weight space is 1-dimensional and is an eigenspace of ''b''. The Weyl group ''W'' acts on the weights of ''V'', and the conjugates ''w''λ of the highest weight vector λ under this action are the extremal weights, whose weight spaces are all 1-dimensional. A Demazure module is the ''b''-submodule o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Submodule
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operation of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module conce ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Weight (representation Theory)
In the mathematical field of representation theory, a weight of an algebra ''A'' over a field F is an algebra homomorphism from ''A'' to F, or equivalently, a one-dimensional representation of ''A'' over F. It is the algebra analogue of a multiplicative character of a group. The importance of the concept, however, stems from its application to representations of Lie algebras and hence also to representations of algebraic and Lie groups. In this context, a weight of a representation is a generalization of the notion of an eigenvalue, and the corresponding eigenspace is called a weight space. Motivation and general concept Given a set ''S'' of n\times n matrices over the same field, each of which is diagonalizable, and any two of which commute, it is always possible to simultaneously diagonalize all of the elements of ''S''.In fact, given a set of commuting matrices over an algebraically closed field, they are simultaneously triangularizable, without needing to assume that they are ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Borel Subalgebra
In mathematics, specifically in representation theory, a Borel subalgebra of a Lie algebra \mathfrak is a maximal solvable subalgebra. The notion is named after Armand Borel. If the Lie algebra \mathfrak is the Lie algebra of a complex Lie group, then a Borel subalgebra is the Lie algebra of a Borel subgroup. Borel subalgebra associated to a flag Let \mathfrak g = \mathfrak(V) be the Lie algebra of the endomorphisms of a finite-dimensional vector space ''V'' over the complex numbers. Then to specify a Borel subalgebra of \mathfrak g amounts to specify a flag of ''V''; given a flag V = V_0 \supset V_1 \supset \cdots \supset V_n = 0, the subspace \mathfrak b = \ is a Borel subalgebra, and conversely, each Borel subalgebra is of that form by Lie's theorem. Hence, the Borel subalgebras are classified by the flag variety of ''V''. Borel subalgebra relative to a base of a root system Let \mathfrak g be a complex semisimple Lie algebra, \mathfrak h a Cartan subalgebra and ''R'' the r ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Weyl Character Formula
In mathematics, the Weyl character formula in representation theory describes the character theory, 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 Compact_group#Representation_theory_of_a_connected_compact_Lie_group, 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_partition_function, Kostant multiplicity formula. By definition, the character \chi of a representation \pi of ''G'' is the trace of a matrix, trace of \pi(g), as a function of a group element g\in G. The irreducible representations in this case ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Cartan Subalgebra
In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra \mathfrak of a Lie algebra \mathfrak that is self-normalising (if ,Y\in \mathfrak for all X \in \mathfrak, then Y \in \mathfrak). They were introduced by Élie Cartan in his doctoral thesis. It controls the representation theory of a semi-simple Lie algebra \mathfrak over a field of characteristic 0 . 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 \operatorname(x) : \mathfrak \to \mathfrak 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 ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 through the hyperplanes orthogonal to the roots, and as such is a finite reflection group. In fact it turns out that ''most'' finite reflection groups are Weyl groups. Abstractly, Weyl groups are finite Coxeter groups, and are important examples of these. The Weyl group of a semisimple Lie group, a semisimple Lie algebra, a semisimple linear algebraic group, etc. is the Weyl group of the root system of that group or algebra. Definition and examples Let \Phi be a root system in a Euclidean space V. For each root \alpha\in\Phi, let s_\alpha denote the reflection about the hyperplane perpendicular to \alpha, which is given explicitly as :s_\alpha(v)=v-2\frac\alpha, where (\cdot,\cdot) is the inner product on V. The Weyl group W of \Phi is ...
[...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]  


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]  


Schubert Varieties
In algebraic geometry, a Schubert variety is a certain subvariety of a Grassmannian, usually with singular points. Like a Grassmannian, it is a kind of moduli space, whose points correspond to certain kinds of subspaces ''V'', specified using linear algebra, inside a fixed vector subspace ''W''. Here ''W'' may be a vector space over an arbitrary field, though most commonly over the complex numbers. A typical example is the set ''X'' whose points correspond to those 2-dimensional subspaces ''V'' of a 4-dimensional vector space ''W'', such that ''V'' non-trivially intersects a fixed (reference) 2-dimensional subspace ''W''2: :X \ =\ \. Over the real number field, this can be pictured in usual ''xyz''-space as follows. Replacing subspaces with their corresponding projective spaces, and intersecting with an affine coordinate patch of \mathbb(W), we obtain an open subset ''X''° ⊂ ''X''. This is isomorphic to the set of all lines ''L'' (not necessarily through the origin) which me ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors are Camillo De Lellis (Institute for Advanced Study, Princeton) and Jean-Benoît Bost (University of Paris-Sud Paris-Sud University (French: ''Université Paris-Sud''), also known as University of Paris — XI (or as Université d'Orsay before 1971), was a French research university distributed among several campuses in the southern suburbs of Paris, in ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Publications established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Duke Mathematical Journal
''Duke Mathematical Journal'' is a peer-reviewed mathematics journal published by Duke University Press. It was established in 1935. The founding editors-in-chief were David Widder, Arthur Coble, and Joseph Miller Thomas Joseph Miller Thomas (16 January 1898 – 1979) was an American mathematician, known for the Thomas decomposition of algebraic and differential systems. Thomas received his Ph.D., supervised by Frederick Wahn Beal, from the University of Pennsylva .... The first issue included a paper by Solomon Lefschetz. Leonard Carlitz served on the editorial board for 35 years, from 1938 to 1973. The current managing editor is Richard Hain (Duke University). Impact According to the journal homepage, the journal has a 2018 impact factor of 2.194, ranking it in the top ten mathematics journals in the world. References External links

* Mathematics journals Duke University, Mathematical Journal Publications established in 1935 Multilingual journals English-language jo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Journal Of Algebra
''Journal of Algebra'' (ISSN 0021-8693) is an international mathematical research journal in algebra. An imprint of Academic Press, it is published by Elsevier. ''Journal of Algebra'' was founded by Graham Higman, who was its editor from 1964 to 1984. From 1985 until 2000, Walter Feit served as its editor-in-chief. In 2004, ''Journal of Algebra'' announced (vol. 276, no. 1 and 2) the creation of a new section on computational algebra, with a separate editorial board. The first issue completely devoted to computational algebra was vol. 292, no. 1 (October 2005). The Editor-in-Chief of the ''Journal of Algebra'' is Michel Broué, Université Paris Diderot, and Gerhard Hiß, Rheinisch-Westfälische Technische Hochschule Aachen ( RWTH) is Editor of the computational algebra section. See also *Susan Montgomery M. Susan Montgomery (born 2 April 1943 in Lansing, MI) is a distinguished American mathematician whose current research interests concern noncommutative algebras: in parti ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]