https://arxiv.org/api/HIcdHUDLdNlcBenHmDcEOROj/kU 2026-03-22T11:44:59Z 14563 150 15 http://arxiv.org/abs/2602.09966v2 2026-02-23T11:42:39Z

We compute an explicit closed formula for the Hilbert polynomial of the Jacobian algebra $M(f)$ of a reduced surface $X:f=0$ in $\mathbb P^3$ in terms of the graded Betti numbers of the algebra $M(f)$. When $X$ has only isolated singularities, a result by A. du Plessis and C. T. C. Wall yields new necessary condition for a set of positive integers to be the graded Betti numbers of the Jacobian algebra of such a surface. The comparison with the plane curve case is discussed in detail and additional information is given in the case of nodal surfaces. In the final section we construct four natural Jacobian syzygies for surfaces $X$ coming from pencils of surfaces.

2026-02-10T16:54:14Z v2. Section 6 is new Alexandru Dimca Gabriel Sticlaru http://arxiv.org/abs/2004.11004v13 2026-02-23T07:48:12Z

We show that a valuation ring containing its residue field of characteristic $p>0$ is a filtered direct limit of complete intersection ${\bf F}_p$-algebras.

2020-04-23T07:10:58Z It will appear in Mathematische Nachrichten Dorin Popescu http://arxiv.org/abs/2310.16558v4 2026-02-22T22:05:49Z

We study equisingularity of families of reduced curves over smooth parameter spaces of arbitrary positive dimension, using the difference between two analytic invariants of a curve singularity: the multiplicity of its Jacobian ideal and its complete intersection discrepancy. This difference provides a fiberwise multiplicity criterion for Whitney equisingularity. We prove that Whitney equisingularity (equivalently, strong simultaneous resolution) is characterized by equidimensionality of the fibers of the exceptional locus of either the relative conormal space or the relative Nash blowup. We further show that this condition is equivalent to the emptiness of the relative polar variety of smallest dimension. In addition, we establish that the Milnor number of a reduced curve is Zariski upper semicontinuous. As an application, we show that the constancy of the Milnor number in a family of reduced curves is equivalent to its topological equisingularity.

2023-10-25T11:23:32Z Substantial revision; title changed. Using recent results of the first and third authors, we extend the main results to flat families of reduced curves, removing smoothability and dimension assumptions. We prove a multiplicity criterion for Whitney equisingularity and Zariski upper semicontinuity of the Milnor number; in the one-parameter case, this recovers results of Buchweitz and Greuel Andrei Benguş-Lasnier Terence Gaffney Antoni Rangachev http://arxiv.org/abs/2502.13276v3 2026-02-22T11:04:02Z

I introduce a geometric interpretation of the set of standard graded Artinian Gorenstein algebras of codimension n and degree d: the standard locus, which is a subset of the projective space of degree d polynomials in n variables, and I characterize it. Under opportune hypothesis, I prove that the locus of full Perazzo polynomials is the union of the minimal dimensional irreducible components of the standard locus and it is a pure dimensional subset. On the other hand, I associate to any homogeneous polynomial a topological space, which is a CW-complex. Using all these sets, I prove that the Hilbert function restricted to the standard locus has minimal values on any irreducible component of the domain. I apply all this to the Full Perazzo Conjecture and I prove it.

2025-02-18T20:48:16Z Section 5 improved Armando Capasso http://arxiv.org/abs/2602.16619v2 2026-02-22T00:32:56Z

Dubé introduced cone decompositions and their Macaulay constants and used them to obtain an upper bound on the degrees of the generators in a Gröbner basis of an ideal. Liang extended the theory to submodules of a free module. In this paper, Macaulay constants of any finitely generated graded module $M$ over a polynomial ring are introduced by adapting the concept of a cone decomposition to $M$. It is shown that these constants provide upper bounds for the degrees in which the local cohomology modules of $M$ are not zero. The results include an upper bound on the Castelnuovo-Mumford regularity of $M$ and a generalization of Gotzmann's Regularity Theorem from ideals to modules. As an application, an upper bound on the Castelnuovo-Mumford regularity of any coherent sheaf on projective space is established. The mentioned bounds are sharp even for cyclic modules. Furthermore, Macaulay constants are utilized to provide a characterization of Hilbert polynomials of finitely generated graded modules.

2026-02-18T17:11:55Z Fixed references to Example, Proposition, etc Uwe Nagel http://arxiv.org/abs/2602.18818v1 2026-02-21T12:35:39Z

For any ring $R$, we investigate balanced pairs of classes of modules and their relations to cotorsion triples. We characterize the case when a balanced pair generates a tilting cotorsion pair, and dually, when it cogenerates a cotilting cotorsion pair. If $R$ is right noetherian, we prove that the pair consisting of Gorenstein projective modules and Gorenstein injective modules is balanced if and only if $R$ is right virtually Gorenstein. In [4], cotorsion torsion triples in abelian categories were employed in the representation theory of rectangular grids occurring in persistent homology theory. For module categories, we use infinite dimensional tilting theory to completely classify all cotorsion torsion triples by means of $1$-resolving subcategories of $\rfmod R$, and to give an explicit 1-1 correspondence between the formally dual notions of cotorsion torsion triples of right $R$-modules and torsion cotorsion triples of left $R$-modules. This correspondence is bijective in case the underlying ring $R$ is left noetherian, but not in general.

2026-02-21T12:35:39Z 20 pages Sergio Estrada Jiangsheng Hu Jan Trlifaj http://arxiv.org/abs/2602.18804v1 2026-02-21T11:33:17Z

For a commutative unital ring $R$ with fixed ideals $I$ and $J$, we introduce and study $I$-prime $R$-modules and $(I, J)$-prime $R$-modules together with their duals $I$-coprime $R$-modules and $(I,J)$-coprime $R$-modules respectively. We employ category-theoretic techniques to reveal their structural properties. Our main results are versions of the Greenlees-May Duality and the Matlis-Greenlees-May Equivalence to the setting of these prime and coprime modules. This generalizes work on $I$-reduced modules and $I$-coreduced modules. We demonstrate that these ``locally prime" modules serve as a tool for studying the classical ``globally prime" modules, creating a bridge between local and global primality.

2026-02-21T11:33:17Z 18 pages Sholastica Luambano David Ssevviiri http://arxiv.org/abs/2509.05996v2 2026-02-21T00:16:28Z

In this paper, we investigate the notions of almost Noetherian rings and modules. In details, we give the Cohen type theorem, Eakin-Nagata type theorem, Kaplansky type Theorem and Hilbert basis theorem and some other rings constructions for almost Noetherian rings. In particular, we resolve a question proposed in \cite[9, B. Zavyalov, {\it Almost coherent modules and almost coherent sheaves}, Memoirs of the European Mathematical Society 19. Berlin: European Mathematical Society (EMS), 2025] under a certain condition.

2025-09-07T10:03:22Z Xiaolei Zhang http://arxiv.org/abs/2406.13658v2 2026-02-20T00:40:16Z

It is well-known that the first generalized Hamming weight of a linear code, more commonly called \textit{the minimum distance} of the linear code, corresponds to the initial degree of the Stanley-Reisner ideal of the matroid of the dual code. Our starting point in this paper is a generalization of this fact -- namely, the $r$-th generalized Hamming weight of a matroid is the smallest degree of a squarefree monomial in the $r$-th symbolic power of the Stanley-Reisner ideal of the matroid (in the appropriate range for $r$). We show that the squarefree monomials in successive symbolic powers of the Stanley-Reisner ideal of a matroid suffice to describe all symbolic powers of the Stanley-Reisner ideal. Hence, we provide explicit expressions for initial degree statistics of symbolic powers of the Stanley-Reisner ideal of a matroid in terms of its generalized Hamming weights. A key aspect of our approach is a careful study of duality. If the generalized Hamming weights of a matroid and its dual are both subadditive, we prove a simple expression for the initial degree of every symbolic power of the Stanley-Reisner ideal of the matroid, which closely mirrors that of a uniform matroid. This has unexpectedly far-reaching consequences - we prove the generalized Hamming weights of a matroid and its dual are both subadditive for many interesting classes of matroids and codes, including sparse paving matroids, perfect matroid designs, matroids arising from Steiner systems, first-order affine and projective Reed-Muller codes, constant weight codes, Griesmer codes, and perfect codes. As an application, we study the resurgence and asymptotic resurgence of the matroid configurations introduced by Geramita-Harbourne-Migliore-Nagel. In particular, we explicitly compute the asymptotic resurgence of a matroid configuration of points arising from a perfect matroid design.

2024-06-19T16:01:40Z Content has been significantly expanded and rearranged from the previous version Michael DiPasquale Louiza Fouli Arvind Kumar Ştefan O. Tohǎneanu http://arxiv.org/abs/2506.13532v4 2026-02-19T16:04:45Z

In this paper, we explore a ring invariant which is closely related to the Davenport constant of a group. In particular, we will calculate this invariant for a certain class of rings of integers and their orders and use it to understand factorization properties of the latter. To this end, we also examine the well-behaved class of Galois-invariant orders.

2025-06-16T14:22:53Z 14 Pages Jared Kettinger http://arxiv.org/abs/2602.13794v2 2026-02-19T12:28:12Z

We show that any (n+1)-term silting complex whose intermediate cohomology vanishes gives rise to an n-silting module, as recently introduced by Mao. Specializing to commutative noetherian rings, we show that this assignment induces a bijection on the respective equivalence classes. Furthermore, we prove in the same setting that the n-silting modules always correspond to a tilting complex, that is, the associated t-structure is of derived type. We use this to exhibit new examples of tilting complexes in the setting of Commutative Algebra and also to show that the finite type property for n-silting modules, as formulated by Mao, can in general fail.

2026-02-14T14:14:12Z 20 pages, correction in references Michal Hrbek Jiangsheng Hu Rongmin Zhu http://arxiv.org/abs/2602.17253v1 2026-02-19T10:57:00Z

Symmetric edge polytopes are a recent and well-studied family of centrally symmetric polytopes arising from graphs. In this paper, we introduce a generalization of this family to arbitrary simplicial complexes. We show how topological properties of a simplicial complex can be translated into geometric properties of such polytopes, and vice versa. We study the integer decomposition property, facets and reflexivity of these polytopes. Using Gröbner basis techniques, we obtain a (not necessarily unimodular) triangulation of these polytopes. Due to the tools we use, most of our results hold in the more general setting of arbitrary centrally symmetric polytopes.

2026-02-19T10:57:00Z 40 pages Torben Donzelmann Thiago Holleben Martina Juhnke http://arxiv.org/abs/2602.16993v1 2026-02-19T01:37:44Z

For a neural code $\mathcal{C}\subseteq\mathbb{F}_2^n$, polarizing the canonical form generators of the neural ideal $J_{\mathcal{C}}$ yields a squarefree monomial ideal $\mathcal{P}(J_{\mathcal{C}})\subset k[x_1,\dots,x_n,y_1,\dots,y_n]$, the polarized neural ideal, and an associated simplicial complex $Δ_{\mathcal{C}}$, the polar complex. We study the graded invariants $\operatorname{pd}(\mathcal{P}(J_{\mathcal{C}}))$ and $\operatorname{reg}(\mathcal{P}(J_{\mathcal{C}}))$ via the topology of $Δ_{\mathcal{C}}$, showing that simple geometric features of the Hamming cube $\mathbb{F}_2^n$ (with Hamming distance) organize their extremal behavior. We prove $\operatorname{reg}(\mathcal{P}(J_{\mathcal{C}}))\le 2n-1$, with equality precisely when $\mathcal{C}$ is obtained from $\mathbb{F}_2^n$ by deleting an antipodal pair. Using connectedness properties of induced subcomplexes of $Δ_{\mathcal{C}}$, we obtain $\operatorname{pd}(\mathcal{P}(J_{\mathcal{C}}))\le 2n-3$, and we give an explicit family of codes attaining equality, each consisting of antipodal pairs. At the opposite end, we identify the cube geometry behind the smallest values: $\operatorname{reg}(\mathcal{P}(J_{\mathcal{C}}))=1$ forces $\mathcal{C}$ to be a coordinate subcube of $\mathbb{F}_2^n$, while $\operatorname{pd}(\mathcal{P}(J_{\mathcal{C}}))=0$ forces $\mathcal{C}$ to be the complement of one. Finally, we construct families realizing large regions of the $(\operatorname{pd},\operatorname{reg})$-plot for fixed $n$.

2026-02-19T01:37:44Z 29 pages, 4 figures Selvi Kara Ellie Lew http://arxiv.org/abs/2306.09727v2 2026-02-19T00:59:29Z

We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some tensor category verifying specific conditions. This is in line with the current program which aims to describe tensor categories by their tensor functors to incompressible categories. We place particular emphasis on the notion of observable subgroups of affine group schemes in tensor categories, which in particular leads to some further insight into observability for classical affine group schemes.

2023-06-16T09:53:28Z Kevin Coulembier http://arxiv.org/abs/2602.16904v1 2026-02-18T21:39:24Z

A translational surface is a tensor product surface constructed from two space curves by translating one along the other. These surfaces are common within geometric modeling and, since their description is parametric, it is desirable to obtain the implicit equation of such a surface. These surfaces have been studied thoroughly by Goldman and Wang, where a particular set of syzygies was identified and shown to yield the implicit equation through an inhomogeneous resultant. As this method may fail in the presence of ill-behaved basepoints of the parameterization, we offer an alternative method in this article using iterated homogeneous resultants. The algorithm presented here involves smaller Sylvester matrices overall, potentially resulting in faster computation, and succeeds in many instances where the previous method cannot be applied.

2026-02-18T21:39:24Z 14 pages. Comments welcome Matthew Weaver