https://arxiv.org/api//PvtnHMlCPb3EpPhDW68fkbc8MI 2026-03-20T08:44:59Z 14563 105 15 http://arxiv.org/abs/2509.15119v2 2026-03-04T14:19:56Z

Let $I$ be a monomial ideal in a polynomial ring $S=K[x_1,\ldots,x_n]$ over a field $K$ with $n=2$ or $3$, and let $\overline{I}$ be its integral closure. We will show that $\text{reg} (\overline{I}) \le \text{reg} (I)$. Furthermore, if $I$ is generated by elements of degree $d$, then $\text{reg} (I)=d$ if and only if $I$ has linear quotients.

2025-09-18T16:24:45Z Yijun Cui Cheng Gong Guangjun Zhu http://arxiv.org/abs/2603.03858v1 2026-03-04T09:08:38Z

We prove that modules over an Artinian Gorenstein local ring $R$ have rational Poincaré series sharing a common denominator if $R/\soc(R)$ is a Golod ring. If $R$ is a Gorenstein local ring with square of the maximal ideal being generated by at most two elements, we show that modules over $R$ have rational Poincaré series sharing a common denominator. By a result of \c Sega, it follows that $R$ satisfies the Auslander-Reiten conjecture. We provide a different proof of a result of Rossi and \c Sega concerning rationality of Poincaré series of modules over compressed Gorenstein local rings. We also give a new proof of the fact that modules over Gorenstein local rings of codepth at most three have rational Poincaré series sharing a common denominator, which is originally due to Avramov, Kustin and Miller.

2026-03-04T09:08:38Z The article was published in Pacific Journal of Mathematics 305 (2020), no. 1, 165 - 187. arXiv admin note: text overlap with arXiv:1707.04056 Pacific Journal of Mathematics 305 (2020), no. 1, 165 - 187 Anjan Gupta http://arxiv.org/abs/2603.03822v1 2026-03-04T08:20:25Z

We introduce a class of algebras over a field $\mathbb{F}$ related to directed graphs in which all edges are labeled by nonzero elements of the field $\mathbb{F}$. If all labels are different from $1$, these algebras are axial algebras. We determine their fusion laws, prove them to be simple in almost all cases, and determine their automorphism group under some conditions on the degrees and girth of the graph. A construction of a class of these graphs with prescribed automorphism group enables us to construct for each group $G$ infinitely many simple (axial) algebras (with a fixed fusion law) such that the automorphism group of the algebra is isomorphic to $G$.

2026-03-04T08:20:25Z Journal of Algebra (2026) Hans Cuypers 10.1016/j.jalgebra.2026.02.013 http://arxiv.org/abs/2404.01605v2 2026-03-04T06:29:53Z

Polynomials commute under composition are referred to as commuting polynomials. In this paper, we study division properties for commuting polynomials with rational (and integer) coefficients. As a consequence, we show an algebraic particularity of the commuting polynomials coming from weighted sums for cycle graphs with pendant edges (arXiv:2402.07209v1.). We also discuss a set of commuting polynomials over a field of positive characteristic.

2024-04-02T02:53:36Z 20 pages, Added a discussion in case where the base field is positive characteristic Kimiko Hasegawa Rin Sugiyama 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