Searcharxiv⌕ Search

arXiv subjects

Tomohide Terasoma

Publications and source records attributed to Tomohide Terasoma.

At least 19 recordsLinked to original sources
arXiv2025

The monodromy representation of a hypergeometric system in $m$ variables of rank $p^m$

We study the monodromy representation of the hypergeometric system $\mathcal{F}_{C}^{p,m}(a,B)$ in $m$ variables of rank $p^m$ with parameters $a$ and $B$. This system can be regarded as a multi-variable model of the generalized hypergeometric equation of rank $p$. We construct $m+1$ loops which generate the fundamental group of the complement of the singular locus of $\mathcal{F}_{C}^{p,m}(a,B)$, and we show that they satisfy certain relations as elements of the fundamental group. We produce circuit matrices along these loops with respect to a fundamental system of solutions to $\mathcal{F}_C^{p,m}(a,B)$ under certain non-integrality conditions on parameters $a$ and $B$.

math.CA↗
arXiv2024

A system of hypergeometric differential equations in $m$ variables of rank $p^m$

We define a hypergeometric series in $m$ variables with $p+(p-1)m$ parameters, which reduces to the generalized hypergeometric series $_pF_{p-1}$ when $m=1$, and to Lauricella's hypergeometric series $F_C$ in $m$ variables when $p=2$. We give a system of hypergeometric differential equations annihilating the series. Under some non-integral conditions on parameters, we give an Euler type integral representation of the series, and linearly independent $p^m$ solutions to this system around a point near to the origin. We show that this system is of rank $p^m$, and determine its singular locus.

math.CA↗
arXiv2018

Period integral of open Fermat surfaces and special values of hypergeometric functions

In the previous paper by Asakura-Otsubo-Terasoma, we prove that the special values of the hypergeometric function 3F2 at 1 are linear combinations of logarithms of algebraic numbers and 1 over algebraic numbers, if exponents are rational numbers satisfying a certain arithmetic condition. Aoki and Shioda completely classified these sets of rational numbers satisfying this condition in connection with Hodge cycles on Fermat surfaces. In this paper, we give an explicit expression of special values of hypergoemetricy 3F2 which does not belong to exceptional characters.

math.AG↗
arXiv2017

Period map of triple coverings of $\mathbf P^2$ and mixed Hodge structures

We study a period map for triple coverings of $\mathbf P^2$branching along special configurations of $6$ lines. Though the moduli space of special configurations isa two dimensional variety,the minimal models of the coverings form a oneparameter family of K3 surfaces.We extract extra one dimensionalinformation from the mixed Hodge structure on the second relative homology group.

math.AG↗
arXiv2015

Integrals of logarithmic forms on semi-algebraic sets and a generalized Cauchy formula, Part I: convergence theorems

In this paper consisting of two parts, we study the integral of a logarithmic differential form on a compact semi-algebraic set in R^n or C^n. In Part I, we prove the convergence of the integral when the semi-algebraic set satisfies allowability (or admissibility), a condition on the dimension of the intersection of the set and the pole divisor of the differential form.

math.AG↗
arXiv2015

Degree Formulae for Grassmann Bundles, II

Let $X$ be a non-singular quasi-projective variety over a field, and let $\mathcal E$ be a vector bundle over $X$. Let $\mathbb G_X({d}, \mathcal E)$ be the Grassmann bundle of $\mathcal E$ over $X$ parametrizing corank $d$ subbundles of $\mathcal E$ with projection $π: {\mathbb G_X({d}, \mathcal E)} \to X$, and let $ \mathcal Q \gets π^*\mathcal E$ be the universal quotient bundle of rank $d$. In this article, a closed formula for $π_{*}\operatorname{ch} (\det \mathcal Q)$, the push-forward of the Chern character of the Plücker line bundle $\det \mathcal Q$ by $π$ is given in terms of the Segre classes of $\mathcal E$. Our formula yields a degree formula for $\mathbb G_X({d}, \mathcal E)$ with respect to $\det \mathcal Q$ when $X$ is projective and $\wedge ^d \mathcal E$ is very ample. To prove the formula above, a push-forward formula in the Chow rings from a partial flag bundle of $\mathcal E$ to $X$ is given.

math.AG↗
arXiv2014

All order alpha'-expansion of superstring trees from the Drinfeld associator

We derive a recursive formula for the alpha'-expansion of superstring tree amplitudes involving any number N of massless open string states. String corrections to Yang-Mills field theory are shown to enter through the Drinfeld associator, a generating series for multiple zeta values. Our results apply for any number of spacetime dimensions or supersymmetries and chosen helicity configurations.

hep-th↗
arXiv2013

Brown-Zagier Relation for Associators

Francis Brown used a certain evaluation formula for multiple zeta values proved by Zagier to prove the injectivity of the homomorphism from the Motivic Galois group to the automorphism of fundamental group of projective line deleted three points. In this paper, we prove that any associators satisfies this relation. As a consequence, this relation holds for motivic multiple zeta values which is also proved in Brown's paper. We used certain cohomology theory and Li's method for the computation.

math.NT↗
arXiv2010

Relative DGA and mixed elliptic motives

Bloch and Kriz construct an abelian category of mixed Tate motives as the category of comodules over a Hopf algebra obtained by the bar construction of the DGA of cycle complexes. In this paper we generalize their construction to give the definition of a category of mixed elliptic motives, i.e. a Tannakian category of mixed motives generated by an elliptic curve. We introduce the notion of a relative DGA over a reductive group. Then the category of mixed elliptic motives is defined as the category of comodules over the relative bar construction of a certain DGA $A_{EM}$ which is constructed from cycle complexes. The elliptic polylogarithm of Beilinson-Levin gives an interesting object in this category.

math.AG↗
arXiv2010

Thomae type formula for K3 surfaces given by double covers of the projective plane branching along six lines

In this paper, we give Thomae type formula for \KK surfaces $\cS$ given by double covers of the projective plane branching along six lines. This formula gives relations between theta constants on the bounded symmetric domain of type $I_{22}$ and period integrals of $X$. Moreover, we express the period integrals by using the hypergeometric function $F_S$ of four variables. As an application of our main theorem, we define $\R^4$-valued sequences by mean iterations of four terms, and express their common limits by the hypergeometric function $F_S$.

math.AG↗
arXiv2010

Degenerations of triple coverings and Thomae's formula

In this paper, we prove Thomae's formula for a triple covering of $\bold P^1$ with arbitrary index. This formula gives a relation between theta constants, determinants of period integrals and the difference products of branch points. To specify a symplectic basis of the curve, we use the combinatorics of binary trees on $\bold P^1$. This symplectic basis behaves so well for degenerations that we obtain the absolute constant in this formula and reduce it to a special case treated in [Bershadsky-Radul], [Nakayashiki].

math.AG↗