-
Knizhnik-Zamolodchikov equations in Deligne categories
Authors:
Pavel Etingof,
Ivan Motorin,
Alexander Varchenko,
Isaac Zhu
Abstract:
We consider the Knizhnik-Zamolodchikov equations in Deligne Categories in the context of $(\mathfrak{gl}_m,\mathfrak{gl}_{n})$ and $(\mathfrak{so}_m,\mathfrak{so}_{2n})$ dualities. We derive integral formulas for the solutions in the first case and compute monodromy in both cases.
We consider the Knizhnik-Zamolodchikov equations in Deligne Categories in the context of $(\mathfrak{gl}_m,\mathfrak{gl}_{n})$ and $(\mathfrak{so}_m,\mathfrak{so}_{2n})$ dualities. We derive integral formulas for the solutions in the first case and compute monodromy in both cases.
△ Less
Submitted 3 April, 2025; v1 submitted 3 April, 2025;
originally announced April 2025.
-
Finding all solutions of qKZ equations in characteristic $p$
Authors:
Evgeny Mukhin,
Alexander Varchenko
Abstract:
In [MV] the difference qKZ equations were considered modulo a prime number $p$ and a family of polynomial solutions of the qKZ equations modulo $p$ was constructed by an elementary procedure as suitable $p$-approximations of the hypergeometric integrals. In this paper, we study in detail the first family of nontrivial example of the qKZ equations in characteristic $p$. We describe all solutions of…
▽ More
In [MV] the difference qKZ equations were considered modulo a prime number $p$ and a family of polynomial solutions of the qKZ equations modulo $p$ was constructed by an elementary procedure as suitable $p$-approximations of the hypergeometric integrals. In this paper, we study in detail the first family of nontrivial example of the qKZ equations in characteristic $p$. We describe all solutions of these qKZ equations in characteristic $p$ by demonstrating that they all stem from the $p$-hypergeometric solutions. We also prove a Lagrangian property (called the orthogonality property) of the subbundle of the qKZ bundle spanned by the $p$-hypergeometric sections. This paper extends the results of [VV1] on the differential KZ equations to the difference qKZ equations.
△ Less
Submitted 8 March, 2025;
originally announced March 2025.
-
Notes on $2D$ $\mathbb F_p$-Selberg integrals
Authors:
Alexander Varchenko
Abstract:
We prove a two-dimensional $\mathbb F_p$-Selberg integral formula, in which the two-dimensional $\mathbb F_p$-Selberg integral $\bar S(a,b,c;l_1,l_2)$ depends on positive integer parameters $a,b,c$, $l_1,l_2$ and is an element of the finite field $\mathbb F_p$ with odd prime number $p$ of elements. The formula is motivated by the analogy between multidimensional hypergeometric solutions of the KZ…
▽ More
We prove a two-dimensional $\mathbb F_p$-Selberg integral formula, in which the two-dimensional $\mathbb F_p$-Selberg integral $\bar S(a,b,c;l_1,l_2)$ depends on positive integer parameters $a,b,c$, $l_1,l_2$ and is an element of the finite field $\mathbb F_p$ with odd prime number $p$ of elements. The formula is motivated by the analogy between multidimensional hypergeometric solutions of the KZ equations and polynomial solutions of the same equations reduced modulo $p$.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
On $p$-adic solutions to KZ equations, ordinary crystals, and $p^s$-hypergeometric solutions
Authors:
Alexander Varchenko,
Vadim Vologodsky
Abstract:
We consider the KZ connection associated with a family of hyperelliptic curves of genus $g$ over the ring of $p$-adic integers $\mathbb{Z}_p$. Then the dual connection is the Gauss-Manin connection of that family. We observe that the Gauss-Manin connection has an ordinary $F$-crystal structure and its unit root subcrystal is of rank $g$. We prove that all local flat sections of the KZ connection a…
▽ More
We consider the KZ connection associated with a family of hyperelliptic curves of genus $g$ over the ring of $p$-adic integers $\mathbb{Z}_p$. Then the dual connection is the Gauss-Manin connection of that family. We observe that the Gauss-Manin connection has an ordinary $F$-crystal structure and its unit root subcrystal is of rank $g$. We prove that all local flat sections of the KZ connection annihilate the unite root subcrystal, and the space of all local flat sections of the KZ connection is a free $\mathbb{Z}_p$-module of rank $g$. We also consider the reduction modulo $p^s$ of the unit root subcrystal for any $s\geq 1$. We prove that its annihilator is generated by the so-called $p^s$-hypergeometric flat sections of the KZ connection. In particular, that means that the reduction modulo $p^s$ of an arbitrary local flat section of the KZ connection over $\mathbb{Z}_p$ is a linear combination of the $p^s$-hypergeometric flat sections.
△ Less
Submitted 12 September, 2024; v1 submitted 27 June, 2024;
originally announced June 2024.
-
Finding all solutions to the KZ equations in characteristic $p$
Authors:
Alexander Varchenko,
Vadim Vologodsky
Abstract:
The KZ equations are differential equations satisfied by the correlation functions (on the Riemann sphere) of two-dimensional conformal field theories associated with an affine Lie algebra at a fixed level. They form a system of complex partial differential equations with regular singular points satisfied by the $n$-point functions of affine primary fields. In [SV1] the KZ equations were identifie…
▽ More
The KZ equations are differential equations satisfied by the correlation functions (on the Riemann sphere) of two-dimensional conformal field theories associated with an affine Lie algebra at a fixed level. They form a system of complex partial differential equations with regular singular points satisfied by the $n$-point functions of affine primary fields. In [SV1] the KZ equations were identified with equations for flat sections of suitable Gauss-Manin connections, and solutions of the KZ equations were constructed in the form of multidimensional hypergeometric integrals. In [SV2] the KZ equations were considered modulo a prime number $p$, and, for rational levels, polynomial solutions of the KZ equations modulo $p$ were constructed by an elementary procedure as suitable $p$-approximations of the hypergeometric integrals. In this paper we study in detail the first nontrivial example of the KZ equations in characteristic $p$. In particular, if the level is irrational, we prove a version of the steepest descent result that relates the KZ local system to the space of functions on the critical locus of the master function. We use this result to prove the generic irreducibility of the KZ local system at any irrational level. If the level is rational, we describe all solutions of the KZ equations in characteristic $p$ by demonstrating that they all stem from the $p$-hypergeometric solutions. Finally, we prove a Lagrangian property of the subbundle of the KZ bundle spanned by the $p$-hypergeometric sections.
△ Less
Submitted 30 April, 2025; v1 submitted 24 April, 2024;
originally announced May 2024.
-
Calogero-Moser eigenfunctions modulo $p^s$
Authors:
Alexander Gorsky,
Alexander Varchenko
Abstract:
In this note we use the Matsuo-Cherednik duality between the solutions to KZ equations
and eigenfunctions of Calogero-Moser Hamiltonians to get the polynomial $p^s$-truncation of the
Calogero-Moser eigenfunctions at a rational coupling constant. The truncation procedure
uses the integral representation for the hypergeometric solutions to KZ equations.
The $s\rightarrow \infty$ limit to the…
▽ More
In this note we use the Matsuo-Cherednik duality between the solutions to KZ equations
and eigenfunctions of Calogero-Moser Hamiltonians to get the polynomial $p^s$-truncation of the
Calogero-Moser eigenfunctions at a rational coupling constant. The truncation procedure
uses the integral representation for the hypergeometric solutions to KZ equations.
The $s\rightarrow \infty$ limit to the pure $p$-adic case has been analyzed in the $n=2$ case
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Hypergeometric integrals, hook formulas and Whittaker vectors
Authors:
G. Felder,
A. Smirnov,
V. Tarasov,
A. Varchenko
Abstract:
We determine the coefficient of proportionality between two multidimensional hypergeometric integrals. One of them is a solution of the dynamical difference equations associated with a Young diagram and the other is the vertex integral associated with the Young diagram. The coefficient of proportionality is the inverse of the product of weighted hooks of the Young diagram. It turns out that this p…
▽ More
We determine the coefficient of proportionality between two multidimensional hypergeometric integrals. One of them is a solution of the dynamical difference equations associated with a Young diagram and the other is the vertex integral associated with the Young diagram. The coefficient of proportionality is the inverse of the product of weighted hooks of the Young diagram. It turns out that this problem is closely related to the question of describing the action of the center of the universal enveloping algebra of $\mathfrak{gl}_n$ on the space of Whittaker vectors in the tensor product of dual Verma modules with fundamental modules, for which we give an explicit basis of simultaneous eigenvectors.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Polynomial superpotential for Grassmannian $Gr(k,n)$ from a limit of vertex function
Authors:
Andrey Smirnov,
Alexander Varchenko
Abstract:
In this note we discuss an integral representation for the vertex function of the cotangent bundle over the Grassmannian, $X=T^{*} Gr(k,n)$. This integral representation can be used to compute the $\hbar\to \infty$ limit of the vertex function, where $\hbar$ denotes the equivariant parameter of a torus acting on $X$ by dilating the cotangent fibers. We show that in this limit the integral turns in…
▽ More
In this note we discuss an integral representation for the vertex function of the cotangent bundle over the Grassmannian, $X=T^{*} Gr(k,n)$. This integral representation can be used to compute the $\hbar\to \infty$ limit of the vertex function, where $\hbar$ denotes the equivariant parameter of a torus acting on $X$ by dilating the cotangent fibers. We show that in this limit the integral turns into the standard mirror integral representation for the $A$-series of the Grassmannian $Gr(k,n)$ with the Laurent polynomial Landau-Ginzburg superpotential of Eguchi, Hori and Xiong. We also observe some Dwork type congruences for the coefficients of the $A$-series.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Polynomial Solutions Modulo $p^s$ of Differential KZ and Dynamical Equations
Authors:
Pavel Etingof,
Alexander Varchenko
Abstract:
We construct polynomial solutions modulo $p^s$ of the differential KZ and dynamical equations where $p$ is an odd prime number.
We construct polynomial solutions modulo $p^s$ of the differential KZ and dynamical equations where $p$ is an odd prime number.
△ Less
Submitted 1 September, 2023; v1 submitted 16 April, 2023;
originally announced April 2023.
-
The p-adic approximations of vertex functions via 3D-mirror symmetry
Authors:
Andrey Smirnov,
Alexander Varchenko
Abstract:
Using the $3D$ mirror symmetry we construct a system of polynomials $T_s(z)$ with integral coefficients which solve the quantum differential equitation of $X=T^{*} Gr(k,n)$ modulo $p^s$, where $p$ is a prime number. We show that the sequence $T_s(z)$ converges in the $p$-adic norm to the Okounkov's vertex function of $X$ as $s\to \infty$. We prove that $T_s(z)$ satisfy Dwork-type congruences which…
▽ More
Using the $3D$ mirror symmetry we construct a system of polynomials $T_s(z)$ with integral coefficients which solve the quantum differential equitation of $X=T^{*} Gr(k,n)$ modulo $p^s$, where $p$ is a prime number. We show that the sequence $T_s(z)$ converges in the $p$-adic norm to the Okounkov's vertex function of $X$ as $s\to \infty$. We prove that $T_s(z)$ satisfy Dwork-type congruences which lead to a new infinite product presentation of the vertex function modulo $p^s$.
△ Less
Submitted 22 May, 2023; v1 submitted 6 February, 2023;
originally announced February 2023.
-
Monodromy of the equivariant quantum differential equation of the cotangent bundle of a Grassmannian
Authors:
Vitaly Tarasov,
Alexander Varchenko
Abstract:
We describe the monodromy of the equivariant quantum differential equation of the cotangent bundle of a Grassmannian in terms of the equivariant K-theory algebra of the cotangent bundle. This description is based on the hypergeometric integral representations for solutions of the equivariant quantum differential equation. We identify the space of solutions with the space of the equivariant K-theor…
▽ More
We describe the monodromy of the equivariant quantum differential equation of the cotangent bundle of a Grassmannian in terms of the equivariant K-theory algebra of the cotangent bundle. This description is based on the hypergeometric integral representations for solutions of the equivariant quantum differential equation. We identify the space of solutions with the space of the equivariant K-theory algebra of the cotangent bundle. In particular, we show that for any element of the monodromy group, all entries of its matrix in the standard basis of the equivariant K-theory algebra of the cotangent bundle are Laurent polynomials with integer coefficients in the exponentiated equivariant parameters.
△ Less
Submitted 17 December, 2022;
originally announced December 2022.
-
De Rham - Witt KZ equations
Authors:
Vadim Schechtman,
Alexander Varchenko
Abstract:
We propose a de Rham - Witt version of the derived Knizhnik-Zamolodchikov equations, and of their hypergeometric realizations. We also propose de Rham - Witt versions of some classical theorems related to arbitrary hyperplane arrangements.
We propose a de Rham - Witt version of the derived Knizhnik-Zamolodchikov equations, and of their hypergeometric realizations. We also propose de Rham - Witt versions of some classical theorems related to arbitrary hyperplane arrangements.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Solutions of the $sl_2$ qKZ equations modulo an integer
Authors:
Evgeny Mukhin,
Alexander Varchenko
Abstract:
We study the qKZ difference equations with values in the $n$-th tensor power of the vector $sl_2$ representation $V$, variables $z_1,\dots,z_n$ and integer step $κ$. For any integer $N$ relatively prime to the step $κ$, we construct a family of polynomials $f_r(z)$ in variables $z_1,\dots,z_n$ with values in $V^{\otimes n}$ such that the coordinates of these polynomials with respect to the standar…
▽ More
We study the qKZ difference equations with values in the $n$-th tensor power of the vector $sl_2$ representation $V$, variables $z_1,\dots,z_n$ and integer step $κ$. For any integer $N$ relatively prime to the step $κ$, we construct a family of polynomials $f_r(z)$ in variables $z_1,\dots,z_n$ with values in $V^{\otimes n}$ such that the coordinates of these polynomials with respect to the standard basis of $V^{\otimes n}$ are polynomials with integer coefficients. We show that the polynomials $f_r(z)$ satisfy the qKZ equations modulo $N$.
Polynomials $f_r(z)$ are modulo $N$ analogs of the hypergeometric solutions of the \qKZ/ equations given in the form of multidimensional Barnes integrals.
△ Less
Submitted 20 August, 2022;
originally announced August 2022.
-
Dynamical and qKZ equations modulo $p^s$, an example
Authors:
Alexander Varchenko
Abstract:
We consider an example of the joint system of dynamical differential equations and qKZ difference equations with parameters corresponding to equations for elliptic integrals. We solve this system of equations modulo any power $p^n$ of a prime integer $p$. We show that the $p$-adic limit of these solutions as $n\to\infty$ determines a sequence of line bundles, each of which is invariant with respec…
▽ More
We consider an example of the joint system of dynamical differential equations and qKZ difference equations with parameters corresponding to equations for elliptic integrals. We solve this system of equations modulo any power $p^n$ of a prime integer $p$. We show that the $p$-adic limit of these solutions as $n\to\infty$ determines a sequence of line bundles, each of which is invariant with respect to the corresponding dynamical connection, and that sequence of line bundles is invariant with respect to the corresponding qKZ difference connection.
△ Less
Submitted 8 May, 2022;
originally announced May 2022.
-
Dwork-type congruences and $p$-adic KZ connection
Authors:
Alexander Varchenko
Abstract:
We show that the $p$-adic KZ connection associated with the family of curves $y^q=(t-z_1)\dots (t-z_{qg+1})$ has an invariant subbundle of rank $g$, while the corresponding complex KZ connection has no nontrivial proper subbundles due to the irreducibility of its monodromy representation. The construction of the invariant subbundle is based on new Dwork--type congruences for associated Hasse--Witt…
▽ More
We show that the $p$-adic KZ connection associated with the family of curves $y^q=(t-z_1)\dots (t-z_{qg+1})$ has an invariant subbundle of rank $g$, while the corresponding complex KZ connection has no nontrivial proper subbundles due to the irreducibility of its monodromy representation. The construction of the invariant subbundle is based on new Dwork--type congruences for associated Hasse--Witt matrices.
△ Less
Submitted 3 May, 2022;
originally announced May 2022.
-
Landau-Ginzburg mirror, quantum differential equations and qKZ difference equations for a partial flag variety
Authors:
Vitaly Tarasov,
Alexander Varchenko
Abstract:
We consider the system of quantum differential equations for a partial flag variety and construct a basis of solutions in the form of multidimensional hypergeometric functions, that is, we construct a Landau-Ginzburg mirror for that partial flag variety. In our construction, the solutions are labeled by elements of the $K$-theory algebra of the partial flag variety.
To establish these facts we c…
▽ More
We consider the system of quantum differential equations for a partial flag variety and construct a basis of solutions in the form of multidimensional hypergeometric functions, that is, we construct a Landau-Ginzburg mirror for that partial flag variety. In our construction, the solutions are labeled by elements of the $K$-theory algebra of the partial flag variety.
To establish these facts we consider the equivariant quantum differential equations for a partial flag variety and introduce a compatible system of difference equations, which we call the qKZ equations. We construct a basis of solutions of the joint system of the equivariant quantum differential equations and qKZ difference equations in the form of multidimensional hypergeometric functions. Then the facts about the non-equivariant quantum differential equations are obtained from the facts about the equivariant quantum differential equations by a suitable limit.
Analyzing these constructions we obtain a formula for the fundamental Levelt solution of the quantum differential equations for a partial flag variety.
△ Less
Submitted 4 March, 2023; v1 submitted 6 March, 2022;
originally announced March 2022.
-
On the number of $p$-hypergeometric solutions of KZ equations
Authors:
Alexander Varchenko
Abstract:
It is known that solutions of the KZ equations can be written in the form of multidimensional hypergeometric integrals. In 2017 in a joint paper of the author with V. Schechtman the construction of hypergeometric solutions was modified, and solutions of the KZ equations modulo a prime number $p$ were constructed. These solutions modulo $p$, called the $p$-hypergeometric solutions, are polynomials…
▽ More
It is known that solutions of the KZ equations can be written in the form of multidimensional hypergeometric integrals. In 2017 in a joint paper of the author with V. Schechtman the construction of hypergeometric solutions was modified, and solutions of the KZ equations modulo a prime number $p$ were constructed. These solutions modulo $p$, called the $p$-hypergeometric solutions, are polynomials with integer coefficients. A general problem is to determine the number of independent $p$-hypergeometric solutions and understand the meaning of that number.
In this paper we consider the KZ equations associated with the space of singular vectors of weight $n-2r$ in the tensor power $W^{\otimes n}$ of the vector representation of $\frak{sl}_2$. In this case, the hypergeometric solutions of the KZ equations are given by $r$-dimensional hypergeometric integrals. We consider the module of the corresponding $p$-hypergeometric solutions, determine its rank, and show that the rank equals the dimension of the space of suitable square integrable differential $r$-forms.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Congruences for Hasse--Witt matrices and solutions of $p$-adic KZ equations
Authors:
Alexander Varchenko,
Wadim Zudilin
Abstract:
We prove general Dwork-type congruences for Hasse--Witt matrices attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of Knizhnik--Zamolodchikov (KZ) equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an ap…
▽ More
We prove general Dwork-type congruences for Hasse--Witt matrices attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of Knizhnik--Zamolodchikov (KZ) equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application we show that the $p$-adic KZ connection associated with the family of hyperelliptic curves $y^2=(t-z_1)\dots (t-z_{2g+1})$ has an invariant subbundle of rank $g$. Notice that the corresponding complex KZ connection has no nontrivial subbundles due to the irreducibility of its monodromy representation.
△ Less
Submitted 25 October, 2021; v1 submitted 28 August, 2021;
originally announced August 2021.
-
Ghosts and congruences for $p^s$-approximations of hypergeometric periods
Authors:
Alexander Varchenko,
Wadim Zudilin
Abstract:
We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and KZ equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application we…
▽ More
We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and KZ equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application we show that the simplest example of a $p$-adic KZ connection has an invariant line subbundle while its complex analog has no nontrivial subbundles due to the irreducibility of the monodromy group.
△ Less
Submitted 25 October, 2021; v1 submitted 18 July, 2021;
originally announced July 2021.
-
Notes on solutions of KZ equations modulo $p^s$ and $p$-adic limit $s\to\infty$
Authors:
Alexander Varchenko
Abstract:
We consider the KZ equations over $\mathbb C$ in the case, when the hypergeometric solutions are hyperelliptic integrals of genus $g$. Then the space of solutions is a $2g$-dimensional complex vector space. We also consider the same equations modulo $p^s$, where $p$ is an odd prime and $s$ is a positive integer, and over the field $\mathbb Q_p$ of $p$-adic numbers. We construct polynomial solution…
▽ More
We consider the KZ equations over $\mathbb C$ in the case, when the hypergeometric solutions are hyperelliptic integrals of genus $g$. Then the space of solutions is a $2g$-dimensional complex vector space. We also consider the same equations modulo $p^s$, where $p$ is an odd prime and $s$ is a positive integer, and over the field $\mathbb Q_p$ of $p$-adic numbers. We construct polynomial solutions of the KZ equations modulo $p^s$ and study the space $\mathcal M_{p^s}$ of all constructed solutions. We show that the $p$-adic limit of $\mathcal M_{p^s}$ as $s\to\infty$ gives us a $g$-dimensional vector space of solutions of the KZ equations over $\mathbb Q_p$. The solutions over $\mathbb Q_p$ are power series at a certain asymptotic zone of the KZ equations.
In the appendix written jointly with Steven Sperber we consider all asymptotic zones of the KZ equations in the case $g=1$ of elliptic integrals. The $p$-adic limit of $\mathcal M_{p^s}$ as $s\to \infty$ gives us a one-dimensional space of solutions over $\mathbb Q_p$ at every asymptotic zone. We apply Dwork's theory and show that our germs of solutions over $\mathbb Q_p$ defined at different asymptotic zones analytically continue into a single global invariant line subbundle of the associated KZ connection. Notice that the corresponding KZ connection over $\mathbb C$ does not have proper nontrivial invariant subbundles, and therefore our invariant line subbundle is a new feature of the KZ equations over $\mathbb Q_p$. We describe the Frobenius transformations of solutions of the KZ equations for $g =1$ and then recover the unit roots of the zeta functions of the elliptic curves defined by the equations $y^2= β\,x(x-1)(x-α)$ over the finite field $\mathbb F_p$. Here $α,β\in\mathbb F_p^\times, α\ne 1$.
△ Less
Submitted 28 August, 2021; v1 submitted 2 March, 2021;
originally announced March 2021.
-
The $\mathbb F_p$-Selberg integral of type $A_n$
Authors:
Richard Rimanyi,
Alexander Varchenko
Abstract:
We prove an $\mathbb F_p$-Selberg integral formula of type $A_n$, 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$. For the type $A_1$ the formula…
▽ More
We prove an $\mathbb F_p$-Selberg integral formula of type $A_n$, 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$. For the type $A_1$ the formula was proved in a previous paper by the authors.
△ Less
Submitted 15 December, 2020; v1 submitted 2 December, 2020;
originally announced December 2020.
-
The $\mathbb F_p$-Selberg Integral
Authors:
Richard Rimanyi,
Alexander Varchenko
Abstract:
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$.
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$.
△ Less
Submitted 15 December, 2020; v1 submitted 28 November, 2020;
originally announced November 2020.
-
Determinant of $\mathbb F_p$-hypergeometric solutions under ample reduction
Authors:
Alexander Varchenko
Abstract:
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 polynomial solutions of these differential equations over $\mathbb F_p$, constructed in a previous work joint with V.\,Schechtman and called the $\mathbb F_p$-hyperge…
▽ More
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 polynomial solutions of these differential equations over $\mathbb F_p$, constructed in a previous work joint with V.\,Schechtman and called the $\mathbb F_p$-hypergeometric solutions.
The dimension of the space of $\mathbb F_p$-hypergeometric solutions depends on the prime number $p$. We say that the KZ equations have ample reduction for a prime $p$, if the dimension of the space of $\mathbb F_p$-hypergeometric solutions is maximal possible, that is, equal to the dimension of the space of solutions of the corresponding KZ equations over $\mathbb C$. Under the assumption of ample reduction, we prove a determinant formula for the matrix of coordinates of basis $\mathbb F_p$-hypergeometric solutions. The formula is analogous to the corresponding formula for the determinant of the matrix of coordinates of basis complex hypergeometric solutions, in which binomials $(z_i-z_j)^{M_i+M_j}$ are replaced with $(z_i-z_j)^{M_i+M_j-p}$ and the Euler gamma function $Γ(x)$ is replaced with a suitable $\mathbb F_p$-analog $Γ_{\mathbb F_p}(x)$ defined on $\mathbb F_p$.
△ Less
Submitted 15 December, 2020; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Dynamical ${\frak{sl}}_2$ Bethe algebra and functions on pairs of quasi-polynomials
Authors:
A. Slinkin,
D. Thompson,
A. Varchenko
Abstract:
We consider the space $\text{Fun}_{\frak{sl}_2}V[0]$ of functions on the Cartan subalgebra of $\frak{sl}_2$ with values in the zero weight subspace $V[0]$ of a tensor product of irreducible finite-dimensional $\frak{sl}_2$-modules. We consider the algebra $\mathcal B$ of commuting differential operators on $\text{Fun}_{\frak{sl}_2}\,V[0]$, constructed by V.Rubtsov, A.Silantyev, D.Talalaev in 2009.…
▽ More
We consider the space $\text{Fun}_{\frak{sl}_2}V[0]$ of functions on the Cartan subalgebra of $\frak{sl}_2$ with values in the zero weight subspace $V[0]$ of a tensor product of irreducible finite-dimensional $\frak{sl}_2$-modules. We consider the algebra $\mathcal B$ of commuting differential operators on $\text{Fun}_{\frak{sl}_2}\,V[0]$, constructed by V.Rubtsov, A.Silantyev, D.Talalaev in 2009. We describe the relations between the action of $\mathcal B$ on $\text{Fun}_{\frak{sl}_2}V[0]$ and spaces of pairs of quasi-polynomials.
△ Less
Submitted 21 July, 2020; v1 submitted 18 July, 2020;
originally announced July 2020.
-
The $*$-Markov equation for Laurent polynomials
Authors:
Giordano Cotti,
Alexander Varchenko
Abstract:
We consider the $*$-Markov equation for the symmetric Laurent polynomials in three variables with integer coefficients, which is an equivariant analog of the classical Markov equation for integers. We study how the properties of the Markov equation and its solutions are reflected in the properties of the $*$-Markov equation and its solutions.
We consider the $*$-Markov equation for the symmetric Laurent polynomials in three variables with integer coefficients, which is an equivariant analog of the classical Markov equation for integers. We study how the properties of the Markov equation and its solutions are reflected in the properties of the $*$-Markov equation and its solutions.
△ Less
Submitted 7 December, 2020; v1 submitted 21 June, 2020;
originally announced June 2020.
-
An invariant subbundle of the KZ connection mod $p$ and reducibility of $\hat{sl}_2$ Verma modules mod $p$
Authors:
Alexander Varchenko
Abstract:
We consider the KZ differential equations over $\mathbb C$ in the case, when 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…
▽ More
We consider the KZ differential equations over $\mathbb C$ in the case, when 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 $\hat{sl}_2$ Verma modules over the field $\mathbb F_p$.
△ Less
Submitted 16 April, 2020; v1 submitted 13 February, 2020;
originally announced February 2020.
-
Hypergeometric Integrals Modulo $p$ and Hasse--Witt Matrices
Authors:
Alexey Slinkin,
Alexander Varchenko
Abstract:
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 V. Schechtman and the second author. Using Hasse-W…
▽ More
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 V. 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$.
△ Less
Submitted 16 April, 2020; v1 submitted 19 January, 2020;
originally announced January 2020.
-
Equivariant quantum differential equation and $qKZ$ equations for a projective space: Stokes bases as exceptional collections, Stokes matrices as Gram matrices, and B-Theorem
Authors:
Giordano Cotti,
Alexander Varchenko
Abstract:
In arXiv:1901.02990v1 the equivariant quantum differential equation ($qDE$) for a projective space was considered and a compatible system of difference $qKZ$ equations was introduced; the space of solutions to the joint system of the $qDE$ and $qKZ$ equations was identified with the space of the equivariant $K$-theory algebra of the projective space; Stokes bases in the space of solutions were ide…
▽ More
In arXiv:1901.02990v1 the equivariant quantum differential equation ($qDE$) for a projective space was considered and a compatible system of difference $qKZ$ equations was introduced; the space of solutions to the joint system of the $qDE$ and $qKZ$ equations was identified with the space of the equivariant $K$-theory algebra of the projective space; Stokes bases in the space of solutions were identified with exceptional bases in the equivariant $K$-theory algebra. This paper is a continuation of arXiv:1901.02990v1.
We describe the relation between solutions to the joint system of the $qDE$ and $qKZ$ equations and the topological-enumerative solution to the $qDE$ only, defined as a generating function of equivariant descendant Gromov-Witten invariants. The relation is in terms of the equivariant graded Chern character on the equivariant $K$-theory algebra, the equivariant Gamma class of the projective space, and the equivariant first Chern class of the tangent bundle of the projective space.
We consider a Stokes basis, the associated exceptional basis in the equivariant $K$-theory algebra, and the associated Stokes matrix. We show that the Stokes matrix equals the Gram matrix of the equivariant Grothendieck-Euler-Poincaré pairing wrt to the basis, which is the left dual to the associated exceptional basis.
We identify the Stokes bases in the space of solutions with explicit full exceptional collections in the equivariant derived category of coherent sheaves on the projective space, where the elements of those exceptional collections are just line bundles on the projective space and exterior powers of the tangent bundle of the projective space.
These statements are equivariant analogs of results of G. Cotti, B. Dubrovin, D. Guzzetti, and S. Galkin, V. Golyshev, H. Iritani.
△ Less
Submitted 24 July, 2020; v1 submitted 14 September, 2019;
originally announced September 2019.
-
Incarnations of XXX $\widehat{\frak{sl}_N}$ Bethe ansatz equations and integrable hierarchies
Authors:
Igor Krichever,
Alexander Varchenko
Abstract:
We consider the space of solutions of the Bethe ansatz equations of the $\widehat{\frak{sl}_N}$ XXX quantum integrable model, associated with the trivial representation of $\widehat{\frak{sl}_N}$. We construct a family of commuting flows on this space and identify the flows with the flows of coherent rational Ruijesenaars-Schneider systems. For that we develop in full generality the spectral trans…
▽ More
We consider the space of solutions of the Bethe ansatz equations of the $\widehat{\frak{sl}_N}$ XXX quantum integrable model, associated with the trivial representation of $\widehat{\frak{sl}_N}$. We construct a family of commuting flows on this space and identify the flows with the flows of coherent rational Ruijesenaars-Schneider systems. For that we develop in full generality the spectral transform for the rational Ruijesenaars-Schneider system.
△ Less
Submitted 28 July, 2019;
originally announced July 2019.
-
Three-Dimensional Mirror Self-Symmetry of the Cotangent Bundle of the Full Flag Variety
Authors:
Richárd Rimányi,
Andrey Smirnov,
Alexander Varchenko,
Zijun Zhou
Abstract:
Let $X$ be a holomorphic symplectic variety with a torus $\mathsf{T}$ action and a finite fixed point set of cardinality $k$. We assume that elliptic stable envelope exists for $X$. Let $A_{I,J}= \operatorname{Stab}(J)|_{I}$ be the $k\times k$ matrix of restrictions of the elliptic stable envelopes of $X$ to the fixed points. The entries of this matrix are theta-functions of two groups of variable…
▽ More
Let $X$ be a holomorphic symplectic variety with a torus $\mathsf{T}$ action and a finite fixed point set of cardinality $k$. We assume that elliptic stable envelope exists for $X$. Let $A_{I,J}= \operatorname{Stab}(J)|_{I}$ be the $k\times k$ matrix of restrictions of the elliptic stable envelopes of $X$ to the fixed points. The entries of this matrix are theta-functions of two groups of variables: the Kähler parameters and equivariant parameters of $X$. We say that two such varieties $X$ and $X'$ are related by the 3d mirror symmetry if the fixed point sets of $X$ and $X'$ have the same cardinality and can be identified so that the restriction matrix of $X$ becomes equal to the restriction matrix of $X'$ after transposition and interchanging the equivariant and Kähler parameters of $X$, respectively, with the Kähler and equivariant parameters of $X'$. The first examples of pairs of 3d symmetric varieties were constructed in [Rimányi R., Smirnov A., Varchenko A., Zhou Z., arXiv:1902.03677], where the cotangent bundle $T^*\operatorname{Gr}(k,n)$ to a Grassmannian is proved to be a 3d mirror to a Nakajima quiver variety of $A_{n-1}$-type. In this paper we prove that the cotangent bundle of the full flag variety is 3d mirror self-symmetric. That statement in particular leads to nontrivial theta-function identities.
△ Less
Submitted 28 November, 2019; v1 submitted 31 May, 2019;
originally announced June 2019.
-
3d Mirror Symmetry and Elliptic Stable Envelopes
Authors:
Richárd Rimányi,
Andrey Smirnov,
Alexander Varchenko,
Zijun Zhou
Abstract:
We consider a pair of quiver varieties (X;X') 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' (the Mother function) whose restrictions to X and X' are the elliptic stable…
▽ More
We consider a pair of quiver varieties (X;X') 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' (the Mother function) whose restrictions to X and X' are the elliptic stable envelopes of those varieties. This implies, that the restriction matrices of the elliptic stable envelopes for X and X' are equal after transposition and identification of the equivariant parameters on one side with the Kähler parameters on the dual side.
△ Less
Submitted 6 December, 2020; v1 submitted 10 February, 2019;
originally announced February 2019.
-
Equivariant quantum differential equation, Stokes bases, and K-theory for a projective space
Authors:
Vitaly Tarasov,
Alexander Varchenko
Abstract:
We consider the equivariant quantum differential equation for the projective space $P^{n-1}$. 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 irregu…
▽ More
We consider the equivariant quantum differential equation for the projective space $P^{n-1}$. 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-know results of B. Dubrovin and D. Guzzetti.
△ Less
Submitted 9 January, 2019;
originally announced January 2019.
-
Twisted de Rham Complex on Line and Singular Vectors in $\hat{{\mathfrak{sl}_2}}$ Verma Modules
Authors:
Alexey Slinkin,
Alexander Varchenko
Abstract:
We consider two complexes. The first complex is the twisted de Rham complex of scalar meromorphic differential forms on projective line, holomorphic on the complement to a finite set of points. The second complex is the chain complex of the Lie algebra of $\mathfrak{sl}_2$-valued algebraic functions on the same complement, with coefficients in a tensor product of contragradient Verma modules over…
▽ More
We consider two complexes. The first complex is the twisted de Rham complex of scalar meromorphic differential forms on projective line, holomorphic on the complement to a finite set of points. The second complex is the chain complex of the Lie algebra of $\mathfrak{sl}_2$-valued algebraic functions on the same complement, with coefficients in a tensor product of contragradient Verma modules over the affine Lie algebra $\hat{{\mathfrak{sl}_2}}$. In [Schechtman V., Varchenko A., Mosc. Math. J. 17 (2017), 787-802] a construction of a monomorphism of the first complex to the second was suggested and it was indicated that under this monomorphism the existence of singular vectors in the Verma modules (the Malikov-Feigin-Fuchs singular vectors) is reflected in the relations between the cohomology classes of the de Rham complex. In this paper we prove these results.
△ Less
Submitted 26 September, 2019; v1 submitted 23 December, 2018;
originally announced December 2018.
-
Dynamical elliptic Bethe algebra, KZB eigenfunctions, and theta-polynomials
Authors:
Daniel Thompson,
Alexander Varchenko
Abstract:
Let $(\otimes_{j=1}^nV_j)[0]$ be the zero weight subspace of a tensor product of finite-dimensional irreducible $\frak{sl}_2$-modules. The dynamical elliptic Bethe algebra is a commutative algebra of differential operators acting on $(\otimes_{j=1}^nV_j)[0]$-valued functions on the Cartan subalgebra of $\frak{sl}_2$. The algebra is generated by values of the coefficient $S_2(x)$ of a certain diffe…
▽ More
Let $(\otimes_{j=1}^nV_j)[0]$ be the zero weight subspace of a tensor product of finite-dimensional irreducible $\frak{sl}_2$-modules. The dynamical elliptic Bethe algebra is a commutative algebra of differential operators acting on $(\otimes_{j=1}^nV_j)[0]$-valued functions on the Cartan subalgebra of $\frak{sl}_2$. The algebra is generated by values of the coefficient $S_2(x)$ of a certain differential operator $D=(d/dx)^2+S_2(x)$, defined to V. Rubtsov, A. Silantyev, D. Talalaev in 2009. We express $S_2(x)$ in terms of the KZB operators introduced by G. Felder and C. Wieszerkowski in 1994. We study the eigenfunctions of the dynamical elliptic Bethe algebra by the Bethe ansatz method. Under certain assumptions we show that such Bethe eigenfunctions are in one-to-one correspondence with ordered pairs of theta-polynomials of certain degree. The correspondence between Bethe eigenfunctions and two-dimensional spaces, generated by the two theta-polynomials, is an analog of the non-dynamical non-elliptic correspondence between the eigenvectors of the $\frak{gl}_2$ Gaudin model and the two-dimensional subspaces of the vector space $\Bbb C[x]$, due to E. Mukhin, V. Tarasov, A. Varchenko.
We obtain a counting result for, equivalently, certain solutions of the Bethe ansatz equation, certain fibers of the elliptic Wronski map, or ratios of theta polynomials, whose derivative is of a certain form. We give an asymptotic expansion for Bethe eigenfunctions in a certain limit, and deduce from that that the Weyl involution acting on Bethe eigenfunctions coincides with the action of an analytic involution given by the transposition of theta-polynomials in the associated ordered pair.
△ Less
Submitted 21 October, 2018;
originally announced October 2018.
-
Hyperelliptic integrals modulo $p$ and Cartier-Manin matrices
Authors:
Alexander Varchenko
Abstract:
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 tot…
▽ More
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.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
-
$q$-Hypergeometric solutions of quantum differential equations, quantum Pieri rules, and Gamma theorem
Authors:
Vitaly Tarasov,
Alexander Varchenko
Abstract:
We describe \,$q$-hypergeometric solutions of the equivariant quantum differential equations and associated qKZ difference equations for the cotangent bundle $T^*F_λ$ of a partial flag variety \,$F_λ$\,. These \,$q$-hypergeometric solutions manifest a Landau-Ginzburg mirror symmetry for the cotangent bundle. We formulate and prove Pieri rules for quantum equivariant cohomology of the cotangent bun…
▽ More
We describe \,$q$-hypergeometric solutions of the equivariant quantum differential equations and associated qKZ difference equations for the cotangent bundle $T^*F_λ$ of a partial flag variety \,$F_λ$\,. These \,$q$-hypergeometric solutions manifest a Landau-Ginzburg mirror symmetry for the cotangent bundle. We formulate and prove Pieri rules for quantum equivariant cohomology of the cotangent bundle. Our Gamma theorem for \,$T^*F_λ$ \,says that the leading term of the asymptotics of the \,$q$-hypergeometric solutions can be written as the equivariant Gamma class of the tangent bundle of $T^*F_λ$ multiplied by the exponentials of the equivariant first Chern classes of the associated vector bundles. That statement is analogous to the statement of the gamma conjecture by B.\,Dubrovin and by S.\,Galkin, V.\,Golyshev, and H.\,Iritani, see also the Gamma theorem for \,$F_λ$ \,in Appendix B.
△ Less
Submitted 16 August, 2018; v1 submitted 9 October, 2017;
originally announced October 2017.
-
Solutions modulo $p$ of Gauss-Manin differential equations for multidimensional hypergeometric integrals and associated Bethe ansatz
Authors:
Alexander Varchenko
Abstract:
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…
▽ More
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.
△ Less
Submitted 12 October, 2017; v1 submitted 18 September, 2017;
originally announced September 2017.
-
Remarks on the Gaudin model modulo $p$
Authors:
Alexander Varchenko
Abstract:
We discuss the Bethe ansatz in the Gaudin model on the tensor product of finite-dimensional $sl_2$-modules over the field $F_p$ with $p$ elements, where $p$ is a prime number. We define the Bethe ansatz equations and show that if $(t^0_1,\dots,t^0_k)$ is a solution of the Bethe ansatz equations, then the corresponding Bethe vector is an eigenvector of the Gaudin Hamiltonians. We characterize solut…
▽ More
We discuss the Bethe ansatz in the Gaudin model on the tensor product of finite-dimensional $sl_2$-modules over the field $F_p$ with $p$ elements, where $p$ is a prime number. We define the Bethe ansatz equations and show that if $(t^0_1,\dots,t^0_k)$ is a solution of the Bethe ansatz equations, then the corresponding Bethe vector is an eigenvector of the Gaudin Hamiltonians. We characterize solutions $(t^0_1,\dots,t^0_k)$ of the Bethe ansatz equations as certain two-dimensional subspaces of the space of polynomials $F_p[x]$. We consider the case when the number of parameters $k$ equals 1. In that case we show that the Bethe algebra, generated by the Gaudin Hamiltonians, is isomorphic to the algebra of functions on the scheme defined by the Bethe ansatz equation. If $k=1$ and in addition the tensor product is the product of vector representations, then the Bethe algebra is also isomorphic to the algebra of functions on the fiber of a suitable Wronski map.
△ Less
Submitted 22 February, 2018; v1 submitted 21 August, 2017;
originally announced August 2017.
-
Solutions of KZ differential equations modulo $p$
Authors:
Vadim Schechtman,
Alexander Varchenko
Abstract:
We construct polynomial solutions of the KZ differential equations over a finite field $F_p$ as analogs of hypergeometric solutions.
We construct polynomial solutions of the KZ differential equations over a finite field $F_p$ as analogs of hypergeometric solutions.
△ Less
Submitted 2 January, 2018; v1 submitted 9 July, 2017;
originally announced July 2017.
-
Elliptic and K-theoretic stable envelopes and Newton polytopes
Authors:
R. Rimányi,
V. Tarasov,
A. Varchenko
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 June, 2018; v1 submitted 25 May, 2017;
originally announced May 2017.
-
Affine Macdonald conjectures and special values of Felder-Varchenko functions
Authors:
Eric M. Rains,
Yi Sun,
Alexander Varchenko
Abstract:
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 Mac…
▽ More
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.
△ Less
Submitted 27 April, 2017; v1 submitted 6 October, 2016;
originally announced October 2016.
-
On the Gaudin model associated to Lie algebras of classical types
Authors:
Kang Lu,
E. Mukhin,
A. Varchenko
Abstract:
We derive explicit formulas for solutions of the Bethe Ansatz equations of the Gaudin model associated to the tensor product of one arbitrary finite-dimensional irreducible module and one vector representation for all simple Lie algebras of classical type. We use this result to show that the Bethe Ansatz is complete in any tensor product where all but one factor are vector representations and the…
▽ More
We derive explicit formulas for solutions of the Bethe Ansatz equations of the Gaudin model associated to the tensor product of one arbitrary finite-dimensional irreducible module and one vector representation for all simple Lie algebras of classical type. We use this result to show that the Bethe Ansatz is complete in any tensor product where all but one factor are vector representations and the evaluation parameters are generic. We also show that except for the type D, the joint spectrum of Gaudin Hamiltonians in such tensor products is simple.
△ Less
Submitted 20 October, 2016; v1 submitted 28 December, 2015;
originally announced December 2015.
-
Rational differential forms on line and singular vectors in Verma modules over $\widehat {sl}_2$
Authors:
Vadim Schechtman,
Alexander Varchenko
Abstract:
We construct a monomorphism of the De Rham complex of scalar multivalued meromorphic forms on the projective line, holomorphic on the complement to a finite set of points, to the chain complex of the Lie algebra of $sl_2$-valued algebraic functions on the same complement with coefficients in a tensor product of contragradient Verma modules over the affine Lie algebra $\hat{sl}_2$. We show that the…
▽ More
We construct a monomorphism of the De Rham complex of scalar multivalued meromorphic forms on the projective line, holomorphic on the complement to a finite set of points, to the chain complex of the Lie algebra of $sl_2$-valued algebraic functions on the same complement with coefficients in a tensor product of contragradient Verma modules over the affine Lie algebra $\hat{sl}_2$. We show that the existence of singular vectors in the Verma modules (the Malikov-Feigin-Fuchs singular vectors) is reflected in the new relations between the cohomology classes of logarithmic differential forms.
△ Less
Submitted 20 February, 2017; v1 submitted 29 November, 2015;
originally announced November 2015.
-
Hypergeometric solutions of the quantum differential equation of the cotangent bundle of a partial flag variety
Authors:
V. Tarasov,
A. Varchenko
Abstract:
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.
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.
△ Less
Submitted 12 January, 2013;
originally announced January 2013.
-
Partial flag varieties, stable envelopes and weight functions
Authors:
R. Rimanyi,
V. Tarasov,
A. Varchenko
Abstract:
We consider the cotangent bundle T^*F_λof a GL_n partial flag variety, λ= (λ_1,...,λ_N), |λ|=\sum_iλ_i=n, and the torus T=(C^*)^{n+1} equivariant cohomology H^*_T(T^*F_λ). In [MO], a Yangian module structure was introduced on \oplus_{|λ|=n} H^*_T(T^*F_λ). We identify this Yangian module structure with the Yangian module structure introduced in [GRTV]. This identifies the operators of quantum multi…
▽ More
We consider the cotangent bundle T^*F_λof a GL_n partial flag variety, λ= (λ_1,...,λ_N), |λ|=\sum_iλ_i=n, and the torus T=(C^*)^{n+1} equivariant cohomology H^*_T(T^*F_λ). In [MO], a Yangian module structure was introduced on \oplus_{|λ|=n} H^*_T(T^*F_λ). We identify this Yangian module structure with the Yangian module structure introduced in [GRTV]. This identifies the operators of quantum multiplication by divisors on H^*_T(T^*F_λ), described in [MO], with the action of the dynamical Hamiltonians from [TV2, MTV1, GRTV]. To construct these identifications we provide a formula for the stable envelope maps, associated with the partial flag varieties and introduced in [MO]. The formula is in terms of the Yangian weight functions introduced in [TV1], c.f. [TV3, TV4], in order to construct q-hypergeometric solutions of qKZ equations.
△ Less
Submitted 12 January, 2013; v1 submitted 26 December, 2012;
originally announced December 2012.
-
KZ Characteristic Variety as the Zero Set of Classical Calogero-Moser Hamiltonians
Authors:
Evgeny Mukhin,
Vitaly Tarasov,
Alexander Varchenko
Abstract:
We discuss a relation between the characteristic variety of the KZ equations and the zero set of the classical Calogero-Moser Hamiltonians.
We discuss a relation between the characteristic variety of the KZ equations and the zero set of the classical Calogero-Moser Hamiltonians.
△ Less
Submitted 16 October, 2012; v1 submitted 19 January, 2012;
originally announced January 2012.
-
Extended Joseph polynomials, quantized conformal blocks, and a q-Selberg type integral
Authors:
R. Rimányi,
V. Tarasov,
A. Varchenko,
P. Zinn-Justin
Abstract:
We consider the tensor power $V=(C^N)^{\otimes n}$ of the vector representation of $gl_N$ and its weight decomposition $V=\oplus_{λ=(λ_1,...,λ_N)}V[λ]$. For $λ= (λ_1 \geq ... \geq λ_N)$, the trivial bundle $V[λ]\times \C^n\to\C^n$ has a subbundle of q-conformal blocks at level l, where $l = λ_1-λ_N$ if $λ_1-λ_N> 0$ and l=1 if $λ_1-λ_N=0$. We construct a polynomial section $I_λ(z_1,...,z_n,h)$ of t…
▽ More
We consider the tensor power $V=(C^N)^{\otimes n}$ of the vector representation of $gl_N$ and its weight decomposition $V=\oplus_{λ=(λ_1,...,λ_N)}V[λ]$. For $λ= (λ_1 \geq ... \geq λ_N)$, the trivial bundle $V[λ]\times \C^n\to\C^n$ has a subbundle of q-conformal blocks at level l, where $l = λ_1-λ_N$ if $λ_1-λ_N> 0$ and l=1 if $λ_1-λ_N=0$. We construct a polynomial section $I_λ(z_1,...,z_n,h)$ of the subbundle. The section is the main object of the paper. We identify the section with the generating function $J_λ(z_1,...,z_n,h)$ of the extended Joseph polynomials of orbital varieties, defined in [DFZJ05,KZJ09].
For l=1, we show that the subbundle of q-conformal blocks has rank 1 and $I_λ(z_1,...,z_n,h)$ is flat with respect to the quantum Knizhnik-Zamolodchikov discrete connection.
For N=2 and l=1, we represent our polynomial as a multidimensional q-hypergeometric integral and obtain a q-Selberg type identity, which says that the integral is an explicit polynomial.
△ Less
Submitted 28 June, 2012; v1 submitted 10 October, 2011;
originally announced October 2011.
-
Reality property of discrete Wronski map with imaginary step
Authors:
E. Mukhin,
V. Tarasov,
A. Varchenko
Abstract:
For a set of quasi-exponentials with real exponents, we consider the discrete Wronskian (also known as Casorati determinant) with pure imaginary step 2h. We prove that if the coefficients of the discrete Wronskian are real and for every its roots the imaginary part is at most |h|, then the complex span of this set of quasi-exponentials has a basis consisting of quasi-exponentials with real coeffic…
▽ More
For a set of quasi-exponentials with real exponents, we consider the discrete Wronskian (also known as Casorati determinant) with pure imaginary step 2h. We prove that if the coefficients of the discrete Wronskian are real and for every its roots the imaginary part is at most |h|, then the complex span of this set of quasi-exponentials has a basis consisting of quasi-exponentials with real coefficients. This result is a generalization of the statement of the B. and M. Shapiro conjecture on spaces of polynomials. The proof is based on the Bethe ansatz for the XXX model.
△ Less
Submitted 25 February, 2011;
originally announced February 2011.
-
Cohomology of a flag variety as a Bethe algebra
Authors:
R. Rimanyi,
V. Schechtman,
V. Tarasov,
A. Varchenko
Abstract:
We interpret the GL_n equivariant cohomology of a partial flag variety of flags of length N in \C^n as the Bethe algebra of a suitable gl_N[t] module associated with the tensor power (\C^N)^{\otimes n}.
We interpret the GL_n equivariant cohomology of a partial flag variety of flags of length N in \C^n as the Bethe algebra of a suitable gl_N[t] module associated with the tensor power (\C^N)^{\otimes n}.
△ Less
Submitted 2 March, 2013; v1 submitted 3 February, 2011;
originally announced February 2011.
-
Norms of eigenfunctions to trigonometric KZB operators
Authors:
E. Jensen,
A. Varchenko
Abstract:
Let $g$ be a simple Lie algebra and $V[0]=V_1\otimes...\otimes V_n[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 o…
▽ More
Let $g$ be a simple Lie algebra and $V[0]=V_1\otimes...\otimes V_n[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.
△ Less
Submitted 22 April, 2011; v1 submitted 3 October, 2010;
originally announced October 2010.
