交换代数
Let $R$ be a commutative ring with identity, and let $\R(R)$ denote the semiring of radical ideals of $R$. The radical functor $\R$, from the category of $R$-modules $R{-}\boldsymbol{\sf{Mod}}$ to the category of $\R(R)$-semimodules…
It is known that the initial ideals of generic ideals are the same. Moreno-Soc\'{i}as conjectured that the initial ideal of generic ideals with respect to the degree reverse lexicographic order is weakly reverse lexicographic. In the first…
An $n\times n$ nilpotent matrix $B$ is determined up to conjugacy by a partition $P_B$ of $n$, its Jordan type given by the sizes of its Jordan blocks. The Jordan type $\mathfrak D(P)$ of a nilpotent matrix in the dense orbit of the…
In this paper, we explore when the Betti numbers of the coordinate rings of a projective monomial curve and one of its affine charts are identical. Given an infinite field $k$ and a sequence of relatively prime integers $a_0 = 0 < a_1 <…
Let $S_n=K[x_1,\ldots,x_n,y]$ and $I_n=(x_1y,x_2y,\ldots,x_ny)\subset S_n$ be the edge ideal of star graph. We prove that $\operatorname{hdepth}(S_n/I_n)\geq \left\lceil \frac{n}{2} \right\rceil + \left\lfloor \sqrt{n} \right\rfloor - 2$.…
In this paper, we consider whether parameter test ideals, conductors, $F$-ideals, and trace ideals are contained in an ideal whose quotient ring has finite phantom projective dimension (for example, ideals generated by a system of…
We study a family of monomial ideals, called block diagonal matching field ideals, which arise as monomial Gr\"obner degenerations of determinantal ideals. Our focus is on the minimal free resolutions of these ideals and all of their…
We classify two-dimensional complete local rings $(R,\mathfrak{m},k)$ of finite Cohen-Macaulay type where $k$ is an arbitrary field of characteristic zero, generalizing works of Auslander and Esnault for algebraically closed case. Our main…
We compute the class group of a full rank upper cluster algebra in terms of its exchange polynomials. As a corollary, we recover a theorem by Cao, Keller, and Qin from 2023 characterizing the UFDs among these algebras. Furthermore, under…
In this paper we consider generalized monomial functions $f, g\colon \mathbb{F}\to \mathbb{C}$ (of possibly different degree) that also fulfill \[ f(P(x))= Q(g(x)) \qquad \left(x\in \mathbb{F}\right), \] where $P\in \mathbb{F}[x]$ and $Q\in…
We show that the intersection of the irreducible components of a hypersurface defined by a polynomial with square-free support has F-rational singularities in characteristic $p>0$. As a consequence, we obtain that hypersurfaces defined by…
This paper gives some exact formulas for the depth of powers of the edge ideal of an edge-weighted integrally closed cycle.
In this paper we prove that any full Perazzo algebra $A_F$, whose Macaulay dual generator is a Perazzo form $F\in K[X_0,\dots,X_n,U_1,\dots,U_m]_d$ with $n+1 = \binom{d+m-2}{m-1}$, is the doubling of a 0-dimensional scheme in $\PP^{n+m}$…
We present the theory of cotangent functors following the approach of Palamodov, and a conjecture of Herzog relating the vanishing of certain cotangent functors to the property of being a complete intersection.
Let $(A,\mathfrak{m})$ be a complete Cohen-Macaulay local ring. Assume $A$ is not Gorenstein. We say $A$ is a Teter ring if there exists a complete Gorenstein ring $(B,\mathfrak{n})$ with $\dim B = \dim A$ and a surjective map $B…
We consider the strong Lefschetz property for standard graded Artinian Gorenstein algebras. Such an algebra has a presentation of the quotient algebra of the ring of the differential polynomials modulo the annihilator of some homogeneous…
Let $\mathcal{A}$ be an abelian category. Denote by $\mathrm{D}^{b}(\mathcal{A})$ the bounded derived category of $\mathcal{A}$. In this paper, we investigate the lower bounds for the levels of objects in $\mathrm{D}^{b}(\mathcal{A})$ with…
For $U\subseteq H^0(\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1}(a,b))$ a four-dimensional vector space, a basis $\{p_0,p_1,p_2,p_3\}$ of $U$ defines a rational map $\phi_U:\,\mathbb{P}^1\times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$.…
Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d \geq 2$. An $\mathfrak{m}$-primary ideal $I$ is said to be a generalized Narita ideal if $e_i^I(A) = 0$ for $2 \leq i \leq d$. If $I$ is a generalized Narita ideal and…
Lefschetz properties and inverse systems have played key roles in understanding the $h$-vector of simplicial spheres. In 1996, Lee established connections between these two algebraic tools and rigidity theory, an area often used in the…