Searcharxiv⌕ Search

arXiv subjects

Mitsuhiro Miyazaki

Publications and source records attributed to Mitsuhiro Miyazaki.

At least 19 recordsLinked to original sources
arXiv2025

Radical property of the traces of the canonical modules of Cohen-Macaulay rings

In this paper, we define a new concept of Noetherian commutative rings which stands between Gorenstein and Cohen-Macaulay properties. We show that this new property keep hold under common operations of commutative rings such as localization, polynomial extension and under mild assumptions, flat extension, tensor product, Segre product and so on. We show that for Schubert cycles, the Ehrhart rings of cycle graphs and perfect graphs, this new concept is close to Gorenstein property.

math.AC↗
arXiv2025

The $F$-pure threshold of a Schubert cycle

The $F$-pure threshold is the characteristic $p$ counter part of the log canonical threshold in characteristic zero. It is a numerical invariant associated to the singularities of a variety, hence computing its value is important. We give a closed formula for the $F$-pure threshold of the irrelevant maximal ideal of Schubert cycles, which are the homogeneous coordinate rings of Schubert subvarieties of a Grassmannian. The main point of the computation is to give an explicit formula for the $a$-invariant of a Schubert cycle. The derivation of both formulas is made possible through the combinatorics of the underlying poset of these rings.

math.AC↗
arXiv2022

Gorenstein on the punctured spectrum and nearly Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph

In this paper, we give a criterion of the nearly Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph: the Ehrhart ring of the stable set polytope of an h-perfect graph $G$ with connected components $G^{(1)}, \ldots, G^{(\ell)}$ is nearly Gorenstein if and only if (1) for each $i$, the Ehrhart ring of the stable set polytope of $G^{(i)}$ is Gorenstein and (2) $|ω(G^{(i)})-ω(G^{(j)})|\leq 1$ for any $i$ and $j$, where $ω(G^{(i)})$ is the clique number of $G^{(i)}$. We also show that the Segre product of Cohen-Macaulay graded rings with linear non-zerodivisor which are Gorenstein on the punctured spectrum is also Gorenstein on the punctured spectrum if all but one rings are standard graded.

math.AC↗
arXiv2020

On the Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph

In this paper, we give a criterion of the Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph: the Ehrhart ring of the stable set polytope of an h-perfect graph $G$ is Gorenstein if and only if (1) sizes of maximal cliques are constant (say $n$) and (2) (a) $n=1$, (b) $n=2$ and there is no odd cycle without chord and length at least 7 or (c) $n\geq 3$ and there is no odd cycle without chord and length at least 5.

math.CO↗
arXiv2020

Non-Gorenstein loci of Ehrhart rings of chain and order polytopes

Let $P$ be a finite poset, $K$ a field, and $O(P)$ (resp. $C(P)$) the order (resp. chain) polytope of $P$. We study the non-Gorenstein locus of $E_K[O(P)]$ (resp. $E_K[C(P)]$), the Ehrhart ring of $O(P)$ (resp. $C(P)$) over $K$, which are each normal toric rings associated $P$. In particular, we show that the dimension of non-Gorenstein loci of $E_K[O(P)]$ and $E_K[C(P)]$ are the same. Further, we show that $E_K[C(P)]$ is nearly Gorenstein if and only if $P$ is the disjoint union of pure posets $P_1, \ldots, P_s$ with $|\mathrm{rank} P_i-\mathrm{rank} P_j|\leq 1$ for any $i$ and $j$.

math.AC↗
arXiv2019

On the canonical ideal of the Ehrhart ring of the chain polytope of a poset

Let P be a poset, O(P) the order polytope of P and C(P) the chain polytope of P. In this paper, we study the canonical ideal of the Ehrhart ring K[C(P)] of C(P) over a field K and characterize the level (resp. anticanonical level) property of K[C(P)] by a combinatorial structure of P. In particular, we show that if K[C(P)] is level (resp. anticanonical level), then so is K[O(P)]. We exhibit examples which show the converse does not hold. Moreover, we show that the symbolic powers of the canonical ideal of K[C(P)] are identical with ordinary ones and degrees of the generators of the canonical and anticanonical ideals are consecutive integers.

math.AC↗
arXiv2019

Fiber cones, analytic spreads of the canonical and anticanonical ideals and limit Frobenius complexity of Hibi rings

Let ${\cal R}_{\mathbb{K}}[H]$ be the Hibi ring over a field $\mathbb{K}$ on a finite distributive lattice $H$, $P$ the set of join-irreducible elements of $H$ and $ω$ the canonical ideal of ${\cal R}_{\mathbb{K}}[H]$. We show the powers $ω^{(n)}$ of $ω$ in the group of divisors $\mathrm{Div}({\cal R}_{\mathbb{K}}[H])$ is identical with the ordinal powers of $ω$, describe the $\mathbb{K}$-vector space basis of $ω^{(n)}$ for $n\in\mathbb{Z}$. Further, we show that the fiber cones $\bigoplus_{n\geq 0}ω^n/\mathfrak{m}ω^n$ and $\bigoplus_{n\geq0}(ω^{(-1)})^n/\mathfrak{m}(ω^{(-1)})^n$ of $ω$ and $ω^{(-1)}$ are sum of the Ehrhart rings, defined by sequences of elements of $P$ with a certain condition, which are polytopal complex version of Stanley-Reisner rings. Moreover, we show that the analytic spread of $ω$ and $ω^{(-1)}$ are maximum of the dimensions of these Ehrhart rings. Using these facts, we show that the question of Page about Frobenius complexity is affirmative: $\lim_{p\to\infty}\mathrm{cx}_F({\cal R}_{\mathbb{K}}[H])= \dim(\bigoplus_{n\geq0}ω^{(-n)}/\mathfrak{m}ω^{(-n)})-1$, where $p$ is the characteristic of the field $\mathbb{K}$.

math.AC↗
arXiv2018

Maximal and typical nonnegative ranks of nonnegative tensors

Let $N_1, \ldots, N_d$ be positive integers with $N_1\leq\cdots\leq N_d$. Set $N=N_1\cdots N_{d-1}$. We show in this paper that an integer $r$ is a typical nonnegative rank of nonnegative tensors of format $N_1\times\cdots\times N_d$ if and only if $r\leq N$ and $r$ is greater than or equals to the generic rank of tensors over $\mathbb{C}$ of format $N_1\times\cdots\times N_d$. We also show that the maximal nonnegative rank of nonnegative tensors of format $N_1\times\cdots\times N_d$ is $N$.

math.RA↗
arXiv2017

Almost Gorenstein Hibi rings

In this paper, we state criteria of a Hibi ring to be level, non-Gorenstein and almost Gorenstein and to be non-level and almost Gorenstein in terms of the structure of the partially ordered set defining the Hibi ring. We also state a criterion of a ladder determinantal ring defined by 2-minors to be non-Gorenstein and almost Gorenstein in terms of the shape of the ladder.

math.AC↗
arXiv2017

Typical ranks of semi-tall real 3-tensors

Let $m$, $n$ and $p$ be integers with $3\leq m\leq n$ and $(m-1)(n-1)+1\leq p\leq (m-1)m$. We showed in previous papers that if $p\geq (m-1)(n-1)+2$, then typical ranks of $p\times n\times m$-tensors over the real number field are $p$ and $p+1$ if and only if there exists a nonsingular bilinear map $\mathbb{R}^m\times \mathbb{R}^n\to\mathbb{R}^{mn-p}$. We also showed that the "if" part also valid in the case where $p=(m-1)(n-1)+1$. In this paper, we consider the case where $p=(m-1)(n-1)+1$ and show that the typical ranks of $p\times n\times m$-tensors over the real number field are $p$ and $p+1$ in several cases including the case where there is no nonsingular bilinear map $\mathbb{R}^m\times \mathbb{R}^n\to\mathbb{R}^{mn-p}$. In particular, we show that the "only if" part of the above mentioned fact does not valid for the case $p=(m-1)(n-1)+1$.

math.RA↗
arXiv2017

On the generators of the canonical module of a Hibi ring: a criterion of level property and the degrees of generators

In this paper, we study the minimal generating system of the canonical module of a Hibi ring. Using the results, we state a characterization of a Hibi ring to be level. We also give a characterization of a Hibi ring to be of type 2. Further, we show that the degrees of the elements of the minimal generating system of the canonical module of a Hibi ring form a set of consecutive integers.

math.AC↗
arXiv2017

Doset Hibi rings with an application to invariant theory

We define the concept of a doset Hibi ring and a generalized doset Hibi ring which are subrings of a Hibi ring and are normal affine semigrouprings. We apply the theory of (generalized) doset Hibi rings to analyze the rings of absolute orthogonal invariants and absolute special orthogonal invariants and show that these rings are normal and Cohen-Macaulay and has rational singularities if the characteristic of the base field is zero and is F-rational otherwise. We also state criteria of Gorenstein property of these rings.

math.AC↗
arXiv2015

Typical ranks for 3-tensors, nonsingular bilinear maps and determinantal ideals

Let $m,n\geq 3$, $(m-1)(n-1)+2\leq p\leq mn$, and $u=mn-p$. The set $\mathbb{R}^{u\times n\times m}$ of all real tensors with size $u\times n\times m$ is one to one corresponding to the set of bilinear maps $\mathbb{R}^m\times \mathbb{R}^n\to \mathbb{R}^u$. We show that $\mathbb{R}^{m\times n\times p}$ has plural typical ranks $p$ and $p+1$ if and only if there exists a nonsingular bilinear map $\mathbb{R}^m\times\mathbb{R}^n\to\mathbb{R}^{u}$. We show that there is a dense open subset $\mathscr{O}$ of $\mathbb{R}^{u\times n\times m}$ such that for any $Y\in\mathscr{O}$, the ideal of maximal minors of a matrix defined by $Y$ in a certain way is a prime ideal and the real radical of that is the irrelevant maximal ideal if that is not a real prime ideal. Further, we show that there is a dense open subset $\mathscr{T}$ of $\mathbb{R}^{ n\times p \times m}$ and continuous surjective open maps $ν\colon\mathscr{O}\to\mathbb{R}^{u\times p}$ and $σ\colon\mathscr{T}\to\mathbb{R}^{u\times p}$, where $\mathbb{R}^{u \times p}$ is the set of $u\times p$ matrices with entries in $\mathbb{R}$, such that if $ν(Y)=σ(T)$, then $\mathrm{rank} T=p$ if and only if the ideal of maximal minors of the matrix defined by $Y$ is a real prime ideal.

math.RA↗
arXiv2014

$G$-prime and $G$-primary $G$-ideals on $G$-schemes

Let $G$ be a flat finite-type group scheme over a scheme $S$, and $X$ a noetherian $S$-scheme on which $G$-acts. We define and study $G$-prime and $G$-primary $G$-ideals on $X$ and study their basic properties. In particular, we prove the existence of minimal $G$-primary decomposition and the well-definedness of $G$-associated $G$-primes. We also prove a generalization of Matijevic-Roberts type theorem. In particular, we prove Matijevic-Roberts type theorem on graded rings for $F$-regular and $F$-rational properties.

math.AC↗
arXiv2013

Rank of tensors with size 2 x ... x 2

We study an upper bound of ranks of $n$-tensors with size $2\times\cdots\times2$ over the complex and real number field. We characterize a $2\times 2\times 2$ tensor with rank 3 by using the Cayley's hyperdeterminant and some function. Then we see another proof of Brylinski's result that the maximal rank of $2\times2\times2\times2$ complex tensors is 4. We state supporting evidence of the claim that 5 is a typical rank of $2\times2\times2\times2$ real tensors. Recall that Kong and Jiang show that the maximal rank of $2\times2\times2\times2$ real tensors is less than or equal to 5. The maximal rank of $2\times2\times2\times2$ complex (resp. real) tensors gives an upper bound of the maximal rank of $2\times\cdots\times 2$ complex (resp. real) tensors.

math.RA↗
arXiv2013

Upper bound of typical ranks of m x n x ((m-1)n-1) tensors over the real number field

Let $3\leq m\leq n$. We study typical ranks of $m\times n\times ((m-1)n-1)$ tensors over the real number field. The number $(m-1)n-1$ is a minimal typical rank of $m\times n\times ((m-1)n-1)$ tensors over the real number field. We show that a typical rank of $m\times n\times ((m-1)n-1)$ tensors over the real number field is less than or equal to $(m-1)n$ and in particular, $m\times n\times ((m-1)n-1)$ tensors over the real number field has two typical ranks $(m-1)n-1, (m-1)n$ if $m\leq ρ(n)$, where $ρ$ is the Hurwitz-Radon function defined as $ρ(n)=2^b+8c$ for nonnegative integers $a,b,c$ such that $n=(2a+1)2^{b+4c}$ and $0\leq b<4$.

math.RA↗
arXiv2013

Action of special linear groups to the tensor of indeterminates, classical invariants of binary forms and hyperdeterminant

In this paper, we study the ring of invariants under the action of SL(m,K)\times SL(n,K) and SL(m,K)\times SL(n,K)\times SL(2,K) on the 3-dimensional array of indeterminates of form m\times n\times 2, where K is an infinite field. And we show that if m=n\geq 2, then the ring of SL(n,K)\times SL(n,K)-invariants is generated by n+1 algebraically independent elements over K and the action of SL(2,K) on that ring is identical with the one defined in the classical invariant theory of binary forms. We also reveal the ring of SL(m,K)\times SL(n,K)-invariants and SL(m,K)\times SL(n,K)\times SL(2,K)-invariants completely in the case where m\neq n.

math.AC↗