-
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.
-
On the Satake correspondence for the equivariant quantum differential equations and qKZ difference equations of Grassmannians
Authors:
Giordano Cotti,
Alexander Varchenko
Abstract:
We consider the joint system of equivariant quantum differential equations (qDE) and qKZ difference equations for the Grassmannian $G(k,n)$, which parametrizes $k$-dimensional subspaces of $\mathbb{C}^n$. First, we establish a connection between this joint system for $G(k,n)$ and the corresponding system for the projective space $\mathbb{P}^{n-1}$. Specifically, we show that, under suitable \texti…
▽ More
We consider the joint system of equivariant quantum differential equations (qDE) and qKZ difference equations for the Grassmannian $G(k,n)$, which parametrizes $k$-dimensional subspaces of $\mathbb{C}^n$. First, we establish a connection between this joint system for $G(k,n)$ and the corresponding system for the projective space $\mathbb{P}^{n-1}$. Specifically, we show that, under suitable \textit{Satake identifications} of the equivariant cohomologies of $G(k,n)$ and $\mathbb{P}^{n-1}$, the joint system for $G(k,n)$ is gauge equivalent to a differential-difference system on the $k$-th exterior power of the cohomology of $\mathbb{P}^{n-1}$.
Secondly, we demonstrate that the \textcyr{B}-theorem for Grassmannians, as stated in arXiv:1909.06582, arXiv:2203.03039, is compatible with the Satake identification. This implies that the \textcyr{B}-theorem for $\mathbb{P}^{n-1}$ extends to $G(k,n)$ through the Satake identification. As a consequence, we derive determinantal formulas and new integral representations for multi-dimensional hypergeometric solutions of the joint qDE and qKZ system for $G(k,n)$.
Finally, we analyze the Stokes phenomenon for the joint system of qDE and qKZ equations associated with $G(k,n)$. We prove that the Stokes bases of solutions correspond to explicit $K$-theoretical classes of full exceptional collections in the derived category of equivariant coherent sheaves on $G(k,n)$. Furthermore, we show that the Stokes matrices equal the Gram matrices of the equivariant Euler-Poincaré-Grothendieck pairing with respect to these exceptional $K$-theoretical bases.
△ Less
Submitted 15 September, 2024;
originally announced September 2024.
-
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.
-
$p$-curvature of periodic pencils of flat connections
Authors:
Pavel Etingof,
Alexander Varchenko
Abstract:
In arXiv:2401.00636 we introduced the notion of a periodic pencil of flat connections on a smooth variety $X$. Namely, a pencil is a linear family of flat connections $\nabla(s_1,...,s_n)=d-\sum_{i=1}^r\sum_{j=1}^ns_jB_{ij}dx_i,$ where $\lbrace x_i\rbrace$ are coordinates on $X$ and $B_{ij}: X\to {\rm Mat}_N$ are matrix-valued regular functions. A pencil is periodic if it is generically invariant…
▽ More
In arXiv:2401.00636 we introduced the notion of a periodic pencil of flat connections on a smooth variety $X$. Namely, a pencil is a linear family of flat connections $\nabla(s_1,...,s_n)=d-\sum_{i=1}^r\sum_{j=1}^ns_jB_{ij}dx_i,$ where $\lbrace x_i\rbrace$ are coordinates on $X$ and $B_{ij}: X\to {\rm Mat}_N$ are matrix-valued regular functions. A pencil is periodic if it is generically invariant under the shifts $s_j\mapsto s_j+1$ up to isomorphism. In this paper we show that in characteristic $p>0$, the $p$-curvature operators $\lbrace C_i,1\le i\le r\rbrace$ of a periodic pencil $\nabla$ are isospectral to the commuting endomorphisms $C_i^*:=\sum_{j=1}^n (s_j-s_j^p)B_{ij}^{(1)}$, where $B_{ij}^{(1)}$ is the Frobenius twist of $B_{ij}$. Using the results of arXiv:2401.00636, this allows us to compute the eigenvalues of the $p$-curvature for many important examples of pencils of flat connections, including Knizhnik-Zamolodchikov (KZ), Casimir, and Dunkl connections, their confluent limits, and equivariant quantum connections for conical symplectic resolutions with finitely many torus fixed points. In particular, for rational values of parameters these eigenvalues are zero, so the connections are globally nilpotent. We also show that every periodic pencil has regular singularites and its residues have rational eigenvalues for rational values of parameters. In particular, this holds for the aforementioned quantum connections if they have rational coefficients. Also we generalize these results to irregular pencils (KZ, Casimir, Dunkl, and Toda), and relate them in the Dunkl case to representations of rational Cherednik algebras. Finally, we extend our main result to pseudo-pencils and discuss the generalization to difference equations.
△ Less
Submitted 7 January, 2025; v1 submitted 10 January, 2024;
originally announced January 2024.
-
Periodic and quasi-motivic pencils of flat connections
Authors:
Pavel Etingof,
Alexander Varchenko
Abstract:
We introduce a new notion of a periodic pencil of flat connections on a smooth algebraic variety $X$. This is a family $\nabla(s_1,...,s_n)$ of flat connections on a trivial vector bundle on $X$ depending linearly on parameters $s_1,...,s_n$ and generically invariant, up to isomorphism, under the shifts $s_i\mapsto s_i+1$ for all $i$. If in addition $\nabla$ has regular singularities, we call it a…
▽ More
We introduce a new notion of a periodic pencil of flat connections on a smooth algebraic variety $X$. This is a family $\nabla(s_1,...,s_n)$ of flat connections on a trivial vector bundle on $X$ depending linearly on parameters $s_1,...,s_n$ and generically invariant, up to isomorphism, under the shifts $s_i\mapsto s_i+1$ for all $i$. If in addition $\nabla$ has regular singularities, we call it a quasi-motivic pencil. We use tools from complex analysis to establish various remarkable properties of such pencils over $\mathbb C$. For example, we show that the monodromy of a quasi-motivic pencil is defined over the field of algebraic functions in $e^{2πis_j}$, and that its singularities are constrained to an arrangement of hyperplanes with integer normal vectors. Then we show that many important examples of families of flat connections, such as Knizhnik-Zamolodchikov, Dunkl, and Casimir connections, are quasi-motivic and thus periodic pencils.
Besides being interesting in its own right, the periodic property of a pencil of flat connections turns out to be very useful in computing the eigenvalues of the $p$-curvature of its reduction to positive characteristic. This will be done in our forthcoming paper.
△ Less
Submitted 4 May, 2024; v1 submitted 31 December, 2023;
originally announced January 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.
-
Frobenius-like structure in Gaudin model
Authors:
Evgeny Mukhin,
Alexander Varchenko
Abstract:
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.
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.
△ Less
Submitted 9 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.
-
Derived KZ equations
Authors:
Vadim Schechtman,
Alexander Varchenko
Abstract:
In this paper we strengthen the results of [SV] by presenting their derived version. Namely, we define a "derived Knizhnik - Zamolodchikov connection"\ and identify it with a "derived Gauss - Manin connection".
In this paper we strengthen the results of [SV] by presenting their derived version. Namely, we define a "derived Knizhnik - Zamolodchikov connection"\ and identify it with a "derived Gauss - Manin connection".
△ Less
Submitted 27 December, 2020; v1 submitted 4 December, 2020;
originally announced December 2020.
-
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.
-
Positive Populations
Authors:
Vadim Schechtman,
Alexander Varchenko
Abstract:
A positive structure on the varieties of critical points of master functions for KZ equations is introduced. It comes as a combination of the ideas from classical works by G.Lusztig and a previous work by E.Mukhin and the second named author.
A positive structure on the varieties of critical points of master functions for KZ equations is introduced. It comes as a combination of the ideas from classical works by G.Lusztig and a previous work by E.Mukhin and the second named author.
△ Less
Submitted 26 December, 2019;
originally announced December 2019.
-
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.
-
Critical points of master functions and mKdV hierarchy of type $C^{(1)}_{n}$
Authors:
Alexander Varchenko,
Tyler Woodruff
Abstract:
We consider the population of critical points, generated from the critical point of the master function with no variables, which is associated with the trivial representation of the twisted affine Lie algebra $C_n^{(1)}$. The population is naturally partitioned into an infinite collection of complex cells $\mathbb C^m$, where $m$ are positive integers. For each cell we define an injective rational…
▽ More
We consider the population of critical points, generated from the critical point of the master function with no variables, which is associated with the trivial representation of the twisted affine Lie algebra $C_n^{(1)}$. The population is naturally partitioned into an infinite collection of complex cells $\mathbb C^m$, where $m$ are positive integers. For each cell we define an injective rational map $\mathbb C^m \to \mathcal M(C_n^{(1)})$ of the cell to the space $\mathcal M(C_n^{(1)})$ of Miura opers of type $C_n^{(1)}$. We show that the image of the map is invariant with respect to all mKdV flows on $\mathcal M(C_n^{(1)})$ and the image is point-wise fixed by all mKdV flows $\frac{\partial}{\partial t_r}$ with index $r$ greater than $2m$.
△ Less
Submitted 2 November, 2018;
originally announced November 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.
-
Potentials of a Frobenius like structure
Authors:
Claus Hertling,
Alexander Varchenko
Abstract:
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 cert…
▽ More
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.
△ Less
Submitted 22 December, 2017;
originally announced December 2017.
-
$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.
-
Self-dual Grassmannian, Wronski map, and representations of $\mathfrak{gl}_N$, ${\mathfrak{sp}}_{2r}$, ${\mathfrak{so}}_{2r+1}$
Authors:
Kang Lu,
E. Mukhin,
A. Varchenko
Abstract:
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 $Ω_{\mathbfΛ}$ labeled by unordered sets $\mathbfΛ=(λ^{(1)},\dots,λ^{(n)})$ of nonzero partitions with at most $N$ parts, satisfying a condition depending on $d$, and such that $(\otimes_{i=1}^n V_{λ^{(i)}})^{\mathfrak{sl}_N}\ne 0$. Here…
▽ More
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 $Ω_{\mathbfΛ}$ labeled by unordered sets $\mathbfΛ=(λ^{(1)},\dots,λ^{(n)})$ of nonzero partitions with at most $N$ parts, satisfying a condition depending on $d$, and such that $(\otimes_{i=1}^n V_{λ^{(i)}})^{\mathfrak{sl}_N}\ne 0$. Here $V_{λ^{(i)}}$ is the irreducible $\mathfrak{gl}_N$-module with highest weight $λ^{(i)}$. We show that the closure of a stratum $Ω_{\mathbfΛ}$ is the union of the strata $Ω_{\mathbfΞ}$, $\mathbfΞ=(ξ^{(1)},\dots,ξ^{(m)})$, such that there is a partition $\{I_1,\dots,I_m\}$ of $\{1,2,\dots,n\}$ with $ {\rm {Hom}}_{\mathfrak{gl}_N} (V_{ξ^{(i)}}, \otimes_{j\in I_i}V_{λ^{(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$.
△ Less
Submitted 27 March, 2018; v1 submitted 4 May, 2017;
originally announced May 2017.
-
Elliptic Dynamical Quantum Groups and Equivariant Elliptic Cohomology
Authors:
Giovanni Felder,
Richárd Rimányi,
Alexander Varchenko
Abstract:
We define an elliptic version of the stable envelope of Maulik and Okounkov for the equivariant elliptic cohomology of cotangent bundles of Grassmannians. It is a version of the construction proposed by Aganagic and Okounkov and is based on weight functions and shuffle products. We construct an action of the dynamical elliptic quantum group associated with $\mathfrak{gl}_2$ on the equivariant elli…
▽ More
We define an elliptic version of the stable envelope of Maulik and Okounkov for the equivariant elliptic cohomology of cotangent bundles of Grassmannians. It is a version of the construction proposed by Aganagic and Okounkov and is based on weight functions and shuffle products. We construct an action of the dynamical elliptic quantum group associated with $\mathfrak{gl}_2$ on the equivariant elliptic cohomology of the union of cotangent bundles of Grassmannians. The generators of the elliptic quantum groups act as difference operators on sections of admissible bundles, a notion introduced in this paper.
△ Less
Submitted 21 December, 2018; v1 submitted 26 February, 2017;
originally announced February 2017.
