Search

We consider the equivariant quantum differential equation for the projective space $$P^{n-1}$$ and introduce a compatible system of difference equations. We prove an equivariant gamma theorem for $$P^{n-1}$$ , which describes the asymptotics of the differential equation at its regular singular point in terms of the equivariant characteristic gamma class of the tangent bundle of $$P^{n-1}$$ . We describe the Stokes bases of the differential equation at its irregular singular point in terms of the exceptional bases of the equivariant K-theory algebra of $$P^{n-1}$$ and a suitable braid group action on the set of exceptional bases. Our results are an equivariant version of the well-known results of Dubrovin and Guzzetti..

We consider the KZ differential equations over $$\mathbb C$$ in the case where its multidimensional hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field $$\mathbb{F}_p$$ . We study the space of polynomial solutions of these differential equations over $$\mathbb{F}_p$$ , constructed in a previous work by V. Schechtman and the author. The module of these polynomial solutions defines an invariant subbundle of the associated KZ connection modulo $$p$$ . We describe the algebraic equations for that subbundle and argue that the equations correspond to highest weight vectors of the associated $$\widehat{{\mathfrak{sl}_2}}$$ Verma modules over the field $$\mathbb{F}_p$$ .

We introduce a Frobenius-like structure for the $\frak{sl}_2$ Gaudin model. Namely, we introduce potential functions of the first and second kind. We describe the Shapovalov form in terms of derivatives of the potential of the first kind and the action of Gaudin Hamiltonians in terms of derivatives of the potential of the second kind., Comment: Latex, 14 pages

We consider a pair of quiver varieties $(X;X^{\prime})$ related by 3D mirror symmetry, where $X =T^*{Gr}(k,n)$ is the cotangent bundle of the Grassmannian of $k$-planes of $n$-dimensional space. We give formulas for the elliptic stable envelopes on both sides. We show an existence of an equivariant elliptic cohomology class on $X \times X^{\prime} $ (the mother function) whose restrictions to $X$ and $X^{\prime} $ are the elliptic stable envelopes of those varieties. This implies that the restriction matrices of the elliptic stable envelopes for $X$ and $X^{\prime}$ are equal after transposition and identification of the equivariant parameters on one side with the Kähler parameters on the dual side.

We consider the KZ differential equations over $${\mathbb {C}}$$ in the case, when the hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field $${\mathbb {F}}_p$$ . We study the space of polynomial solutions of these differential equations over $${\mathbb {F}}_p$$ , constructed in a previous work by Schechtman and the second author. Using Hasse–Witt matrices, we identify the space of these polynomial solutions over $${\mathbb {F}}_p$$ with the space dual to a certain subspace of regular differentials on an associated curve. We also relate these polynomial solutions over $${\mathbb {F}}_p$$ and the hypergeometric solutions over $${\mathbb {C}}$$ .

The hypergeometric solutions of the KZ equations were constructed almost 30 years ago. The polynomial solutions of the KZ equations over the finite field $F_p$ with a prime number $p$ of elements were constructed recently. In this paper we consider the example of the KZ equations whose hypergeometric solutions are given by hyperelliptic integrals of genus $g$. It is known that in this case the total $2g$-dimensional space of holomorphic solutions is given by the hyperelliptic integrals. We show that the recent construction of the polynomial solutions over the field $F_p$ in this case gives only a $g$-dimensional space of solutions, that is, a "half" of what the complex analytic construction gives. We also show that all the constructed polynomial solutions over the field $F_p$ can be obtained by reduction modulo $p$ of a single distinguished hypergeometric solution. The corresponding formulas involve the entries of the Cartier-Manin matrix of the hyperelliptic curve. That situation is analogous to the example of the elliptic integral considered in the classical Y.I. Manin's paper in 1961., Latex, 16 pages

We consider the Frobenius algebra of functions on the critical set of the master function of a weighted arrangement of hyperplanes in $\C^k$ with normal crossings. We construct two potential functions (of first and second kind) of variables labeled by hyperplanes of the arrangement and prove that the matrix coefficients of the Grothendieck residue bilinear form on the algebra are given by the $2k$-th derivatives of the potential function of first kind and the matrix coefficients of the multiplication operators on the algebra are given by the $(2k+1)$-st derivatives of the potential function of second kind. Thus the two potentials completely determine the Frobenius algebra. The presence of these potentials is a manifestation of a Frobenius like structure similar to the Frobenius manifold structure. We introduce the notion of an elementary subarrangement of an arrangement with normal crossings. It turns out that our potential functions are local in the sense that the potential functions are sums of contributions from elementary subarrangements of the given arrangement. This is a new phenomenon of locality of the Grothendieck residue bilinear form and multiplication on the algebra. It is known that this Frobenius algebra of functions on the critical set is isomorphic to the Bethe algebra of this arrangement. (That Bethe algebra is an analog of the Bethe algebras in the theory of quantum integrable models.) Thus our potential functions describe that Bethe algebra too., Latex , 26 pages, a misprint is corrected. arXiv admin note: text overlap with arXiv:1410.2438

This paper proves the existence of potentials of the first and second kind of a Frobenius like structure in a frame, which encompasses families of arrangements. The frame uses the notion of matroids. For the proof of the existence of the potentials, a power series ansatz is made. The proof that it works requires that certain decompositions of tuples of coordinate vector fields are related by certain elementary transformations. This is shown with a nontrivial result on matroid partition.

We prove an $\mathbb F_p$-Selberg integral formula, in which the $\mathbb F_p$-Selberg integral is an element of the finite field $\mathbb F_p$ with odd prime number $p$ of elements. The formula is motivated by analogy between multidimensional hypergeometric solutions of the KZ equations and polynomial solutions of the same equations reduced modulo $p$., Comment: Latex, 19 pages, v2: references, remarks, formula (4.7) added

In this paper we consider the cotangent bundles of partial flag varieties. We construct the $K$-theoretic stable envelopes for them and also define a version of the elliptic stable envelopes. We expect that our elliptic stable envelopes coincide with the elliptic stable envelopes defined by M. Aganagic and A. Okounkov. We give formulas for the $K$-theoretic stable envelopes and our elliptic stable envelopes. We show that the $K$-theoretic stable envelopes are suitable limits of our elliptic stable envelopes. That phenomenon was predicted by M. Aganagic and A. Okounkov. Our stable envelopes are constructed in terms of the elliptic and trigonometric weight functions which originally appeared in the theory of integral representations of solutions of qKZ equations twenty years ago. (More precisely, the elliptic weight functions had appeared earlier only for the $\frak{gl}_2$ case.) We prove new properties of the trigonometric weight functions. Namely, we consider certain evaluations of the trigonometric weight functions, which are multivariable Laurent polynomials, and show that the Newton polytopes of the evaluations are embedded in the Newton polytopes of the corresponding diagonal evaluations. That property implies the fact that the trigonometric weight functions project to the $K$-theoretic stable envelopes., Latex, 37 pages; v.2: Appendix and Figure 1 added; v.3: missing shift in Theorem 2.9 added and a proof of Theorem 2.9 added

We refine the statement of the denominator and evaluation conjectures for affine Macdonald polynomials proposed by Etingof-Kirillov Jr. and prove the first non-trivial cases of these conjectures. Our results provide a q-deformation of the computation of genus 1 conformal blocks via elliptic Selberg integrals by Felder-Stevens-Varchenko. They allow us to give precise formulations for the affine Macdonald conjectures in the general case which are consistent with computer computations. Our method applies recent work of the second named author to relate these conjectures in the case of $U_q(\widehat{\mathfrak{sl}}_2)$ to evaluations of certain theta hypergeometric integrals defined by Felder-Varchenko. We then evaluate the resulting integrals, which may be of independent interest, by well-chosen applications of the elliptic beta integral introduced by Spiridonov., 26 pages. v3: minor edits for published version

We consider a weighted family of $n$ parallelly transported hyperplanes in a $k$-dimensioinal affine space and describe the characteristic variety of the Gauss-Manin differential equations for associated hypergeometric integrals. The characteristic variety is given as the zero set of Laurent polynomials, whose coefficients are determined by weights and the associated point in the Grassmannian Gr$(k,n)$. The Laurent polynomials are in involution. An intermediate object between the differential equations and the characteristic variety is the algebra of functions on the critical set of the associated master function. We construct a linear isomorphism between the vector space of the Gauss-Manin differential equations and the algebra of functions. The isomorphism allows us to describe the characteristic variety. It also allowed us to define an integral structure on the vector space of the algebra and the associated (combinatorial) connection on the family of such algebras., Comment: Latex, 24 pages, v2: references added, misprints corrected; v3: misprint correct

We consider the Gauss-Manin differential equations for hypergeometric integrals associated with a family of weighted arrangements of hyperplanes moving parallelly to themselves. We reduce these equations modulo a prime integer $p$ and construct polynomial solutions of the new differential equations as $p$-analogs of the initial hypergeometric integrals. In some cases we interpret the $p$-analogs of the hypergeometric integrals as sums over points of hypersurfaces defined over the finite field $F_p$. That interpretation is similar to the interpretation by Yu.I. Manin in [Ma] of the number of point on an elliptic curve depending on a parameter as a solution of a classical hypergeometric differential equation. We discuss the associated Bethe ansatz., Comment: Latex, 19 pages, v2: misprints corrected

We define a $\mathfrak{gl}_N$-stratification of the Grassmannian of $N$ planes $\mathrm{Gr}(N,d)$. The $\mathfrak{gl}_N$-stratification consists of strata $\Omega_{\mathbf{\Lambda}}$ labeled by unordered sets $\mathbf{\Lambda}=(\lambda^{(1)},\dots,\lambda^{(n)})$ of nonzero partitions with at most $N$ parts, satisfying a condition depending on $d$, and such that $(\otimes_{i=1}^n V_{\lambda^{(i)}})^{\mathfrak{sl}_N}\ne 0$. Here $V_{\lambda^{(i)}}$ is the irreducible $\mathfrak{gl}_N$-module with highest weight $\lambda^{(i)}$. We show that the closure of a stratum $\Omega_{\mathbf{\Lambda}}$ is the union of the strata $\Omega_{\mathbf\Xi}$, $\mathbf{\Xi}=(\xi^{(1)},\dots,\xi^{(m)})$, such that there is a partition $\{I_1,\dots,I_m\}$ of $\{1,2,\dots,n\}$ with $ {\rm {Hom}}_{\mathfrak{gl}_N} (V_{\xi^{(i)}}, \otimes_{j\in I_i}V_{\lambda^{(j)}}\big)\neq 0$ for $i=1,\dots,m$. The $\mathfrak{gl}_N$-stratification of the Grassmannian agrees with the Wronski map. We introduce and study the new object: the self-dual Grassmannian $\mathrm{sGr}(N,d)\subset \mathrm{Gr}(N,d)$. Our main result is a similar $\mathfrak{g}_N$-stratification of the self-dual Grassmannian governed by representation theory of the Lie algebra $\mathfrak {g}_{2r+1}:=\mathfrak{sp}_{2r}$ if $N=2r+1$ and of the Lie algebra $\mathfrak g_{2r}:=\mathfrak{so}_{2r+1}$ if $N=2r$., Comment: LaTeX, 30 pages, 2 figures

We consider the conormal bundle of a Schubert variety \(S_I\) in the cotangent bundle \(T^*\!{{\mathrm{\mathrm {Gr}}}}\) of the Grassmannian \({{\mathrm{\mathrm {Gr}}}}\) of \(k\)-planes in \({{\mathrm{\mathbb {C}}}}^n\). This conormal bundle has a fundamental class \({\kappa _I}\) in the equivariant cohomology \(H^*_{{{\mathrm{\mathbb T}}}}(T^*\!\!{{\mathrm{\mathrm {Gr}}}})\). Here \({{\mathrm{\mathbb T}}}=({{\mathrm{\mathbb {C}}}}^*)^n\times {{\mathrm{\mathbb {C}}}}^*\). The torus \(({{\mathrm{\mathbb {C}}}}^*)^n\) acts on \(T^*\!{{\mathrm{\mathrm {Gr}}}}\) in the standard way and the last factor \({{\mathrm{\mathbb {C}}}}^*\) acts by multiplication on fibers of the bundle. We express this fundamental class as a sum \(Y_I\) of the Yangian \(Y(\mathfrak {gl}_2)\) weight functions \((W_J)_J\). We describe a relation of \(Y_I\) with the double Schur polynomial \([S_I]\). A modified version of the \(\kappa _I\) classes, named \(\kappa '_I\), satisfy an orthogonality relation with respect to an inner product induced by integration on the non-compact manifold \(T^*\!{{\mathrm{\mathrm {Gr}}}}\). This orthogonality is analogous to the well known orthogonality satisfied by the classes of Schubert varieties with respect to integration on \({{\mathrm{\mathrm {Gr}}}}\). The classes \((\kappa '_I)_I\) form a basis in the suitably localized equivariant cohomology \(H^*_{{{\mathrm{\mathbb T}}}}(T^*\!\!{{\mathrm{\mathrm {Gr}}}})\). This basis depends on the choice of the coordinate flag in \({{\mathrm{\mathbb {C}}}}^n\). We show that the bases corresponding to different coordinate flags are related by the Yangian R-matrix.

Using the vanishing cycles of simple singularities, we study the eigenvectors of Cartan matrices of finite root systems, and of q-deformations of these matrices., Comment: 27 pages; a physical section describing an experiment related to the PF vector of E8 is added

We identify the Bethe algebra of the Gaudin model associated to gl(N) acting on a suitable representation with the center of the rational Cherednik algebra and with the algebra of regular functions on the Calogero-Moser space.

We construct a canonical isomorphism between the Bethe algebra acting on a multiplicity space of a tensor product of evaluation g l N [ t ] \mathfrak {gl}_N[t] -modules and the scheme-theoretic intersection of suitable Schubert varieties. Moreover, we prove that the multiplicity space as a module over the Bethe algebra is isomorphic to the coregular representation of the scheme-theoretic intersection. In particular, this result implies the simplicity of the spectrum of the Bethe algebra for real values of evaluation parameters and the transversality of the intersection of the corresponding Schubert varieties.

In this paper, we discuss implications of the results obtained in [5]. It was shown there that eigenvectors of the Bethe algebra of the quantum N Gaudin model are in a one-to-one correspondence with Fuchsian differential operators with polynomial kernel. Here, we interpret this fact as a separation of variables in the N Gaudin model. Having a Fuchsian differential operator with polynomial kernel, we construct the corresponding eigenvector of the Bethe algebra. It was shown in [5] that the Bethe algebra has simple spectrum if the evaluation parameters of the Gaudin model are generic. In that case, our Bethe ansatz construction produces an eigenbasis of the Bethe algebra.

We show that the algebra of functions on the scheme of monic linear second-order ordinary differential operators with prescribed n + 1 regular singular points, prescribed exponents \(\Lambda^{(1)},\ldots,\Lambda^{(n)},\Lambda^{(\infty)}\) at the singular points, and having the kernel consisting of polynomials only, is isomorphic to the Bethe algebra of the Gaudin model acting on the vector space Sing \(L_{\Lambda^{(1)}}\,\otimes\,\cdots\,\otimes L_{\Lambda^{(n)}}[\Lambda^{(\infty)}]\) of singular vectors of weight Λ(∞) in the tensor product of finite-dimensional polynomial \({\mathfrak{g}}{\mathfrak{l}}_2\)-modules with highest weights \(\Lambda^{(1)},\ldots,\Lambda^{(n)}\).

We define integral transforms which establish a correspondence between spaces of quasi-exponentials and spaces of quasi-polynomials under certain conditions. As a corollary of the properties of our transforms we obtain a correspondence between solutions to the Bethe ansatz equations of two (glN,glM) dual quantum integrable models: one is the special trigonometric Gaudin model and the other is the special XXX model.

Recently a new class of quantum integrable models, the cyclotomic Gaudin models, were described in arXiv:1409.6937, arXiv:1410.7664. Motivated by these, we identify a class of affine hyperplane arrangements that we call cyclotomic discriminantal arrangements. We establish correspondences between the flag and Aomoto complexes of such arrangements and chain complexes for nilpotent subalgebras of Kac-Moody type Lie algebras with diagram automorphisms. As a byproduct, we show that the Bethe vectors of cyclotomic Gaudin models associated to diagram automorphisms are nonzero., Comment: 56 pages, latex

Jacobi polynomials are polynomials whose zeros form the unique solution of the Bethe Ansatz equation associated with two irreducible modules. We study sequences of polynomials whose zeros form the unique solution of the Bethe Ansatz equation associated with two highest weight irreducible modules, with the restriction that the highest weight of one of the modules is a multiple of the first fundamental weight. We describe the recursion which can be used to compute these polynomials. Moreover, we show that the first polynomial in the sequence coincides with the Jacobi-Pineiro multiple orthogonal polynomial and others are given by Wronskian-type determinants of Jacobi-Pineiro polynomials. As a byproduct we describe a counterexample to the Bethe Ansatz Conjecture for the Gaudin model.

Under certain conditions, we give an estimate from above on the number of differential equations of order $r+1$ with prescribed regular singular points, prescribed exponents at singular points, and having a quasi-polynomial flag of solutions. The estimate is given in terms of a suitable weight subspace of the tensor power $U(\n_-)^{\otimes (n-1)}$, where $n$ is the number of singular points in $\C$ and $U(\n_-)$ is the enveloping algebra of the nilpotent subalgebra of $\glg_{r+1}$., Comment: Latex, 11 pages, revised version

We consider a version of the A_N Bethe equation of XXX type and introduce a reproduction procedure constructing new solutions of this equation from a given one. The set of all solutions obtained from a given one is called a population. We show that a population is isomorphic to the sl_{N+1} flag variety and that the populations are in one-to-one correspondence with intersection points of suitable Schubert cycles in a Grassmanian variety. We also obtain similar results for the root systems B_N and C_N. Populations of B_N and C_N type are isomorphic to the flag varieties of C_N and B_N types respectively., Latex, 32 pages

We study the properties of one-dimensional hypergeometric integral solutions of the q-difference ("quantum") analogue of the Knizhnik-Zamolodchikov-Bernard equations on tori. We show that they also obey a difference KZB heat equation in the modular parameter, give formulae for modular transformations, and prove a completeness result, by showing that the associated Fourier transform is invertible. These results are based on SL(3,Z) transformation properties parallel to those of elliptic gamma functions., Comment: 39 pages

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., Comment: 45 pages, latex

The trigonometric KZ equations associated to a Lie algebra g depend on a parameter λ ∈ h where h ⊂ g is a Cartan subalgebra. A system of dynamical difference equations with respect to λ compatible with the KZ equations is introduced by V. Tarasov and the second author (2000, Internat. Math. Res. Notices 15 , 801–829). We prove that the standard hypergeometric solutions of the trigonometric KZ equations associated to sl N also satisfy the dynamical difference equations.

We consider a weighted family of $n$ generic parallelly translated hyperplanes in $\C^k$ and describe the characteristic variety of the Gauss-Manin differential equations for associated hypergeometric integrals. The characteristic variety is given as the zero set of Laurent polynomials, whose coefficients are determined by weights and the Plucker coordinates of the associated point in the Grassmannian Gr(k,n). The Laurent polynomials are in involution., Comment: Latex, 13 pages

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)., 27 pages, LaTeX References added, minor corrections

The elliptic quantum Knizhnik–Zamolodchikov–Bernard (qKZB) difference equations associated to the elliptic quantum group Eτ,η(sl2) 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 describe 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 Ep,η(sl2), 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.

We describe hypergeometric solutions of the quantum differential equation of the cotangent bundle of a gl_n partial flag variety. These hypergeometric solutions manifest the Landau-Ginzburg mirror symmetry for the cotangent bundle of a partial flag variety., Latex, 19 pages. arXiv admin note: text overlap with arXiv:1212.6240

We prove Zuber's conjecture [Z] 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 introduce a symmetric bilinear form of a weighted matroid and prove that the determinant of the matrix of this form is a product of linear functions of weights. This formula is an analog of the formula for the determinant of the Shapovalov form in representation theory

Let g be a simple Lie algebra and V [0] = V1 ⊗ · · · ⊗ Vn[0] the zero weight subspace of a tensor product of g-modules. The trigonometric KZB operators are commuting differential operators acting on V [0]-valued functions on the Cartan subalgebra of g. Meromorphic eigenfunctions to the operators are constructed by the Bethe ansatz. We introduce a scalar product on a suitable space of functions such that the operators become symmetric, and the square of the norm of a Bethe eigenfunction equals the Hessian of the master function at the corresponding critical point.

We study the blow-ups of configuration spaces. These spaces have a structure of what we call an Orlik-Solomon manifold; it allows us to compute the intersection cohomology of certain flat connections with logarithmic singularities using some Aomoto type complexes of logarithmic forms. Using this construction we realize geometrically the sl_2 Bernstein - Gelfand - Gelfand resolution as an Aomoto complex., Comment: Latex, 19 pages

If F is a master function corresponding to a hyperplane arrangement A and a collection of weights y, we investigate the relationship between the critical set of F, the variety defined by the vanishing of the one-form w = d log F, and the resonance of y. For arrangements satisfying certain conditions, we show that if y is resonant in dimension p, then the critical set of F has codimension at most p. These include all free arrangements and all rank 3 arrangements., Comment: revised version, Canadian Journal of Mathematics, to appear

Let $C$ be an arrangement of affine hyperplanes in a complex affine space $X$, $D$ the ring of algebraic differential operators on $X$. We define a category of quivers associated with $C$. A quiver is a collection of vector spaces, attached to strata of the arrangement, and suitable linear maps between the vector spaces . To a quiver we assign a $D$-module on $X$, called the quiver $D$-module. We describe basic operations for $D$-modules in terms of linear algebra of quivers. We give an explicit construction of a free resolution of a quive $D$-module and use the construction to describe the associated perverse sheaf. As an application, we calculate the cohomology of $X$ with coefficients in the quiver perverse sheaf (under certain assumptions)., Revised version, 92 pages

The resonance relations are identities between coordinates of functions with values in tensor products of representations of the quantum group Uq(sl2). We show that the space of hypergeometric solutions of the associated qKZB equations is characterized as the space of functions of Baker-Akhiezer type, satisfying the resonance relations. We give an alternative representation-theoretic construction of this space, using the traces of regularized intertwining operators for the quantum group, and thus establish the equivalence between hypergeometric and trace function solutions of the qKZB equations. We define the quantum conformal blocks as distinguished Weyl anti-invariant hypergeometric qKZB solutions with values in a tensor product of finite-dimensional modules. We prove that for generic q the dimension of the space of quantum conformal blocks equals the dimension of the quantum group invariants, and is computed by the Verlinde algebra when q is a root of unity., 57 pages; table of contents added; misprints corrected

We obtain formulas for the growth rate of the numbers of certain paths in infinite graphs built on the two-dimensional Eulerian graph. Corollaries are identities relating Stirling numbers of the first and second kinds., Misprint corrected. To appear in Proc. Amer. Math. Soc

We show that the Shapovalov norm of a Bethe vector in the Gaudin model is equal to the Hessian of the logarithm of the corresponding master function at the corresponding isolated critical point. We show that different Bethe vectors are orthogonal. These facts are corollaries of a general Bethe ansatz type construction, suggested in this paper and associated with an arbitrary arrangement of hyperplanes., Comment: Latex, 17 pages, an extended version, misprints corrected

Given complex numbers $m_1,l_1$ and nonnegative integers $m_2,l_2$, such that $m_1+m_2=l_1+l_2$, for any $a,b=0, ... ,\min(m_2,l_2)$ we define an $l_2$-dimensional Barnes type q-hypergeometric integral $I_{a,b}(z,\mu;m_1,m_2,l_1,l_2)$ and an $l_2$-dimensional hypergeometric integral $J_{a,b}(z,\mu;m_1,m_2,l_1,l_2)$. The integrals depend on complex parameters $z$ and $\mu$. We show that $I_{a,b}(z,\mu;m_1,m_2,l_1,l_2)$ equals $J_{a,b}(e^\mu,z;l_1,l_2,m_1,m_2)$ up to an explicit factor, thus establishing an equality of $l_2$-dimensional q-hypergeometric and $m_2$-dimensional hypergeometric integrals. The identity is based on the $(gl_k,gl_n)$ duality for the qKZ and dynamical difference equations., Comment: Preprint (2003), 14 pages, AmsLaTeX, references updated

Critical points of a master function associated to a simple Lie algebra \g come in families called the populations [MV1]. We prove that a population is isomorphic to the flag variety of the Langlands dual Lie algebra \g^t. The proof is based on the correspondence between critical points and differential operators called the Miura opers. For a Miura oper D, associated with a critical point of a population, we show that all solutions of the differential equation DY=0 can be written explicitly in terms of critical points composing the population., Comment: Latex, 27 pages

We consider critical points of master functions associated with integral dominant weights of Kac-Moody algebras and introduce a generating procedure constructing new critical points starting from a given one. The set of all critical points constructed from a given one is called a population. We formulate a conjecture that a population is isomorphic to the flag variety of the Langlands dual Kac-Moody algebra and prove the conjecture for algebras $sl_{N+1}, so_{2N+1}$, and $sp_{2N}$. We show that populations associated with a collection of integral dominant $sl_{N+1}$-weights are in one to one correspondence with intersection points of suitable Schubert cycles in a Grassmannian variety., Latex, 49 pages

We present an elliptic version of Selberg's integral formula., Comment: 13 pages

We consider the space of elliptic hypergeometric functions of the sl_2 type associated with elliptic curves with one marked point. This space represents conformal blocks in the sl_2 WZW model of CFT. The modular group acts on this space. We give formulas for the matrices of the action in terms of values at roots of unity of Macdonald polynomials of the sl_2 type., Comment: Latex, 19 pages; added remark in section 2 and remark in section 6, added references

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., 10 pages, AMSLaTeX