|
Langlands Decomposition
In mathematics, the Langlands decomposition writes a parabolic subgroup ''P'' of a semisimple Lie group as a product P=MAN of a reductive subgroup ''M'', an abelian subgroup ''A'', and a nilpotent subgroup ''N''. Applications A key application is in parabolic induction, which leads to the Langlands program In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by , it seeks to relate Galois groups in algebraic num ...: if G is a reductive algebraic group and P=MAN is the Langlands decomposition of a parabolic subgroup ''P'', then parabolic induction consists of taking a representation of MA, extending it to P by letting N act trivially, and inducing the result from P to G. See also * Lie group decompositions References Sources * A. W. Knapp, Structure theory of semisimple Lie groups. . Lie groups Algebraic groups {{Mathan ... [...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] |
Parabolic Subgroup
In the theory of algebraic groups, a Borel subgroup of an algebraic group ''G'' is a maximal Zariski closed and connected solvable algebraic subgroup. For example, in the general linear group ''GLn'' (''n x n'' invertible matrices), the subgroup of invertible upper triangular matrices is a Borel subgroup. For groups realized over algebraically closed fields, there is a single conjugacy class of Borel subgroups. Borel subgroups are one of the two key ingredients in understanding the structure of simple (more generally, reductive) algebraic groups, in Jacques Tits' theory of groups with a (B,N) pair. Here the group ''B'' is a Borel subgroup and ''N'' is the normalizer of a maximal torus contained in ''B''. The notion was introduced by Armand Borel, who played a leading role in the development of the theory of algebraic groups. Parabolic subgroups Subgroups between a Borel subgroup ''B'' and the ambient group ''G'' are called parabolic subgroups. Parabolic subgroups ''P'' are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semisimple Lie Group
In mathematics, a Lie algebra is semisimple if it is a direct sum of modules, direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper Lie algebra#Subalgebras.2C ideals and homomorphisms, ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of Characteristic (algebra), characteristic 0. For such a Lie algebra \mathfrak g, if nonzero, the following conditions are equivalent: *\mathfrak g is semisimple; *the Killing form, κ(x,y) = tr(ad(''x'')ad(''y'')), is non-degenerate; *\mathfrak g has no non-zero abelian ideals; *\mathfrak g has no non-zero solvable Lie algebra, solvable ideals; * the Radical of a Lie algebra, radical (maximal solvable ideal) of \mathfrak g is zero. Significance The significance of semisimplicity comes firstly from the Levi decomposition, which states that every finite dimensional Lie algebra is the semidirect product of a solvable i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Product Of Subgroups
In mathematics, one can define a product of group subsets in a natural way. If ''S'' and ''T'' are subsets of a group ''G'', then their product is the subset of ''G'' defined by :ST = \. The subsets ''S'' and ''T'' need not be subgroups for this product to be well defined. The associativity of this product follows from that of the group product. The product of group subsets therefore defines a natural monoid structure on the power set of ''G''. A lot more can be said in the case where ''S'' and ''T'' are subgroups. The product of two subgroups ''S'' and ''T'' of a group ''G'' is itself a subgroup of ''G'' if and only if ''ST'' = ''TS''. Product of subgroups If ''S'' and ''T'' are subgroups of ''G'', their product need not be a subgroup (for example, two distinct subgroups of order 2 in the symmetric group on 3 symbols). This product is sometimes called the ''Frobenius product''. In general, the product of two subgroups ''S'' and ''T'' is a subgroup if and only if ''ST'' = ''TS' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation \cdot that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The symbo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilpotent Group
In mathematics, specifically group theory, a nilpotent group ''G'' is a group that has an upper central series that terminates with ''G''. Equivalently, its central series is of finite length or its lower central series terminates with . Intuitively, a nilpotent group is a group that is "almost abelian". This idea is motivated by the fact that nilpotent groups are solvable, and for finite nilpotent groups, two elements having relatively prime orders must commute. It is also true that finite nilpotent groups are supersolvable. The concept is credited to work in the 1930s by Russian mathematician Sergei Chernikov. Nilpotent groups arise in Galois theory, as well as in the classification of groups. They also appear prominently in the classification of Lie groups. Analogous terms are used for Lie algebras (using the Lie bracket) including nilpotent, lower central series, and upper central series. Definition The definition uses the idea of a central series for a group. The followi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parabolic Induction
In mathematics, parabolic induction is a method of constructing representations of a reductive group from representations of its parabolic subgroups. If ''G'' is a reductive algebraic group and P=MAN is the Langlands decomposition of a parabolic subgroup ''P'', then parabolic induction consists of taking a representation of MA, extending it to ''P'' by letting ''N'' act trivially, and inducing the result from ''P'' to ''G''. There are some generalizations of parabolic induction using cohomology, such as cohomological parabolic induction and Deligne–Lusztig theory. Philosophy of cusp forms The ''philosophy of cusp forms'' was a slogan of Harish-Chandra, expressing his idea of a kind of reverse engineering of automorphic form theory, from the point of view of representation theory. The discrete group Γ fundamental to the classical theory disappears, superficially. What remains is the basic idea that representations in general are to be constructed by parabolic induction o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Langlands Program
In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by , it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics." The Langlands program consists of some very complicated theoretical abstractions, which can be difficult even for specialist mathematicians to grasp. To oversimplify, the fundamental lemma of the project posits a direct connection between the generalized fundamental representation of a finite field with its group extension to the automorphic forms under which it is invariant. This is accomplished through abstraction to higher dimensional integrati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Induced Representation
In group theory, the induced representation is a representation of a group, , which is constructed using a known representation of a subgroup . Given a representation of '','' the induced representation is, in a sense, the "most general" representation of that extends the given one. Since it is often easier to find representations of the smaller group than of '','' the operation of forming induced representations is an important tool to construct new representations''.'' Induced representations were initially defined by Frobenius, for linear representations of finite groups. The idea is by no means limited to the case of finite groups, but the theory in that case is particularly well-behaved. Constructions Algebraic Let be a finite group and any subgroup of . Furthermore let be a representation of . Let be the index of in and let be a full set of representatives in of the left cosets in . The induced representation can be thought of as acting on the following spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group Decompositions
{{unreferenced, date=September 2009 In mathematics, Lie group decompositions are used to analyse the structure of Lie groups and associated objects, by showing how they are built up out of subgroups. They are essential technical tools in the representation theory of Lie groups and Lie algebras; they can also be used to study the algebraic topology of such groups and associated homogeneous spaces. Since the use of Lie group methods became one of the standard techniques in twentieth century mathematics, many phenomena can now be referred back to decompositions. The same ideas are often applied to Lie groups, Lie algebras, algebraic groups and p-adic number analogues, making it harder to summarise the facts into a unified theory. List of decompositions * The Jordan–Chevalley decomposition of an element in algebraic group as a product of semisimple and unipotent elements * The Bruhat decomposition ''G'' = ''BWB'' of a semisimple algebraic group into double cosets of a Borel subgro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Groups
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group \text(3)). Lie groups are widely used in many parts of modern mathematics and physics. Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
