交换代数
For an ideal $I$ in a Noetherian ring $R$, the Fitting ideals $\textrm{Fitt}_j(I)$ are studied. We discuss the question of when $\textrm{Fitt}_j(I)=I$ or $\sqrt{\textrm{Fitt}_j(I)}=\sqrt{I}$ for some $j$. A classical case is the…
In the derived category of a commutative noetherian ring, we explicitly construct a silting object associated with each sp-filtration of the Zariski spectrum satisfying the "slice" condition. Our new construction is based on local…
Strongly robust toric ideals are the toric ideals for which the set of indispensable binomials is the Graver basis. The strongly robust simplicial complex $\Delta _T$ of a simple toric ideal $I_T$ determines the strongly robust property for…
For four elements of a Noetherian ring we construct complexes of free modules of length three (resp. five) by an explicit description of the homomorphisms of the free modules. We provide exactness criteria for them. As an application we use…
Let $R$ be a noetherian commutative ring. Of great interest is the question whether one can find an explicit integer $k$ such that $\overline{I^{k+n}}\subseteq I^n$ for each ideal $I$ and each integer $n\geq 1$ (the notation…
Invertibility is important in ring theory because it enables division and facilitates solving equations. Moreover, (nonassociative) rings can be endowed with an extra ''structure'' such as order and topology allowing more richness in the…
It is proved that Ulrich modules exist for a large class of local rings of dimension two. This complements earlier work of the authors and Ziquan Zhuang that described complete intersection domains of dimension two that admit no Ulrich…
Let $R$ be a local ring and let $M$ be a finitely generated $R$-module. Appealing to the natural left module structure of $M$ over its endomorphism ring and corresponding center $Z(\operatorname{End}_R(M))$, we study when various…
Let $G$ be a finite simple graph and let $NI(G)$ denote the closed neighborhood ideal of $G$ in a polynomial ring $R$. We show that if $G$ is a forest, then the Castelnuovo-Mumford regularity of $R/NI(G)$ is the same as the matching number…
A celebrated theorem of Fr\"oberg gives a complete combinatorial classification of quadratic square-free monomial ideals with a linear resolution. A generalization of this theorem to higher degree square-free monomial ideals is an active…
We examine the power series ring $R[[X]]$ over a valuation ring $R$ of rank 1, with proper, dense value group. We give a counterexample to Hilbert's syzygy theorem for $R[[X]]$, i.e. an $R[[X]]$-module $C$ that is flat over $R$ and has flat…
We show that quasi-$F$-pure but not $F$-pure isolated quasi-homogeneous hypersurface singularities necessarily have $F$-pure threshold $1 - \frac{1}{p}$. This extends work of Bhatt and Singh beyond the Calabi-Yau case. We also classify the…
Let $H$ be a (multiplicatively written) monoid. The family $\mathcal{P}_{\text{fin},1}(H)$ of finite subsets of $H$ containing the identity element is itself a monoid when endowed with setwise multiplication induced by $H$. Tringali and Yan…
Let $E$ be a module over a domain $A$, and $W(E)^{\#}=W(E)-ann(E)$ where $W(E)=\{a\in A:aE\neq E\}$. We define an equivalence relation $\sim$ on $W(E)^{\#}$ as follows: $a\sim b$ if and only if $aE=bE$ for any $a,b\in W(E)^{\#}$ and denote…
Let $R$ be a noetherian commutative ring and $f_1,\dots,f_c$ be a regular sequence in $R$. We introduce a framework to study $Supp(H^j_I(R/(f_1,\dots,f_c)))$ by linking the Koszul cohomology of $H^j_I(R)$ on the sequence $f_1,\dots,f_c$ and…
In this paper, we showed that the adjoint polynomial of a polyhedral cone equals the multidegree polynomial of the toric ideal with multigrading, both given by the vertex rays. This fact implies a conjecture of Aluffi, to the effect that…
Multiview ideals arise from the geometry of image formation in pinhole cameras, and universal multiview ideals are their analogs for unknown cameras. We prove that a natural collection of polynomials form a universal Gr\"obner basis for…
We introduce an analogue to Quasi-$F$-splittings, Quasi-$F$-purity, which is definable over rings that are not necessarily $F$-finite. We show that this property is equivalent to being Quasi-$F$-split in the complete local and $F$-finite…
Let $R$ be a real smooth affine domain of dimension $3$ such that $R$ has either no real maximal ideals or the intersection of all real maximal ideals in $R$ has height at least $1$. Then we prove that all stably free $R$-modules of rank…
Let $T$ be a perfect binary tree and $I$ be its edge ideal in the polynomial ring $S$. We determine the vertex cover number, independent number, and establish the recursive formula to compute the number of minimal vertex covers. As a…