In mathematics, a double affine braid group is a group containing the braid group of an affine Weyl group. Their group rings have quotients called double affine Hecke algebras in the same way that the group rings of affine braid groups have quotients that are affine Hecke algebras.
For affine An groups, the double affine braid group is the fundamental group of the space of n distinct points on a 2-dimensional torus.
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers ; and p-adic integers.
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.
In algebraic geometry, an affine algebraic set is the set of the common zeros over an algebraically closed field k of some family of polynomials in the polynomial ring An affine variety or affine algebraic variety, is an affine algebraic set such that the ideal generated by the defining polynomials is prime.
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.
In mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The category of group schemes is somewhat better behaved than that of group varieties, since all homomorphisms have kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The initial development of the theory of group schemes was due to Alexander Grothendieck, Michel Raynaud and Michel Demazure in the early 1960s.
In mathematics, the Iwahori–Hecke algebra, or Hecke algebra, named for Erich Hecke and Nagayoshi Iwahori, is a deformation of the group algebra of a Coxeter group.
In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by Erich Hecke (1937a,1937b), is a certain kind of "averaging" operator that plays a significant role in the structure of vector spaces of modular forms and more general automorphic representations.
In abstract algebra, an adelic algebraic group is a semitopological group defined by an algebraic group G over a number field K, and the adele ring A = A(K) of K. It consists of the points of G having values in A; the definition of the appropriate topology is straightforward only in case G is a linear algebraic group. In the case of G being an abelian variety, it presents a technical obstacle, though it is known that the concept is potentially useful in connection with Tamagawa numbers. Adelic algebraic groups are widely used in number theory, particularly for the theory of automorphic representations, and the arithmetic of quadratic forms.
In algebraic geometry, the function field of an algebraic variety V consists of objects which are interpreted as rational functions on V. In classical algebraic geometry they are ratios of polynomials; in complex algebraic geometry these are meromorphic functions and their higher-dimensional analogues; in modern algebraic geometry they are elements of some quotient ring's field of fractions.
Ian Grant Macdonald is a British mathematician known for his contributions to symmetric functions, special functions, Lie algebra theory and other aspects of algebra, algebraic combinatorics, and combinatorics.
In mathematics, Macdonald polynomialsPλ(x; t,q) are a family of orthogonal symmetric polynomials in several variables, introduced by Macdonald in 1987. He later introduced a non-symmetric generalization in 1995. Macdonald originally associated his polynomials with weights λ of finite root systems and used just one variable t, but later realized that it is more natural to associate them with affine root systems rather than finite root systems, in which case the variable t can be replaced by several different variables t=(t1,...,tk), one for each of the k orbits of roots in the affine root system. The Macdonald polynomials are polynomials in n variables x=(x1,...,xn), where n is the rank of the affine root system. They generalize many other families of orthogonal polynomials, such as Jack polynomials and Hall–Littlewood polynomials and Askey–Wilson polynomials, which in turn include most of the named 1-variable orthogonal polynomials as special cases. Koornwinder polynomials are Macdonald polynomials of certain non-reduced root systems. They have deep relationships with affine Hecke algebras and Hilbert schemes, which were used to prove several conjectures made by Macdonald about them.
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.
In mathematics, Macdonald-Koornwinder polynomials (also called Koornwinder polynomials) are a family of orthogonal polynomials in several variables, introduced by Koornwinder (1992) and I. G. Macdonald (1987, important special cases), that generalize the Askey–Wilson polynomials. They are the Macdonald polynomials attached to the non-reduced affine root system of type (C∨
n, Cn), and in particular satisfy (van Diejen 1996, Sahi 1999) analogues of Macdonald's conjectures (Macdonald 2003, Chapter 5.3). In addition Jan Felipe van Diejen showed that the Macdonald polynomials associated to any classical root system can be expressed as limits or special cases of Macdonald-Koornwinder polynomials and found complete sets of concrete commuting difference operators diagonalized by them (van Diejen 1995). Furthermore, there is a large class of interesting families of multivariable orthogonal polynomials associated with classical root systems which are degenerate cases of the Macdonald-Koornwinder polynomials (van Diejen 1999). The Macdonald-Koornwinder polynomials have also been studied with the aid of affine Hecke algebras (Noumi 1995, Sahi 1999, Macdonald 2003).
In mathematics, a double affine Hecke algebra, or Cherednik algebra, is an algebra containing the Hecke algebra of an affine Weyl group, given as the quotient of the group ring of a double affine braid group. They were introduced by Cherednik, who used them to prove Macdonald's constant term conjecture for Macdonald polynomials. Infinitesimal Cherednik algebras have significant implications in representation theory, and therefore have important applications in particle physics and in chemistry.
In mathematics, an affine braid group is a braid group associated to an affine Coxeter system. Their group rings have quotients called affine Hecke algebras. They are subgroups of double affine braid groups.
In mathematics, a Hecke algebra of a locally compact group is an algebra of bi-invariant measures under convolution.
In mathematics, an affine root system is a root system of affine-linear functions on a Euclidean space. They are used in the classification of affine Lie algebras and superalgebras, and semisimple p-adic algebraic groups, and correspond to families of Macdonald polynomials. The reduced affine root systems were used by Kac and Moody in their work on Kac–Moody algebras. Possibly non-reduced affine root systems were introduced and classified by Macdonald (1972) and Bruhat & Tits (1972).
Ivan Cherednik is a Russian-American mathematician. He introduced double affine Hecke algebras, and used them to prove Macdonald's constant term conjecture in. He has also dealt with algebraic geometry, number theory and Soliton equations. His research interests include representation theory, mathematical physics, and algebraic combinatorics. He is currently the Austin M. Carr Distinguished Professor of mathematics at the University of North Carolina at Chapel Hill.
In algebraic geometry, an affine GIT quotient, or affine geometric invariant theory quotient, of an affine scheme with an action by a group scheme G is the affine scheme , the prime spectrum of the ring of invariants of A, and is denoted by . A GIT quotient is a categorical quotient: any invariant morphism uniquely factors through it.