arXiv subjects
Publications and source records attributed to Yoshiaki Goto.
The Riemann-Wirtinger integral is an analogue of the hypergeometric integral defined on a one-dimensional complex torus. As a generalization, we define the Riemann-Wirtinger integral on the product of two one-dimensional complex tori. We study the structure of the twisted cohomology group associated with the Riemann-Wirtinger integral and derive a system of differential equations satisfied by this integral.
The Wirtinger integral is one of the integral representations of the Gauss hypergeometric function. Its integrand is given by a product of complex powers of theta functions. We study the structure of the twisted homology and cohomology groups associated with this integral. Using the involution on the complex torus, we show that these groups decompose into eigenspaces which are orthogonal with respect to the intersection forms. Each eigenspace is related to the twisted (co)homology group associated with the Euler-type integral representation of the Gauss hypergeometric function. We also show that the corresponding intersection matrices admit simple forms.
The Wirtinger integral is one of the integral representations of the Gauss hypergeometric function. Its integrand can be regarded as a multivalued function on an elliptic curve. In this paper, we study an analogue of the Wirtinger integral on a hyperelliptic curve of genus two, introduced by Mizutani and Watanabe. We investigate the associated twisted homology and cohomology groups using the hyperelliptic involution and intersection forms.
We describe some monotone properties of solutions to second order linear difference equations with real constant coefficients. As an application, we give a characterization of the Fibonacci numbers.
The Riemann-Wirtinger integral is an analogue of the hypergeometric integral, which is defined as an integral on a one-dimensional complex torus. We study the intersection forms on the twisted homology and cohomology groups associated with the Riemann-Wirtinger integral. We derive explicit formulas of some intersection numbers, and apply them to study the monodromy representation, connection problems, and contiguity relations.
We describe the homology intersection form associated to regular holonomic GKZ systems in terms of the combinatorics of regular triangulations. Combining this result with the twisted period relation, we obtain a formula of cohomology intersection numbers in terms of a Laurent series. We show that the cohomology intersection number depends rationally on the parameters. We also prove a conjecture of F. Beukers and C. Verschoor on the signature of the monodromy invariant hermitian form. This is a continuation of the previous work arXiv:1904.00565.
We study the conditions under which the monodromy group for Lauricella's hypergeometric function $F_C (a,b,c;x)$ is finite irreducible. We give the conditions in terms of the parameters $a,b,c$. In addition, we discuss the structure of the finite irreducible monodromy group.
The holonomic gradient method gives an algorithm to efficiently and accurately evaluate normalizing constants and their derivatives. We apply the holonomic gradient method in the case of the conditional Poisson or multinomial distribution on two way contingency tables. We utilize the modular method in computer algebra for an efficient and exact evaluation, and we discuss on complexities of these algorithms and their implementation. We also discuss on a theoretical aspect of the distribution from the viewpoint of the conditional maximum likelihood estimation.
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 study the intersection numbers defined on twisted homology or cohomology groups that are associated with hypergeometric integrals corresponding to degenerate hyperplane arrangements in the projective $k$-space. We present formulas to evaluate the intersection numbers in the case when exactly one $(k+1)$-tuple of the hyperplanes intersects at a point. As an application, we discuss the contiguity relations of hypergeometric functions in terms of the intersection numbers on twisted cohomology groups.
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.
We study the fundamental group of the complement of the singular locus of Lauricella's hypergeometric function $F_C$ of $n$ variables. The singular locus consists of $n$ hyperplanes and a hypersurface of degree $2^{n-1}$ in the complex $n$-space. We derive some relations that holds for general $n\geq 3$. We give an explicit presentation of the fundamental groupin the three-dimensional case. We also consider a presentation of the fundamental group of $2^3$-covering of this space. In the version 2, we omit some of the calculations. For all the calculations, refer to the version 1 (arXiv:1710.09594v1) of this article.
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 study Lauricella's hypergeometric function F_C by using twisted (co)homology groups. We construct twisted cycles with respect to an Euler-type integral representation of F_C. These cycles correspond to 2^m linearly independent solutions to the system of differential equations annihilating F_C. Using intersection forms of twisted (co)homology groups, we obtain twisted period relations which give quadratic relations for Lauricella's F_C.
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.
We study a Pfaffian of the system of differential equations annihilating Appell's hypergeometric series $F_4(a,b,c;x)$ by twisted cohomology groups associated with integrals representing solutions to this system. We simplify its connection matrix by the pull-back under a double cover of the complement of the singular locus. We express the simplified connection matrix in terms of the intersection form of the twisted cohomology groups.
We study contiguity relations of Lauricella's hypergeometric function F_D, by using the twisted cohomology group and the intersection form. We derive contiguity relations from those in the twisted cohomology group and give the coefficients in these relations by the intersection numbers. Furthermore, we construct twisted cycles corresponding to a fundamental set of solutions to the system of differential equations satisfied by F_D, which are expressed as Laurent series. We also give the contiguity relations of these solutions.
We study the generalized hypergeometric function ${}_{m+1} F_m$ and the differential equation ${}_{m+1}E_m$ satisfied by it. We use the twisted (co)homology groups associated with an integral representation of Euler type. We evaluate the intersection numbers of some twisted cocycles which are defined as $m$-th exterior products of logarithmic $1$-forms. We also give twisted cycles corresponding to the series solutions to ${}_{m+1}E_m$, and evaluate the intersection numbers of them. These intersection numbers of the twisted (co)cycles lead twisted period relations which give relations for two fundamental systems of solutions to ${}_{m+1}E_m$.