交换代数

In 1965 Buchberger defined Gr\"obner bases and an algorithm to compute them. Despite a slow start, already in the eighties Gr\"obner bases had become the main device for symbolic computations involving polynomials as well as a theoretical…

We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes we conclude that every such algebra is normal and Cohen-Macaulay, and give an interpretation of its…

We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings which have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such…

Let $K$ be a field and $P=K[x_1,\dots,x_n]$. The technique of elimination by substitution is based on discovering a coherently $Z=(z_1,\dots,z_s)$-separating tuple of polynomials $(f_1,\dots,f_s)$ in an ideal $I$, i.e., on finding…

We study affine semigroup rings as algebras over subsemigroup rings. From this relative viewpoint with respect to a given subsemigroup ring, the fibered sum of two affine semigroup algebras is constructed. Such a construction is compared to…

Let $\Delta$ be an (abstract) simplicial complex on $n$ vertices. One can define the Artinian monomial algebra $A(\Delta) = \Bbbk[x_1, \ldots, x_n]/ \langle x_1^2, \ldots, x_n^2, I_{\Delta} \rangle$, where $\Bbbk$ is a field of…

We prove the strong Lefschetz property for Artinian Gorenstein algebras generated by the relative invariants of prehomogeneous vector spaces of commutative parabolic type.

Let $R$ be a commutative noetherian ring admitting a dualizing complex and let $\mathfrak p$ be a prime ideal of $R$. In this paper we investigate when $G(R/\frak p)$ is an $R_{\frak p}$-module. We give some necessary and sufficient…

Let $I=I(D)$ be the edge ideal of a weighted oriented graph $D$, let $G$ be the underlying graph of $D$, and let $I^{(n)}$ be the $n$-th symbolic power of $I$ defined using the minimal primes of $I$. We prove that $I^2=I^{(2)}$ if and only…

Let R be a commutative ring with identity and S a multiplicative subset of R. The aim of this paper is to study the class of commutative rings in which every S-flat module is flat (resp., projective). An R-module M is said to be S-flat if…

The aim of this article is to consider the spectral sequences induced by tensor-hom adjunction, and provide a number of new results. Let $R$ be a commutative Noetherian local ring of dimension $d$. In the 1st part, it is proved that $R$ is…

This paper gives exact formulas for the regularity of edge ideals of edge-weighted integrally closed trees. In addition, we provide some linear upper bounds on the regularity of powers of such ideals.

We introduce a new concept of rank - relative rank associated to a filtered collection of polynomials. When the filtration is trivial our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of…

In 2021, Hibi et. al. studied lattice points in $\mathbb{N}^2$ that appear as $(\depth R/I,\dim R/I)$ when $I$ is the edge ideal of a graph on $n$ vertices, and showed these points lie between two convex polytopes. When restricting to the…

In this paper we give a new family of complete intersections which have the strong Lefschetz property. The family consists of (Artinian algebras defined by) ideals generated by power sum symmetric polynomials of consecutive degrees and of…

We classify the minimal number of generators of artinian equigenerated monomial ideals $I$ such that $\Bbbk[x_1,\ldots,x_n]/I$ is forced to have the weak Lefschetz property.

The so-called polynomial equations play an important role both in algebra and in the theory of functional equations. If the unknown functions in the equation are additive, relatively many results are known. However, even in this case, there…

The notion of Burch ideals and Burch submodules were introduced (and studied) by Dao-Kobayashi-Takahashi in 2020 and Dey-Kobayashi in 2022 respectively. The aim of this article is to characterize various local rings in terms of homological…

Let $R$ be a commutative ring with $1 \neq 0$. A proper ideal $I$ of $R$ is a {\it square-difference factor absorbing ideal} (sdf-absorbing ideal) of $R$ if whenever $a^2 - b^2 \in I$ for $0 \neq a, b \in R$, then $a + b \in I$ or $a - b…

In this note, a condition (\emph{open persistence}) is presented under which a (pre)closure operation on submodules (resp. ideals) over rings of global sections over a scheme $X$ can be extended to a (pre)closure operation on sheaves of…