We study a pair of commuting difference operators arising from the elliptic C_2^{(1)}-face model. The operators, whose coefficients are expressed in terms of the Jacobi's elliptic theta function, act on the space of meromorphic functions on the weight space of the C_2 type simple Lie algebra. We show that the space of functions spanned by the level one characters of the affine Lie algebra sp(4,C) is invariant under the action of the difference operators.
For quantum integrable models with elliptic R-matrix, we construct the Baxter Q-operator in infinite-dimensional representations of the algebra of observables.
For Belavin's elliptic quantum R-matrix, we construct an L-operator as a set of difference operators acting on functions on the type A weight space. According to the fundamental relation $RLL=LLR$, the trace of the L-operator gives a commuting difference operators. We show that for the above mentioned L-operator this approach gives Macdonald type operators with elliptic theta function coefficient, actually equivalent to Ruijsenaars' operators. The relationship between the difference L-operator and Krichever's Lax matrix as well as other approaches for the elliptic commuting system is given. We…
We study two types of dynamical extensions of Lucas sequences and give elliptic solutions for them. The first type concerns a level-dependent (or discrete time-dependent) version involving commuting variables. We show that a nice solution for this system is given by elliptic numbers. The second type involves a non-commutative version of Lucas sequences which defines the non-commutative (or abstract) Fibonacci polynomials introduced by Johann Cigler. If the non-commuting variables are specialized to be elliptic-commuting variables the abstract Fibonacci polynomials become non-commutative ellipt…
The elliptic Ding-Iohara algebra is an elliptic quantum group obtained from the free field realization of the elliptic Macdonald operator. In this article, we show the construction of two families of commuting operators which contain the elliptic Macdonald operator by using the elliptic Ding-Iohara algebra and the elliptic Feigin-Odesskii algebra.
We quantize the coordinate ring of the moduli space of B-bundles on the elliptic curve. Here B is a Borel subgroup of some semisimple Lie group. We construct some representations of these algebras and study intertwining operators for these representations. We apply our constructions to produce some objects: the elliptic Belavin R-matrix, the quantization of the algebra of functions on the Grassmannian, some generalized elliptic R-matrix. We consider also the affine case and write down the explicit formula for commuting elements.
In the paper [J. Math. Phys. 50 (2009), 095215, 42 pages, arXiv:0904.2291], Feigin, Hashizume, Hoshino, Shiraishi, and Yanagida constructed two families of commuting operators which contain the Macdonald operator (commutative families of the Macdonald operator). They used the Ding-Iohara-Miki algebra and the trigonometric Feigin-Odesskii algebra. In the previous paper [arXiv:1301.4912], the present author constructed the elliptic Ding-Iohara-Miki algebra and the free field realization of the elliptic Macdonald operator. In this paper, we show that by using the elliptic Ding-Iohara-Miki algebra…
We discuss a class of generalized divided difference operators which give rise to a representation of Nichols-Woronowicz algebras associated to Weyl groups. For the root system of type $A,$ we also study the condition for the deformations of the Fomin-Kirillov quadratic algebra, which is a quadratic lift of the Nichols-Woronowicz algebra, to admit a representation given by generalized divided difference operators. The relations satisfied by the mutually commuting elements called Dunkl elements in the deformed Fomin-Kirillov algebra are determined. The Dunkl elements correspond to the truncated…
The zipper condition for $4$-tensors in two-dimensional topological order and the higher relative commutants of a subfactor arising from a commuting square
iTHEMS Research Group, RIKEN（理化学研究所 iTHEMS 研究组）；Kavli IPMU (WPI), the University of Tokyo（东京大学 Kavli 宇宙物理数学统一中心（世界顶尖研究中心））
We construct some new Integrable Systems (IS) both classical and quantum associated with elliptic algebras. Our constructions are partly based on the algebraic integrability mechanism given by the existence of commuting families in skew fields and partly - on the internal properties of the elliptic algebras and their representations. We give some examples to make an evidence how these IS are related to previously studied.
We study a pair of commuting difference operators arising from the elliptic solution of the dynamical Yang-Baxter equation of type C_2. The operators act on the space of meromorphic functions on the weight space of sp(4,C). We show that these operators can be identified with the system by van Diejen and by Komori-Hikami with special parameters. It turns out that our case can be related to the difference Lame operator (two-body Ruijsenaars operator) and thereby we diagonalize the system on the finite dimensional space spanned by the level one characters of the C_2^{(1)}-affine Lie algebra.
We construct symmetric and exterior powers of the vector representation of the elliptic quantum groups $E_{τ,η}(gl_N)$. The corresponding transfer matrices give rise to various integrable difference equations which could be solved in principle by the nested Bethe ansatz method. In special cases we recover the Ruijsenaars systems of commuting difference operators.
The Ding-Iohara algebra is a quantum algebra arising from the free field realization of the Macdonald operator. Starting from the elliptic kernel function introduced by Komori, Noumi and Shiraishi, we can define an elliptic analog of the Ding-Iohara algebra. The free field realization of the elliptic Macdonald operator is also constructed.
We describe integrable elliptic q-deformed anisotropic long-range spin chain. The derivation is based on our recent construction for commuting anisotropic elliptic spin Ruijsenaars-Macdonald operators. We prove that the Polychronakos freezing trick can be applied to these operators, thus providing the commuting set of Hamiltonians for long-range spin chain constructed by means of the elliptic Baxter-Belavin ${\rm GL}_M$ $R$-matrix. Namely, we show that the freezing trick is reduced to a set of elliptic function identities, which are then proved. These identities can be treated as conditions fo…
We define the elliptic quantum group $E_{τ,η}(so_3)$ and the transfer matrix corresponding to its simplest highest weight representation. We use Bethe anstaz method to construct the creation operators as polynomials of the Lax matrix elements expressed through a recurrence relation. We give common eigenvectors and eigenvalues of the family of commuting transfer matrices.
We recall the definitions of two independently defined elliptic versions of the Kashiwara-Vergne Lie algebra $\frak{krv}$, namely the Lie algebra $\frak{krv}^{(1,1)}$ constructed by A.Alekseev, N.Kawazumi, Y.Kuno and F.Naef arising from the study of graded formality isomorphisms associated to topological fundamental groups of surfaces, and the Lie algebra $\frak{krv}_{ell}$ defined using mould theoretic techniques arising from multiple zeta theory by E.Raphael and L.Schneps, and show that they coincide.
We implement the Bethe anstaz method for the elliptic quantum group $E_{τ,η}(A_2^{(2)})$. The Bethe creation operators are constructed as polynomials of the Lax matrix elements expressed through a recurrence relation. We also give the eigenvalues of the family of commuting transfer matrices defined in the tensor product of fundamental representations.
In this paper we compute the convolution algebra in the equivariant K-theory of the Hilbert scheme of A^2. We show that it is isomorphic to the elliptic Hall algebra, and hence to the spherical DAHA of GL_\infty. We explain this coincidence via the geometric Langlands correspondence for elliptic curves, by relating it also to the convolution algebra in the equivariant K-theory of the commuting variety. We also obtain a few other related results (action of the elliptic Hall algebra on the K-theory of the moduli space of framed torsion free sheaves over P^2, virtual fundamental classes, shuffle …
The infinite number of particles limit in the dual to elliptic Ruijsenaars model (coordinate trigonometric degeneration of quantum double elliptic model) is proposed using the Nazarov-Sklyanin approach. For this purpose we describe double-elliptization of the Cherednik construction. Namely, we derive explicit expression in terms of the Cherednik operators, which reduces to the generating function of Dell commuting Hamiltonians on the space of symmetric functions. Although the double elliptic Cherednik operators do not commute, they can be used for construction of the $N\rightarrow \infty$ limi…
The 'relativistic' Heun equation is an 8-coupling difference equation that generalizes the 4-coupling Heun differential equation. It can be viewed as the time-independent Schrödinger equation for an analytic difference operator introduced by van Diejen. We study Hilbert space features of this operator and its 'modular partner', based on an in-depth analysis of the eigenvectors of a Hilbert-Schmidt integral operator whose integral kernel has a previously known relation to the two difference operators. With suitable restrictions on the parameters, we show that the commuting difference operators …
A weight-dependent generalization of the binomial theorem for noncommuting variables is presented. This result extends the well-known binomial theorem for q-commuting variables by a generic weight function depending on two integers. For a special case of the weight function, restricting it to depend on only a single integer, the noncommutative binomial theorem involves an expansion of complete symmetric functions. Another special case concerns the weight function to be a suitably chosen elliptic (i.e., doubly-periodic meromorphic) function, in which case an elliptic generalization of the binom…
The purpose of this article is to demonstrate that i) the framework of elliptic hypergeometric integrals (EHIs) can be extended by input from supersymmetric gauge theory, and ii) analyzing the hyperbolic limit of the EHIs in the extended framework leads to a rich structure containing sharp mathematical problems of interest to supersymmetric quantum field theorists. Both of the above items have already been discussed in the theoretical physics literature. Item i was demonstrated by Dolan and Osborn in 2008. Item ii was discussed in the present author's Ph.D. Thesis in 2016, wherein crucial elem…
We construct a category of flat vector bundles on an elliptic curve. It arises in the representation theory of quantum affine algebras and carries meromorphic braided structure with singularities on the diagonal of the square of the curve.
The algebra su(2) is derived from two commuting quon algebras for which the parameter q is a root of unity. This leads to a polar decomposition of the shift operators of the group SU(2). The Wigner-Racah algebra of SU(2) is developed in a new basis arising from the simultanenous diagonalization of two commuting operators, viz., the Casimir of SU(2) and a unitary operator which takes its origin in the polar decomposition of the shift operators of SU(2).
