https://arxiv.org/api/p2p2OzLRrYRdAN0cEgqeMNeMMZo 2026-03-18T13:36:00Z 14552 90 15 http://arxiv.org/abs/2603.00752v3 2026-03-04T03:11:58Z

In this paper we give a construction for a linear quotient ordering of a class of products of two ideals which have linear quotients. We apply this construction to give a class of modified anticycle graphs whose square and cube have linear quotients.

2026-02-28T17:54:59Z 19 pages, comments are welcome Stephen Landsittel http://arxiv.org/abs/1707.04056v3 2026-03-03T11:40:29Z

We say that a local ring $R$ is good, in the sense of Roos, if all finitely generated $R$-modules have rational Poincaré series that share a common denominator; otherwise, $R$ is said to be bad. An important class of good rings is the class of generalized Golod rings. In this paper, we show that connected sums of Artinian Gorenstein generalized Golod rings are good. We provide a criterion for decomposing Artinian Gorenstein local rings as connected sums. As a key application, we prove that a Gorenstein local ring $R$ with maximal ideal $\mathfrak{m}$ is good under either of the following conditions: (1) the multiplicity of $R$ is at most $12$ and its $h$-vector is different from $(1, 5, 5, 1)$, (2) $\mathfrak{m}^4$ = 0 and $\mathfrak{m}^2$ is generated by at most four elements. The above result records partial progress towards resolving a question posed by L.~Avramov. We also present examples of bad Artinian Gorenstein local rings of any multiplicity greater than or equal to $18$. In all these cases, the results establishing that the rings are good are obtained by showing that the rings are generalized Golod rings.

2017-07-13T10:38:04Z This article replaces an earlier one that was divided into two parts on expert's advice. The first part was published in Pacific Journal of Mathematics 305 (2020), no. 1, 165 - 187. The second part is presented here in revised form with stronger results and a new author Anjan Gupta Shrikant Shekhar http://arxiv.org/abs/2602.17240v2 2026-03-03T08:04:20Z

We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian local rings and over standard graded algebras over a field, extending the polynomial ring case due to Muta and Terai. Under mild hypotheses, we show that the $r$-th Serre depth of a finitely generated module $M$ measures the deviation of $M$ from satisfying Serre's condition $(S_r)$. The main results of the paper can be summarized as follows: (i) We establish the basic properties of Serre depth and prove that it is invariant under completion. (ii) If the base ring $R$ is a homomorphic image of a Gorenstein ring, we show that a finitely generated $R$-module $M$ is equidimensional and satisfies $(S_r)$ if and only if its $r$-th Serre depth equals its Krull dimension. Analogous statements are obtained for schemes. (iii) For a homogeneous ideal in a standard graded polynomial ring over a field, we compare its Serre depths with those of its initial ideal. (iv) We characterize the Serre depths of a monomial ideal in terms of its skeletons and prove that the Serre depths of sufficiently large powers of a monomial ideal stabilize; the proof uses Presburger arithmetic.

2026-02-19T10:37:30Z A few minor typos were fixed Antonino Ficarra http://arxiv.org/abs/2603.02358v1 2026-03-02T19:59:10Z

We explicitly determine the associated primes of every power of a complementary edge ideal, prove that they satisfy the persistence property, and compute the $\text{v}$-function. In the course of the proofs, we completely describe the homological properties of all powers of squarefree monomial ideals generated in degrees large relative to the number of variables defining them.

2026-03-02T19:59:10Z Antonino Ficarra http://arxiv.org/abs/2511.07718v2 2026-03-02T19:17:15Z

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 $a$-invariant of $S^{G}$, the property of $S^{G}$ being quasi-Gorenstein, and the Hilbert functions of $H_{\mathfrak{m}}^{n}(S)^{G}$ as well as $H_{\mathfrak{n}}^{n}(S^{G})$; moreover, these Hilbert functions coincide. In particular, being independent of characteristic, they may be computed using characteristic zero techniques, such as Molien's formula. In characteristic two, we show that the ring of invariants is always quasi-Gorenstein, compute the $a$-invariant explicitly, and show that the Hilbert functions of $H_{\mathfrak{m}}^{n}(S)^{G}$ and $H_{\mathfrak{n}}^{n}(S^{G})$ agree up to a shift, given by the number of transpositions. We determine when the inclusion $S^{G} \hookrightarrow S$ splits, thereby proving the Shank--Wehlau conjecture for permutation subgroups. Lastly, we determine the ring of $k$-linear differential operators on $S^{G}$, and show that each differential operator lifts to one over $\mathbb{Z}$.

2025-11-11T00:51:05Z Updated to include results about the rings of differential operators. To appear in Proc. Amer. Math. Soc Aryaman Maithani http://arxiv.org/abs/2508.04831v2 2026-03-02T15:58:29Z

We give a criterion of factoriality of a suspension. This allows to construct many examples of flexible affine factorial varieties. In particular, we find a homogeneous affine factorial 3-fold that is not a homogeneous space of an algebraic group.

2025-08-06T19:20:26Z 12 pages Ivan Arzhantsev Kirill Shakhmatov http://arxiv.org/abs/2603.01424v1 2026-03-02T04:04:11Z

Let $R$ be a noetherian algebra over a Cohen--Macaulay ring admitting a canonical module, and assume that $R$ is maximal Cohen--Macaulay over the base ring. We provide a characterization of when $R$ is left weakly Gorenstein. We further show that the category of finitely generated Gorenstein projective $R$-modules coincides with the left $\Ext$-orthogonal class of the thick subcategory generated by finitely generated $R$-modules of finite projective or finite injective dimension. As a consequence, finitely generated Gorenstein projective $R$-modules generate a hereditary cotorsion pair. Moreover, we show that a Cohen--Macaulay local ring is Gorenstein if and only if the right $\Ext$-orthogonal class of finitely generated Gorenstein projective modules coincides with the category of finitely generated modules of finite projective dimension.

2026-03-02T04:04:11Z Souvik Dey Jian Liu Xue-Song Lu http://arxiv.org/abs/2603.02279v1 2026-03-02T01:56:45Z

Consider polynomials $F_1,\dots,F_s$ in $\K[X_1,\dots,X_n]$ over a field $\K$, their zero-set $V(F_1,\dots,F_n)$ in $\Kbar^n$ and its decomposition into equidimensional components $V_0,\dots,V_n$ (with $V_i$ either empty or of dimension $i$ for all $i$). To each $V_i$, we can associate its Chow forms, which are polynomials in new variables $(U_{k,j})_{0\le k\le i, 0 \le j \le n}$, uniquely defined up to a scalar factor. These Chow forms completely characterize $V_i$: we can recover equations for $V_i$ from them, and their degree is $(i+1)$ times the degree of $V_i$. We discuss the situation when the $F_i$'s have integer coefficients, and study the question of when the Chow forms of the $V_i$'s defined as above can be reduced modulo $p$ to give Chow forms of the equidimensional components of $V(F_1 \bmod p,\dots,F_s \bmod p)$. We show that this is the case as soon as $p$ does not divide a certain nonzero integer $Δ$ of height $O(n^{14} s h d^{3n+4})$, with $d$ and $h$ bounds on respectively the degrees and heights of the $F_i$'s.

2026-03-02T01:56:45Z Submitted to Journal of Symbolic Computation Jesse Elliott Éric Schost http://arxiv.org/abs/2510.13687v2 2026-03-01T22:36:07Z

Assume $k$ is a field and $R$ is a smooth $k$-algebra of dimension $d$. If $P$ is a projective module of rank $r$, then it is well-known that $P$ can be generated by $r+d$-elements (Forster--Swan). Under suitable assumptions on $r$ and $d$, we investigate obstructions to generation of $P$ by fewer than $r+d$ elements using motivic homotopy theory. For example, we observe that a quadratic enhancement of the classical Segre class obstructs generation by $r+d-1$ elements, whether or not $k$ is algebraically closed, generalizing old results of M.P. Murthy. Along the way, we also establish efficient generation results for symplectic modules.

2025-10-15T15:44:20Z New version includes a result on modules over the real numbers, and added references. 20 pages, comments welcome! Aravind Asok Morgan Opie Brian Shin Tariq Syed http://arxiv.org/abs/2306.17679v4 2026-03-01T14:35:28Z

We study etale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr's Theorem, we show the equivalence between two definitions of Azumaya algebra.

2023-06-30T14:09:28Z Change title and corrected typos Thierry Coquand Henri Lombardi Stefan Neuwirth http://arxiv.org/abs/2603.00970v1 2026-03-01T07:46:43Z

The notions of faithfully projective, faithfully flat, and faithfully injective modules--defined as modules for which the three classical homological functors are both faithful and exact--play fundamental roles across various areas of algebra. In this paper, we extend these notions to the setting of $w$-operation theory. By introducing the concept of $w$-faithfully exact functors, we define and investigate the notions of $w$-faithfully projective, $w$-faithfully flat, and $w$-faithfully injective modules. We establish their fundamental properties and demonstrate their effectiveness in generalizing classical results.

2026-03-01T07:46:43Z Xiaolei Zhang Lei Qiao Hwankoo Kim http://arxiv.org/abs/2603.00886v1 2026-03-01T03:21:25Z

We construct an explicit flat one-parameter family of 22-dimensional Artinian $k$-algebras whose special fibre is the spider algebra $k[x,y,z]/(x^8, y^8, z^8, xy, xz, yz)$ and whose generic fibre is the curvilinear algebra $k[t]/(t^{22})$. The construction uses Möbius generators $u_a = t/(1-at)$ inside the curvilinear ring together with a divided-difference change of coordinates, and produces the family via a weighted Rees degeneration with integer coefficients. This gives an explicit one-parameter family witnessing, for this spider ideal, the general phenomenon proved by Bérczi-Svendsen that every monomial subscheme of $\mathbb{C}^d$ lies in the curvilinear component of the Hilbert scheme of points.

2026-03-01T03:21:25Z 18 pages, Macaulay2 verification script included as ancillary file David Turturean MIT http://arxiv.org/abs/2310.09763v2 2026-02-28T21:08:50Z

The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural morphism from Pic(A) to Pic(A[X]) is an isomorphism. We give here all the details needed to understand the elementary constructive proof for this result given by Thierry Coquand in the paper: On seminormality. J. Algebra 305, no. 1-3, 577-584, (2006). In this new version we have fixed a little typo in Theorem 3.8: the hypothesis seminormal was missing.

2023-10-15T07:28:21Z Theoretical Computer Science, 392, no 1-3, p. 113-127, (2008) Henri Lombardi Claude Quitté 10.1016/j.tcs.2007.10.007 http://arxiv.org/abs/2603.00715v1 2026-02-28T15:40:15Z

This paper is concerned with Turán problems for (alternating) multilinear maps, with the aim of determining the maximum dimension $k$, called the isotropy index, for which every such map has an isotropic subspace of dimension $k$. We extend the formula for the isotropy index of alternating bilinear maps [Buhler, Gupta & Harris, J. Algebra, 1987] to alternating multilinear maps of arbitrary order over algebraically closed fields. In particular, this answers an open question posed in [Qiao, Discrete Anal., 2023]. Moreover, we prove that the same formula holds for sufficiently large finite fields. For multilinear maps, we establish a necessary and sufficient condition for the isotropy index to be at least two. Our results have three implications: (1) For algebraically closed fields, we determine the exact value of the Feldman--Propp number, whose lower bound has been known for over thirty years [Feldman & Propp, Adv. Math., 1992] but whose precise value had remained undetermined. (2) We establish the exact values of both the Turán number and the Gow--Quinlan number for alternating multilinear maps of arbitrary order over algebraically closed fields. Specifically, our result greatly extends the existing formula for the Gow--Quinlan number for alternating bilinear maps [Gow & Quinlan, Linear Multilinear Algebra, 2006]. (3) Bridging the lower bound for the Erdős box problem and tensor analytic rank, we show that there is an obstruction to improving the existing lower bound in [Conlon, Pohoata & Zakharov, Discrete Anal., 2021] via the multilinear method.

2026-02-28T15:40:15Z 16 pages. Comments are very welcome! Qiyuan Chen Zixiang Xu Ke Ye http://arxiv.org/abs/2603.00672v1 2026-02-28T14:26:14Z

Let C be a projective curve defined over a field k and let D be a divisor of C. The Riemann-Roch space L(D) is the set of rational functions on C for which certain zeros are imposed and certain poles are allowed, with some multiplicities determined by D. Riemann-Roch spaces play a fundamental role in algebraic geometry due to the central place of the Riemann-Roch theorem. They have also important applications, such as coding theory or arithmetic of Jacobians of curves. In this article, we present what we believe is the fastest algorithm to date that computes a basis of a Riemann-Roch space for a curve with arbitrary singularities. Our algorithm is deterministic, works over any perfect field k, and works with no assumptions on the support of D.

2026-02-28T14:26:14Z 32 pages Dounia Darkaoui Martin Weimann