This project will focus on multidimensional hypergeometric functions and their q-analogs appear as solutions to differential and difference equations in representation theory, conformal field theory, and statistical mechanics. The equations are formulated in terms of representation theory of Lie algebras and quantum groups. The hypergeometric and q-hypergeometric functions appearing in these considerations have rich and interesting mathematical structures. Studying these structures will lead to better understanding of interrelations of the above theories as well as to establishing new connections among them. A class of (q-hypergeometric functions is determined by a choice of a simple Lie algebra and a number called central charge or level. The theory of hypergeometric functions is better developed when the Lie algebra is sl2 and the level is not critical. The limit when the level tends to its critical value is the theory of the Bethe ansatz method in quantum integrable systems. The goal of the proposal is to develop the theory of (q-)hypergeometric functions for higher rank Lie algebras and the associated Bethe ansatz method with applications to representation theory, CFT, and statistical mechanics
The theory of quantum integrable systems as a part of mathematics emerged from quantum and statistical mechanics. The problem is to find eigenstates and observables in a system. The Bethe ansatz is a method to solve this problem. Important objects of the quantum field theory are correlation functions and differential equations for correlation functions. It turns out that both the Bethe ansatz method in the theory of quantum integrable systems and the study of correlation functions in the quantum field theory are closely connected with the theory of multidimensional hypergeometric functions and more generally with the theory of arrangements of hyperplanes. Correlation functions are often the hypergeometric functions, the differential equations for correlation functions are equations for hypergeometric functions, the Bethe eigenstates are limiting values of hypergeometric functions. The identification of objects of the quantum field theory and of the theory of quantum integrable systems with objects of the theory of arrangements of hyperplanes is a part of the mirror symmetry and geometric Langlands correspondence. The goal of this project was to develop and investigate these relations with applications to mathematical physics and algebraic geometry. As a result of this study, an analog of the Bethe ansatz for an arrangement of hyperplanes was developed. The completeness of Bethe eigenstates was shown in important examples. The norm of a Bethe eigenstate was calculated as the Hessian at a critical point of the master function of the corresponding arrangement of hyperplanes. The algebra of Hamiltonians of the Gaudin model was identified with the algebra of functions on the intersection of suitable Schubert varieties. That identification had explained a long standing puzzle in representation theory and algebraic geometry. Namely, it was known for quite a long time that some integers appearing in representation theory are equal to some integers appearing in algebraic geometry and combinatorics. In representation theory those are the multiplicities of irreducible representations of a general linear group in a tensor product of irreducible representations. In algebraic geometry and combinatorics those are the numbers of solutions of certain algebraic equations, namely, the intersection indices of Schubert cycles in a Grassmannian. The problem was to explain conceptually why these numbers are equal. Now the puzzle is resolved: these numbers are dimensions of isomorphic vector spaces with an algebra action. That isomorphism also had allowed us to confirm the long standing Shapiro conjecture that under certain conditions all solutions of equations with real coefficients are real, more precisely, the intersection points of Schubert cycles defined by real conditions are all real and of multiplicity one. The interactions between the theory of quantum integrable systems and the theory of hypergeometric functions had been shown to be useful for the theory of quantum integrable systems too: as a result of this study, it had been shown that the algebra of Hamiltonians of the XXX homogeneous quantum integrable model has simple spectrum, namely, the eigenstates can be distinguished by observations. The XXX homogeneous quantum integrable model had been introduced by W. Heisenberg in 1920s as a model to describe a chain of atoms.