交换代数

New results on computing certificates of strictly positive polynomials in Archimedean quadratic modules are presented. The results build upon (i) Averkov's method for generating a strictly positive polynomial for which a membership…

We investigate local rings in which a syzygy of the residue field occurs as a direct summand of another syzygy of the field. This class of local rings includes Golod rings, Burch rings and non-trivial fiber products of local rings. For such…

We prove that for all noetherian rings, the level of any homologically bounded complex $M$ with respect to the collection of projective or injective modules is bounded above by the projective dimension of $\bigoplus H(M)$ plus one or the…

While persistent homology is widely used for data shape analysis, persistent commutative algebra (PCA) has seen limited adoption in machine learning and data science. Unlike persistent homology, which delivers topological invariants in the…

We introduce the package MacaulayPosets written for the computational algebra system Macaulay2. This package utilized the poset data type introduced in the Posets package and offers functionality for studying the Macaulay property for…

We explain a derived version of the basic construction of localisations of module categories by means of idempotent ideals, which lie at the heart of Faltings' almost ring theory. We use it to provide an example of a commutative algebra in…

Miyanishi proved that the ring of invariants of any $\mathbb{G}_a$ action on $\mathbb{A}^3$ is $\mathbb{A}^2$, when the field $k$ has zero characteristic. However, it is not known if this result holds when $k$ has positive characteristic.…

In this paper, we investigate the weak Lefschetz property for tensor products of Artinian monomial algebras and complete quadratic monomial algebras. As an application, we classify the weak Lefschetz property of the Artinian algebras…

For a tensor ring $T_R(M)$, we obtain sufficient and necessary conditions to describe all complete projective resolutions and all Gorenstein projective modules. As a consequence, we provide a method for constructing Gorenstein projective…

We provide a characterization of one-dimensional almost Gorenstein rings in terms of the trace ideal. As an application, we investigate the almost Gorenstein property of certain $\mathbb{Z}_2$-graded rings.

Let R be a commutative ring with identity and I be an ideal of R. The cozero-divisor graph with respect to I, denoted by $\Gamma''_I(R)$, is the graph of R with vertices {x \in R -I :xR +I \not=R} and two distinct vertices $x$ and $y$ are…

We extend the theory of $p$-fractals of Monsky and Teixeira by introducing the notion of weak $p$-fractal. We prove that for a hypersurface $f$ having rational Hilbert-Kunz series is equivalent to the weak $p$-fractality of the associated…

Let $\M$ be a matroid, and let $I_{\M}$ be either the Stanley--Reisner or the cover ideal of $\M$. In this paper we prove that for any matroid $\M$ on $[n]$, any $\ell\in \ZZ_+$, and any squarefree monomial $N\in R=\kk[x_1,\ldots,x_n]$, the…

By using logarithmic $\mathcal D$-modules and Gr\"obner bases, we prove that Bernstein-Sato ideals satisfy some symmetric intersection property, answering a question posed by Budur. As an application, we obtain a formula for the…

The theory of singularities defined by Frobenius has been extensively developed for $F$-finite rings and for rings that are essentially of finite type over excellent local rings. However, important classes of non-local excellent rings, such…

In this work we classify the thick subcategories of the bounded derived category of dg modules over a Koszul complex on any list of elements in a regular ring. This simultaneously recovers a theorem of Stevenson when the list of elements is…

To initiate a systematic study on the applications of perfectoid methods to Noetherian rings, we introduce the notions of perfectoid towers and their tilts. We mainly show that the tilting operation preserves several homological invariants…

The B\"or\"oczky configuration of lines and (multiple) points exhibits extremal behavior in commutative algebra and combinatorics. Examples of this appear in the context of the containment problem for ordinary and symbolic powers and the…

Let J \subseteq I be ideals in a commutative Noetherian ring R, and r,s \geq 0. We say that J is a demotion of I if I^r J^s = I^{r+s} \cap J^s for all r,s \geq 0. In this paper, we mainly aim to explore this notion in polynomial rings. In…

This paper focuses on a numerical invariant for local rings of characteristic $p$ called $h$-function, that recovers several important invariants, including the Hilbert-Kunz multiplicity, $F$-signature, $F$-threshold, and $F$-signature of…