Search arXiv⌕ Search

arXiv · 2610.30057

Differential powers of monomial ideals in affine semigroup rings

Abstract

This article gives explicit descriptions for differential powers of monomial ideals in certain (possibly non-normal) affine semigroup rings. We use these descriptions to show that the topologies defined by the ordinary, symbolic, and differential powers of any monomial ideal are all linearly equivalent. We then prove the existence of differential signature in our settings, relating it to the volume of some convex polytope. Finally, we apply our results to pinched Veronese rings.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Soumyadeep Misra, Christopher Wong. 2026-10-21. Differential powers of monomial ideals in affine semigroup rings. https://arxiv.org/abs/2610.30057

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homological subsets of Spec

We recover some data of a module $M$ from the Ext-family $\{Ext^i_R(M,R)\}$. In this regard, we investigate homological subsets of $Spec(R)$, defined by the help of Ext-family. For example, we present a situation for which $\bigcup_{i=0}^\infty Ass(Ext^i_R(M,R))$ is infinite, thereby answering a question of Vasconcelos. We extend Grothendieck's calculation of $dim(Ext^g_R(M,R))$ and present some new situations to calculate $dim(Ext^\ast_R(M,R))$. Also, we compute support and the set of all associated prime ideals of the Ext-family in a serial of nontrivial cases.

math.AC↗

On Stanley-Reisner Rings with Minimal Betti Numbers

We study simplicial complexes with a given number of vertices whose Stanley-Reisner ring has the minimal sum of Betti numbers. We prove that every full subcomplex of them is homotopy equivalent either to a point or to a sphere. Moreover, we prove that such kind of simplicial complexes coincide with those having minimal Taylor resolutions.

math.AC↗

Local-Cohen-Macaulay DG-rings with unequal finitistic projective dimensions

For every pair of integers $d,n\geq1$, we construct a commutative noetherian local-Cohen-Macaulay DG-ring $A$ such that $\dim H^0(A)=d$, $\mathrm{amp}(A)=n$, $\mathrm{fpd}(A)=d-n$, and $\mathrm{FPD}(A)=d$. This gives a negative answer to the implication from local-Cohen-Macaulayness to equality of the two finitistic projective dimensions in a question of Bird, Shaul, Sridhar, and Williamson.

math.AC↗