交换代数

Consider the action of a subgroup $G$ of the permutation group on the polynomial ring $S := k[x_{1}, \ldots, x_{n}]$ via permutations. We show that if $k$ does not have characteristic two, then the following are independent of $k$: the…

We identify several classes of monomial ideals that possess minimal generalized Barile-Macchia resolutions. These classes of ideals include generic monomial ideals, monomial ideals with linear quotients, and edge ideals of hypertrees. We…

We formulate a structural principle for finite $S_2$-objects: coherent $S_2$-sheaves and finitely generated graded $S_2$-modules decompose canonically according to the connected components in codimension $1$ of their support. This gives…

This paper introduces and studies quasi sdf-absorbing ideals as a generalization of sdf-absorbing ideals. We investigate the stability of this property under various constructions, including localization, surjective images, Nagata…

Let R be a commutative ring with identity and let J be an ideal of R. In this paper, we introduce and investigate the notion of the i-extended ideal-based cozero-divisor graph of R. This graph, denoted by $\overline{\Gamma''}_{Ji}(R)$, is a…

For a simplicial poset $P$, Stanley assigned the face ring $A_P$, which is the quotient of the polynomial ring $S:=K[t_x \mid x \in P \setminus \{\widehat{0} \}]$ by the ideal $I_P$. This is a generalization of Stanley-Reisner rings, but…

Let $K$ be a field. We study $\A^1$-contractibility of Koras--Russell type varieties defined by \[ \frac{K[x_1,\ldots,x_m,y,z,t]} {\langle x_m^2a(x_m)b(x_1,\ldots,x_{m-1})y+f(z,t)+x_m\rangle}. \] We prove that if such a variety is…

Let $M$ be a finitely generated module over a free twisted commutative algebra $A$ that is finitely generated in degree one. We show that the projective dimension of $M({\bf C}^n)$ as an $A({\bf C}^n)$-module is eventually linear as a…

In this paper, we prove that if $R$ is a local ring of dimension $d,$ $d\geq 2$ and $\frac{1}{d!}\in R$ then the group $\frac{Um_{d+1}(R[X])}{E_{d+1}(R[X])}$ has no $k$-torsion, provided $k\in GL_{1}(R).$ We also prove that if $R$ is a…

Let $G$ be a finite graph on $[n]:=\{1, \ldots, n\}$ and $\kappa(G)$ its vertex connectivity. Let $S=K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I(G^c)$ the edge ideal of the complementary graph…

Given a squarefree monomial ideal $I$ of a polynomial ring $Q$, we show that if the minimal free resolution $\mathbb{F}$ of $Q/I$ admits the structure of a differential graded (dg) algebra, then so does any ``pruning" of $\mathbb{F}$. In…

We show that the Fr\"oberg conjecture holds in the second non-trivial degree for an ideal generated by generic forms of degree $d>2$. We also show that the conjecture is true up to degree $2d-1$ provided that the number of variables is…

In an analytically unramified local ring $(R,\mathfrak m)$ of dimension $d\geq 1$, for a filtration of ideals $\mathfrak {I}=\{I_m\}_{m\in\mathbb N}$ satisfying $\mathfrak A(r)$ condition and for any $\mathfrak m$-primary ideal $K$, it is…

We introduce and study a notion of large homomorphisms on the homotopy lie coalgebra; these homomorphisms are a variant of the large homomorphisms of Levin. As a consequence of our work, we establish new cases of a homotopy lie coalgebra…

Let $G=P_n$ be a path graph with cover ideal $J(P_n)$. By using Hochster's depth formula, we prove the explicit formulae to compute the depth functions of powers of cover ideals of paths.

We introduce the package \texttt{EliminationTemplates} for the Macaulay2 computer algebra system, which provides tools for constructing automatic solvers for families of zero-dimensional radical ideals depending on algebraically independent…

We study conic divisorial ideals from the viewpoint of matroid theory and apply the resulting framework to toric rings arising from signed posets. For a toric ring, we describe the polytope representing divisor classes corresponding to…

We study the volume map on Artinian quotients of Cohen-Macaulay algebras in characteristic $p$, and the interaction between it and the action of Frobenius on resolutions. This allows us to provide a general, conceptual way to understand…

We introduce quasi-Gorenstein morphisms of commutative local dg-algebras and use a Gorenstein version of the virtually small property to characterize them, a result which is new even for homomorphisms of local rings. In a different…

We prove that an analogue of Rogers' theorem on sieving holds for an order if and only if the order is a Dedekind domain. We also prove that it holds for a finite commutative ring if and only if the ring is a direct product of local rings…