|
Jacquet Module
In mathematics, the Jacquet module is a module used in the study of automorphic representations. The Jacquet functor is the functor that sends a linear representation to its Jacquet module. They are both named after Hervé Jacquet. Definition The Jacquet module ''J''(''V'') of a representation (''π'',''V'') of a group ''N'' is the space of co-invariants of ''N''; or in other words the largest quotient of ''V'' on which ''N'' acts trivially, or the zeroth homology group H0(''N'',''V''). In other words, it is the quotient ''V''/''VN'' where ''VN'' is the subspace of ''V'' generated by elements of the form ''π''(''n'')''v'' - ''v'' for all ''n'' in ''N'' and all ''v'' in ''V''. The Jacquet functor ''J'' is the functor taking ''V'' to its Jacquet module ''J''(''V''). Applications Jacquet modules are used to classify admissible irreducible representations of a reductive algebraic group ''G'' over a local field, and ''N'' is the unipotent radical of a parabolic subgroup of ''G''. In ... [...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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unipotent Radical
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 a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Principal Series Representation
In mathematics, the principal series representations of certain kinds of topological group ''G'' occur in the case where ''G'' is not a compact group. There, by analogy with spectral theory, one expects that the regular representation of ''G'' will decompose according to some kind of continuous spectrum, of representations involving a continuous parameter, as well as a discrete spectrum. The ''principal series'' representations are some induced representations constructed in a uniform way, in order to fill out the continuous part of the spectrum. In more detail, the unitary dual is the space of all representations relevant to decomposing the regular representation. The discrete series consists of 'atoms' of the unitary dual (points carrying a Plancherel measure > 0). In the earliest examples studied, the rest (or most) of the unitary dual could be parametrised by starting with a subgroup ''H'' of ''G'', simpler but not compact, and building up induced representations using represe ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cuspidal Representation
In number theory, cuspidal representations are certain representations of algebraic groups that occur discretely in L^2 spaces. The term ''cuspidal'' is derived, at a certain distance, from the cusp forms of classical modular form theory. In the contemporary formulation of automorphic representations, representations take the place of holomorphic functions; these representations may be of adelic algebraic groups. When the group is the general linear group \operatorname_2, the cuspidal representations are directly related to cusp forms and Maass forms. For the case of cusp forms, each Hecke eigenform ( newform) corresponds to a cuspidal representation. Formulation Let ''G'' be a reductive algebraic group over a number field ''K'' and let A denote the adeles of ''K''. The group ''G''(''K'') embeds diagonally in the group ''G''(A) by sending ''g'' in ''G''(''K'') to the tuple (''g''''p'')''p'' in ''G''(A) with ''g'' = ''g''''p'' for all (finite and infinite) primes ''p''. Let '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dimension (vector Space)
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to distinguish it from other types of dimension. For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. We say V is if the dimension of V is finite, and if its dimension is infinite. The dimension of the vector space V over the field F can be written as \dim_F(V) or as : F read "dimension of V over F". When F can be inferred from context, \dim(V) is typically written. Examples The vector space \R^3 has \left\ as a standard basis, and therefore \dim_(\R^3) = 3. More generally, \dim_(\R^n) = n, and even more generally, \dim_(F^n) = n for any field F. The complex numbers \Complex are both a real and complex vector space; we ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
General Linear Group
In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with identity matrix as the identity element of the group. The group is so named because the columns (and also the rows) of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position. To be more precise, it is necessary to specify what kind of objects may appear in the entries of the matrix. For example, the general linear group over R (the set of real numbers) is the group of invertible matrices of real numbers, and is denoted by GL''n''(R) or . More generally, the general linear group of degree ''n'' over an ... [...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'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Field
In mathematics, a field ''K'' is called a (non-Archimedean) local field if it is complete with respect to a topology induced by a discrete valuation ''v'' and if its residue field ''k'' is finite. Equivalently, a local field is a locally compact topological field with respect to a non-discrete topology. Sometimes, real numbers R, and the complex numbers C (with their standard topologies) are also defined to be local fields; this is the convention we will adopt below. Given a local field, the valuation defined on it can be of either of two types, each one corresponds to one of the two basic types of local fields: those in which the valuation is Archimedean and those in which it is not. In the first case, one calls the local field an Archimedean local field, in the second case, one calls it a non-Archimedean local field. Local fields arise naturally in number theory as completions of global fields. While Archimedean local fields have been quite well known in mathematics for a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module (mathematics)
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 modu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reductive Algebraic 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 Lie algebra, complex semisimple Lie algebras. Reductive groups over an arbitrary field are harder to classify, but for many fields such as the re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homology Group
In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topology. Similar constructions are available in a wide variety of other contexts, such as abstract algebra, groups, Lie algebras, Galois theory, and algebraic geometry. The original motivation for defining homology groups was the observation that two shapes can be distinguished by examining their holes. For instance, a circle is not a disk because the circle has a hole through it while the disk is solid, and the ordinary sphere is not a circle because the sphere encloses a two-dimensional hole while the circle encloses a one-dimensional hole. However, because a hole is "not there", it is not immediately obvious how to define a hole or how to distinguish different kinds of holes. Homology was originally a rigorous mathematical method for def ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> General Linear Group")
