Last update: 23 April 2014
This is an excerpt of the paper Notes on Affine Hecke Algebras I. (Degenerated Hecke Algebras and Yangians in Mathematical Physics) by Ivan Cherednik.
There are several possibilities to generalize and extend the above constructions. I shall try to outline only some of them connected with the two-dimensional conformal field theory.
First of all, one can substitute everywhere the of Yang's It is written as where are the generators of the Hecke algebra They satisfy the following defining relations for For we arrive at
The function was found independently in (one-dimensional) mathematical physics as some solution of (16) and in the theory of representations of affine Hecke algebras as an interwiner (see [Che1987] for some details). The latter are defined as but with the term in place of in formula (19a), where one should substitute for In papers for a prime This way of definition is due to Bernstein, Zelevinsky. In many works are considered in some natural representation of in (Wenzl, Baxter).
Since we have two elements being on equal grounds. We omit the arguments, but it results in two possible pictures for two-particle instead of the only one above. We can consider intersecting as a passage of a particle over or under the other.
The from (36) is unitary after a proper normalization. But in other non-unitary theories this note can be important.
We have assumed the two-particle intersections to be the only elementary processes. But one can disagree with this assumption. Look at fig. 3a. There is a certain process between the intersections and of the corresponding particles. The particle with the angle should move away from the particle with after the first intersection and approach particle This transference may be quantum as well. (In fact, any movement can be quantum in some general theory).
Let us consider the arranged symbols which are from sec. 1 with some complete set of brackets between some For example, are complete but is not. The correct arranged symbol should be either or Here we have omitted Physically, the last symbol can be interpreted as follows: the particles are very close one to another, is close to or (it is all the same, since and are very close, more close than to each of them), is close to the pair is not close to the triple In fact, we have the ordered sequence of relations "not close, close, very close, very very close and so on" on the set of
Formally speaking, a system of brackets is not complete if contains a segment of type for some arranged symbols In this case and are at the same level (close, very close, ...) with respect to We forbid it, that resembles very much the Pauli principle in quantum mechanics.
Given some arranged for any we can define to following two elementary operations. One can interchange two adjacent terms and but only if they are in brackets. The corresponding quantum will be introduced like in sec. 1-3. Another operation (written is the passage for some arranged or the analogous transformation from to Given the corresponding (if any) can be found uniquely. For example, where are the amplitudes from the in-state, where is more close to than to to the out-state, where is more close to
In a contrast with sec. 1 these two operations (processes) exist only for some E.g. let us consider One can apply only the operations to this It is quite natural to postulate the identities The reason is that and induce for the same changes of brackets. It holds true for the permutations and changes of brackets in the case or as well. The other relations are of the following type (see fig. 3). We begin with and use here the abbreviations and so on. One has This equality is quite analogous to identity (2.6) from [MSe1989] (see also [Dri1989-2]). It is small wonder since our symbolic language and appropriate pictures are very close to these of [MSe1989,Dri1989-2].
Here we assume that depend on the corresponding parameters in the natural order. In general, can depend on many indices and parameters. E.g. for (39) may have 4 matrix indices and be a function of In some sense the order of and is not important for since they both are at the same level with respect to In particular, the dependence of on the indices of should be symmetric. The development of this point can give some version of the axiom system from [MSe1989], where any are defined by means of the comultiplication in terms of the least possible (with 3 matrix indices). The penthagone relation arises in this way. We note that our angles are, in fact, parallel to the conformal dimensions (see e.g. [Dri1989-2]).
I'd like to give another example of connections between the two-dimensional conformal theory and the affine Hecke algebras. The so-called Knizhnik-Zamolodchikov equation for the n-point function of the Wess-Zumino-Witten model can be written in terms of only. It has the following natural "affine" generalization where takes its values in the algebra generated by and some operators with the relations Here are the usual transposition, It is easy to show (see [Che1991]), that the cross-derivative integrability conditions for (40) are equivalent to the relations The latter (together with the conditions coincide with the defining relations for (sec. 5) if Hence, this should be 6ome quotient of the degenerated affine Hecke algebra
To get the usual Knizhnik-Zamolodchikov equation one should put for any It gives us the so-called Murphy surjection of onto (see [Dri1986]). This homorphism of algebras is important in the theory of For example, the centre of is generated by symmetric polynomials in the images of (cf. theorem 3 and [Che1987]).
To finish this part of my notes I will describe without going into detail some quantum counterpart of (41).
Let us consider the space with the glass at the point It is transparent for particles from sec. 1, but passing through this glass is assumed to be quantum. One can connect with this process two one-index matrices respectively for and (see fig. 9). E.g. for The factorization relations are close to (6). We will write them down in term of Of course, should be a solution of (8) as well.
These equalities hold true (follow from (8)) if one formally substitute where is some other tensor index. Really, the transmission through the glass can be interpreted as intersecting with the particle of angle and colour where the latter does not change its colour in any quantum interactions.
The natural problem is to combine mirrors (not more than 2), polarizations (any number) and glasses (any number) in one picture. Then to consider more complicated spaces (circumferences, elliptic curves) and find interesting examples. Only some fragments of this heavy construction are clear (see [Che1984,Che1991,MSe1989]).
Let (see sec. 5), We can consider (42) over in a natural manner. One identifies permutations with the corresponding matrices and supposes to be some undeterminate functions with the following action of We have as Let us impose the analogical restrictions on (in particular, Then (42) results in (41).