|
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 mathematics, the Langlands program is a set of conjectures about connections between number theory, the theory of automorphic forms, and geometry. It was proposed by . It seeks to relate the structure of Galois groups in algebraic number t ...: 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 a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Borel 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 subgr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semisimple Lie Group
In mathematics, a simple Lie group is a connected space, connected nonabelian group, non-abelian Lie group ''G'' which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces. Together with the commutative Lie group of the real numbers, \mathbb, and that of the unit-magnitude complex numbers, Circle group, U(1) (the unit circle), simple Lie groups give the atomic "building blocks" that make up all (finite-dimensional) connected Lie groups via the operation of group extension. Many commonly encountered Lie groups are either simple or 'close' to being simple: for example, the so-called "special linear group" SL(''n'', \mathbb) of ''n'' by ''n'' matrices with determinant equal to 1 is simple for all odd ''n'' > 1, when it is isomorphic to the projective special linear group. The first classification of simple Lie groups was by Wilhelm Killing, and this work was la ... [...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 the Norwegian 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 ･ , that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The sym ... [...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, it has a central series 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 gro ... [...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 of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Langlands Program
In mathematics, the Langlands program is a set of conjectures about connections between number theory, the theory of automorphic forms, and geometry. It was proposed by . It seeks to relate the structure of Galois groups in algebraic number theory to automorphic forms and, more generally, the representation theory of algebraic groups over local fields and adeles. It was described by Edward Frenkel as the " grand unified theory of mathematics." Background The Langlands program is built on existing ideas: the philosophy of cusp forms formulated a few years earlier by Harish-Chandra and , the work and Harish-Chandra's approach on semisimple Lie groups, and in technical terms the trace formula of Selberg and others. What was new in Langlands' work, besides technical depth, was the proposed connection to number theory, together with its rich organisational structure hypothesised (so-called functoriality). Harish-Chandra's work exploited the principle that what can be d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Induced Representation
In group theory, the induced representation is a group representation, 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 Ferdinand Georg Frobenius, 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 a subgroup, index of in and let be a full set of representatives in of the Coset, left cosets in . Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group Decompositions
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 subgroup can be regarded as a generalization of the p ... [...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, such that group multiplication and taking inverses are both differentiable. 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 (to allow division), or equivalently, the concept of addition and subtraction. Combining these two ideas, one obtains a continuous group where multiplying points and their inverses is 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 circle group. Rotating a circle is an example of a continuous symmetry. For any rotation of the circle, th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
