Reflection (physics)

From formulasearchengine
Revision as of 23:43, 29 January 2014 by en>Materialscientist (Reverted edits by 12.126.226.58 (talk) to last version by 117.216.88.121)
Jump to navigation Jump to search

In mathematics, the Iwahori–Hecke algebra, or Hecke algebra, named for Erich Hecke and Nagayoshi Iwahori, is a one-parameter 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 = (mst),
  • R is a commutative ring with identity.
  • {qs | sS} 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 indeterminants qs (and the above restriction that qs = qt whenever s and t are conjugated), that is A = Z [qTemplate:Su]

Multiparameter Hecke Algebras

The multiparameter Hecke algebra HR(W,S,q) is a unital, associative R-algebra with generators Ts for all sS and relations:

  • Braid Relations: Ts Tt Ts ... = Tt Ts Tt ..., where each side has mst < ∞ factors and s,t belong to S.
  • Quadratic Relation: For all s in S we have: (Ts - qs)(Ts + 1) = 0.

Warning: in recent books and papers, Lusztig has been using a modified form of the quadratic relation that reads (Tsqs1/2)(Ts+qs1/2)=0. After extending the scalars to include the half integer powers qTemplate:Su the resulting Hecke algebra is isomorphic to the previously defined one (but the Ts here corresponds to qTemplate:Su Ts in our notation). While this does not change the general theory, many formulas look different.

Generic Multiparameter Hecke Algebras

HA(W,S,q) is the generic multiparameter Hecke algebra. This algebra is universal in the sense that every other multiparameter Hecke algebra can be obtained from it via the (unique) ring homomorphism AR which maps the indeterminant qsA to the unit qsR. This homomorphism turns R into a A-algebra and the scalar extension HA(W,S)A R is canonically isomorphic to the Hecke algebra HR(W,S,q) as constructed above. One calls this process specialization of the generic algebra.

One-parameter Hecke Algebras

If one specializes every indeterminant qs to a single indeterminant q over the integers (or qTemplate:Su to q½ respectively), then one obtains the so called generic one-parameter Hecke algebra of (W,S).

Since in Coxeter groups with single laced Dynkin diagrams (for example groups of type A and D) every pair of Coxeter generators is conjugated, the above mentioned restriction of qs being equal qt whenever s and t are conjugated in W forces the multiparameter and the one-parameter Hecke algebras to be equal. Therefore it is also very common to only look at one-parameter Hecke algebras.

Coxeter groups with weights

If an integral weight function is defined on W (i.e. a map L:WZ with L(vw)=L(v)+L(w) for all v,wW with l(vw)=l(v)+l(w)), then a common specialization to look at is the one induced by the homomorphism qsqL(s), where q is a single indeterminant over Z.

If one uses the convention with half-integer powers, then weight function L:W → ½Z may be permitted as well. For technical reasons it is also often convenient only to consider positive weight functions.

Properties

1. The Hecke algebra has a basis (Tw)wW over A indexed by the elements of the Coxeter group W. In particular, H is a free A-module. If w=s1s2sn is a reduced decomposition of wW, then Tw=Ts1Ts2Tsn. This basis of Hecke algebra is sometimes called the natural basis. The neutral element of W corresponds to the identity of H: Te = 1.

2. The elements of the natural basis are multiplicative, namely, Tyw=Ty Tw whenever l(yw)=l(y)+l(w), where l denotes the length function on the Coxeter group W.

3. Elements of the natural basis are invertible. For example, from the quadratic relation we conclude that TTemplate:Su = qTemplate:Su Ts + (qTemplate:Su-1).

4. Suppose that W is a finite group and the ground ring is the field C of complex numbers. Jacques Tits has proved that if the indeterminate q is specialized to any complex number outside of an explicitly given list (consisting of roots of unity), then the resulting one parameter Hecke algebra is semisimple and isomorphic to the complex group algebra C[W] (which also corresponds to the specialization q ↦ 1.

5. More generally, if W is a finite group and the ground ring R is a field of characteristic zero, then the one parameter Hecke algebra is a semisimple associative algebra over R[q±1]. Moreover, extending earlier results of Benson and Curtis, George Lusztig provided an explicit isomorphism between the Hecke algebra and the group algebra after the extension of scalars to the quotient field of R[q±½]

Canonical basis

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. A great discovery of Kazhdan and Lusztig was that a Hecke algebra admits a different basis, which in a way controls representation theory of a variety of related objects.

The generic multiparameter Hecke algebra, HA(W,S,q), has an involution bar that maps q½ to q and acts as identity on Z. Then H admits a unique ring automorphism i that is semilinear with respect to the bar involution of A and maps Ts to TTemplate:Su. It can further be proved that this automorphism is involutive (has order two) and takes any Tw to Tw11.

Kazhdan - Lusztig Theorem: For each wW there exists a unique element

Cw

which is invariant under the involution i and if one writes its expansion in terms of the natural basis:

C'w=(q1/2)l(w)ywPy,wTy,

one has the following:

  • Pw,w=1,
  • Py,w in Z[q] has degree less than or equal to ½(l(w)-l(y)-1) if y<w in the Bruhat order,
  • Py,w=0 if yw.

The elements Cw where w varies over W form a basis of the algebra H, which is called the dual canonical basis of the Hecke algebra H. The canonical basis {Cw | wW} is obtained in a similar way. The polynomials Py,w(q) making appearance in this theorem are the Kazhdan–Lusztig polynomials.

The Kazhdan–Lusztig notions of left, right and two-sided cells in Coxeter groups are defined through the behavior of the canonical basis under the action of H.

Hecke algebra of a locally compact group

Iwahori–Hecke algebras first appeared as an important special case of a very general construction in group theory. 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 K-biinvariant continuous functions of compact support, Cc(K\G/K), can be endowed with a structure of an associative algebra under the operation of convolution. This algebra is denoted by H(G//K) and called the Hecke ring of the pair (G,K).

Example: If G = SL(n,Qp) and K = SL(n,Zp) then the Hecke ring is commutative and its representations were studied by Ian G. Macdonald. More generally if (G,K) is a Gelfand pair then the resulting algebra turns out to be commutative.

Example: If G = SL(2,Q) and K = SL(2,Z) we get the abstract ring behind Hecke operators in the theory of modular forms, which gave the name to Hecke algebras in general.

The case leading to the Hecke algebra of a finite Weyl group is when G is the finite Chevalley group over a finite field with pk elements, and B is its Borel subgroup. Iwahori showed that the Hecke ring H(G//B) is obtained from the generic Hecke algebra Hq of the Weyl group W of G by specializing the indeterminate q of the latter algebra to pk, the cardinality of the finite field. George Lusztig remarked in 1984 (Characters of reductive groups over a finite field, xi, footnote):

I think it would be most appropriate to call it the Iwahori algebra, but the name Hecke ring (or algebra) given by Iwahori himself has been in use for almost 20 years and it is probably too late to change it now.

Iwahori and Matsumoto (1965) considered the case when G is a group of points of a reductive algebraic group over a non-archimedean local field K, such as Qp, and K is what is now called an Iwahori subgroup of G. The resulting Hecke ring is isomorphic to the Hecke algebra of the affine Weyl group of G, or the affine Hecke algebra, where the indeterminate q has been specialized to the cardinality of the residue field of K.

Work of Roger Howe in the 1970s and his papers with Allen Moy on representations of p-adic GL(n) opened a possibility of classifying irreducible admissible representations of reductive groups over local fields in terms of appropriately constructed Hecke algebras. (Important contributions were also made by Joseph Bernstein and Andrey Zelevinsky.) These ideas were taken much further in Colin Bushnell and Philip Kutzko's theory of types, allowing them to complete the classification in the general linear case. Many of the techniques can be extended to other reductive groups, which remains an area of active research. It has been conjectured that all Hecke algebras that are ever needed are mild generalizations of affine Hecke algebras.

Representations of Hecke algebras

It follows from Iwahori's work that complex representations of Hecke algebras of finite type are intimately related with the structure of the spherical principal series representations of finite Chevalley groups.

George Lusztig pushed this connection much further and was able to describe most of the characters of finite groups of Lie type in terms of representation theory of Hecke algebras. This work used a mixture of geometric techniques and various reductions, led to introduction of various objects generalizing Hecke algebras and detailed understanding of their representations (for q not a root of unity). Modular representations of Hecke algebras and representations at roots of unity turned out to be related with the theory of canonical bases in affine quantum groups and very interesting combinatorics.

Representation theory of affine Hecke algebras was developed by Lusztig with a view towards applying it to description of representations of p-adic groups. It is in many ways quite different in flavor from the finite case. A generalization of affine Hecke algebras, called double affine Hecke algebra, was used by Ivan Cherednik in his proof of the Macdonald conjectures.

References