|
Iwahori–Hecke Algebra
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. Hecke algebras are quotients of the group rings of Artin braid groups. This connection found a spectacular application in Vaughan Jones' construction of new invariants of knots. Representations of Hecke algebras led to discovery of quantum groups by Michio Jimbo. Michael Freedman proposed Hecke algebras as a foundation for topological quantum computation. Hecke algebras of Coxeter groups Start with the following data: * (''W'', ''S'') is a Coxeter system with the Coxeter matrix ''M'' = (''m''''st''), * ''R'' is a commutative ring with identity. * is a family of units of ''R'' such that ''qs'' = ''qt'' whenever ''s'' and ''t'' are conjugate in ''W'' * ''A'' is the ring of Laurent polynomials over Z with indeterminates ''qs'' (and the above restriction that ''qs'' = ''qt'' whenever ''s'' and ''t'' are conjugate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Erich Hecke
Erich Hecke (20 September 1887 – 13 February 1947) was a German mathematician known for his work in number theory and the theory of modular forms. Biography Hecke was born in Buk, Province of Posen, German Empire (now Poznań, Poland). He obtained his doctorate in Göttingen under the supervision of David Hilbert. Kurt Reidemeister and Heinrich Behnke were among his students. In 1933 Hecke signed the '' Loyalty Oath of German Professors to Adolf Hitler and the National Socialist State''. Hecke died in Copenhagen, Denmark. André Weil, in the foreword to his text Basic Number Theory says: "To improve upon Hecke, in a treatment along classical lines of the theory of algebraic numbers, would be a futile and impossible task", referring to Hecke's book "Lectures on the Theory of Algebraic Numbers." Research His early work included establishing the functional equation for the Dedekind zeta function, with a proof based on theta functions. The method extended to the L-functions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semisimple Algebra
In ring theory, a branch of mathematics, a semisimple algebra is an associative artinian algebra over a field which has trivial Jacobson radical (only the zero element of the algebra is in the Jacobson radical). If the algebra is finite-dimensional this is equivalent to saying that it can be expressed as a Cartesian product of simple subalgebras. Definition The Jacobson radical of an algebra over a field is the ideal consisting of all elements that annihilate every simple left-module. The radical contains all nilpotent ideals, and if the algebra is finite-dimensional, the radical itself is a nilpotent ideal. A finite-dimensional algebra is then said to be ''semisimple'' if its radical contains only the zero element. An algebra ''A'' is called ''simple'' if it has no proper ideals and ''A''2 = ≠ . As the terminology suggests, simple algebras are semisimple. The only possible ideals of a simple algebra ''A'' are ''A'' and . Thus if ''A'' is simple, then ''A'' is not nilpoten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modular Forms
In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group, and also satisfying a growth condition. The theory of modular forms therefore belongs to complex analysis but the main importance of the theory has traditionally been in its connections with number theory. Modular forms appear in other areas, such as algebraic topology, sphere packing, and string theory. A modular function is a function that is invariant with respect to the modular group, but without the condition that be holomorphic in the upper half-plane (among other requirements). Instead, modular functions are meromorphic (that is, they are holomorphic on the complement of a set of isolated points, which are poles of the function). Modular form theory is a special case of the more general theory of automorphic forms which are functions defined on Lie groups which transform nicely wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hecke Operators
In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by , 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. History used Hecke operators on modular forms in a paper on the special cusp form of Ramanujan, ahead of the general theory given by . Mordell proved that the Ramanujan tau function, expressing the coefficients of the Ramanujan form, : \Delta(z)=q\left(\prod_^(1-q^n)\right)^= \sum_^ \tau(n)q^n, \quad q=e^, is a multiplicative function: : \tau(mn)=\tau(m)\tau(n) \quad \text (m,n)=1. The idea goes back to earlier work of Adolf Hurwitz, who treated algebraic correspondences between modular curves which realise some individual Hecke operators. Mathematical description Hecke operators can be realized in a number of contexts. The simplest meaning is combinatorial, namely as taking for a given integer some functio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gelfand Pair
In mathematics, a Gelfand pair is a pair ''(G,K)'' consisting of a Group (mathematics), group ''G'' and a subgroup ''K'' (called an Euler subgroup of ''G'') that satisfies a certain property on restricted representations. The theory of Gelfand pairs is closely related to the topic of Zonal spherical function, spherical functions in the classical theory of special functions, and to the theory of Riemannian symmetric spaces in differential geometry. Broadly speaking, the theory exists to abstract from these theories their content in terms of harmonic analysis and representation theory. When ''G'' is a finite group the simplest definition is, roughly speaking, that the ''(K,K)''-double cosets in ''G'' commute. More precisely, the Hecke algebra of a finite group, Hecke algebra, the algebra of functions on ''G'' that are invariant under translation on either side by ''K'', should be commutative for the convolution on ''G''. In general, the definition of Gelfand pair is roughly that the r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ian G
Ian or Iain is a name of Scottish Gaelic origin, derived from the Hebrew given name (Yohanan, ') and corresponding to the English name John. The spelling Ian is an Anglicization of the Scottish Gaelic forename ''Iain''. It is a popular name in Scotland, where it originated, as well as other English-speaking countries. The name has fallen out of the top 100 male baby names in the United Kingdom, having peaked in popularity as one of the top 10 names throughout the 1960s. In 1900, Ian was the 180th most popular male baby name in England and Wales. , the name has been in the top 100 in the United States every year since 1982, peaking at 65 in 2003. Other Gaelic forms of "John" include "Seonaidh" ("Johnny" from Lowland Scots), "Seon" (from English), "Seathan", and "Seán" and " Eoin" (from Irish). Its Welsh counterpart is Ioan, its Cornish equivalent is Yowan and Breton equivalent is Yann. Notable people named Ian As a first name (alphabetical by family name) *Ian Agol (born 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convolution
In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions ( and ) that produces a third function (f*g) that expresses how the shape of one is modified by the other. The term ''convolution'' refers to both the result function and to the process of computing it. It is defined as the integral of the product of the two functions after one is reflected about the y-axis and shifted. The choice of which function is reflected and shifted before the integral does not change the integral result (see #Properties, commutativity). The integral is evaluated for all values of shift, producing the convolution function. Some features of convolution are similar to cross-correlation: for real-valued functions, of a continuous or discrete variable, convolution (f*g) differs from cross-correlation (f \star g) only in that either or is reflected about the y-axis in convolution; thus it is a cross-c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Support
In mathematics, the support of a real-valued function f is the subset of the function domain containing the elements which are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used very widely in mathematical analysis. Formulation Suppose that f : X \to \R is a real-valued function whose domain is an arbitrary set X. The of f, written \operatorname(f), is the set of points in X where f is non-zero: \operatorname(f) = \. The support of f is the smallest subset of X with the property that f is zero on the subset's complement. If f(x) = 0 for all but a finite number of points x \in X, then f is said to have . If the set X has an additional structure (for example, a topology), then the support of f is defined in an analogous way as the smallest subset of X of an appropriate type such that f vanishes in an appropriate sense on its complement. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuous Function
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value, known as '' discontinuities''. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is . Up until the 19th century, mathematicians largely relied on intuitive notions of continuity, and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity. Continuity is one of the core concepts of calculus and mathematical analysis, where arguments and values of functions are real and complex numbers. The concept has been generalized to functions between metric spaces and between topological spaces. The latter are the mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Compact Topological Group
In mathematics, a locally compact group is a topological group ''G'' for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are locally compact and such groups have a natural measure called the Haar measure. This allows one to define integrals of Borel measurable functions on ''G'' so that standard analysis notions such as the Fourier transform and L^p spaces can be generalized. Many of the results of finite group representation theory are proved by averaging over the group. For compact groups, modifications of these proofs yields similar results by averaging with respect to the normalized Haar integral. In the general locally compact setting, such techniques need not hold. The resulting theory is a central part of harmonic analysis. The representation theory for locally compact abelian groups is described by Pontryagin duality. Examples and counterexamples *An ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unimodular Group
In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups. This measure was introduced by Alfréd Haar in 1933, though its special case for Lie groups had been introduced by Adolf Hurwitz in 1897 under the name "invariant integral". Haar measures are used in many parts of analysis, number theory, group theory, representation theory, statistics, probability theory, and ergodic theory. Preliminaries Let (G, \cdot) be a locally compact Hausdorff topological group. The \sigma-algebra generated by all open subsets of G is called the Borel algebra. An element of the Borel algebra is called a Borel set. If g is an element of G and S is a subset of G, then we define the left and right translates of S by ''g'' as follows: * Left translate: g S = \. * Right translate: S g = \. Left and right translates map Borel sets onto Borel sets. A measure \mu on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
