arXiv subjects

Taro Inagawa

Publications and source records attributed to Taro Inagawa.

4 recordsLinked to original sources

arXiv2022

Some necessary and sufficient condition for finite generation of symbolic Rees rings

Consider the blow-up Y of a weighted projective plane at a point in the open orbit over a field of characteristic 0. We assume that there exists a curve C on Y such that C^2<0 and C.E=1, where E is the exceptional curve. In this paper we give a (very simple) necessary and sufficient condition for finite generation of the Cox ring of Y (Theorem~1.2). It is an affirmative answer to a conjecture due to He and Kurano-Nishida.

math.AC↗

arXiv2013

*-transforms of acyclic complexes

Let R be an n-dimensional Cohen-Macaulay local ring and Q a parameter ideal of R. Suppose that an acyclic complex (F_{\bullet}, φ_{\bullet}) of length n of finitely generated free R-modules is given. We put M = Im φ_{1}, which is an R-submodule of F_{0}. Then F_{\bullet} is an R-free resolution of F_{0}/M. In this paper, we describe a concrete procedure to get an acyclic complex of length n that resolves F_{0}/(M : Q).

math.AC↗

arXiv2013

Saturations of powers of certain determinantal ideals

Let $R$ be a Noetherian local ring and $m$ a positive integer. Let $I$ be the ideal of $R$ generated by the maximal minors of an $m \times (m + 1)$ matrix $M$ with entries in $R$. Assuming that the grade of the ideal generated by the $k$-minors of $M$ is at least $m - k + 2$ for $1 \leq \forall k \leq m$, we will study the associated primes of $I^n$ for $\forall n > 0$. Moreover, we compute the saturation of $I^n$ for $1 \leq \forall n \leq m$ in the case where $R$ is a Cohen-Macaulay ring and the entries of $M$ are powers of elements that form an sop for $R$.

math.AC↗

arXiv2012

On a transform of an acyclic complex of length 3

Let (R, m) be a Cohen-Macaulay local ring and Q a parameter ideal of R. Suppose that an acyclic complex of length 3 which is an R-free resolution of an ideal I of R is given. In this paper, we describe a concrete procedure to get an acyclic complex of length 3 that becomes an R-free resolution of I : Q. As an application, we compute the symbolic powers of ideals generated by maximal minors of certain 2 x 3 matrices.

math.AC↗