We study Betti structures in the solution complexes of confluent hypergeometric equations. We use the framework of enhanced ind-sheaves and the irregular Riemann-Hilbert correspondence of D'Agnolo-Kashiwara. The main result is a group theoretic criterion that ensures that enhanced solutions of such systems are defined over certain subfields of the complex numbers. The proof uses a description of the hypergeometric systems as exponentially twisted Gauss-Manin systems of certain Laurent polynomials.
We study a hypergeometric function in two variables and a system of hypergeometric differential equations associated with this function. This is a regular holonomic system of rank $9$. We give a fundamental system of solutions to this system in terms of this hypergeometric series. We give circuit matrices along generators of the fundamental group of the complement of its singular locus with respect to our fundamental system.
Using a relation due to Katz linking up additive and multiplicative convolutions, we make explicit the behaviour of some Hodge invariants by middle multiplicative convolution, following [DS13] and [Mar18a] in the additive case. Moreover, the main theorem gives a new proof of a result of Fedorov computing the Hodge invariants of hypergeometric equations.
We study the $p$-adic (generalized) hypergeometric equations by using the theory of multiplicative convolution of arithmetic $\mathscr{D}$-modules. As a result, we prove that the hypergeometric isocrystals with suitable rational parameters have a structure of overconvergent $F$-isocrystals.
We give an exposition of Dwork's construction of Frobenius structures associated to generalized hypergeometric equations via the interpretation of the latter due to Gelfand-Kapranov-Zelevinsky in the language of A-hypergeometric systems. As a consequence, we extract some explicit formulas for the degeneration at 0 in terms of the Morita p-adic gamma function.
We study the Betti map of a particular (but relevant) section of the family of Jacobians of hyperelliptic curves using the polynomial Pell equation $A^2-DB^2=1$, with $A,B,D\in \mathbb C[t]$ and certain ramified covers ${\mathbb P}^1\to {\mathbb P}^1$ arising from such equation and having heavy constrains on their ramification. In particular, we obtain a special case of a result of André, Covaja and Zannier on the submersivity of the Betti map by studying the locus of the polynomials $D$ that fit in a Pell equation inside the space of polynomials of fixed even degree. Moreover, Riemann Existen…
We apply the method of [arXiv:1705.07610] to compute the Stokes matrices of non-resonant confluent hypergeometric differential equations. We discuss the ambiguity of the presentation of the Stokes matrices regarding different choices. The results rely on an explicit description of the perverse sheaf associated to the non-confluent regular singular hypergeometric system arising via Fourier-Laplace transform. We give assumptions on the parameter such that the Stokes matrices have rational or real values. Under some more restrictive conditions, the Stokes matrices had been computed by Duval-Mitsc…
We consider monodromy groups of the generalized hypergeometric equation \begin{equation*} \big[z(θ+α_{1})\cdots (θ+α_{n})-(θ+β_{1}-1)\cdots (θ+β_{n}-1)\big]f(z) = 0\text{, where }θ= z d/dz, \end{equation*} in a suitable basis, closely related to the Frobenius basis. We pay particular attention to the maximally unipotent case, where $β_{1}=\ldots=β_{n}=1$, and present a theorem that enables us to determine the form of the corresponding monodromy matrices in the case where $(X-e^{-2πiα_{1}})\cdots (X-e^{-2πiα_{n}})$ is a product of cyclotomic polynomials.
We study the structures of Pfaffian equations and contiguity relations of the hypergeometric function of type $(k+1,k+n+2)$ by using twisted cohomology groups and the intersection form on them. We apply our results to algebraic statistics; numerical evaluation of the normalizing constants of two way contingency tables with fixed marginal sums.
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 equation…
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 po…
We perform the analytic continuation of solutions to the hypergeometric differential equation of order $n$ to the third regular singularity, usually denoted $z=1$, with the help of recurrences of their Mellin--Barnes integral representations. In the resonant case, there are necessarily logarithmic solutions. We apply the result to Picard-Fuchs equations of certain one--parameter families of Calabi--Yau manifolds, known as the mirror quartic and the mirror quintic.
We study Schwarz's map for Appell's second system $\cF_2$ of hypergeometric differential equations in two variables with parameters $a=c_1=c_2=\frac{1}{2}$, $b_1=b_2=\frac{1}{4}$. By using theta functions with characteristics, we give a defining equation of an analytic set in $\C^2\times \H$ of its image, and express its inverse.
This paper establishes certain existence and classification results for solutions to $SU(n)$ Toda systems with three singular sources at 0, 1, and $\infty$. First, we determine the necessary conditions for such an $SU(n)$ Toda system to be related to an $n$th order hypergeometric equation. Then, we construct solutions for $SU(n)$ Toda systems that satisfy the necessary conditions and also the interlacing conditions from Beukers and Heckman. Finally, for $SU(3)$ Toda systems satisfying the necessary conditions, we classify, under a natural reality assumption, that all the solutions are related …
We study the hypergeometric functions associated to five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space. We compute all of their Picard--Fuchs differential equations; we count points using Gauss sums and rewrite this in terms of finite field hypergeometric sums; then we match up each differential equation to a factor of the zeta function, and we write this in terms of global L-functions. This computation gives a complete, explicit description of the motives for these pencils in terms of hypergeometric motives.
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 dimen…
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…
We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant D-modules and show that it preserves key properties, such as holonomicity, regularity, and reducibility of monodromy representation. We also examine its effect on solutions, characteristic varieties, and singular loci. When applied to certain binomial D-modules, our functor produces saturations of the classical hypergeometric differential equations, a fact that s…
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 poly…
