|
Hecke Algebra Of A Locally Compact Group
In mathematics, a Hecke algebra of a locally compact group is an algebra of bi-invariant measures under convolution. Definition Let (''G'',''K'') be a pair consisting of a unimodular locally compact topological group ''G'' and a closed subgroup ''K'' of ''G''. Then the space of bi-''K''-invariant continuous functions of compact support :''C'' 'K''\''G''/''K'' can be endowed with a structure of an associative algebra under the operation of convolution. This algebra is denoted :''H''(''G''//''K'') and called the Hecke ring of the pair (''G'',''K''). If we start with a Gelfand pair then the resulting algebra turns out to be commutative. Examples SL(2) In particular, this holds when :''G'' = ''SL''''n''(''Q''''p'') and ''K'' = ''SL''''n''(''Z''''p'') and the representations of the corresponding commutative Hecke ring were studied by Ian G. Macdonald. GL(2) On the other hand, in the case :''G'' = ''GL''2(Q) and ''K'' = ''GL''2(Z) we have the classical Hecke alge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Compact
In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which every point has a compact neighborhood. In mathematical analysis locally compact spaces that are Hausdorff are of particular interest; they are abbreviated as LCH spaces. Formal definition Let ''X'' be a topological space. Most commonly ''X'' is called locally compact if every point ''x'' of ''X'' has a compact neighbourhood, i.e., there exists an open set ''U'' and a compact set ''K'', such that x\in U\subseteq K. There are other common definitions: They are all equivalent if ''X'' is a Hausdorff space (or preregular). But they are not equivalent in general: :1. every point of ''X'' has a compact neighbourhood. :2. every point of ''X'' has a closed compact neighbourhood. :2′. every point of ''X'' has a relatively compact neighbourhoo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chevalley Group
In mathematics, specifically in group theory, the phrase ''group of Lie type'' usually refers to finite groups that are closely related to the group of rational points of a reductive linear algebraic group with values in a finite field. The phrase ''group of Lie type'' does not have a widely accepted precise definition, but the important collection of finite simple groups of Lie type does have a precise definition, and they make up most of the groups in the classification of finite simple groups. The name "groups of Lie type" is due to the close relationship with the (infinite) Lie groups, since a compact Lie group may be viewed as the rational points of a reductive linear algebraic group over the field of real numbers. and are standard references for groups of Lie type. Classical groups An initial approach to this question was the definition and detailed study of the so-called ''classical groups'' over finite and other fields by . These groups were studied by L. E. Dickson a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Residue Field
In mathematics, the residue field is a basic construction in commutative algebra. If ''R'' is a commutative ring and ''m'' is a maximal ideal, then the residue field is the quotient ring ''k'' = ''R''/''m'', which is a field. Frequently, ''R'' is a local ring and ''m'' is then its unique maximal ideal. This construction is applied in algebraic geometry, where to every point ''x'' of a scheme ''X'' one associates its residue field ''k''(''x''). One can say a little loosely that the residue field of a point of an abstract algebraic variety is the 'natural domain' for the coordinates of the point. Definition Suppose that ''R'' is a commutative local ring, with maximal ideal ''m''. Then the residue field is the quotient ring ''R''/''m''. Now suppose that ''X'' is a scheme and ''x'' is a point of ''X''. By the definition of scheme, we may find an affine neighbourhood ''U'' = Spec(''A''), with ''A'' some commutative ring. Considered in the neighbourhood ''U'', the point ''x'' correspond ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Hecke Algebra
In mathematics, an affine Hecke algebra is the algebra associated to an affine Weyl group, and can be used to prove Macdonald's constant term conjecture for Macdonald polynomials. Definition Let V be a Euclidean space of a finite dimension and \Sigma an affine root system on V. An affine Hecke algebra is a certain associative algebra that deforms the group algebra \mathbb /math> of the Weyl group W of \Sigma (the affine Weyl group). It is usually denoted by H(\Sigma,q), where q:\Sigma\rightarrow \mathbb is multiplicity function that plays the role of deformation parameter. For q\equiv 1 the affine Hecke algebra H(\Sigma,q) indeed reduces to \mathbb /math>. Generalizations Ivan Cherednik introduced generalizations of affine Hecke algebras, the so-called double affine Hecke algebra (usually referred to as DAHA). Using this he was able to give a proof of Macdonald's constant term conjecture for Macdonald polynomials (building on work of Eric Opdam). Another main inspiration for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Weyl Group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean reflection groups; the symmetry groups of regular polyhedra are an example. However, not all Coxeter groups are finite, and not all can be described in terms of symmetries and Euclidean reflections. Coxeter groups were introduced in 1934 as abstractions of reflection groups , and finite Coxeter groups were classified in 1935 . Coxeter groups find applications in many areas of mathematics. Examples of finite Coxeter groups include the symmetry groups of regular polytopes, and the Weyl groups of simple Lie algebras. Examples of infinite Coxeter groups include the triangle groups corresponding to regular tessellations of the Euclidean plane and the hyperbolic plane, and the Weyl groups of infinite-dimensional Kac–Moody algebras. Standard re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Iwahori Subgroup
In algebra, an Iwahori subgroup is a subgroup of a reductive algebraic group over a nonarchimedean local field that is analogous to a Borel subgroup of an algebraic group. A parahoric subgroup is a proper subgroup that is a finite union of double cosets of an Iwahori subgroup, so is analogous to a parabolic subgroup of an algebraic group. Iwahori subgroups are named after Nagayoshi Iwahori, and "parahoric" is a portmanteau of "parabolic" and "Iwahori". studied Iwahori subgroups for Chevalley groups over ''p''-adic fields, and extended their work to more general groups. Roughly speaking, an Iwahori subgroup of an algebraic group ''G''(''K''), for a local field ''K'' with integers ''O'' and residue field ''k'', is the inverse image in ''G''(''O'') of a Borel subgroup of ''G''(''k''). A reductive group over a local field has a Tits system (''B'',''N''), where ''B'' is a parahoric group, and the Weyl group of the Tits system is an affine Coxeter group. Definition More precisely ... [...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 at lea ... [...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 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 nu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
George Lusztig
George Lusztig (born ''Gheorghe Lusztig''; May 20, 1946) is an American-Romanian mathematician and Abdun Nur Professor at the Massachusetts Institute of Technology (MIT). He was a Norbert Wiener Professor in the Department of Mathematics from 1999 to 2009. Education and career Born in Timișoara to a Hungarian-Jewish family, he did his undergraduate studies at the University of Bucharest, graduating in 1968. Later that year he left Romania for the United Kingdom, where he spent several months at the University of Warwick and Oxford University. In 1969 he moved to the United States, where he went to work for two years with Michael Atiyah at the Institute for Advanced Study in Princeton, New Jersey. He received his PhD in mathematics in 1971 after completing a doctoral dissertation, titled "Novikov's higher signature and families of elliptic operators", under the supervision of William Browder and Michael Atiyah. Lusztig worked for almost seven years at the University of Warwic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weyl Group
In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections through the hyperplanes orthogonal to the roots, and as such is a finite reflection group. In fact it turns out that ''most'' finite reflection groups are Weyl groups. Abstractly, Weyl groups are finite Coxeter groups, and are important examples of these. The Weyl group of a semisimple Lie group, a semisimple Lie algebra, a semisimple linear algebraic group, etc. is the Weyl group of the root system of that group or algebra. Definition and examples Let \Phi be a root system in a Euclidean space V. For each root \alpha\in\Phi, let s_\alpha denote the reflection about the hyperplane perpendicular to \alpha, which is given explicitly as :s_\alpha(v)=v-2\frac\alpha, where (\cdot,\cdot) is the inner product on V. The Weyl group W of \Phi is ... [...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 subgroups ''P'' are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are given by the integers mod when is a prime number. The ''order'' of a finite field is its number of elements, which is either a prime number or a prime power. For every prime number and every positive integer there are fields of order p^k, all of which are isomorphic. Finite fields are fundamental in a number of areas of mathematics and computer science, including number theory, algebraic geometry, Galois theory, finite geometry, cryptography and coding theory. Properties A finite field is a finite set which is a field; this means that multiplication, addition, subtraction and division (excluding division by zero) are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.png "Click for more on -> Weyl Group")