We study $A$-hypergeometric systems $H_A(β)$ in the sense of Gelfand, Kapranov and Zelevinsky under two aspects: the structure of their holonomically dual system, and reducibility of their rank module.
We prove first that rank-jumping parameters always correspond to reducible systems, and we show that the property of being reducible is ``invariant modulo the lattice''. In the second part we study a conjecture of Nobuki Takayama which states that the holonomic dual of $H_A(β)$ is of the form $H_A(β')$ for suitable $β'$. We prove the conjecture for all matrices $A$ and generic parameter $β$, exhibit an example that shows that in general the conjecture cannot hold, and present a refined version of the conjecture.
Questions on both duality and reducibility have been impossible to answer with classical methods. This paper may be seen as an example of the usefulness, and scope of applications, of the homological tools for $A$-hypergeometric systems developed in \cite{MMW}.
Classical theorems of Gel'fand et al., and recent results of Beukers, show that non-confluent Cohen-Macaulay A-hypergeometric systems have reducible monodromy representation if and only if the continuous parameter is A-resonant. We remove both the confluence and Cohen-Macaulayness conditions while simplifying the proof.
We will give an explicit construction of the invariant Hermitian form for the monodromy of an $A$-hypergeometric system given that there is a Mellin-Barnes basis of solutions.
We study the monodromy representation of the generalized hypergeometric differential equation and that of Lauricella's $F_C$ system of hypergeometric differential equations. We use fundamental systems of solutions expressed by the hypergeometric series. We express non-diagonal circuit matrices as reflections with respect to root vectors with all entries $1$. We present a simple way to obtain circuit matrices.
Using Mellin-Barnes integrals we give a method to compute a relevant subgroup of the monodromy group of an A-hypergeometric system of differential equations. Presumably this group is the full monodromy group of the system. This article is a major rewrite of an article posted 2 years ago.
We obtain an explicit formula for the characteristic polynomial of the local monodromy of $A$-hypergeometric functions with respect to small loops around a coordinate hyperplane $x_i =0$. This formula is similar to the one obtained by Ando, Esterov and Takeuchi for the local monodromy at infinity. Our proof is combinatorial and can be adapted to provide an alternative proof for the latter formula as well. On the other hand, we also prove that the solution space at a nonsingular point of certain irregular and irreducible $A$--hypergeometric $D$--modules has a nontrivial global monodromy invaria…
We study $A$-hypergeometric functions introduced by Gelfand-Kapranov-Zelevinsky and prove a formula for the eigenvalues of their monodromy automorphisms defined by the analytic continuaions along large loops contained in complex lines parallel to the coordinate axes. A method of toric compactifications will be used to prove our main theorem.
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 give conditions under which the monodromy group of an $A$-hypergeometric system is invariant under modifications of the collection of characters $A$. The key ingredient is a Zariski--Lefschetz type theorem for principal $A$-determinants.
We consider the system $\mathcal{F}_4(a,b,c)$ of differential equations annihilating Appell's hypergeometric series $F_4(a,b,c;x)$. We find the integral representations for four linearly independent solutions expressed by the hypergeometric series $F_4$. By using the intersection forms of twisted (co)homology groups associated with them, we provide the monodromy representation of $\mathcal{F}_4(a,b,c)$ and the twisted period relations for the fundamental systems of solutions of $\mathcal{F}_4$.
We study the monodromy representation of the system $E_C$ of differential equations annihilating Lauricella's hypergeometric function $F_C$ of $m$ variables. Our representation space is the twisted homology group associated with an integral representation of $F_C$. We find generators of the fundamental group of the complement of the singular locus of $E_C$, and give some relations for these generators. We express the circuit transformations along these generators, by using the intersection forms defined on the twisted homology group and its dual.
We exhibit an infinite family of discrete subgroups of ${Sp}_4(\mathbb R)$ which have a number of remarkable properties. Our results are established by showing that each group plays ping-pong on an appropriate set of cones. The groups arise as the monodromy of hypergeometric differential equations with parameters $\left(\tfrac{N-3}{2N},\tfrac{N-1}{2N}, \tfrac{N+1}{2N}, \tfrac{N+3}{2N}\right)$ at infinity and maximal unipotent monodromy at zero, for any integer $N\geq 4$. Additionally, we relate the cones used for ping-pong in $\mathbb R^4$ with crooked surfaces, which we then use to exhibit do…
Gauss hypergeometric functions with a dihedral monodromy group can be expressed as elementary functions, since their hypergeometric equations can be transformed to Fuchsian equations with cyclic monodromy groups by a quadratic change of the argument variable. The paper presents general elementary expressions of these dihedral hypergeometric functions, involving finite bivariate sums expressible as terminating Appell's F2 or F3 series. Additionally, trigonometric expressions for the dihedral functions are presented, and degenerate cases (logarithmic, or with the monodromy group Z/2Z) are consid…
We determine the index of five of the $7$ hypergeometric Calabi-Yau operators that have finite index in $Sp_4(\mathbb{Z})$ and in two cases give a complete description of the monodromy group. Furthermore we found six non-hypergeometric Calabi-Yau operators with finite index in $Sp_4(\mathbb{Z})$, most notably a case where the index is one.
We present a result which can be used for stratifications with conical singularities to deduce that a perverse sheaf (in particular, an intersection homology sheaf) has reducible characteristic variety, given a hypothesis on the monodromy of the vanishing cycles local system of a stratum. We apply it to explain most of the examples currently known where SS(IC(X)) is reducible for X a Schubert variety in a flag variety.
Let $E_C$ be the hypergeometric system of differential equations satisfied by Lauricella's hypergeometric series $F_C$ of $m$ variables. We show that the monodromy representation of $E_C$ is irreducible under our assumption consisting of $2^{m+1}$ conditions for parameters. We also show that the monodromy representation is reducible if one of them is not satisfied.
Given an arrangement of hyperplanes in $¶^n$, possibly with non-normal crossings, we give a vanishing lemma for the cohomology of the sheaf of $q$-forms with logarithmic poles along our arrangement. We give a basis for the ideal $\cal J$ of relations for the Orlik-Solomon's algebra. Under certain genericity conditions it was shown by H.~Esnault, V.~Schechtman and E.~Viehweg that the cohomology of a local system is given by the Aomoto complex. We generalize this result to a deformation of local systems obtained via a deformation of our arrangement. We calculate the Gauß-Manin connection for thi…
We study a cohomology-valued hypergeometric series which naturally arises in the description of (local) mirror symmetry. We identify it as a central charge formula for BPS states and study its monodromy property from the viewpoint of Kontsevich's homological mirror symmetry. In the case of local mirror symmetry, we will identify a symplectic form, and will conjecture an integral and symplectic monodromy property of a relevant hypergeometric series of Gel'fand-Kapranov-Zelevinski type.
We introduce gamma structures on regular hypergeometric D--modules in dimension 1 as special one--parametric systems of solutions on the compact subtorus. We note that a balanced gamma product is in the Paley--Wiener class and show that the monodromy with respect to the gamma structure is expressed algebraically in terms of the hypergeometric exponents. We compute the hypergeometric monodromy explicitly in terms of certain diagonal matrices, Vandermonde matrices and their inverses (or generalizations of those in the resonant case).
A hypergeometric group is a matrix group modeled on the monodromy group of a generalized hypergeometric differential equation. This article presents a fruitful interaction between the theory of hypergeometric groups and dynamics on K3 surfaces by showing that a certain class of hypergeometric groups and related lattices lead to a lot of K3 surface automorphisms of positive entropy, especially such automorphisms with Siegel disks.
We study the Zariski closure of the monodromy group $\mathbf{Mon}$ of Lauricella's hypergeometric function $F_C$. If the identity component $\mathbf{Mon}^0$ acts irreducibly, then $\overline{\mathbf{Mon}} \cap \mathbf{SL}_{2^n}(\mathbb{C})$ must be one of classical groups $\mathbf{SL}_{2^n}(\mathbb{C}), \mathbf{SO}_{2^n}(\mathbb{C})$ and $\mathbf{Sp}_{2^n}(\mathbb{C})$. We also study Calabi-Yau varieties arising from integral representations of $F_C$.
We show that some hypergeometric monodromy groups in Sp(4,Z) split as free or amalgamated products and hence by cohomological considerations give examples of Zariski dense, non-arithmetic monodromy groups of real rank 2. In particular, we show that the monodromy of the natural quotient of the Dwork family of quintic threefolds in P^{4} splits as Z*Z/5. As a consequence, for a smooth quintic threefold X we show that a certain group of autoequivalences of the bounded derived category of coherent sheaves is an Artin group of dihedral type.
By a codimension-one system we mean a system whose lattice of relations has rank one. We consider codimension-one $A$-hypergeometric systems and explicitly construct some of the logarithmic series solutions at the origin. When the parameter vector $β$ is nonresonant we obtain a full set of logarithmic series solutions at the origin by this procedure. We also determine when a codimension-one system with nonresonant parameter can have maximal unipotent monodromy at the origin.
Doran and Morgan have introduced certain rational basis for the monodromy group of the Picard-Fuchs operator of a hypergeometric family of Calabi-Yau threefolds. In this paper we compute numerically the transition matrix between a generalization of the Doran-Morgan basis and the Frobenius basis at a half-conifold point of a one-parameter family of double octic Calabi-Yau threefolds. We identify the entries of this matrix as rational functions in the special values $L(f,1)$ and $L(f,2)$ of the corresponding modular form $f$ and one constant. We also present related results concerning the rank o…
We use the mixed-twist construction of Doran and Malmendier to obtain a multi-parameter family of K3 surfaces of Picard rank $ρ\ge 16$. Upon identifying a particular Jacobian elliptic fibration on its general member, we determine the lattice polarization and the Picard-Fuchs system for the family. We construct a sequence of restrictions that lead to extensions of the polarization by two-elementary lattices. We show that the Picard-Fuchs operators for the restricted families coincide with known resonant hypergeometric systems. Second, for the one-parameter mirror families of deformed Fermat hyp…
