arXiv subjects
Publications and source records attributed to Do Van Kien.
Let $a,b$ be positive integers. In this note, we study the numerical semigroup $H=\left $ and and the associated numerical semigroup ring $R=k[[H]]$. Under the certain conditions, we provide explicit formulas for the Frobenius number of $H$ and for the first Hilbert coefficient of $R$.
Let $T$ be a perfect binary tree and $I$ be its edge ideal in the polynomial ring $S$. We determine the vertex cover number, independent number, and establish the recursive formula to compute the number of minimal vertex covers. As a consequence, we compute the depth and projective dimension of $S/I$ and show that the total Betti number of $S/I$ at the highest homological degree always equals one.
The linearity defect is a measure for the non-linearity of minimal free resolutions of modules over noetherian local rings. A tantalizing open question due to Herzog and Iyengar asks whether a noetherian local ring $(R,\mathfrak{m})$ is Koszul if its residue field $R/\mathfrak{m}$ has a finite linearity defect. We provide a positive answer to this question when $R$ is a Cohen-Macaulay local ring of almost minimal multiplicity with the residue field of characteristic zero. The proof depends on the study of noetherian local rings $(R,\mathfrak{m})$ such that $\mathfrak{m}^2$ is a principal ideal, which we call $g$-$stretched$ local rings. The class of $g$-stretched local rings subsumes stretched artinian local rings studied by Sally, and generic artinian reductions of Cohen-Macaulay local rings of almost minimal multiplicity. An essential part in the proof of our main result is a complete characterization of one-dimensional complete $g$-stretched local rings. Beside partial progress on Herzog-Iyengar's question, another consequence of our study is a numerical characterization of all $g$-stretched Koszul rings, strengthening previous work of Avramov, Iyengar, and Şega.
The pseudo-Frobenius numbers of a numerical semigroup $H$ are deeply connected to the structure of the defining ideal of its semigroup ring $k[H]$. In this paper, we resolve a certain conjecture related to this connection under the assumption that $k[H]/(t^a)$ is stretched, where $a$ is the multiplicity of $H$. Furthermore, we provide numerical conditions for the tangent cone of $k[H]$ to be Cohen-Macaulay.
We prove a sharp upper bound for the resurgence of sums of ideals involving disjoint sets of variables, strengthening work of Bisui--Hà--Jayanthan--Thomas. Complete solutions are delivered for two conjectures proposed by these authors. For given real numbers $a$ and $b$, we consider the set Res$(a,b)$ of possible values of the resurgence of $I+J$ where $I$ and $J$ are ideals in disjoint sets of variables having resurgence $a$ and $b$, respectively. Some questions and partial results about Res$(a,b)$ are discussed.
In this paper, we introduce the concept of canonical stretched rings, sparse stretched rings and maximum sparse ideals. Then we give characterizations of canonical stretched rings and sparse stretched rings; and a characterization of Gorenstein rings in terms of their maximum sparse ideals. Several explicit examples are provided along the paper to illustrate such rings.
The structure of the defining ideal of the semigroup ring $k[H]$ of a numerical semigroup $H$ over a field $k$ is described, when the pseudo-Frobenius numbers of $H$ are multiples of a fixed integer.