Abstract
We construct polynomial solutions of the KZ differential equations over a finite field \({\mathbb F}_p\) as analogs of hypergeometric solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The KZ equations were discovered by physicists Vadim Knizhnik and Alexander Zamolodchikov [6] to describe the differential equations for conformal blocks on sphere in the Wess–Zumino–Witten model of conformal field theory. As Gelfand said, the KZ equations are remarkable differential equations discovered by physicists, defined in terms of a Lie algebra and whose monodromy is described by the corresponding quantum group. It turned out that the KZ equations are realized as suitable Gauss–Manin connections and its solutions are represented by multidimensional hypergeometric integrals, see [1, 3, 8,9,10,11]. The fact that certain integrals of closed differential forms over cycles satisfy a linear differential equation follows by Stokes’ theorem from a suitable cohomological relation, in which the result of the application of the corresponding differential operator to the integrand of an integral equals the differential of a form of one degree less. Such cohomological relations for the KZ equations associated with Kac–Moody algebras were developed in [11].
The goal of this paper is to construct polynomial solutions of the KZ differential equations over a finite field \({\mathbb F}_p\) with p elements, where p is a prime number, as analogs of the hypergeometric solutions constructed in [11]. Our construction is based on the fact that all cohomological relations described in [11] are defined over \({\mathbb Z}\) and can be reduced modulo p. We learned how to construct polynomial solutions in this situation out of hypergeometric solutions from the remarkable paper by Manin [7], see a detailed exposition of Manin’s idea in Section “Manin’s Result: The Unity of Mathematics” in the book [2] by Clemens.
In the remainder of the introduction we consider the example of one-dimensional hypergeometric and p-hypergeometric integrals as an illustration of our constructions and results. The multidimensional case is considered in Sects. 2–4.
1.1 Case of field \({\mathbb C}\)
Let \(\kappa , m_1,\dots ,m_n\) be nonzero complex numbers, \(z=(z_1,\dots , z_n)\in {\mathbb C}^n, t\in {\mathbb C}\). Denote \(|m|=m_1+\dots +m_n\). Consider the master function
and the n-vector
where
The integrals are over a closed (Pochhammer) curve \(\gamma \) in \({\mathbb C}-\{z_1,\dots ,z_n\}\) on which one fixes a uni-valued branch of the master function to make the integral well defined. Starting from such a curve chosen for given \(\{z_1,\dots ,z_n\}\), the vector \(I^{(\gamma )}(z)\) can be analytically continued as a multivalued holomorphic function of z to the complement in \({\mathbb C}^n\) to the union of the diagonal hyperplanes \(z_i=z_j\).
Theorem 1.1
The vector \(I^{(\gamma )}(z)\) satisfies the algebraic equation
and the differential KZ equations:
where
all other diagonal entries are \(\frac{m_im_j}{2}\) and the remaining off-diagonal entries are all zero.
Remark
The vector \(I^{(\gamma )}(z)\) depends on the choice of the curve \(\gamma \). Different curves give different solutions of the same KZ equations and all solutions of Eqs. (1.3) and (1.4) are obtained in this way, if \(\kappa ,m_1,\dots ,m_n\) are generic.
Remark
The differential equations (1.4) are the KZ differential equations with parameter \(\kappa \) associated with the Lie algebra \({\mathfrak {sl}}_2\) and the singular weight subspace of weight \(|m|-2\) of the tensor product of \({\mathfrak {sl}}_2\)-modules with highest weights \(m_1,\dots ,m_n\), see Sect. 2.
Remark
The KZ equations define a flat connection over the complement in \({\mathbb C}^n\) to the union of all diagonal hyperplanes,
for all j, k.
Theorem 1.1 is a classical statement probably known in nineteenth century. Much more general algebraic and differential equations satisfied by analogous multidimensional hypergeometric integrals were considered in [11]. Theorem 1.1 is discussed as an example in [13, Sect. 1.1].
Below we give a proof of Theorem 1.1. A modification of this proof in Sect. 1.2 will produce for us polynomial solutions of Eqs. (1.3) and (1.4) modulo a prime p.
Proof of Theorem 1.1
Equations (1.3) and (1.4) are implied by the following cohomological identities. We have
where \(\mathrm{d}_t\) denotes the differential with respect to the variable t. This identity and Stokes’ theorem imply equation (1.3).
Denote
For any \(i=1,\dots ,n\), let \(W^i(t,z)\) be the vector of \(\big (0,\dots ,0,\frac{-1}{t-z_i},0,\dots ,0\big )\) with nonzero element at the ith place. Then
The proof of this identity is straightforward. For much more general identities of this type, see [11, Lemmas 7.5.5 and 7.5.7], cf. identities in Sect. 2.4.
Identity (1.8) and Stokes’ theorem imply the KZ equation (1.4). \(\square \)
Example 1.1
Let \(\kappa =2\), \(n=3\), \(m_1=m_2=m_3=1\). Then \(I^{(\gamma )}(z)=(I_1(z),I_2(z),I_3(z))\), where
In this case, the curve \(\gamma (z)\) may be thought of as a closed path on the elliptic curve
Each of these integrals is an elliptic integral. Such an integral is a branch of analytic continuation of a suitable Euler hypergeometric function up to change of variables.
1.2 Case of field \({\mathbb F}_p\)
Let \(\kappa , m_1,\dots ,m_n\) be positive integers. Let \(p>2\) be a prime number, \(p\not \mid \kappa \). The algebraic equation (1.3) and the differential KZ equations (1.4) are well defined when reduced modulo p. The reduction of the KZ equations satisfies the flatness condition (1.5). We construct solutions of Eqs. (1.3) and (1.4) with values in \(({\mathbb F}_p[z])^n\). Notice that the space of such solutions is a module over the ring \({\mathbb F}_p[z_1^p,\dots ,z_n^p]\) since \(\frac{\partial z_i^p}{\partial z_j} =0\).
Choose positive integers \(M_a\) for \(a=1,\dots ,n\) and \(M_{a,b}\) for \(1\leqslant a<b\leqslant n\) such that
That means that we project \(m_a, \kappa , 2\) to \({\mathbb F}_p\), calculate \(-\frac{m_a}{\kappa }, \frac{m_am_b}{2\kappa }\) in \({\mathbb F}_p\), and then choose positive integers \(M_a, M_{a,b}\) satisfying these equations.
Fix an integer q. Consider the master polynomial
and the Taylor expansion with respect to the variable t of the vector of polynomials
where the \(\bar{I}^{(i)}(z,q)\) are n-vectors of polynomials in z with integer coefficients. Let \(I^{(i)}(z,q) \in ({\mathbb F}_p[z])^n \) be the canonical projection of \(\bar{I}^{(i)}(z,q)\).
Theorem 1.2
For any integer q and positive integer l, the vector of polynomials
\( I^{(lp-1)}(z,q)\) satisfies Eqs. (1.3) and (1.4).
The parameters q and \(lp-1\) are analogs of cycles \(\gamma \) in Sect. 1.1.
Proof
To prove that \(I^{(lp-1)}(z,q)\) satisfies (1.3) and (1.4), we consider the Taylor expansions at \(t=q\) of both sides of Eqs. (1.6) and (1.8), divide them by \(\mathrm{d}t\), and then project the coefficients of \((t-q)^{lp-1}\) to \({\mathbb F}_p[z]\). The projections of the right-hand sides equal zero since \(d(t^{lp})/\mathrm{d}t=lpt^{lp-1}\equiv 0\) (mod p). \(\square \)
Example 1.2
Let \(\kappa =2\), \(m_1=\dots =m_n=1\), cf. Example 1.1. Given \(p>2\) choose the master polynomial
Consider the Taylor expansion
where \(\bar{c}^i=(\bar{c}^i_1, \dots , \bar{c}^i_n)\). Let \(c^i\) be the projection of \(\bar{c}^i\) to \(({\mathbb F}_p[z])^n\). Then the vector of polynomials
is a solution of the KZ differential equations over \({\mathbb F}_p[z]\) and \(I_1(z)+\dots +I_n(z)=0\).
Example 1.3
Let \(\kappa =2\), \(m_1=\dots =m_n=1\), \(p=3\). We have
(mod 3). Equation (1.3) has the form \(I_1(z)+\dots +I_n(z)=0\). We may choose the master polynomial
Choose a nonnegative integer l. Then the vector \(I(z,q):= I^{(3l-1)}(z,q)=(I_1(z,q),\) ..., \(I_n(z,q))\) of Theorem 1.2 has coordinates
and is a solution of (1.3) and (1.4) with values in \(({\mathbb F}_3[z])^n\) for any \(q=0,1,2\). Expanding these solutions into polynomials homogeneous in z we obtain solutions in homogeneous polynomials, which stabilize with respect to n as follows. The vector \(I^{[r]}(z)=(I_1^{[r]}(z),\dots ,I_n^{[r]}(z))\), with coordinates
is a solution of (1.3) and (1.4) with values in \(({\mathbb F}_3[z])^n\) if \(r\equiv n\) (mod 3) and \(r<n\). Thus, the vector \(I^{[0]}(z)\), with coordinates
is a solution with values in \(({\mathbb F}_3[z])^n\) for \(n\equiv 0\) (mod 3); the vector \(I^{(1)}(z)\), with coordinates
is a solution for \(n\equiv 1\) (mod 3) and so on. Note that the sum in (1.14) is the mth elementary symmetric function in \(z_1,\dots , \widehat{z_j}, \dots ,z_n\).
Solutions provided by Theorem 1.2 depend on parameters q, \(lp-1\). In this example all solutions \(I^{[r]}(z)\) can be obtained by putting \(q=0\) and varying \(lp-1\) only.
1.3 Relation of polynomial solutions to integrals over \({\mathbb F}_p\)
For a polynomial \(F(t)\in {\mathbb F}_p[t]\) define the integral
Recall that
Theorem 1.3
Fix \(x_1,\dots ,x_n, q\in {\mathbb F}_p\). Consider the vector of polynomials
of Sect. 1.2. Assume that \(\deg _t F(t,x_1,\dots ,x_n) < 2p-2\). Consider the polynomial solution \(I^{(p-1)}(z_1,\dots ,z_n, q)\) of Eqs. (1.3) and (1.4) defined in front of Theorem 1.2. Then
This integral is a p-analog of the hypergeometric integral (1.2).
Proof
Consider the Taylor expansion \(F(t,x_1,\dots ,x_n) = \sum _{i=0}^{2p-3} I^{(i)}(x_1,\dots ,x_n,q)(t-q)^i\). By formula (1.17), we have \(\sum _{t\in {\mathbb F}_p}F(t,x_1,\dots ,x_n){=}-I^{(p-1)}(x_1,\dots ,x_n, q)\). \(\square \)
Example 1.4
Given \(\kappa \), n, \(m_1=\dots =m_n=1\), assume that \(n\leqslant 2\kappa \) and \(\kappa \big | (p-1)\). Then \(F(t) = \prod _{a<b}(z_a-z_b)^{M_{a,b}}\prod _{s=1}^n(t-x_s)^{\frac{p-1}{\kappa }}\big (\frac{1}{t-x_1}, \dots ,\frac{1}{t-x_n}\big )\) and \(\deg _tF(t)<2p-2\).
1.4 Relation of solutions to curves over \({\mathbb F}_p\)
Example 1.5
Let \(x_1,x_2,x_3\in {\mathbb F}_p\). Let \(\Gamma (x_1,x_2,x_3)\) be the projective closure of the affine curve
over \({\mathbb F}_p\). For a rational function \(h : \Gamma (x_1,x_2,x_3)\rightarrow {\mathbb F}_p\) define the integral
as the sum over all points \(P\in \Gamma (x_1,x_2,x_3)\), where h(P) is defined.
Theorem 1.4
Let \(p>2\) be a prime. Let \(\Big ( c^{p-1}_1(x_1,x_2,x_3), c^{p-1}_2(x_1,x_2,x_3), c^{p-1}_3(x_1,x_2,x_3)\Big )\) be the vector of polynomials appearing in the solution (1.12) of the KZ equations of Example 1.2 for \(n=3\). Then
Remark
Theorems 1.2 and 1.4 say that the integrals \(\int _{\Gamma (x_1,x_2,x_3)}\frac{1}{t-x_j}\) are polynomials in \(x_1,x_2,x_3\in {\mathbb F}_p\) and the triple of polynomials
in these discrete variables satisfies the KZ differential equations! Cf. Example 1.1.
Proof of Theorem 1.4
The proof is analogous to the reasoning in [7, Sect. 2] and [2]. The value of \(1/(t-x_j)\) at the infinite point of \(\Gamma (x_1,x_2,x_3)\) equals zero. It is easy to see that
where the last equality is by formula (1.17). \(\square \)
Remark
In [7, Sect. 2] and in [2], an equation analogous to (1.21) is considered, where the left-hand side is the number of points on \(\Gamma (x_1,x_2,x_3)\) over \({\mathbb F}_p\) and the right-hand side is the reduction modulo p of a solution of a second order Euler hypergeometric differential equation. Notice that the number of points on \(\Gamma (x_1,x_2,x_3)\) is the discrete integral over \(\Gamma (x_1,x_2,x_3)\) of the constant function \(h=1\). See details in Section “Manin’s Result: The Unity of Mathematics” in [2].
Example 1.6
This example is a variant of Example 1.5.
Let \(x_1,x_2,x_3,x_4\in {\mathbb F}_p\). Let \(\Gamma (x_1,x_2,x_3,x_4)\) be the projective closure of the affine curve
over \({\mathbb F}_p\).
Let \(p>3\) be a prime. Let
be the vector of polynomials appearing in the solution (1.12) of the KZ equations of Example 1.2 for \(n=4\). Then
Example 1.7
Let \(\kappa =3\), \(n=3\), \(m_1=m_2=m_3=2\). Assume that \(3\big | (p-1)\). Choose the master polynomial
Consider the Taylor expansion
where \(\bar{c}^i=(\bar{c}^i_1, \bar{c}^i_2, \bar{c}^i_3)\). Let \( c^i\) be the projection of \(\bar{c}^i\) to \(({\mathbb F}_p[z])^3\). Then the vector
is a solution of the corresponding KZ differential equations over \({\mathbb F}_p[z]\) and \(I_1(z)+I_2(z)+I_3(z)=0\).
For distinct \(x_1,x_2,x_3\in {\mathbb F}_p\) let \(\Gamma (x_1,x_2,x_3)\) be the projective closure of the affine
over \({\mathbb F}_p\). The curve has 3 points at infinity.
Theorem 1.5
Let p be a prime such that \(3\big |(p-1)\). Let
be the vector of polynomials appearing in the solution (1.25) of the KZ equations. Then for \(j=1,2,3\) we have
Proof
The value of \(1/(t-x_j)\) at infinite points of \(\Gamma \) equals zero. It is easy to see that
Notice that \(\sum _{t\in {\mathbb F}_p} \frac{1}{t-x_j}\prod _{s=1}^3(t-x_s)^{\frac{p-1}{3}}=0\) since the polynomial under the sum is of degree \(p-2\) which is less than \(p-1\). The last equality in (1.28) is by formula (1.17). \(\square \)
Example 1.8
Let \(\kappa =3\), \(n=3\), \(m_1=m_2=1\), \(m_3=2\). Assume that 3 divides \(p-1\). Choose the master polynomial
Consider the Taylor expansion
where \(\bar{b}^i=(\bar{b}^i_1, \bar{b}^i_2, \bar{b}^i_3)\). Let \( b^i\) be the projection of \(\bar{b}^i\) to \(({\mathbb F}_p[z])^3\). Then the vector
is a solution of the corresponding KZ differential equations over \({\mathbb F}_p[z]\) and \(I_1(z)+I_2(z)+2I_3(z)=0\).
Similarly let \(\kappa =3\), \(n=3\), \(m_1=m_2=2\), \(m_3=1\). Assume that 3 divides \(p-1\). Choose the master polynomial
Consider the Taylor expansion
where \(\bar{c}^i=(\bar{c}^i_1, \bar{c}^i_2, \bar{c}^i_3)\). Let \( c^i\) be the projection of \(\bar{c}^i\) to \(({\mathbb F}_p[z])^3\). Then the vector
is a solution of the corresponding KZ differential equations over \({\mathbb F}_p[z]\) and \(2I_1(z)+2I_2(z)+I_3(z)=0\).
For distinct \(x_1,x_2,x_3\in {\mathbb F}_p\) let \(\Gamma (x_1,x_2,x_3)\) be the projective closure of the affine curve
over \({\mathbb F}_p\). The curve has genus 2 and one point at infinity.
Theorem 1.6
Let p be a prime such that 3 divides \(p-1\). Let
be the vector of polynomials appearing in the solution (1.30) of the KZ equations with \(n=3\), \(\kappa =3\), \(m_1=m_2=1\), \(m_3=2\). Let
be the vector of polynomials appearing in the solution (1.32) of the KZ equations with \(n=3\), \(\kappa =3\), \(m_1=m_2=2\), \(m_3=1\). Then for \(j=1,2,3\) we have
Proof
The value of \(1/(t-x_j)\) at infinite points of \(\Gamma \) equals zero. It is easy to see that
\(\square \)
1.5 Resonances over \({\mathbb C}\) and \({\mathbb F}_p\)
Under assumptions of Sect. 1.1 assume that
Then the vector \(I^{(\gamma )}(z)\), defined in (1.1), in addition to the algebraic equation (1.3) and differential equations (1.4) satisfies the algebraic equation
Equation (1.36) follows from the cohomological relation:
Relation (1.36) manifests resonances in conformal field theory, where solutions of KZ equations represent conformal blocks and conformal blocks satisfy algebraic equations analogous to (1.36), see [4, 5], Sect. 3.6.2 in [13]. In conformal field theory the numbers \(m_1, \)\(\dots ,\)\( m_n, \)\(\kappa \) are natural numbers. In that case the master function \(\Phi (t,z)\) is an algebraic function and the hypergeometric integrals become integrals of algebraic forms over cycles lying on suitable algebraic varieties. The monodromy of the hypergeometric integrals \(I^{(\gamma )}(z)\) in that case was studied in Sects. 13 and 14 of [12].
Relation (1.36) has an analog over \({\mathbb F}_p\).
Theorem 1.7
Under assumptions of Theorem 1.2 let \( I^{(lp-1)}(z,q)\in {\mathbb F}_p[z]^n\) be the polynomial solution of Eqs. (1.3) and (1.4) described in Theorem 1.2. Assume that
Then
Proof
The theorem follows from (1.37) similarly to the proof of Theorem 1.2. Namely, we consider the Taylor expansions at \(t=q\) of both sides of Eq. (1.37), divide them by \(\mathrm{d}t\), and then project the coefficients of \((t-q)^{lp-1}\) to \({\mathbb F}_p[z]\). The projection coming from \(\mathrm{d}_t (t\Phi )\) equals zero since \(\mathrm{d}(t^{lp})/\mathrm{d}t=lpt^{lp-1}\equiv 0\) (mod p). The projection coming from \(\big ( 1 - \sum _{j=1}^n\, \frac{m_j}{\kappa }\big )\Phi \mathrm{d}t\) equals zero by (1.38). The projection coming from \(- \sum _{j=1}^n z_j \frac{m_j}{\kappa }\Phi \frac{\mathrm{d}t}{t-z_j}\) gives (1.39). \(\square \)
Example 1.9
Let \(\kappa =2\), \(m_1=\dots =m_n=1\), \(p=3\), \(M_1=\dots =M_n=1\),
as in Example 1.3. Let \(n \equiv 2\) (mod 3), and then \(M_1+\dots +M_n\equiv -1\) (mod 3). Choose a positive integer r, such that \(r\equiv n\) (mod 3) and \(r<n\). Then the vector \(I^{[r]}(z)\) given by (1.14) satisfies Eqs. (1.3), (1.4), and
1.6 Exposition of material
In Sect. 2 we describe the hypergeometric solutions of the KZ equations associated with \({\mathfrak {sl}_2}\) and explain their reduction to polynomial solutions over \({\mathbb F}_p\). In Sect. 3 we describe the resonance relations for \({\mathfrak {sl}_2}\) conformal blocks and construct their reduction over \({\mathbb F}_p\). In Sect. 4 we explain how the results of Sects. 2 and 3 are extended to the KZ equations associated with simple Lie algebras.
2 \({\mathfrak {sl}}_2\) KZ equations
In this section we describe solutions of the KZ equations associated with the Lie algebra \({\mathfrak {sl}_2}\). The solutions to the KZ equations over \({\mathbb C}\) in the form of multidimensional hypergeometric integrals are known since the end of 1980s. The polynomial solutions of the KZ equations over \({\mathbb F}_p\) in the form of \({\mathbb F}_p\)-analogs of the multidimensional hypergeometric integrals are new.
2.1 \({\mathfrak {sl}_2}\) KZ equations
Let e, f, h be standard basis of the complex Lie algebra \({\mathfrak {sl}_2}\) with \([e,f]=h\), \([h,e]=2e\), \([h,f]=-2f\). The element
is called the Casimir element. Given n, for \(1\leqslant i<j\leqslant n\) let \(\Omega ^{(i,j)} \in (U({\mathfrak {sl}_2}))^{\otimes n}\) be the element equal to \(\Omega \) in the ith and jth factors and to 1 in the other factors. For \(i=1,\dots ,n\) and distinct \(z_1,\dots ,z_n\in {\mathbb C}\) introduce
the Gaudin Hamiltonians. For any \(\kappa \in {\mathbb C}^\times \) and any i, k, we have
and for any \(x\in {\mathfrak {sl}_2}\) and i we have
Let \( \otimes ^n_{i=1}V_i\) be a tensor product of \({\mathfrak {sl}_2}\)-modules. The system of differential equations
on a \( \otimes ^n_{i=1}V_i\)-valued function \(I(z_1, \dots , z_n)\) is called the KZ equations.
2.2 Irreducible \({\mathfrak {sl}_2}\)-modules
For a nonnegative integer i denote by \(L_i\) the irreducible \(i+1\)-dimensional module with basis \(v_i, fv_i,\dots ,f^iv_i\) and action \(h.f^kv_i=(i-2k)f^kv_i\) for \(k=0,\dots ,i\); \(f.f^kv_i=f^{k+1}v_i\) for \(k=0,\dots , i-1\), \(f.f^iv_i=0\); \(e.v_i=0\), \(e.f^kv_i=k(i-k+1)f^{k-1}v_i\) for \(k=1,\dots ,i\).
For \(m = (m_1,\dots ,m_n) \in {\mathbb Z}^n_{\geqslant 0}\), denote \(|m| = m_1 + \dots + m_n\) and \(L^{\otimes m} = L_{m_1} \otimes \dots \otimes L_{m_n}\). For \(J=(j_1,\dots ,j_n) \in \mathbb {Z}_{\geqslant 0}^n\), with \(j_s\leqslant m_s\) for \(s=1,\dots ,n\), the vectors
form a basis of \(L^{\otimes m}\). We have
For \(\lambda \in {\mathbb Z}\), introduce the weight subspace \(L^{\otimes m}[\lambda ] = \{ \ v \in L^{\otimes m} \ | \ h.v = \lambda v \}\) and the singular weight subspace \({{\text {Sing}}}L^{\otimes m} [\lambda ] = \{ \ v \in L^{\otimes m}[\lambda ] \ | \ h.v = \lambda v, \ e.v = 0 \} \). We have the weight decomposition \(L^{\otimes m} = \oplus _{k=0}^{|m|}L^{\otimes m}[|m|-2k]\). Denote
The vectors \((f_Jv)_{J\in {\mathcal I_k}}\) form a basis of \(L^{\otimes m}[|m|-2k]\).
Remark
The \({\mathfrak {sl}_2}\)-action on the sum of singular weight subspaces \({{\text {Sing}}}L^{\otimes m}[|m|-2k]\) generates the entire \({\mathfrak {sl}_2}\)-module \(L^{\otimes m}\). If \(I(z_1,\dots ,z_n)\) is an \(L^{\otimes m}\)-valued solution of the KZ equations, then for any \(x\in {\mathfrak {sl}_2}\) the function \(x.I(z_1,\dots ,z_n)\) is also a solution, see (2.4). These observations show that in order to construct all \(L^{\otimes m}\)-valued solutions of the KZ equations it is enough to construct all \({{\text {Sing}}}L^{\otimes m}[|m|-2k]\)-valued solutions for all k and then generate the other solutions by the \({\mathfrak {sl}_2}\)-action.
2.3 Solutions of KZ equations with values in \({{\text {Sing}}}L^{\otimes m} \big [ |m| - 2k \big ]\) over \({\mathbb C}\)
Given \(k, n \in {\mathbb Z}_{>0}\), \(m = ( m_1, \dots , m_n) \in {\mathbb Z}_{> 0}^n\), \(\kappa \in {\mathbb C}^\times \), denote \(t=(t_1,\dots ,t_k)\), \(z=(z_1,\dots ,z_n)\), define the master function
For any function or differential form \(F(t_1, \dots , t_k)\), denote
For \(J=(j_1,\dots ,j_n)\in {\mathcal I_k}\) define the weight function
For example,
The function
is the \(L^{\otimes m}[ |m| -2k]\)-valued vector weight function.
Consider the \(L^{\otimes m}[ |m| -2k]\)-valued function
where \( \gamma (z)\) in \(\{z\} \times {\mathbb C}^k_t\) is a horizontal family of k-dimensional cycles of the twisted homology defined by the multivalued function \(\Phi _{k,n,m}(t,z, m)\), see [11,12,13]. The cycles \(\gamma (z)\) are multidimensional analogs of Pochhammer double loops.
Theorem 2.1
The function \(I^{(\gamma )} (z)\) takes values in \( {{\text {Sing}}}L^{\otimes m}[|m|-2k]\) and satisfies the KZ equations.
This theorem and its generalizations can be found, for example, in [1, 3, 9,10,11].
The solutions in Theorem 2.1 are called the multidimensional hypergeometric solutions of the KZ equations. The coordinate functions
are called the multidimensional hypergeometric functions associated with the master function \(\Phi _{k,n,m}\).
The fact that solutions in Theorem 2.1 take values in \( {{\text {Sing}}}L^{\otimes m} [ |m|-2k ]\) may be reformulated as follows. For any \(J\in \mathcal I_{k-1}\), we have
where we set \( I_{J+ \mathbf{1}_s}^{(\gamma )} (z)=0\) if \(J+ \mathbf{1}_s \notin {\mathcal I_k}\).
The pair consisting of the KZ equations (1.4) and hypergeometric solutions (1.2) is identified with the pair consisting of the KZ equations (2.5) and hypergeometric solutions (2.10) with values in \({{\text {Sing}}}L^{\otimes m}[|m|-2]\). In this case the system of equations in (2.12) is identified with Eq. (1.3).
2.4 Proof of Theorem 2.1
We sketch the proof following [11]. The reason to present a proof is to show later in Sect. 2.5 how a modification of this reasoning leads to a construction of polynomial solutions of the KZ equations over \({\mathbb F}_p\).
The proof of Theorem 2.1 is a generalization of the proof of Theorem 1.1 and is based on cohomological relations.
It is convenient to reformulate the definition of the hypergeometric integral (2.10). Given \(k, n \in {\mathbb Z}_{>0}\) and a multi-index \(J = (j_1, \dots , j_n)\) with \(|J| \leqslant k\), introduce a differential form
which is a logarithmic differential form on \({\mathbb C}^n\times {\mathbb C}^k\) with coordinates z, t. If \(|J| = k\), then for any \(z\in {\mathbb C}^n\) we have on \(\{z\} \times {\mathbb C}^k\) the identity
Example 2.1
For \(k = n = 2\) we have
The hypergeometric integrals (2.10) can be defined in terms of the differential forms \(\eta _J\):
Introduce the logarithmic differential 1-forms
We shall use the following algebraic identities for logarithmic differential forms.
Theorem 2.2
[11] On \({\mathbb C}^n\times {\mathbb C}^k\) we have
for any J with \(|J|=k-1\), and
Proof
Identity (2.14) is the special case of Theorem 6.16.2 in [11] for the Lie algebra \({\mathfrak {sl}_2}\). Identity (2.15) is a special case of Theorem 7.5.2\(^{\prime \prime }\) in [11] for the Lie algebra \({\mathfrak {sl}_2}\). \(\square \)
Corollary 2.3
On \({\mathbb C}^n\times {\mathbb C}^k\) we have
where the differential is taken with respect to variables z, t.
Now we deduce from identity (2.14) the following formula (2.20). Since \(|J|=k-1\), we can write
where the dots denote the terms having differentials \(\mathrm{d}z_i\) and \(c_{J,l}(t,z)\) are rational functions of the form
where \(P_{J,l}(t,z)\) is a polynomial in t, z with integer coefficients. Also for any \(s=1,\dots ,n\) we have
where the dots denote the terms having differentials \(\mathrm{d}z_i\). Formula (2.14) implies that for any J with \(|J|=k-1\) we have the identity
where \(\mathrm{d}_t\) denotes the differential with respect to the variables t.
Now we deduce from identity (2.16) the following formula (2.23). Fix \(i\in \{1,\dots ,n\}\). For any \(J\in {\mathcal I_k}\), write
where the dots denote the terms which contain \(\mathrm{d}z_j\) with \(j\ne i\), and the coefficients \(c_{J,i,l}(t,z)\) are rational functions in t, z of the form
where \(P_{J,i,l}(t,z)\) is a polynomial in t, z with integer coefficients.
Formula (2.16) implies that for any \(i\in \{1,\dots ,n\}\) we have
where \(\mathrm{d}_t\) denotes the differential with respect to the variables t.
Integrating both sides of Eqs. (2.20) and (2.23) over \(\gamma (z)\) and using Stokes’ theorem, we obtain Eqs. (2.12) and (2.5) for the vector \(I^{(\gamma )}(z)\) in (2.10). Theorem 2.1 is proved.
2.5 Solutions of KZ equations with values in \({{\text {Sing}}}L^{\otimes m} \big [ |m| - 2k \big ]\) over \({\mathbb F}_p\)
Given \(k, n \in {\mathbb Z}_{>0}\), \(m = ( m_1, \dots , m_n) \in {\mathbb Z}_{>0}^n\), \(\kappa \in {\mathbb Q}^\times \), let \(p>2\) be a prime number such that p does not divide the numerator of \(\kappa \). In this case Eqs. (2.12) and (2.5) are well defined over the field \({\mathbb F}_p\) and we may discuss their polynomial solutions in \({\mathbb F}_p[z_1,\dots ,z_n]\).
Choose positive integers \(M_s\) for \(s=1,\dots ,n\), \(M_{i,j}\) for \(1\leqslant i<j\leqslant n\), and \(M^0\), such that
Fix integers \(q=(q_1,\dots ,q_k)\). Let \(t=(t_1,\dots ,t_k)\), \(z=(z_1,\dots ,z_n)\) be variables. Define the master polynomial
Consider the Taylor expansion of the vector
Notice that each coordinate \(\Phi ^{(p)}_{k,n,M}(t,z)W_J(t,z)\) is a polynomial in t, z with integer coefficients due to the positivity of the integers \(M_s, M_{i,j},M^0\) and the definition of the weight functions \(W_J(t,z)\). Hence the Taylor coefficients \(\bar{I}^{(i_1,\dots ,i_k)}(z,q)\) are vectors of polynomials in z with integer coefficients. Let \(I^{(i_1,\dots ,i_k)}(z,q) \in ({\mathbb F}_p[z])^{\dim L^{\otimes m}[|m|-2k]} \) be their canonical projection modulo p.
Theorem 2.4
For any integers \(q=(q_1,\dots ,q_k)\) and positive integers \(l=(l_1,\dots ,l_k)\), the vector of polynomials \(I(z,q):= I^{(l_1p-1,\dots ,l_kp-1)}(z,q)\) satisfies Eqs. (2.12) and (2.5).
The parameters q, \(l_1p-1,\dots ,l_kp-1\) are analogs of cycles \(\gamma \) in Sect. 2.3.
Proof
To prove that \(I^{(l_1p-1,\dots ,l_kp-1)}(z,q)\) satisfies (2.12) and (2.5), consider the Taylor expansions at \((t_1,\dots ,t_k)=(q_1,\dots ,q_k)\) of both sides of Eqs. (2.20) and (2.23), and divide them by \(\mathrm{d}t_1\wedge \dots \wedge \mathrm{d}t_k\). Notice that the Taylor expansions are well defined due to formulas (2.18) and (2.22).
Project the Taylor coefficients of \((t_1-q_1)^{l_1p-1}\dots (t_k-q_k)^{l_kp-1}\) to \(({\mathbb F}_p[z])^{\dim L^{\otimes m}[|m|-2k]}\). Then the terms coming from the \(\mathrm{d}_t(\,)\)-summands equal zero since \(\mathrm{d}(t_i^{l_ip})/\mathrm{d}t_i=l_ipt_i^{l_ip-1}\equiv 0\) (mod p), and we obtain Eqs. (2.12) and (2.5). \(\square \)
Example 2.2
Let \(p=3\), \(\kappa =4\), \(n=5\), \(k=2\), \(m_1=\dots =m_5=1\). Notice that in this case \(\kappa \equiv 1\) (mod 3) and we may set \(\kappa =1\).
The set \({\mathcal I_k}\) consists of ten elements \(J=(j_1,\dots ,j_5)\) with \(j_i\in \{0,1\}\) and \(j_1+\dots +j_5=2\). The space \(L^{\otimes m}[|m|-2k]=(L_1)^{\otimes 5}[1]\) has basis \(f_Jv_m=f^{j_1}v_1 \otimes \dots \otimes f^{j_5}v_1\), \(J\in {\mathcal I_k}\). We have
(mod 3). The other \(\Omega ^{(i,j)}\) act similarly. The system of equations (2.12) on
\(I(z)=\sum _{J\in {\mathcal I_k}}I_J(z)f_Jv_m\) consists of five equations. The first is
where \(z=(z_1,\dots ,z_5)\); the others are similar. Let \(t=(t_1,t_2)\). We may choose the master polynomial
Fix integers \(q=(0,0)\) and \(l=(4,3)\). Then the vector
with
and similar other coordinates satisfy Eqs. (2.12) and (2.5).
Example 2.3
Let \(\kappa =4\), \(n=2\), \(k=2\), \(m_1=m_2=2\). The space \(L_2^{\otimes 2}[0]\) has basis \(f^2v_2\otimes v_2\), \(fv_2\otimes fv_2\), \(v_2\otimes f^2v_2\). The system of equations (2.12) takes the form:
Let \(p=4l+3\) for some l. We may choose
Notice that \(\frac{p+1}{2}\) is even, the polynomial \(\Phi ^{(p)}_{2,2,M}(t_1,t_2,z_1,z_2) \) is symmetric with respect to permutation of \(t_1,t_2\), and the solution
is nonzero. Here \(c_J(z_1,z_2)\) are the polynomials determined by the construction of Sect. 2.5.
For example, for \(p=3\),
2.6 Relation of solutions to integrals over \({\mathbb F}_p^k\)
For a polynomial \(F(t_1,\dots ,t_k)\)\(\in {\mathbb F}_p[t_1\), ..., \(t_k]\) and a subset \(\gamma \subset {\mathbb F}^k_p\) define the integral
Theorem 2.5
Fix \(x_1,\dots ,x_n\in {\mathbb F}_p\). Consider the vector of polynomials
of formula (2.25). Assume that \(\deg _{t_i} F(t_1,\dots ,t_k) < 2p-2\) for \(i=1,\dots ,k\). Consider the solution \(I^{(p-1,\dots ,p-1)}(z,q)\) of Eqs. (2.12) and (2.5), described in Theorem 2.4. Then
This integral is a p-analog of the hypergeometric integral (2.11).
Proof
Theorem 2.5 is a straightforward corollary of formula (1.17), cf. the proof of Theorem 1.3. \(\square \)
Example 2.4
The polynomial \(F(t_1,t_2)\) of Example 2.3 satisfies the inequalities
\(\deg _{t_i} F(t_1,t_2) < 2p-2\) for \(i=1,2\).
2.7 Example of a p-analog of skew-symmetry
For \(J\in {\mathcal I_k}\), the differential forms \(W_J(t,z)\mathrm{d}t_1\wedge \dots \wedge \mathrm{d}t_k\) are skew-symmetric with respect to permutations of \(t_1,\dots ,t_k\). Here is an example of a p-analog of that skew-symmetry. For another demonstration of the skew-symmetry, see Example 2.5.
Consider the KZ differential equations with parameters n, k, \(\kappa \), \(m_1,\dots ,m_n \in {\mathbb Z}_{>0}\), where \(\kappa \), \(m_1,\dots ,m_n\) are even, \(\kappa =2\kappa ', m_1=2m_1',\dots ,m_n=2m_n'\). Assume that \(\kappa '\) is even and the prime p is such that \(\kappa '\big |(p-1)\) and \((p-1)/\kappa '\) is odd, cf. Example 2.5. Choose
Notice that
as well as the product \(\prod _{1\leqslant i<j\leqslant k} (t_i-t_j)\) are skew-symmetric with respect to permutations of \(t_1,\dots ,t_k\).
Let a be a generator of the cyclic group \({\mathbb F}_p^\times \). Let \(x=(x_1,\dots ,x_n)\in {\mathbb F}_p^n\). For \(\ell =1,\dots , \kappa '\), denote
The partition of \({\mathbb F}_p^k\) by subsets \((\gamma _\ell (x))_{\ell =0}^{\kappa '}\) is invariant with respect to the action of the symmetric group \(S_k\) of permutations of \(t_1,\dots ,t_k\). For every \(\ell \), the subset \(\gamma _\ell (x)\) is invariant with respect to the action of the alternating subgroup \(A_k\subset S_k\). For \(J\in {\mathcal I_k}\) the restriction of the function \(W_J(t,x)\prod _{1\leqslant i<j\leqslant k} (t_i-t_j)\) to the set \(\gamma _\ell (x)\) is \(A_k\)-invariant. We have
2.8 Relation of solutions to surfaces over \({\mathbb F}_p\)
Example 2.5
For distinct \(x_1,x_2 \in {\mathbb F}_p\) let \(\Gamma (x_1,x_2)\) be the closure in \(P^1({\mathbb F}_p)\times P^1({\mathbb F}_p)\) of the affine surface
where \(P^1({\mathbb F}_p)\) is the projective line over \({\mathbb F}_p\). For a rational function \(h : \Gamma (x_1,x_2) \rightarrow {\mathbb F}_p\) define the integral
as the sum over all points \(P\in \Gamma (x_1,x_2)\), where h(P) is defined.
Recall
Theorem 2.6
Let \(p=4l+3\) for some l. Let
be the vector of polynomials appearing in the solution (2.28) of the KZ equations of Example 2.3. Then
Proof
The values of \(W_J(t_1,t_2,x_1,x_2)\) at infinite points of \(\Gamma (x_1,x_2)\) are equal to zero, so the integrals are sums over points of the affine surface. We prove the first equality in (2.36). We have
\(\square \)
Remark
Consider the projection \(\Gamma (x_1,x_2) \rightarrow {\mathbb F}_p^2\), \((t_1,t_2,y)\mapsto (t_1,t_2)\). For any distinct \(t_1,t_2\in {\mathbb F}_p\) exactly one of the two points \((t_1,t_2)\), \((t_2,t_1)\) lies in the image of the projection, since \((t_1-t_2)(t_1-x_1)(t_2-x_1)(t_1-x_2)(t_2-x_2)\) is skew-symmetric in \(t_1,t_2\) and \(-1\) is not a square if \(p=4l+3\).
3 Resonances in \({\mathfrak {sl}_2}\) KZ equations
3.1 Resonances in conformal field theory over \({\mathbb C}\)
Let \(m_1, \ldots , m_n, k \in {\mathbb Z}_{>0}\), \(L^{\otimes m}=L_{m_1}\otimes \dots \otimes L_{m_n}\). Assume that \(\kappa >2\) is an integer. Assume that
Consider the positive integer
For \(z=(z_1,\dots ,z_n)\in {\mathbb C}^n\) with distinct coordinates define
where \(ze : L^{\otimes m} \rightarrow L^{\otimes m}\) is the linear operator defined by the formula
for any \(w_1 \otimes \dots \otimes w_n \in L^{\otimes m}\). This vector space is called the space of conformal blocks.
Example 3.1
Let \(k=1\), \(|m|=\kappa \), \(\ell =1\), Then
Theorem 3.1
[4, 5] The family of subspaces
depending on z, is invariant with respect to the KZ equations. \(\square \)
Theorem 3.2
[4, 5] All the hypergeometric solutions of the KZ equations with values in \({{\text {Sing}}}L^{\otimes m}[|m|-2k]\), constructed in Sect. 2.3, take values in the subspaces of conformal blocks.
Proof
Theorem 3.2 is proved in [4]. Another proof for arbitrary simple Lie algebras is given in [5]. Let \(I^{(\gamma )}(z) =\sum _{J\in {\mathcal I_k}} I^{(\gamma )}_J(z) F_Jv_m\) be a hypergeometric solution. We need to check that \((ze)^\ell I^{(\gamma )}(z) = 0\). This equation is a system of algebraic equations on the coefficients \((I^{(\gamma )}_J(z))_{J\in {\mathcal I_k}}\). The equations of the system are labeled by basis vectors of \(L^{\otimes m}[|m| - 2(k-\ell )]\). Namely, for any \(Q\in \mathcal I_{k-\ell }\) one calculates the coefficient of \(F_Qv_m\) in \((ze)^\ell I^{(\gamma )}(z)\) and equates that coefficient to zero, cf. the second equation in Example 3.1. Such an equation follows from a cohomological relation. Namely, the corresponding differential k-form, whose integral over \(\gamma (z)\) has to be zero, equals the differential with respect to the t-variables of some differential \(k-1\)-form \(\eta _{n,k,\ell ,Q}(t,z)\). Then the desired equation holds by Stokes’ theorem, see this reasoning on pp. 182–184 in [4]. This proves Theorem 3.2. \(\square \)
Remark
That \(k-1\)-form \(\eta _{n,k,\ell ,Q}(t,z)\) is determined by the numbers \(n, k, \ell \) and the index Q and has the form
where \(\mu _{n,k,\ell ,Q}(t,z)\) is a polynomial differential \(k-1\)-form in t, z with integer coefficients determined by \({n,k,\ell ,Q}\) only, see pp. 182–184 in [4].
3.2 Resonances over \({\mathbb F}_p\)
Given \(k, n \in {\mathbb Z}_{>0}\), \(m = ( m_1, \dots , m_n) \in {\mathbb Z}_{>0}^n\), \(\kappa \in {\mathbb Z}_{>0}\), let \(p>2\) be a prime number such that p does not divide \(\kappa \). Choose positive integers \(M_s\) for \(s=1,\dots ,n\), \(M_{i,j}\) for \(1\leqslant i<j\leqslant n\), \(M^0\) and K such that
Fix integers \(q=(q_1,\dots ,q_k)\). As in Sect. 2.5 for any nonnegative integers \(l_1,\dots ,l_k\) define the vector \(I^{(i_1,\dots ,i_k)}(z,q) \in ({\mathbb F}_p[z])^{\dim L^{\otimes m}[|m|-2k]}\).
Theorem 3.3
Let \(\ell \in {\mathbb Z}_{>0}\) be such that
Then for any integers \(q=(q_1,\dots ,q_k)\) and positive integers \(l=(l_1,\dots ,l_k)\), the vector of polynomials \(I^{(l_1p-1,\dots ,l_kp-1)}(z,q)\) satisfies the equation
Remark
The resonance equation (3.1) has the form
Equation (3.3) is the reduction modulo p of that equation.
Proof
The proof of Theorem 3.3 is similar to the proof of Theorem 2.1 and uses the universal differential \(k-1\)-forms \(\eta _{n,k,\ell ,Q}(t,z)\) of Sect. 3.1 instead of the differential \(k-1\)-forms \(\eta _J(t,z)\) in (2.17). \(\square \)
Example 3.2
Let \(p=3\), \(\kappa =4\), \(n=5\), \(k=2\), \(m_1=\dots =m_5=1\). Consider the vector \(I^{(11,8)}(z) =\sum _{J\in {\mathcal I_k}} I^{(11,8)}_J(z) f_Jv_m\) of Example 2.2, which is a solution of (2.5) and (2.12). The resonance equation (3.3) in this case takes the form \(\ell +1\equiv 0\) (mod 3) and is satisfied for \(\ell =2\). The condition \((ze)^2I^{(11,8)}(z)=0\) means
Equation (3.5) takes the form
(mod 3).
4 KZ equations over \({\mathbb F}_p\) for other Lie algebras
The KZ equations are defined for any simple Lie algebra \({\mathfrak g}\) or more generally for any Kac–Moody algebra, see for example [11]. Similarly to what was done in Sects. 2 and 3, one can construct polynomial solutions of those KZ equations over \({\mathbb F}_p\) as well as of the singular vector equations and resonance equations over \({\mathbb F}_p\).
The construction of the polynomial solutions over \({\mathbb F}_p\) in the \({\mathfrak {sl}_2}\) case was based on the algebraic identities for logarithmic differential forms (2.14), (2.15) and the associated cohomological relations (2.20), (2.23) as well as on the cohomological relations associated with the differential forms \(\eta _{n,k,\ell ,K}(t,z)\) in (3.2). For an arbitrary Kac–Moody algebra the analogs of the algebraic identities in (2.14) and (2.15) are the identities of Theorems 6.16.2 and 7.5.2\(^{\prime \prime }\) in [11], respectively. For an arbitrary simple Lie algebra, the construction of analogs of the cohomological identities for the differential forms \(\eta _{n,k,\ell ,K}(t,z)\) is the main result of [5].
Remark
For the \({\mathbb F}_p\)-analogs of multidimensional hypergeometric integrals associated with arrangements of hyperplanes, see [14]. For Remarks on the Gaudin model and Bethe ansatz over \({\mathbb F}_p\), see [15].
References
Criste, P., Flume, R.: On the identification of finite operator algebras in two-dimensional conformally invariant field theories. Phys. Lett. B 188, 219–225 (1987)
Clemens, H.C.: A Scrapbook of Complex Curve Theory. Graduate Studies in Mathematics, vol. 55, 2nd edn. AMS, Providence (2003)
Date, E., Jimbo, M., Matsuo, A., Miwa, T.: Hypergeometric type integrals and the \({\mathfrak{sl}}\_{2}\) Knizhnik–Zamolodchikov equation. In: Yang–Baxter Equations, Conformal Invariance and Integrability in Statistical Mechanics and Field Theory. World Scientific, Singapore (1989)
Feigin, B., Schechtman, V., Varchenko, A.: On algebraic equations satisfied by hypergeometric correlators in WZW models. I. Commun. Math. Phys. 163, 173–184 (1994)
Feigin, B., Schechtman, V., Varchenko, A.: On algebraic equations satisfied by hypergeometric correlators in WZW models. II. Commun. Math. Phys. 170(1), 219–247 (1995)
Knizhnik, V., Zamolodchikov, A.: Current algebra and the Wess–Zumino model in two dimensions. Nucl. Phys. B 247, 83–103 (1984)
Manin, Y.I.: The Hasse–Witt matrix of an algebraic curve, (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 25, 153–172 (1961)
Matsuo, A.: An application of Aomoto–Gelfand hypergeometric functions to the \(SU(n)\) Knizhnik–Zamolodchikov equation. Commun. Math. Phys. 134(1), 65–77 (1990)
Schechtman, V., Varchenko, A.: Integral Representations of N-Point Conformal Correlators in the WZW Model, pp. 1–22. Max-Planck Institute, Bonn (1989)
Schechtman, V., Varchenko, A.: Hypergeometric solutions of the Knizhnik–Zamolodchikov equation. Lett. Math. Phys. 20, 279–283 (1990)
Schechtman, V., Varchenko, A.: Arrangements of hyperplanes and Lie algebra homology. Invent. Math. 106, 139–194 (1991)
Varchenko, A.: Multidimensional Hypergeometric Functions and Representation Theory of Lie Algebras and Quantum Groups. Advanced Series in Mathematical Physics, vol. 21. World Scientific, Singapore (1995)
Varchenko, A.: Special functions, KZ type equations, and Representation theory. In: CBMS, Regional Conference Series in Mathematics, vol. 98. AMS, Providence (2003)
Varchenko, A.: Solutions modulo \(p\) of Gauss–Manin differential equations for multidimensional hypergeometric integrals and associated Bethe ansatz. Mathematics 5(4), 52 (2017). https://doi.org/10.3390/math5040052.
Varchenko, A.: Remarks on the Gaudin model modulo \(p\), pp. 1–16. arXiv:1708.06264
Acknowledgements
This article was inspired by lectures on hypergeometric motives by Fernando Rodriguez–Villegas in May 2017 at MPI in Bonn. The authors thank him for stimulating discussions. We were also motivated by the classical paper by Manin [7], from which we learned how to construct solutions of differential equations over \({\mathbb F}_p\) from cohomological relations between algebraic differential forms. The authors thank Buium, Manin, and Zudilin for useful discussions and the referee for comments and suggestions contributed to improving the presentation. The article was conceived during the Summer 2017 Trimester program “K-Theory and Related Fields” of the Hausdorff Institute for Mathematics (HIM), Bonn. The authors are thankful to HIM for stimulating atmosphere and working conditions. The first author is grateful to Max Planck Institute for Mathematics for hospitality during a visit in June 2017.
Author information
Authors and Affiliations
Corresponding author
Additional information
To Yu.I. Manin with admiration on the occasion of his 80th birthday.
Alexander Varchenko: supported in part by NSF Grants DMS-1362924, DMS-1665239.
Rights and permissions
About this article
Cite this article
Schechtman, V., Varchenko, A. Solutions of KZ differential equations modulo p. Ramanujan J 48, 655–683 (2019). https://doi.org/10.1007/s11139-018-0068-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-018-0068-x
Keywords
- KZ differential equations
- Multidimensional hypergeometric integrals
- Polynomial solutions over finite fields