On the initial Betti numbers

2026-01-28T13:52:28Z

Let $R$ be a Cohen-Macaulay local ring possessing a canonical module. We compare the initial and terminal Betti numbers of modules in a series of nontrivial cases. We pay special attention to the Betti numbers of the canonical module. Also, we compute $β_0(ω_{\frac{R}{I}})$ in some cases, where $I$ is a product of two ideals.

Integral closure of 1-dimensional rings

2026-01-28T13:40:11Z

We study certain properties of modules over 1-dimensional local integral domains. First, we examine the order of the conductor ideal and its expected relationship with multiplicity. Next, we investigate the reflexivity of certain colength-two ideals. Finally, we consider the freeness problem of the absolute integral closure of a DVR, and connect this to the reflexivity problem of $R^{\frac{1}{p^n}}$.

Toric varieties modulo reflections

2026-01-28T04:35:57Z

Let $W$ be a finite group generated by reflections of a lattice $M$. If a lattice polytope $P \subset M \otimes_{\mathbb Z}\mathbb R$ is preserved by $W$, then we show that the quotient of the projective toric variety $X_P$ by $W$ is isomorphic to the toric variety $X_{P \cap D}$, where $D$ is a fundamental domain for the action of $W$. This answers a question of Horiguchi-Masuda-Shareshian-Song, and recovers results of Blume, of Song, of the second author, and of Gui-Hu-Liu. We also study quotients of real toric varieties, proving that $X_P^{\mathbb R} / W$ is contractible when $P$ is a permutohedron.

Relative Hochster--Takayama formula and Cohen--Macaulay monomial ideal quotients

2026-01-28T04:07:22Z

Hochster's and Takayama's formulas describes the multigraded components of local cohomology modules of monomial ideals in terms of simplicial complexes. In this paper, we develop a relative version of these formulas for quotients $I/J$ of monomial ideals, expressing the multigraded pieces of local cohomology modules of $I/J$ as reduced relative (co)homology of pairs of degree complexes. As an application, we obtain a relative Reisner criterion characterizing Cohen-Macaulay monomial ideal quotients. We further apply this relative Hochster--Takayama framework to modules arising from symbolic power filtrations, including symbolic quotients $I^{(t)}/I^{(t+1)}$ and symbolic-ordinary discrepancy module $I^{(t)}/I^t$. In particular, for a squarefree monomial ideal $I$, we give a precise classification of when $I^{(t)}/I^{(t+1)}$ is Cohen-Macaulay for all or, equivalently, for some $t \ge 2$. When $I$ is the edge ideal of a graph, we characterize the Cohen-Macaulayness of $I^{(t)}/I^t$ for all or, equivalently, for some sufficiently large $t$, and analyze the behavior of its dimension function.

Structure and Symmetry of Sally Type Semigroup Rings

2026-01-27T21:32:53Z

Consider a numerical semigroup minimally generated by a subset of the interval $[e,2e-1]$ with multiplicity $e$ and width $e-1$. Such numerical semigroups are called Sally type semigroups. We show that the defining ideals of these semigroup rings, when the embedding dimension is $e-2$, generically have the structure of the sum of two determinantal ideals. More generally, Sally type numerical semigroups with multiplicity $e$ and embedding dimension $d=e-k$ are obtained by introducing $k$ gaps in the interval $[e,2e-1]$. It is known that for $k =2$, there is precisely one such semigroup that is Gorenstein, and it happens when one deletes consecutive integers. Let $S^e_k(j)$ denote the Sally type numerical semigroup of multiplcity $e$, embedding dimension $e-k$ obtained by deleting the $k$ consecutive integers $j, j+1, \ldots, j+k-1$.We prove that for any $1\le k < e/2$, the semigroup $S^e_k(j)$ is Gorenstein if and only if $j=k$. We construct an explicit minimal free resolution of the semigroup ring of $S^e_k(k)$ and compute the Betti numbers. In general, we characterize when $S^e_k(j)$ are symmetric and construct minimal resolutions for these Gorenstein semigroup rings.

The spectrum of the Burnside Tambara functor

2026-01-27T21:04:54Z

We compute the spectrum of prime ideals in the Burnside Tambara functor over an arbitrary finite group. Our proof uses recent advances in the commutative algebra of Tambara functors, as well as a Tambara functor analogue of ghost coordinates which works over arbitrary finite groups and clarifies some previous computations. As examples, we explicitly compute the spectrum of the Burnside Tambara functor over all dihederal groups, the quaternion group $Q_8$, the alternating group $A_4$, and the general linear group $GL_3(F_2)$.

Numerical Semigroups of Sally Type

2026-01-27T19:37:21Z

Judith Sally proved in 1980 that the associated graded ring of one-dimensional Gorenstein local rings of multiplicity $e$ and embedding dimension $e-2$ are Cohen-Macaulay. She showed that the defining ideal of the associated graded ring of such rings is generated by ${e-2 \choose 2}$ elements. Numerical semigroup rings are a big class of one-dimensional Cohen-Macaulay rings. In 2014, Herzog and Stamate proved that the numerical semigroup $$ defines a Gorenstein semigroup ring satisfying Sally's conditions above and such semigroups are called Gorenstein Sally Semigroups. We call a numerical semigroup $S$ as Sally type if $= < e,e+1,\ldots,e+m-1, e+m+1,\ldots, e+n-1,e+n+1, \ldots 2e-1>$ for some $2 \leq m

Extremal F-thresholds in regular local rings

2026-01-27T18:52:56Z
Let $(R, \mathfrak{m})$ be a regular local ring of characteristic $p > 0$. Among all proper ideals $\mathfrak{a}\subseteq R$ with a fixed order of vanishing $\text{ord}_{\mathfrak{m}}(\mathfrak{a})$, we classify the ideals for which the $F$-threshold $\text{ft}^{\mathfrak{m}}(\mathfrak{a})$ is minimal.

Metric completions of triangulated categories from hereditary rings

2026-01-27T17:00:47Z
The focus of this article is on metric completions of triangulated categories arising in the representation theory of hereditary finite dimensional algebras and commutative rings. We explicitly describe all completions of bounded derived categories with respect to additive good metrics for two classes of rings - hereditary commutative noetherian rings and hereditary algebras of tame representation type over an algebraically closed field. To that end, we develop and study the lattice theory of metrics on triangulated categories. Moreover, we establish a link between metric completions of bounded derived categories of a ring and the ring's universal localisations.

Prismatic Kunz's theorem

2026-01-27T14:55:27Z
In this paper, we prove "prismatic Kunz's theorem" which states that a complete Noetherian local ring $R$ of residue characteristic $p$ is a regular local ring if and only if the Frobenius lift on a prismatic complex of (a derived enhancement of) $R$ over a specific prism $(A, I)$ is faithfully flat. This generalizes classical Kunz's theorem from the perspective of extending the "Frobenius map" to mixed characteristic rings. Our approach involves studying the deformation problem of the "regularity" of prisms and demonstrating the faithful flatness of the structure map of the prismatic complex.

Nearly Gorenstein and almost symmetric properties in shifted numerical semigroups

2026-01-27T14:08:26Z
Given the integers $00$. For sufficiently large $n$, we prove that if $M_n$ is nearly Gorenstein or almost symmetric, then so is $M_{n+r_k}$. A key ingredient is to relate the pseudo-Frobenius elements of $M_n$ and $M_{n+r_k}$, correcting a wrong claim in the literature. Moreover, we derive explicit formulas for the Frobenius and pseudo-Frobenius numbers of $M_{n+r_k}$.

Ideal transition systems

2026-01-27T08:34:37Z
We study an inductive method of computing initial ideals and Gröbner bases for families of ideals in a polynomial ring. This method starts from a given set of pairs $(I,J)$ where $I$ is any ideal and $J$ is a monomial ideal contained in the initial ideal of $I$. These containments become a system of equalities if one can establish a particular transition recurrence among the chosen ideals. We describe explicit constructions of such systems in two motivating cases -- namely, for the ideals of matrix Schubert varieties and their skew-symmetric analogues. Despite many formal similarities with these examples, for the symmetric versions of matrix Schubert varieties, it is an open problem to construct the same kind of transition system. We present several conjectures that would follow from such a construction, while also discussing the special obstructions arising in the symmetric case.

Derived graded modules

2026-01-27T03:53:22Z
We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical equivalence between (complete) derived $G$-graded modules over $R$ and derived (formal) comodules over a certain comonad constructed from the group ring $R[G]$ of $G$ over $R$.

Geometry of Yang-Baxter matrix equations over finite fields

2026-01-26T21:02:58Z
Let $A$ be a $2\times 2$ matrix over a finite field and consider the Yang-Baxter matrix equation $XAX=AXA$ with respect to $A$. We use a method of computational ideal theory to explore the geometric structure of the affine variety of all solutions to this equation. In particular, we exhibit all solutions explicitly and determine cardinality formulas for these varieties.

Subdividing simplicial virtual resolutions with homology

2026-01-26T18:25:42Z
While sporadic examples of virtual resolutions with homology have been constructed, their occurrence is not well understood or controlled. Our results build a new set of tools for studying virtual resolutions of monomial ideals as arising from simplicial complexes, including characterizing them by the acyclicity of certain induced subcomplexes. Using this characterization, we give a description of minimal simplicial complexes supporting virtual resolutions as well as a technique for removing homology from simplicial virtual resolutions.