交换代数

We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.

In this study, we investigate the binomial edge ring associated with the skew Ferrers diagram. By employing Sagbi basis theory, we construct a quadratic Gr\"{o}bner basis for its defining ideal. As an application, we prove that this ring is…

Over Cohen--Macaulay rings admitting a pointwise dualizing module, we show that the class of modules of restricted projective dimension bounded by any integer is finitely deconstructible and that the class of modules of restricted flat…

We compute the $F$-signature function of the ample cone of any nontrivial ruled surface over $\mathbb{P}^1_k$ where $k$ is an algebraically closed field of prime characteristic. As an application, we construct a Noetherian $F$-finite…

Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$ and $I\subset S$ be a squarefree monomial ideal generated in degree $n-2$. Motivated by the remarkable behavior of the powers of $I$ when $I$ admits a linear resolution, as…

The main purpose of this paper is to provide formulas for the Hilbert-Kunz multiplicity of fiber product rings and Nagata idealizations. We give explicit formulas for the Hilbert-Kunz multiplicity of a fiber product $R \times_T S$, where…

We construct neural network regression models to predict key metrics of complexity for Gr\"obner bases of binomial ideals. This work illustrates why predictions with neural networks from Gr\"obner computations are not a straightforward…

We investigate the depth of the tensor product of finitely generated modules over local rings. One of the main ingredients of our approach is a lifting construction introduced by Huneke, Jorgensen, and Wiegand. We recover a result of…

The *reciprocal complement* $R(D)$ of an integral domain $D$ is the subring of its fraction field generated by the reciprocals of its nonzero elements. Many properties of $R(D)$ are determined when $D$ is a polynomial ring in $n\geq 2$…

Let $T$ be a complete local ring. We present necessary and sufficient conditions for $T$ to be the completion of a local (Noetherian) unique factorization domain $A$ such that there exist height one prime ideals $\{J_k\}_{k = 1}^{\infty}$…

Let $(A,\mathfrak m)$ be a two-dimensional excellent normal Gorenstein local domain containing an algebraically closed filed. Let $I =H^0(X,\mathcal{O}_X(-Z)) \subset A$ be an $\mathfrak m$-primary integrally closed ideal represented by an…

We study the derived category of pseudo-coherent complexes over a noetherian commutative ring, building on prior work by Matsui-Takahashi. Our main theorem is a computation of the Balmer spectrum of this category in the case of a discrete…

We study three classes of local homomorphisms and their behavior with respect to the ascent and descent of the \emph{complete intersection} property. Crucially, they fall in between the already studied classes of complete intersection and…

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…

We give a value for the $F$-pure threshold at the maximal homogeneous ideal $\mathfrak{m}$ of the symmetric determinantal ring over a field of prime characteristic. The answer is characteristic independent, so we immediately get the log…

The famous J.C.P. Miller formula provides a recurrence algorithm for the composition $B_a \circ f$, where $B_a$ is the formal binomial series and $f$ is a formal power series, however it requires that $f$ has to be a nonunit. In this paper…

The aim of this article is to investigate the issues of multiplicative inverses and composition in the set of formal Laurent series. We show the lack of general uniqueness of inverses of formal Laurent series; necessary and sufficient…

Let $R$ be a commutative noetherian ring, and denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules. In this paper, for an ideal $I$ of $R$, we introduce the full subcategory $\operatorname{mod}_{I}(R)$ of…

We prove a form of generic local duality that generalizes a result of Karen E. Smith. Specifically, let $R$ be a Noetherian ring, let $P$ be a prime ideal of $R$ of height $h$, let $A:=R/P$, and $W$ be a subset of $R$ that maps onto…

Let $A$ be a regular ring containing a field of characteristic $p>0$ and let $R=A[x_1,\ldots,x_m,y_1,\ldots,y_n]$ be standard bigraded over $A$, i.e., $\operatorname{bideg}(A)=(0,0)$, $\operatorname{bideg}(x_i)=(1,0)$ and…