|
Unipotent Representation
In mathematics, a unipotent representation of a reductive group is a representation that has some similarities with unipotent conjugacy classes of groups. Informally, Langlands philosophy suggests that there should be a correspondence between representations of a reductive group and conjugacy classes of a Langlands dual group, and the unipotent representations should be roughly the ones corresponding to unipotent classes in the dual group. Unipotent representations are supposed to be the basic "building blocks" out of which one can construct all other representations in the following sense. Unipotent representations should form a small (preferably finite) set of irreducible representations for each reductive group, such that all irreducible representations can be obtained from unipotent representations of possibly smaller groups by some sort of systematic process, such as (cohomological or parabolic) induction. Finite fields Over finite fields, the unipotent representations ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reductive Group
In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group ''G'' over a perfect field is reductive if it has a representation with finite kernel which is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group ''GL''(''n'') of invertible matrices, the special orthogonal group ''SO''(''n''), and the symplectic group ''Sp''(2''n''). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive. Claude Chevalley showed that the classification of reductive groups is the same over any algebraically closed field. In particular, the simple algebraic groups are classified by Dynkin diagrams, as in the theory of compact Lie groups or complex semisimple Lie algebras. Reductive groups over an arbitrary field are harder to classify, but for many fields such as the real numbers R or a numbe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Representation
In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself (i.e. vector space automorphisms); in particular, they can be used to represent group elements as invertible matrices so that the group operation can be represented by matrix multiplication. In chemistry, a group representation can relate mathematical group elements to symmetric rotations and reflections of molecules. Representations of groups are important because they allow many group-theoretic problems to be reduced to problems in linear algebra, which is well understood. They are also important in physics because, for example, they describe how the symmetry group of a physical system affects the solutions of equations describing that system. The term ''representation of a group'' is also used in a more general sense to mean any "description" of a group as a group of transformations of some mathematical o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unipotent
In mathematics, a unipotent element ''r'' of a ring ''R'' is one such that ''r'' − 1 is a nilpotent element; in other words, (''r'' − 1)''n'' is zero for some ''n''. In particular, a square matrix ''M'' is a unipotent matrix if and only if its characteristic polynomial ''P''(''t'') is a power of ''t'' − 1. Thus all the eigenvalues of a unipotent matrix are 1. The term quasi-unipotent means that some power is unipotent, for example for a diagonalizable matrix with eigenvalues that are all roots of unity. In the theory of algebraic groups, a group element is unipotent if it acts unipotently in a certain natural group representation. A unipotent affine algebraic group is then a group with all elements unipotent. Definition Definition with matrices Consider the group \mathbb_n of upper-triangular matrices with 1's along the diagonal, so they are the group of matrices :\mathbb_n = \left\. Then, a unipotent group can be defined as a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjugacy Class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other words, each conjugacy class is closed under b = gag^. for all elements g in the group. Members of the same conjugacy class cannot be distinguished by using only the group structure, and therefore share many properties. The study of conjugacy classes of non-abelian groups is fundamental for the study of their structure. For an abelian group, each conjugacy class is a set containing one element (singleton set). Functions that are constant for members of the same conjugacy class are called class functions. Definition Let G be a group. Two elements a, b \in G are conjugate if there exists an element g \in G such that gag^ = b, in which case b is called of a and a is called a conjugate of b. In the case of the general linear group \operatorna ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Langlands Philosophy
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 integration ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Langlands Dual Group
In representation theory, a branch of mathematics, the Langlands dual ''L''''G'' of a reductive algebraic group ''G'' (also called the ''L''-group of ''G'') is a group that controls the representation theory of ''G''. If ''G'' is defined over a field ''k'', then ''L''''G'' is an extension of the absolute Galois group of ''k'' by a complex Lie group. There is also a variation called the Weil form of the ''L''-group, where the Galois group is replaced by a Weil group. Here, the letter ''L'' in the name also indicates the connection with the theory of L-functions, particularly the ''automorphic'' L-functions. The Langlands dual was introduced by in a letter to A. Weil. The ''L''-group is used heavily in the Langlands conjectures of Robert Langlands. It is used to make precise statements from ideas that automorphic forms are in a sense functorial in the group ''G'', when ''k'' is a global field. It is not exactly ''G'' with respect to which automorphic forms and representations are fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deligne–Lusztig Theory
In mathematics, Deligne–Lusztig theory is a way of constructing linear representations of finite groups of Lie type using ℓ-adic cohomology with compact support, introduced by . used these representations to find all representations of all finite simple groups of Lie type. Motivation Suppose that ''G'' is a reductive group defined over a finite field, with Frobenius map ''F''. Ian G. Macdonald conjectured that there should be a map from ''general position'' characters of ''F''-stable maximal tori to irreducible representations of G^F (the fixed points of ''F''). For general linear groups this was already known by the work of . This was the main result proved by Pierre Deligne and George Lusztig; they found a virtual representation for all characters of an ''F''-stable maximal torus, which is irreducible (up to sign) when the character is in general position. When the maximal torus is split, these representations were well known and are given by parabolic induction of cha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steinberg Representation
In mathematics, the Steinberg representation, or Steinberg module or Steinberg character, denoted by ''St'', is a particular linear representation of a reductive algebraic group over a finite field or local field, or a group with a BN-pair. It is analogous to the 1-dimensional sign representation ε of a Coxeter or Weyl group that takes all reflections to –1. For groups over finite fields, these representations were introduced by , first for the general linear groups, then for classical groups, and then for all Chevalley groups, with a construction that immediately generalized to the other groups of Lie type that were discovered soon after by Steinberg, Suzuki and Ree. Over a finite field of characteristic ''p'', the Steinberg representation has degree equal to the largest power of ''p'' dividing the order of the group. The Steinberg representation is the Alvis–Curtis dual of the trivial 1-dimensional representation. , , and defined analogous Steinberg representations (somet ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
θ10
In representation theory, a branch of mathematics, θ10 is a cuspidal unipotent complex irreducible representation of the symplectic group Sp4 over a finite, local, or global field. introduced θ10 for the symplectic group Sp4(F''q'') over a finite field F''q'' of order ''q'', and showed that in this case it is ''q''(''q'' – 1)2/2-dimensional. The subscript 10 in θ10 is a historical accident that has stuck: Srinivasan arbitrarily named some of the characters of Sp4(F''q'') as θ1, θ2, ..., θ13, and the tenth one in her list happens to be the cuspidal unipotent character. θ10 is the only cuspidal unipotent representation of Sp4(F''q''). It is the simplest example of a cuspidal unipotent representation of a reductive group, and also the simplest example of a degenerate cuspidal representation (one without a Whittaker model). General linear groups have no cuspidal unipotent representations and no degenerate cuspidal representations, so θ10 exhibits properties of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Princeton University Press
Princeton University Press is an independent publisher with close connections to Princeton University. Its mission is to disseminate scholarship within academia and society at large. The press was founded by Whitney Darrow, with the financial support of Charles Scribner, as a printing press to serve the Princeton community in 1905. Its distinctive building was constructed in 1911 on William Street in Princeton. Its first book was a new 1912 edition of John Witherspoon's ''Lectures on Moral Philosophy.'' History Princeton University Press was founded in 1905 by a recent Princeton graduate, Whitney Darrow, with financial support from another Princetonian, Charles Scribner II. Darrow and Scribner purchased the equipment and assumed the operations of two already existing local publishers, that of the ''Princeton Alumni Weekly'' and the Princeton Press. The new press printed both local newspapers, university documents, ''The Daily Princetonian'', and later added book publishing to it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
