Showing 151–193 of 193 results for author: Varchenko, A

Solutions of Trigonometric KZ Equations satisfy Dynamical Difference Equations

Authors: Y. Markov, A. Varchenko

Abstract: The trigonometric KZ equations associated to a Lie algebra \g depend on a parameter λin \h where \h is a Cartan subalgebra of \g. A system of dynamical difference equations with respect to λcompatible with the KZ equations is introduced in Tarasov and Varchenko. We prove that the standard hypergeometric solutions of the trigonometric KZ equations associated to sl_N also satisfy the dynamical dif… ▽ More The trigonometric KZ equations associated to a Lie algebra \g depend on a parameter λin \h where \h is a Cartan subalgebra of \g. A system of dynamical difference equations with respect to λcompatible with the KZ equations is introduced in Tarasov and Varchenko. We prove that the standard hypergeometric solutions of the trigonometric KZ equations associated to sl_N also satisfy the dynamical difference equations. △ Less

Submitted 30 March, 2001; originally announced March 2001.

Comments: AMS-LaTeX, 38 pages, 9 figures

MSC Class: 35Q40; 17B10

Special functions, conformal blocks, Bethe ansatz, and SL(3,Z)

Authors: G. Felder, A. Varchenko

Abstract: This is the talk of the second author at the meeting "Topological Methods in Physical Sciences", London, November 2000. We review our work on KZB equations. This is the talk of the second author at the meeting "Topological Methods in Physical Sciences", London, November 2000. We review our work on KZB equations. △ Less

Submitted 16 January, 2001; originally announced January 2001.

Comments: 10 pages, AMSLaTeX

MSC Class: 81T40; 33C67

Journal ref: Phil.Trans.Roy.Soc.Lond.A359:1365-1374,2001

Small Elliptic Quantum Group $e_{tau,γ}(sl_N)$

Authors: V. Tarasov, A. Varchenko

Abstract: The small elliptic quantum group $e_{τ,γ}(sl_N)$, introduced in the paper, is an elliptic dynamical analogue of the universal enveloping algebra $U(sl_n)$. We define highest weight modules, Verma modules and contragradient modules over $e_{τ,γ}(sl_N)$, the dynamical Shapovalov form for $e_{τ,γ}(sl_N)$ and the contravariant form for highest weight $e_{τ,γ}(sl_N)$-modules. We show that any finite-… ▽ More The small elliptic quantum group $e_{τ,γ}(sl_N)$, introduced in the paper, is an elliptic dynamical analogue of the universal enveloping algebra $U(sl_n)$. We define highest weight modules, Verma modules and contragradient modules over $e_{τ,γ}(sl_N)$, the dynamical Shapovalov form for $e_{τ,γ}(sl_N)$ and the contravariant form for highest weight $e_{τ,γ}(sl_N)$-modules. We show that any finite-dimensional $sl_N$-module and any Verma module over $sl_N$ can be lifted to the corresponding $e_{τ,γ}(sl_N)$-module on the same vector space. For the elliptic quantum group $E_{τ,γ}(sl_N)$ we construct the evaluation morphism $E_{τ,γ}(sl_N)\to e_{τ,γ}(sl_N)$, thus making any $e_{τ,γ}(sl_N)$-module into an evaluation $E_{τ,γ}(sl_N)$-module. △ Less

Submitted 14 May, 2001; v1 submitted 20 November, 2000; originally announced November 2000.

Comments: 34 pages, amstex.tex (ver. 2.1), misprints are corrected

Report number: Preprint MPI 00-113 (2000)

Journal ref: Moscow Math. J. 1 (2001) no.2

Dynamical Weyl groups and applications

Authors: Pavel Etingof, Alexander Varchenko

Abstract: Following a preceding paper of Tarasov and the second author, we define and study a new structure, which may be regarded as the dynamical analogue of the Weyl group for Lie algebras and of the quantum Weyl group for quantized enveloping algebras. We give some applications of this new structure. Following a preceding paper of Tarasov and the second author, we define and study a new structure, which may be regarded as the dynamical analogue of the Weyl group for Lie algebras and of the quantum Weyl group for quantized enveloping algebras. We give some applications of this new structure. △ Less

Submitted 31 October, 2000; originally announced November 2000.

Comments: 45 pages, latex

Difference Equations Compatible with Trigonometric KZ Differential Equations

Authors: V. Tarasov, A. Varchenko

Abstract: The trigonometric KZ equations associated with a Lie algebra $\g$ depend on a parameter $λ\in\h$ where $\h\subset\g$ is the Cartan subalgebra. We suggest a system of dynamical difference equations with respect to $λ$ compatible with the KZ equations. The dynamical equations are constructed in terms of intertwining operators of $\g$-modules. The trigonometric KZ equations associated with a Lie algebra $\g$ depend on a parameter $λ\in\h$ where $\h\subset\g$ is the Cartan subalgebra. We suggest a system of dynamical difference equations with respect to $λ$ compatible with the KZ equations. The dynamical equations are constructed in terms of intertwining operators of $\g$-modules. △ Less

Submitted 24 April, 2000; v1 submitted 16 February, 2000; originally announced February 2000.

Comments: 23 pages, AmsTeX, third version, some misprints were corrected

MSC Class: 17B10; 81R05; 39A05

Differential Equations Compatible with KZ Equations

Authors: G. Felder, Y. Markov, V. Tarasov, A. Varchenko

Abstract: We define a system of "dynamical" differential equations compatible with the KZ differential equations. The KZ differential equations are associated to a complex simple Lie algebra $\mathbf{g}$. These are equations on a function of $n$ complex variables $z_i$ taking values in the tensor product of $n$ finite dimensional $\mathbf{g}$-modules. The KZ equations depend on the "dual" variable in the… ▽ More We define a system of "dynamical" differential equations compatible with the KZ differential equations. The KZ differential equations are associated to a complex simple Lie algebra $\mathbf{g}$. These are equations on a function of $n$ complex variables $z_i$ taking values in the tensor product of $n$ finite dimensional $\mathbf{g}$-modules. The KZ equations depend on the "dual" variable in the Cartan subalgebra of $\mathbf{g}$. The dynamical differential equations are differential equations with respect to the dual variable. We prove that the standard hypergeometric solutions of the KZ equations also satisfy the dynamical equations. As an application we give a new determinant formula for the coordinates of a basis of hypergeometric solutions. △ Less

Submitted 31 January, 2000; originally announced January 2000.

Comments: 34 pages, LaTeX

MSC Class: 35Q40; 17B10; 17B56; 81R10; 33C80

Traces of intertwiners for quantum groups and difference equations, I

Authors: Pavel Etingof, Alexander Varchenko

Abstract: The main object considered in this paper is the trace function, defined as a suitably normalized trace of a product of intertwining operators for the Drinfeld-Jimbo quantum group, multiplied by the exponential of an element of the Cartan subalgebra. This function depends of two parameters -- the element of the Cartan subalgebra, and the highest weight of the Verma module in which the trace is ta… ▽ More The main object considered in this paper is the trace function, defined as a suitably normalized trace of a product of intertwining operators for the Drinfeld-Jimbo quantum group, multiplied by the exponential of an element of the Cartan subalgebra. This function depends of two parameters -- the element of the Cartan subalgebra, and the highest weight of the Verma module in which the trace is taken. The main results of the paper are that the trace function satisfies two systems of difference equations with respect to the first parameter (the quantum Knizhnik-Zamolodchikov-Bernard and Macdonald-Ruijsenaars equations), and that it is symmetric with respect to the two parameters. In particular, this implies that for each of the above two systems of equations there is the dual system with respect to the second parameter, which is also satisfied by the trace function. The paper establishes a connection between the I.Frenkel-Reshetikhin theory of quantum conformal blocks, the work of Felder-Mukhin-Tarasov-Varchenko on the quantum KZB and Ruijsenaars equations, the work of Etingof-I.Frenkel- Kirillov Jr.-Styrkas on traces of intetwining operators, and the Macdonald- Cherednik theory. The methods of the paper are based on the theory of dynamical twists and R-matrices. △ Less

Submitted 7 March, 2000; v1 submitted 27 July, 1999; originally announced July 1999.

Comments: 38 pages, amstex; some misprints and small errors were corrected in the new version

The elliptic gamma function and SL(3,Z) x Z^3

Authors: Giovanni Felder, Alexander Varchenko

Abstract: The elliptic gamma function is a generalization of the Euler gamma function and is associated to an elliptic curve. Its trigonometric and rational degenerations are the Jackson q-gamma function and the Euler gamma function, respectively. The elliptic gamma function appears in Baxter's formula for the free energy of the eight-vertex model and in the hypergeometric solutions of the elliptic qKZB e… ▽ More The elliptic gamma function is a generalization of the Euler gamma function and is associated to an elliptic curve. Its trigonometric and rational degenerations are the Jackson q-gamma function and the Euler gamma function, respectively. The elliptic gamma function appears in Baxter's formula for the free energy of the eight-vertex model and in the hypergeometric solutions of the elliptic qKZB equations. In this paper, the properties of this function are studied. In particular we show that elliptic gamma functions are generalizations of automorphic forms of G=SL(3,Z) x Z^3 associated to a non-trivial class in H^3(G,Z). △ Less

Submitted 23 July, 1999; v1 submitted 12 July, 1999; originally announced July 1999.

Comments: 27 pages, LaTeX References added, minor corrections

Journal ref: Adv. Math. 156(2000), 44-76

Resonance Relations for Solutions of the Elliptic QKZB Equations, Fusion Rules, and Eigenvectors of Transfer Matrices of Restricted Interaction-round-a-face Models

Authors: Giovanni Felder, Alexander Varchenko

Abstract: Conformal blocks for the WZW model on tori can be represented by vector valued Weyl anti-symmetric theta functions on the Cartan subalgebra satisfying vanishing conditions on root hyperplanes. We introduce a quantum version of these vanishing conditions in the sl(2) case. They are compatible with the qKZB equations and are obeyed by the hypergeometric solutions as well as by their critical level… ▽ More Conformal blocks for the WZW model on tori can be represented by vector valued Weyl anti-symmetric theta functions on the Cartan subalgebra satisfying vanishing conditions on root hyperplanes. We introduce a quantum version of these vanishing conditions in the sl(2) case. They are compatible with the qKZB equations and are obeyed by the hypergeometric solutions as well as by their critical level counterpart, which are Bethe eigenfunctions of IRF row-to-row transfer matrices. In the language of IRF models the vanishing conditions turn out to be equivalent to the sl(2) fusion rules defining restricted models. △ Less

Submitted 25 January, 1999; originally announced January 1999.

Comments: 64 pages, latex

Remarks on critical points of phase functions and norms of Bethe vectors

Authors: Evgeny Mukhin, Alexander Varchenko

Abstract: We consider a tensor product of a Verma module and the linear representation of $sl(n+1)$. We prove that the corresponding phase function, which is used in the solutions of the KZ equation with values in the tensor product, has a unique critical point and show that the Hessian of the logarithm of the phase function at this critical point equals the Shapovalov norm of the corresponding Bethe vect… ▽ More We consider a tensor product of a Verma module and the linear representation of $sl(n+1)$. We prove that the corresponding phase function, which is used in the solutions of the KZ equation with values in the tensor product, has a unique critical point and show that the Hessian of the logarithm of the phase function at this critical point equals the Shapovalov norm of the corresponding Bethe vector. △ Less

Submitted 14 October, 1998; originally announced October 1998.

MSC Class: Latex; 5 pages

Functorial properties of the hypergeometric map

Authors: E. Mukhin, A. Varchenko

Abstract: The quantized Knizhnik-Zamolodchikov equation is a difference equation defined in terms of rational $R$ matrices. We describe all singularities of hypergeometric solutions to the qKZ equations. The quantized Knizhnik-Zamolodchikov equation is a difference equation defined in terms of rational $R$ matrices. We describe all singularities of hypergeometric solutions to the qKZ equations. △ Less

Submitted 30 September, 1998; originally announced September 1998.

Comments: Latex, 23 pages

The q-deformed Knizhnik-Zamolodchikov-Bernard heat equation

Authors: Giovanni Felder, Alexander Varchenko

Abstract: We introduce a q-deformation of the genus one sl_2 Knizhnik-Zamolodchikov-Bernard heat equation. We show that this equation for the dependence on the moduli of elliptic curves is compatible with the qKZB equations, which give the dependence on the marked points. We introduce a q-deformation of the genus one sl_2 Knizhnik-Zamolodchikov-Bernard heat equation. We show that this equation for the dependence on the moduli of elliptic curves is compatible with the qKZB equations, which give the dependence on the marked points. △ Less

Submitted 2 December, 2000; v1 submitted 24 September, 1998; originally announced September 1998.

Comments: 18 pages, 1 figure, Latex. Revised and expanded version, with a new section on conformal blocks

Journal ref: Comm. Math. Phys. 221 (2001), no. 3, 549--571

Exchange dynamical quantum groups

Authors: Pavel Etingof, Alexander Varchenko

Abstract: For any simple Lie algebra g and any complex number q which is not zero or a nontrivial root of unity, we construct a dynamical quantum group (Hopf algebroid), whose representation theory is essentially the same as the representation theory of the quantum group U_q(g). This dynamical quantum group is obtained from the fusion and exchange relations between intertwining operators in representation… ▽ More For any simple Lie algebra g and any complex number q which is not zero or a nontrivial root of unity, we construct a dynamical quantum group (Hopf algebroid), whose representation theory is essentially the same as the representation theory of the quantum group U_q(g). This dynamical quantum group is obtained from the fusion and exchange relations between intertwining operators in representation theory of U_q(g), and is an algebraic structure standing behind these relations. △ Less

Submitted 6 February, 1999; v1 submitted 29 January, 1998; originally announced January 1998.

Comments: 30 pages, latex; two short sections and some remarks were added

Report number: DQG-3

Solutions of the qKZB Equation in Tensor Products of finite dimensional modules over the elliptic quantum group $E_{τ,η}sl_2$

Authors: E. Mukhin, A. Varchenko

Abstract: We consider the quantized Knizhnik-Zamolodchikov-Bernard difference equation (qKZB) with step $p$ and values in a tensor product of finite dimensional evaluation modules over the elliptic quantum group $E_{τ,η}(sl_2)$, the equation defined in terms of elliptic dynamical R-matrices. We solve the equation in terms of multidimensional q-hypergeometric integrals and describe its monodromy properties… ▽ More We consider the quantized Knizhnik-Zamolodchikov-Bernard difference equation (qKZB) with step $p$ and values in a tensor product of finite dimensional evaluation modules over the elliptic quantum group $E_{τ,η}(sl_2)$, the equation defined in terms of elliptic dynamical R-matrices. We solve the equation in terms of multidimensional q-hypergeometric integrals and describe its monodromy properties. We identify the space of solutions of the qKZ equation with the space of functions with values in the tensor product of the corresponding modules over the elliptic quantum group $E_{p,η}(sl_2)$. △ Less

Submitted 26 December, 1997; originally announced December 1997.

Comments: Latex, 11 pages

On algebraic equations satisfied by hypergeometric solutions of the qKZ equation

Authors: E. Mukhin, A. Varchenko

Abstract: We consider the $sl(2)$ quantized Knizhnik-Zamolodchikov equation (qKZ), defined in terms of rational R-matrices. The properties of the equation change when the step of the equation takes a resonance value. In this case the discrete connection defined by the qKZ equation has a invariant subbundle which we call the subbundle of quantized conformal blocks. Solutions of the qKZ equation were constr… ▽ More We consider the $sl(2)$ quantized Knizhnik-Zamolodchikov equation (qKZ), defined in terms of rational R-matrices. The properties of the equation change when the step of the equation takes a resonance value. In this case the discrete connection defined by the qKZ equation has a invariant subbundle which we call the subbundle of quantized conformal blocks. Solutions of the qKZ equation were constructed in [TV1], [MV1] in terms of multidimensional hypergeometric integrals. In this paper we show that for a resonance step all hypergeometric solutions take values in the subbundle of quantized conformal blocks, moreover the values span the subbundle of quantized conformal blocks under certain conditions. We describe the space of hypergeometric solutions in terms of the quantum group $U_qsl(2)$. △ Less

Submitted 2 November, 1997; v1 submitted 31 October, 1997; originally announced October 1997.

Comments: Latex, 20 pages

Quantization of the space of conformal blocks

Authors: E. Mukhin, A. Varchenko

Abstract: We consider the discrete Knizhnik-Zamolodchikov connection (qKZ) associated to $gl(N)$, defined in terms of rational R-matrices. We prove that under certain resonance conditions, the qKZ connection has a non-trivial invariant subbundle which we call the subbundle of quantized conformal blocks. The subbundle is given explicitly by algebraic equations in terms of the Yangian $Y(gl(N))$ action. The… ▽ More We consider the discrete Knizhnik-Zamolodchikov connection (qKZ) associated to $gl(N)$, defined in terms of rational R-matrices. We prove that under certain resonance conditions, the qKZ connection has a non-trivial invariant subbundle which we call the subbundle of quantized conformal blocks. The subbundle is given explicitly by algebraic equations in terms of the Yangian $Y(gl(N))$ action. The subbundle is a deformation of the subbundle of conformal blocks in CFT. The proof is based on an identity in the algebra with two generators $x,y$ and defining relation $xy=yx+yy$. △ Less

Submitted 31 October, 1997; originally announced October 1997.

Comments: Latex, 9 pages

Journal ref: Lett.Math.Phys. 44 (1998) 157-167

The Quantized Knizhnik-Zamolodchikov Equation in Tensor Products of Irreducible sl(2)-Modules

Authors: E. Mukhin, A. Varchenko

Abstract: We consider the quantized Knizhnik-Zamolodchikov difference equation (qKZ) with values in a tensor product of irreducible sl(2) modules, the equation defined in terms of rational R-matrices. We solve the equation in terms of multidimensional q-hypergeometric integrals. We identify the space of solutions of the qKZ equation with the tensor product of the corresponding modules over the quantum gro… ▽ More We consider the quantized Knizhnik-Zamolodchikov difference equation (qKZ) with values in a tensor product of irreducible sl(2) modules, the equation defined in terms of rational R-matrices. We solve the equation in terms of multidimensional q-hypergeometric integrals. We identify the space of solutions of the qKZ equation with the tensor product of the corresponding modules over the quantum group $U_qsl(2)$. We compute the monodromy of the qKZ equation in terms of the trigonometric R-matrices. △ Less

Submitted 29 September, 1997; v1 submitted 16 September, 1997; originally announced September 1997.

Comments: LaTex, 32 pages, a theorem added

The Determinant of a Hypergeometric Period Matrix

Authors: Y. Markov, V. Tarasov, A. Varchenko

Abstract: We consider a function $U=e^{-f_0}\prod_j^N f_j^{α_j}$ on a real affine space, here $f_0,..,f_N$ are linear functions, $α_1, ...,α_N$ complex numbers. The zeros of the functions $f_1, ..., f_N$ form an arrangement of hyperplanes in the affine space. We study the period matrix of the hypergeometric integrals associated with the arrangement and the function $U$ and compute its determinant as an al… ▽ More We consider a function $U=e^{-f_0}\prod_j^N f_j^{α_j}$ on a real affine space, here $f_0,..,f_N$ are linear functions, $α_1, ...,α_N$ complex numbers. The zeros of the functions $f_1, ..., f_N$ form an arrangement of hyperplanes in the affine space. We study the period matrix of the hypergeometric integrals associated with the arrangement and the function $U$ and compute its determinant as an alternating product of gamma functions and critical points of the functions $f_0,..., f_N$ with respect to the arrangement. In the simplest example, $N=1, f_0=f_1=t$, the determinant formula takes the form $\int_0^\infty e^{-t} t^{α-1} dt=Γ(α).$ We also give a determinant formula for Selberg type exponential integrals. In this case the arangements of hyperplanes is special and admits a symmetry group, the period matrix is decomposed into blocks corresponding to different representations of the symmetry group on the space of the hypergeometric integrals associated with the arrangement. We compute the determinant of the block corresponding to the trivial representation. △ Less

Submitted 15 September, 1997; originally announced September 1997.

Comments: 21 pages, no figures, LaTeX2e

Solutions of the quantum dynamical Yang-Baxter equation and dynamical quantum groups

Authors: Pavel Etingof, Alexander Varchenko

Abstract: The quantum dynamical Yang-Baxter (QDYB) equation is a useful generalization of the quantum Yang-Baxter (QYB) equation introduced by Gervais, Neveu, and Felder. The QDYB equation and its quasiclassical analogue (the classical dynamical Yang-Baxter equation) arise in several areas of mathematics and mathematical physics (conformal field theory, integrable systems, representation theory). The most… ▽ More The quantum dynamical Yang-Baxter (QDYB) equation is a useful generalization of the quantum Yang-Baxter (QYB) equation introduced by Gervais, Neveu, and Felder. The QDYB equation and its quasiclassical analogue (the classical dynamical Yang-Baxter equation) arise in several areas of mathematics and mathematical physics (conformal field theory, integrable systems, representation theory). The most interesting solution of the QDYB equation is the elliptic solution, discovered by Felder. In this paper, we prove the first classification results for solutions of the QDYB equation. These results are parallel to the classification of solutions of the classical dynamical Yang-Baxter equation, obtained in our previous paper q-alg/9703040. All solutions we found can be obtained from Felder's elliptic solution by a limiting process and gauge transformations. Fifteen years ago the quantum Yang-Baxter equation gave rise to the theory of quantum groups. Namely, it turned out that the language of quantum groups (Hopf algebras) is the adequate algebraic language to talk about solutions of the quantum Yang-Baxter equation. In this paper we propose a similar language, originating from Felder's ideas, which we found to be adequate for the dynamical Yang-Baxter equation. This is the language of dynamical quantum groups (or $\h$-Hopf algebroids), which is the quantum counterpart of the language of dynamical Poisson groupoids, introduced in our previous paper q-alg/9703040. △ Less

Submitted 16 August, 1997; originally announced August 1997.

Comments: 55 pages, amstex

Report number: DQG-2

Monodromy of solutions of the elliptic quantum Knizhnik-Zamolodchikov-Bernard difference equations

Authors: Giovanni Felder, Vitaly Tarasov, Alexander Varchenko

Abstract: The elliptic quantum Knizhnik-Zamolodchikov-Bernard (qKZB) difference equations associated to the elliptic quantum group $E_{τ,η}(sl_2)$ is a system of difference equations with values in a tensor product of representations of the quantum group and defined in terms of the elliptic R-matrices associated with pairs of representations of the quantum group. In this paper we solve the qKZB equations… ▽ More The elliptic quantum Knizhnik-Zamolodchikov-Bernard (qKZB) difference equations associated to the elliptic quantum group $E_{τ,η}(sl_2)$ is a system of difference equations with values in a tensor product of representations of the quantum group and defined in terms of the elliptic R-matrices associated with pairs of representations of the quantum group. In this paper we solve the qKZB equations in terms of elliptic hypergeometric functions and decribe the monodromy properties of solutions. It turns out that the monodromy transformations of solutions are described in terms of elliptic R-matrices associated with pairs of representations of the "dual" elliptic quantum group $E_{p,η}(sl_2)$, where $p$ is the step of the difference equations. Our description of the monodromy is analogous to the Kohno-Drinfeld description the monodromy group of solutions of the KZ differential equations associated to a simple Lie algebra in terms of the corresponding quantum group. △ Less

Submitted 26 May, 1997; originally announced May 1997.

Comments: 20 pages

Elliptic quantum groups and Ruijsenaars models

Authors: Giovanni Felder, Alexander Varchenko

Abstract: 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. 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. △ Less

Submitted 3 April, 1997; originally announced April 1997.

Comments: 15 pages, latex

Geometry of q-Hypergeometric Functions, Quantum Affine Algebras and Elliptic Quantum Groups

Authors: Vitaly Tarasov, Alexander Varchenko

Abstract: The trigonometric quantized Knizhnik-Zamolodchikov equation (qKZ equation) associated with the quantum group $U_q(sl_2)$ is a system of linear difference equations with values in a tensor product of $U_q(sl_2)$ Verma modules. We solve the equation in terms of multidimensional $q$-hypergeometric functions and define a natural isomorphism between the space of solutions and the tensor product of th… ▽ More The trigonometric quantized Knizhnik-Zamolodchikov equation (qKZ equation) associated with the quantum group $U_q(sl_2)$ is a system of linear difference equations with values in a tensor product of $U_q(sl_2)$ Verma modules. We solve the equation in terms of multidimensional $q$-hypergeometric functions and define a natural isomorphism between the space of solutions and the tensor product of the corresponding evaluation Verma modules over the elliptic quantum group $E_{ρ,γ}(sl_2)$, where parameters $ρ$ and $γ$ are related to the parameter $q$ of the quantum group $U_q(sl_2)$ and the step $p$ of the qKZ equation via $p=e^{2\piiρ}$ and $q=e^{-2\piiγ}$. We construct asymptotic solutions associated with suitable asymptotic zones and compute the transition functions between the asymptotic solutions in terms of the dynamical elliptic R-matrices. This description of the transition functions gives a connection between representation theories of the quantum loop algebra $U_q(\widetilde{gl}_2$ and the elliptic quantum group $E_{ρ,γ}(sl_2)$ and is analogous to the Kohno-Drinfeld theorem on the monodromy group of the differential Knizhnik-Zamolodchikov equation. In order to establish these results we construct a discrete Gauss-Manin connection, in particular, a suitable discrete local system, discrete homology and cohomology groups with coefficients in this local system, and identify an associated difference equation with the qKZ equation. △ Less

Submitted 3 February, 1999; v1 submitted 27 March, 1997; originally announced March 1997.

Comments: 72 pages, amstex.tex (ver. 2.1) and amssym.tex are required

Journal ref: Asterisque 246 (1997) 1--135

Geometry and classification of solutions of the Classical Dynamical Yang-Baxter Equation

Authors: Pavel Etingof, Alexander Varchenko

Abstract: The classical Yang-Baxter equation (CYBE) is an algebraic equation central in the theory of integrable systems. Its solutions were classified by Belavin and Drinfeld. Quantization of CYBE led to the theory of quantum groups. A geometric interpretation of CDYB was given by Drinfeld and gave rise to the theory of Poisson-Lie groups. The classical dynamical Yang-Baxter equation (CDYBE) is an import… ▽ More The classical Yang-Baxter equation (CYBE) is an algebraic equation central in the theory of integrable systems. Its solutions were classified by Belavin and Drinfeld. Quantization of CYBE led to the theory of quantum groups. A geometric interpretation of CDYB was given by Drinfeld and gave rise to the theory of Poisson-Lie groups. The classical dynamical Yang-Baxter equation (CDYBE) is an important differential equation analagous to CYBE and introduced by Felder as the consistency condition for the Knizhnik-Zamolodchikov-Bernard equations for correlation functions in conformal field theory on tori. Quantization of CDYBE allowed Felder to introduce an interesting elliptic analog of quantum groups. It becomes clear that numerous important notions and results connected with CYBE have dynamical analogs. In this paper we classify solutions to CDYBE and give geometric interpretation to CDYBE. The classification and interpretation are remarkably analogous to the Belavin-Drinfeld picture. △ Less

Submitted 16 June, 1997; v1 submitted 21 March, 1997; originally announced March 1997.

Comments: 47 pages, amstex; in the new version Chapters 1 and 2 were revised; minor errors were corrected, presentation of material and terminology was changed (slightly), and we added a new section 1.4 with some new results

Report number: DQG-1

Canonical basis and homology of local systems

Authors: Igor Frenkel, Alexander Kirillov Jr., Alexander Varchenko

Abstract: Using the isomorphism between highest weight U_q(sl_2)-modules and homologies of certain local systems on the configuration spaces, constructed by Varchenko, we give a geometric construction of the dual of the Lusztig's canonical basis in a tensor product of irreducible finite-dimensional U_q(sl_2)-modules. Using the isomorphism between highest weight U_q(sl_2)-modules and homologies of certain local systems on the configuration spaces, constructed by Varchenko, we give a geometric construction of the dual of the Lusztig's canonical basis in a tensor product of irreducible finite-dimensional U_q(sl_2)-modules. △ Less

Submitted 4 March, 1997; originally announced March 1997.

Comments: 21 pages, AMSTeX; many figures, require epsf macro package

Algebraic integrability of the two-body Ruijsenaars operator

Authors: Giovanni Felder, Alexander Varchenko

Abstract: We study the algebra of difference operators that commute with the two-body Ruijsenaars operator, a $q$-deformation of the Lamé differential operator, for generic values of the deformation parameter. The algebra is commutative. It is the algebra of polynomial functions on an affine hyperelliptic curve $Y^2=P(X^2)$. We also compute the difference Galois group of the eigenvalue problem. We study the algebra of difference operators that commute with the two-body Ruijsenaars operator, a $q$-deformation of the Lamé differential operator, for generic values of the deformation parameter. The algebra is commutative. It is the algebra of polynomial functions on an affine hyperelliptic curve $Y^2=P(X^2)$. We also compute the difference Galois group of the eigenvalue problem. △ Less

Submitted 18 October, 1996; originally announced October 1996.

Comments: 17 pages, amslatex

Verlinde Algebras and the Intersection Form on Vanishing Cycles

Authors: A. N. Varchenko, S. M. Gusein-Zade

Abstract: We prove Zuber's conjecture establishing connections of the fusion rules of the $su(N)_k$ WZW model of conformal field theory and the intersection form on vanishing cycles of the associated fusion potential. We prove Zuber's conjecture establishing connections of the fusion rules of the $su(N)_k$ WZW model of conformal field theory and the intersection form on vanishing cycles of the associated fusion potential. △ Less

Submitted 9 October, 1996; originally announced October 1996.

Comments: latex file

Quantization of geometry associated to the quantized Knizhnik-Zamolodchikov equations

Authors: Alexander Varchenko

Abstract: It is known that solutions of the Knizhnik-Zamolodchikov differential equations are given by integrals of closed differential forms over suitable cycles. In this paper a quantization of this geometric construction is described leading to solution of the quantized Knizhnik-Zamolodchikov difference equations. It is known that solutions of the Knizhnik-Zamolodchikov differential equations are given by integrals of closed differential forms over suitable cycles. In this paper a quantization of this geometric construction is described leading to solution of the quantized Knizhnik-Zamolodchikov difference equations. △ Less

Submitted 5 June, 1996; originally announced June 1996.

Comments: 10 pages, AMSTeX

Solutions of the elliptic qKZB equations and Bethe ansatz I

Authors: Giovanni Felder, Alexander Varchenko, Vitaly Tarasov

Abstract: We give an integral representation for solutions of the elliptic quantum Knizhnik-Zamolodchikov-Bernard difference equations, in the case of sl(2). The result is based on a geometric construction of highest weight representations of the elliptic quantum group associated to sl(2). We also obtain Bethe ansatz eigenfunctions for the corresponding integrable systems of difference operators, and prov… ▽ More We give an integral representation for solutions of the elliptic quantum Knizhnik-Zamolodchikov-Bernard difference equations, in the case of sl(2). The result is based on a geometric construction of highest weight representations of the elliptic quantum group associated to sl(2). We also obtain Bethe ansatz eigenfunctions for the corresponding integrable systems of difference operators, and prove their completeness in some cases. △ Less

Submitted 5 June, 1996; originally announced June 1996.

Comments: 27 pages, AMSLaTeX

Algebraic Bethe ansatz for the elliptic quantum group $E_{τ,η}(sl_2)$

Authors: Giovanni Felder, Alexander Varchenko

Abstract: To each representation of the elliptic quantum group $E_{τ,η}(sl_2)$ is associated a family of commuting transfer matrices. We give common eigenvectors by a version of the algebraic Bethe ansatz method. Special cases of this construction give eigenvectors for IRF models, for the eight-vertex model and for the two-body Ruijsenaars operator. The latter is a $q$-deformation of Hermite's solution of… ▽ More To each representation of the elliptic quantum group $E_{τ,η}(sl_2)$ is associated a family of commuting transfer matrices. We give common eigenvectors by a version of the algebraic Bethe ansatz method. Special cases of this construction give eigenvectors for IRF models, for the eight-vertex model and for the two-body Ruijsenaars operator. The latter is a $q$-deformation of Hermite's solution of the Lamé equation. △ Less

Submitted 15 May, 1996; originally announced May 1996.

Comments: 18 pages, AMSLaTeX

Geometry of q-Hypergeometric Functions as a Bridge between Yangians and Quantum Affine Algebras

Authors: Vitaly Tarasov, Alexander Varchenko

Abstract: The rational quantized Knizhnik-Zamolodchikov equation (qKZ equation) associated with the Lie algebra $sl_2$ is a system of linear difference equations with values in a tensor product of $sl_2$ Verma modules. We solve the equation in terms of multidimensional $q$-hypergeometric functions and define a natural isomorphism between the space of solutions and the tensor product of the corresponding q… ▽ More The rational quantized Knizhnik-Zamolodchikov equation (qKZ equation) associated with the Lie algebra $sl_2$ is a system of linear difference equations with values in a tensor product of $sl_2$ Verma modules. We solve the equation in terms of multidimensional $q$-hypergeometric functions and define a natural isomorphism between the space of solutions and the tensor product of the corresponding quantum group $U_q(sl_2)$ Verma modules, where the parameter $q$ is related to the step $p$ of the qKZ equation via $q=e^{pi i/p}$. We construct asymptotic solutions associated with suitable asymptotic zones and compute the transition functions between the asymptotic solutions in terms of the trigonometric $R$-matrices. This description of the transition functions gives a new connection between representation theories of Yangians and quantum loop algebras and is analogous to the Kohno-Drinfeld theorem on the monodromy group of the differential Knizhnik-Zamolodchikov equation. In order to establish these results we construct a discrete Gauss-Manin connection, in particular, a suitable discrete local system, discrete homology and cohomology groups with coefficients in this local system, and identify an associated difference equation with the qKZ equation. △ Less

Submitted 28 August, 1998; v1 submitted 18 April, 1996; originally announced April 1996.

Comments: 66 pages, amstex.tex (ver. 2.1) and amssym.tex are required; misprints are corrected

Report number: ENSLAPP-L-585/96

Journal ref: Inventiones Mathematicae, 128 (1997), 501-588

On representations of the elliptic quantum group $E_{τ,η}(sl_2)$

Authors: Giovanni Felder, Alexander Varchenko

Abstract: We describe representation theory of the elliptic quantum group $E_{τ,η}(sl_2)$. It turns out that the representation theory is parallel to the representation theory of the Yangian $Y(sl_2)$ and the quantum loop group $ U_q(\widetilde { sl }_2)$. We describe representation theory of the elliptic quantum group $E_{τ,η}(sl_2)$. It turns out that the representation theory is parallel to the representation theory of the Yangian $Y(sl_2)$ and the quantum loop group $ U_q(\widetilde { sl }_2)$. △ Less

Submitted 17 January, 1996; v1 submitted 3 January, 1996; originally announced January 1996.

Comments: 21 pages, amstex. An explicit formula for the general R matrix is given in this revised version

Three formulas for eigenfunctions of integrable Schroedinger operators

Authors: Giovanni Felder, Alexander Varchenko

Abstract: We give three formulas for meromorphic eigenfunctions (scattering states) of Sutherland's integrable N-body Schroedinger operators and their generalizations. The first is an explicit computation of the Etingof-Kirillov traces of intertwining operators, the second an integral representation of hypergeometric type, and the third is a formula of Bethe ansatz type. The last two formulas are degenera… ▽ More We give three formulas for meromorphic eigenfunctions (scattering states) of Sutherland's integrable N-body Schroedinger operators and their generalizations. The first is an explicit computation of the Etingof-Kirillov traces of intertwining operators, the second an integral representation of hypergeometric type, and the third is a formula of Bethe ansatz type. The last two formulas are degenerations of elliptic formulas obtained previously in connection with the Knizhnik-Zamolodchikov-Bernard equation. The Bethe ansatz formulas in the elliptic case are reviewed and discussed in more detail here: Eigenfunctions are parametrized by a ``Hermite-Bethe'' variety, a generalization of the spectral variety of the Lame' operator. We also give the q-deformed version of our first formula. In the scalar sl_N case, this gives common eigenfunctions of the commuting Macdonald-Rujsenaars difference operators. △ Less

Submitted 15 November, 1995; originally announced November 1995.

Comments: 29 pages, AMSLaTeX

Bases of Bethe Vectors and Difference Equations with Regular Singular Points

Authors: Vitaly Tarasov, Alexander Varchenko

Abstract: We prove that Bethe vectors generically form a base in a tensor product of irreducible heighest weight $gl_2$-modules or $U_q(gl_2)$-modules. We apply this result to difference equations with regular singular points. We show that if such an equation has local solutionss at each of its singular point, then generically it has a polynomial solution. We prove that Bethe vectors generically form a base in a tensor product of irreducible heighest weight $gl_2$-modules or $U_q(gl_2)$-modules. We apply this result to difference equations with regular singular points. We show that if such an equation has local solutionss at each of its singular point, then generically it has a polynomial solution. △ Less

Submitted 19 April, 1995; originally announced April 1995.

Comments: 20 pages, (amstex.tex (ver. 2.1) is required)

Report number: Kyoto-Math 95-04

Integral representation of solutions of the elliptic Knizhnik--Zamolodchikov--Bernard equations

Authors: Giovanni Felder, Alexander Varchenko

Abstract: We give an integral representation of solutions of the elliptic Knizhnik-Zamolodchikov-Bernard equations for arbitrary simple Lie algebras. If the level is a positive integer, we obtain formulas for conformal blocks of the WZW model on a torus. The asymptotics of our solutions at critical level gives eigenfunctions of Euler-Calogero-Moser integrable $N$-body systems. As a by-product, we obtain s… ▽ More We give an integral representation of solutions of the elliptic Knizhnik-Zamolodchikov-Bernard equations for arbitrary simple Lie algebras. If the level is a positive integer, we obtain formulas for conformal blocks of the WZW model on a torus. The asymptotics of our solutions at critical level gives eigenfunctions of Euler-Calogero-Moser integrable $N$-body systems. As a by-product, we obtain some remarkable integral identities involving classical theta functions. △ Less

Submitted 19 May, 1995; v1 submitted 28 February, 1995; originally announced February 1995.

Comments: 12 pages, AmsLaTex; some misprints were corrected

Journal ref: Int. Math. Res. Notices (1995) 221-233

Remarks on the structure constants of the Verlinde algebra associated to $sl_3$

Authors: Giovanni Felder, Alexander Varchenko

Abstract: The structure constants $N_{λ, μ}^{μ+ν}$ of the $sl_2$ Verlinde algebra as functions of $μ$ either vanish or can be expressed after a change of variable as the weight function of an irreducible representation of $sl_2$. We give a similar formula in the $sl_3$ case. The structure constants $N_{λ, μ}^{μ+ν}$ of the $sl_2$ Verlinde algebra as functions of $μ$ either vanish or can be expressed after a change of variable as the weight function of an irreducible representation of $sl_2$. We give a similar formula in the $sl_3$ case. △ Less

Submitted 28 February, 1995; originally announced February 1995.

Comments: 5 pages, AmsTeX, 1 figure available on request

Journal ref: Lett.Math.Phys.37:167-171,1996

Solutions to the Quantized Knizhnik-Zamolodchikov Equation and the Bethe Ansatz

Authors: V. Tarasov, A. Varchenko

Abstract: We give an integral representation for solutions to the quantized Knizhnik- Zamolodchikov equation (qKZ) associated with the Lie algebra $gl_{N+1}$. Asymptotic solutions to qKZ are constructed. The leading term of an asymptotic solution is the Bethe vector -- an eigenvector of the transfer-matrix of a quantum spin chain model. We show that the norm of the Bethe vector is equal to the product of… ▽ More We give an integral representation for solutions to the quantized Knizhnik- Zamolodchikov equation (qKZ) associated with the Lie algebra $gl_{N+1}$. Asymptotic solutions to qKZ are constructed. The leading term of an asymptotic solution is the Bethe vector -- an eigenvector of the transfer-matrix of a quantum spin chain model. We show that the norm of the Bethe vector is equal to the product of the Hessian of a suitable function and an explicitly written rational function. This formula is a generalization of the Gaudin-Korepin formula for a norm of the Bethe vector. We show that, generically, the Bethe vectors form a base for the $gl_2$ case. △ Less

Submitted 24 November, 1994; originally announced November 1994.

Comments: 6 pages, amstex.tex (ver 2.1), amsppt.sty (ver 2.1)

Report number: to appear in Proceedings of XX-th ICGTMP (Osaka, July 4-9, 1994)

Local systems over complements of hyperplanes and the Kac-Kazhdan conditions for singular vectors

Authors: V. Schechtman, H. Terao, A. Varchenko

Abstract: In this note we strenghten a theorem by Esnault-Schechtman-Viehweg which states that one can compute the cohomology of a complement of hyperplanes in a complex affine space with coefficients in a local system using only logarithmic global differential forms, provided certain "Aomoto non-resonance conditions" for monodromies are fulfilled at some "edges" (intersections of hyperplanes). We prove t… ▽ More In this note we strenghten a theorem by Esnault-Schechtman-Viehweg which states that one can compute the cohomology of a complement of hyperplanes in a complex affine space with coefficients in a local system using only logarithmic global differential forms, provided certain "Aomoto non-resonance conditions" for monodromies are fulfilled at some "edges" (intersections of hyperplanes). We prove that it is enough to check these conditions on a smaller subset of edges. We show that for certain known one dimensional local systems over configuration spaces of points in a projective line defined by a root system and a finite set of affine weights (these local systems arise in the geometric study of Knizhnik-Zamolodchikov differential equations), the Aomoto resonance conditions at non-diagonal edges coincide with Kac-Kazhdan conditions of reducibility of Verma modules over affine Lie algebras. △ Less

Submitted 22 December, 1994; v1 submitted 11 November, 1994; originally announced November 1994.

Comments: 10 pages, latex. A small error and a title in the bibliography are corrected

Journal ref: J. Pure Appl. Algebra 100 (1995) 93

On algebraic equations satisfied by hypergeometric correlators in WZW models. II

Authors: Boris Feigin, Vadim Schechtman, Alexander Varchenko

Abstract: We give an explicit description of "bundles of conformal blocks" in Wess-Zumino-Witten models of Conformal field theory and prove that integral representations of Knizhnik-Zamolodchikov equations constructed earlier by the second and third authors are in fact sections of these bundles. We give an explicit description of "bundles of conformal blocks" in Wess-Zumino-Witten models of Conformal field theory and prove that integral representations of Knizhnik-Zamolodchikov equations constructed earlier by the second and third authors are in fact sections of these bundles. △ Less

Submitted 3 July, 1994; originally announced July 1994.

Comments: 32 pp., amslatex

Journal ref: Commun.Math.Phys. 170 (1995) 219-247

Asymptotic Solutions to the Quantized Knizhnik-Zamolodchikov Equation and Bethe Vectors

Authors: Vitaly Tarasov, Alexander Varchenko

Abstract: Asymptotic solutions to the quantized Knizhnik-Zamolodchikov equation associated with $\frak{gl}_{N+1}$ are constructed. The leading term of an asymptotic solution is the Bethe vector -- an eigenvector of the transfer-matrix of a quantum spin chain model. We show that the norm of the Bethe vector is equal to the product of the Hessian of a suitable function and an explicitly written rational fun… ▽ More Asymptotic solutions to the quantized Knizhnik-Zamolodchikov equation associated with $\frak{gl}_{N+1}$ are constructed. The leading term of an asymptotic solution is the Bethe vector -- an eigenvector of the transfer-matrix of a quantum spin chain model. We show that the norm of the Bethe vector is equal to the product of the Hessian of a suitable function and an explicitly written rational function. This formula is an analogue of the Gaudin-Korepin formula for the norm of the Bethe vector. It is shown that, generically, the Bethe vectors form a base for the $\frak{gl}_2$ case. △ Less

Submitted 24 May, 1996; v1 submitted 9 June, 1994; originally announced June 1994.

Comments: 30 pages. Minor misprints are corrected

Report number: HU-TFT-94-21, UTMS 94-21

Asymptotic Solutions to the Knizhnik-Zamolodchikov Equation and Crystal Base

Authors: A. Varchenko

Abstract: The Knizhnik-Zamolodchikov equation associated with $s\ell_2$ is considered. The transition functions between asymptotic solutions to the Knizhnik-Zamolodchikov equation are described. A connection between asymptotic solutions and the crystal base in the tensor product of modules over the quantum group $U_qs\ell_2$ is established, in particular, a correspondence between the Bethe vectors of the… ▽ More The Knizhnik-Zamolodchikov equation associated with $s\ell_2$ is considered. The transition functions between asymptotic solutions to the Knizhnik-Zamolodchikov equation are described. A connection between asymptotic solutions and the crystal base in the tensor product of modules over the quantum group $U_qs\ell_2$ is established, in particular, a correspondence between the Bethe vectors of the Gaudin model of an inhomogenious magnetic chain and the $\Bbb Q-$basis of the crystal base. △ Less

Submitted 17 March, 1994; originally announced March 1994.

Comments: 43 pages, amstex

Quasiclassical asymptotics of solutions to the KZ equations

Authors: Nicolai Reshetikhin, Alexander Varchenko

Abstract: The quasiclassical asymptotics of the Knizhnik-Zamolodchikov system is studied. Solutions to this system in this limit are related naturally to Bethe vectors in the Gaudin model of spin chains. The quasiclassical asymptotics of the Knizhnik-Zamolodchikov system is studied. Solutions to this system in this limit are related naturally to Bethe vectors in the Gaudin model of spin chains. △ Less

Submitted 9 March, 1994; v1 submitted 22 February, 1994; originally announced February 1994.

Comments: The list of references which was previously incomplete has been completed

Critical Points of the Product of Powers of Linear Functions and Families of Bases of Singular Vectors

Authors: Alexander Varchenko

Abstract: The quasiclassical asymptotics of the Knizhnik-Zamolodchikov equation with values in the tensor product of sl(2)- representations are considered. The first term of asymptotics is an eigenvector of a system of commuting operators. We show that the norm of this vector with respect to the Shapovalov form is equal to the determinant of the matrix of second derivatives of a suitable function. This fo… ▽ More The quasiclassical asymptotics of the Knizhnik-Zamolodchikov equation with values in the tensor product of sl(2)- representations are considered. The first term of asymptotics is an eigenvector of a system of commuting operators. We show that the norm of this vector with respect to the Shapovalov form is equal to the determinant of the matrix of second derivatives of a suitable function. This formula is an analog of the Gaudin and Korepin formulae for the norm of the Bethe vectors. We show that the eigenvectors form a basis under certain conditions. △ Less

Submitted 14 December, 1993; originally announced December 1993.

Comments: 15 pages, no figures, posted by Pavel Etingof by the author's request

Jackson Integral Representations for Solutions to the Quantized Knizhnik-Zamolodchikov Equation

Authors: Vitaly Tarasov, Alexander Varchenko

Abstract: The quantized Knizhnik-Zamolodchikov equations associated with the trigonometric R-matrix or the rational R-matrix of the A-type are considered. Jackson integral representations for solutions of these equations are described. Asymptotic solutions for a holonomic system of difference equations are constructed. Relations between the integral representations and the Bethe ansatz are indicated. The quantized Knizhnik-Zamolodchikov equations associated with the trigonometric R-matrix or the rational R-matrix of the A-type are considered. Jackson integral representations for solutions of these equations are described. Asymptotic solutions for a holonomic system of difference equations are constructed. Relations between the integral representations and the Bethe ansatz are indicated. △ Less

Submitted 25 November, 1994; v1 submitted 6 November, 1993; originally announced November 1993.

Comments: 50 pages. (Misprints are corrected.)

Report number: St.Petersburg Math. J., vol.6 (1994) no.2