|
Category O
In the representation theory of semisimple Lie algebras, Category O (or category \mathcal) is a category whose objects are certain representations of a semisimple Lie algebra and morphisms are homomorphisms of representations. Introduction Assume that \mathfrak is a (usually complex) semisimple Lie algebra with a Cartan subalgebra \mathfrak, \Phi is a root system and \Phi^+ is a system of positive roots. Denote by \mathfrak_\alpha the root space corresponding to a root \alpha\in\Phi and \mathfrak:=\bigoplus_ \mathfrak_\alpha a nilpotent subalgebra. If M is a \mathfrak-module and \lambda\in\mathfrak^*, then M_\lambda is the weight space :M_\lambda=\. Definition of category O The objects of category \mathcal O are \mathfrak-modules M such that # M is finitely generated # M=\bigoplus_ M_\lambda # M is locally \mathfrak-finite. That is, for each v \in M, the \mathfrak-module generated by v is finite-dimensional. Morphisms of this category are the \mathfrak-homomorphisms of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Representation Theory
Representation theory is a branch of mathematics that studies abstract algebraic structures by ''representing'' their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations (for example, matrix addition, matrix multiplication). The theory of matrices and linear operators is well-understood, so representations of more abstract objects in terms of familiar linear algebra objects helps glean properties and sometimes simplify calculations on more abstract theories. The algebraic objects amenable to such a description include groups, associative algebras and Lie algebras. The most prominent of these (and historically the first) is the representation theory of groups, in which elements of a group are represented by invertible matrices in such a way that the group operation i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Universal Enveloping Algebra
In mathematics, the universal enveloping algebra of a Lie algebra is the unital associative algebra whose representations correspond precisely to the representations of that Lie algebra. Universal enveloping algebras are used in the representation theory of Lie groups and Lie algebras. For example, Verma modules can be constructed as quotients of the universal enveloping algebra. In addition, the enveloping algebra gives a precise definition for the Casimir operators. Because Casimir operators commute with all elements of a Lie algebra, they can be used to classify representations. The precise definition also allows the importation of Casimir operators into other areas of mathematics, specifically, those that have a differential algebra. They also play a central role in some recent developments in mathematics. In particular, their dual provides a commutative example of the objects studied in non-commutative geometry, the quantum groups. This dual can be shown, by the Gelfand–N ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Highest-weight Module
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] |
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] |
Universal Enveloping Algebra
In mathematics, the universal enveloping algebra of a Lie algebra is the unital associative algebra whose representations correspond precisely to the representations of that Lie algebra. Universal enveloping algebras are used in the representation theory of Lie groups and Lie algebras. For example, Verma modules can be constructed as quotients of the universal enveloping algebra. In addition, the enveloping algebra gives a precise definition for the Casimir operators. Because Casimir operators commute with all elements of a Lie algebra, they can be used to classify representations. The precise definition also allows the importation of Casimir operators into other areas of mathematics, specifically, those that have a differential algebra. They also play a central role in some recent developments in mathematics. In particular, their dual provides a commutative example of the objects studied in non-commutative geometry, the quantum groups. This dual can be shown, by the Gelfand–N ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Center (algebra)
The term center or centre is used in various contexts in abstract algebra to denote the set of all those elements that commutative operation, commute with all other elements. * The center of a group ''G'' consists of all those elements ''x'' in ''G'' such that ''xg'' = ''gx'' for all ''g'' in ''G''. This is a normal subgroup of ''G''. * The similarly named notion for a semigroup is defined likewise and it is a subsemigroup. * The center (ring theory), center of a ring (mathematics), ring (or an associative algebra) ''R'' is the subset of ''R'' consisting of all those elements ''x'' of ''R'' such that ''xr'' = ''rx'' for all ''r'' in ''R''., Exercise 22.22 The center is a commutative ring, commutative subring of ''R''. * The center of a Lie algebra ''L'' consists of all those elements ''x'' in ''L'' such that [''x'',''a''] = 0 for all ''a'' in ''L''. This is an ideal (ring theory), ideal of the Lie algebra ''L''. See also *Centralizer and normalizer *Center (category theory) Refere ... [...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] |
Injective Object
In mathematics, especially in the field of category theory, the concept of injective object is a generalization of the concept of injective module. This concept is important in cohomology, in homotopy theory and in the theory of model categories. The dual notion is that of a projective object. Definition An object Q in a category \mathbf is said to be injective if for every monomorphism f: X \to Y and every morphism g: X \to Q there exists a morphism h: Y \to Q extending g to Y, i.e. such that h \circ f = g. That is, every morphism X \to Q factors through every monomorphism X \hookrightarrow Y. The morphism h in the above definition is not required to be uniquely determined by f and g. In a locally small category, it is equivalent to require that the hom functor \operatorname_(-,Q) carries monomorphisms in \mathbf to surjective set maps. In Abelian categories The notion of injectivity was first formulated for abelian categories, and this is still one of its primary areas of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Object
In category theory, the notion of a projective object generalizes the notion of a projective module. Projective objects in abelian categories are used in homological algebra. The dual notion of a projective object is that of an injective object. Definition An object P in a category \mathcal is ''projective'' if for any epimorphism e:E\twoheadrightarrow X and morphism f:P\to X, there is a morphism \overline:P\to E such that e\circ \overline=f, i.e. the following diagram commutes: That is, every morphism P\to X factors through every epimorphism E\twoheadrightarrow X. If ''C'' is locally small, i.e., in particular \operatorname_C(P, X) is a set for any object ''X'' in ''C'', this definition is equivalent to the condition that the hom functor (also known as corepresentable functor) : \operatorname(P,-)\colon\mathcal\to\mathbf preserves epimorphisms. Projective objects in abelian categories If the category ''C'' is an abelian category such as, for example, the category of abelia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Category
In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of abelian groups, Ab. The theory originated in an effort to unify several cohomology theories by Alexander Grothendieck and independently in the slightly earlier work of David Buchsbaum. Abelian categories are very ''stable'' categories; for example they are regular and they satisfy the snake lemma. The class of abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an abelian category, or the category of functors from a small category to an abelian category are abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory. Abelian categories are na ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
