arXiv subjects

Ryunosuke Nakano

Publications and source records attributed to Ryunosuke Nakano.

4 recordsLinked to original sources

arXiv2026

The obstruction to intrinsic perturbation for $A$-hypergeometric series

We show that, at a fake exponent of an $A$-hypergeometric system and for an ordered negative support family, intrinsic perturbation within $\ker_{\mathbb{Z}}(A)$ can produce a strictly smaller coefficient space than ambient perturbation, which answers a question of Okuyama--Saito. We measure the failure by an intrinsic-perturbation obstruction module, a quotient of two colon ideals whose graded dual is the ambient coefficient space modulo the intrinsic one, and we realize this module by two right-exact sequences involving $\operatorname{Tor}_1$ and present it finitely by two antichains. We give configurations of lattice rank 1 and 2 with nonzero obstruction, including one with an ordered distinguished collection consisting of all negative supports attained only by lattice shifts of nonnegative weight, and thereby settle the case left open by Okuyama--Saito. We give, for every integer $q\geq 1$, a configuration of lattice rank 2 with a connected column matroid and with a normal affine semigroup generated by the reduced Gröbner basis vectors, whose obstruction module has dimension $q^2$, so this dimension is unbounded at fixed lattice rank.

math.AG↗

arXiv2026

A codimension formula for intrinsic perturbation of $A$-hypergeometric series

We study the canonical formal solution space of a homogeneous $A$-hypergeometric system in a generic direction. We present as a finite-dimensional cokernel the quotient of that space by the span of the canonical series obtained by intrinsic perturbation, taken over all exponents occurring in that space and all ordered negative support families, and we compute the codimension of that span. We show that the presentation and the codimension transfer to the holomorphic solutions on a common nonsingular domain. We apply these results, for every integer $q\geq 1$, to a homogeneous $A$-hypergeometric system of lattice rank 2 with $5q$ columns and show that the span of the canonical series obtained by intrinsic perturbation has codimension at least $\lceil 3q^2/4\rceil$ in the canonical formal solution space.

math.AG↗

arXiv2026

The Constant in Thomae-Type Formulas for Eight Points on the Complex Projective Line

We consider the family of cyclic fourfold covers $w^4 = \prod_{j=1}^{7}(z-x_j)$ of the complex projective line branched at the eight points $x_1,\ldots,x_7,\infty$. The period map identifies the configuration space $X(2,8)$ of the branch points with a Zariski open subset of a quotient of the five-dimensional complex ball. The inverse of the period map is expressed projectively by $105$ automorphic forms $f_J$, which are proportional to the signed branch-point polynomials $\hat x_J$ with a common scalar factor. We determine this factor for the period $η$ of the differential $dz/w$: it is the product of the constant $-1/(2^{12}Γ(3/4)^{16})$ and the square of a quadratic form in $η$.

math.AG↗

arXiv2026

The algebro-geometric aspect of the iterated limit of a quaternary of means of four terms

We study the iterated limit of a quaternary of means of four terms through the period map from the family of cyclic fourfold coverings of the complex projective line branching at six points to the three-dimensional complex ball $\mathbb{B}_3$ embedded into the Siegel upper half-space of degree four. We construct four automorphic forms on $\mathbb{B}_3$ expressing the inverse of the period map, and give an equality between one of them and a period integral, which is an analogy of Jacobi's formula between a theta constant and an elliptic integral. We find a transformation of $\mathbb{B}_3$ such that the quaternary of means appears by its actions on the four automorphic forms. These results enable us to express the iterated limit by the Lauricella hypergeometric series of type $D$ in three variables.

math.AG↗