https://arxiv.org/api/HxNwPqUs76JuX5OUq93HfuGlESI 2026-03-16T09:26:32Z 14538 30 15 http://arxiv.org/abs/2506.05650v2 2026-03-09T18:05:34Z

For a faithful linear representation $V$ of a finite group $G$ in coprime characteristic, we show that if the field Noether number $β_{\mathrm{field}}$ is the minimum $d$ such that the invariant polynomials of degree $\leq d$ generate the field $k(V)^G$ of rational invariants as a field, and the spanning degree $D_\mathrm{span}$ is the minimum $d$ such that the polynomials of degree $\leq d$ span the rational function field $k(V)$ as a vector space over $k(V)^G$, then $β_{\mathrm{field}} \leq 2D_\mathrm{span} + 1$, and this is sharp. This generalizes a recent result of Edidin and Katz. We also study $D_\mathrm{span}$. We show that it is related to various quantities previously studied in invariant and representation theory. Dropping the coprime characteristic hypothesis, we prove several basic inequalities, including that it is monotonically nondecreasing in $G$, nonincreasing in $V$, and satisfies $D_\mathrm{span} \leq |G|-1$. The latter refines a recent result of Kollar and Pham.

2025-06-06T00:41:56Z 22 pages Ben Blum-Smith Harm Derksen http://arxiv.org/abs/2603.08698v1 2026-03-09T17:56:17Z

Let $(\mathcal{O}_n, \mathfrak{m})$ denote the ring of germs of holomorphic functions $\mathbb{C}^n\to \mathbb{C}$, and let $I\subseteq \mathcal{O}_n$ be an $\mathfrak{m}$-primary ideal. Demailly and Pham showed that $\mathrm{lct}(I) \geq \frac{1}{e_1(I)} + \dots + \frac{e_{n-1}(I)}{e_n(I)}$, where $e_j(I)$ is the mixed multiplicity $e(I,\dots, I, \mathfrak{m},\dots, \mathfrak{m})$, with $I$ repeated $j$ times and $\mathfrak{m}$ repeated $n-j$ times. We generalize the lower bound to the case of an arbitrary ideal of an excellent regular local (or standard-graded) ring of equal characteristic, with $\mathrm{lct}(I)$ replaced by the $F$-threshold $c^{\mathfrak{m}}(I)$ in positive characteristic. Our main result is a classification of homogeneous ideals in polynomial rings for which the lower bound is attained, resolving a conjecture of Bivià-Ausina in the graded case.

2026-03-09T17:56:17Z 42 pages, 5 figures. Comments are welcome! Benjamin Baily http://arxiv.org/abs/2603.08669v1 2026-03-09T17:42:38Z

We characterise Dedekind rings among not necessarily Noetherian domains by a property of their module homomorphisms. Our proof relies on a homological algebra argument.

2026-03-09T17:42:38Z 9 pages. Comments welcome! Robert Szafarczyk http://arxiv.org/abs/2505.02605v2 2026-03-09T17:16:18Z

Let $G$ be a finite graph and $I(G)$ its edge ideal. We give a full description of the Stanley--Reisner complex of the polarization of $I(G)^2$, naturally introducing the tools of Stanley--Reisner theory in the study of the algebraic behaviour of powers of edge ideals. As an application, we demonstrate how Reisner's criterion can be applied directly to check if $I(G)^2$ is Cohen--Macaulay. We can show that if $G$ belongs to the class of finite graphs which consists of cycles, whisker graphs, trees, connected chordal graphs and connected Cohen--Macaulay bipartite graphs, then the square $I(G)^2$ is Cohen--Macaulay if and only if either $G$ is the pentagon, the cycle of length $5$, or $G$ consists of exactly one edge.

2025-05-05T12:18:05Z Final version, to appear in Women in Commutative Algebra-Proceedings of the WICA II and WICA III Workshops Sara Faridi Takayuki Hibi http://arxiv.org/abs/2403.05439v2 2026-03-09T16:57:56Z

Every multigraded free resolution of a monomial ideal I contains the Scarf multidegrees of I. We say I has a Scarf resolution if the Scarf multidegrees are sufficient to describe a minimal free resolution of I. The main question of this paper is which graphs G have edge ideal I(G) with a Scarf resolution? We show that I(G) has a Scarf resolution if and only if G is a gap-free forest. We also classify connected graphs for which all powers of I(G) have Scarf resolutions. Along the way, we give a concrete description of the Scarf complex of any forest. For a general graph, we give a recursive construction for its Scarf complex based on Scarf complexes of induced subgraphs.

2024-03-08T16:48:04Z Final version, to appear in Journal of Combinatorial Theory, Series A Sara Faridi Tài Huy Hà Takayuki Hibi Susan Morey http://arxiv.org/abs/2506.00646v2 2026-03-09T16:29:32Z

We construct examples of noetherian three-dimensional local geometrically normal domains of prime characteristic which are $F$-injective but not $F$-full. Along the way, we find examples of two-dimensional local geometrically normal domains which are $F$-injective but not $F$-anti-nilpotent. A crucial theme of our constructions is the behavior of $F$-injectivity along a purely inseparable finite base change.

2025-05-31T17:32:45Z v1: 11 pages, comments welcome. v2: minor changes Alessandro De Stefani Thomas Polstra Austyn Simpson http://arxiv.org/abs/2603.08502v1 2026-03-09T15:35:23Z

Motivated by pseudo-Gorenstein rings in commutative algebra, introduced by Herzog et al., we define pseudo-Gorenstein$^{*}$ graphs and classify them in several natural graph families using independence polynomials.

2026-03-09T15:35:23Z 15 pages Takayuki Hibi Selvi Kara Dalena Vien http://arxiv.org/abs/2603.08103v1 2026-03-09T08:47:33Z

In this work, we generalize several topological results and concepts from ring theory to the setting of monoids.

2026-03-09T08:47:33Z 20 pages Doniyor Yazdonov Carmelo Antonio Finocchiaro http://arxiv.org/abs/2603.07945v1 2026-03-09T04:22:52Z

Let $R$ be a commutative Noetherian ring. Denote by $\textrm{mod}R$ the category of finitely generated $R$-modules. In this paper, a contravariantly infinite subcategory of $\textrm{mod}R$ is defined as a full subcategory $\mathscr{X}$ of $\textrm{mod}R$ such that no module outside $\mathscr{X}$ admits a right $\mathscr{X}$-approximation. This paper provides several criteria for contravariant infiniteness in the case where $R$ is a local complete intersection.

2026-03-09T04:22:52Z Gen Tanigawa http://arxiv.org/abs/2603.07878v1 2026-03-09T01:31:30Z

Y. Miyashita gave characterizations of a separable polynomial and a Hirata separable polynomial in skew polynomial rings. In the previous paper, the author and S. Ikehata gave direct and elementary proofs of Miyashita's theorems in skew polynomial rings of automorphism type $B[X;ρ]$ and derivation type $B[X;D]$, respectively. The purpose of this paper is to give proofs for them in the general skew polynomial ring $B[X;ρ,D]$.

2026-03-09T01:31:30Z Author's accepted manuscript of the article published in Gulf Journal of Mathematics, 5(4) (2017), 9-17 Gulf Journal of Mathematics 5(4) (2017), 9-17 Satoshi Yamanaka 10.56947/gjom.v5i4.116 http://arxiv.org/abs/2601.01761v2 2026-03-08T16:30:42Z

Let ${\mathbb F}_0$ be an algebraically closed field, with $char({\mathbb F}_0)=0$. In this article, for prime numbers $p\geq 2$, we construct smooth affine algebras $B$ over ${\mathbb F}_0$, with $\dim B=p+2$. Further, we construct projective $B$-modules $Q$ with $rank(Q)=p$, such that $x=[Q] -[B^p]\neq 0$ in $K_0(B)$ and the total Chern class $C(Q)=1+\sum_{i=1}^{p}C^k(Q) =1$ is trivial. We use the splitting theorem in \cite{ABH} that for projective $B$-modules $P$ with $rank(P)=r=\dim B-1$, vanishing $C^r(P)=0 \Longrightarrow P\cong Q\oplus B$.

2026-01-05T03:32:59Z Proof is incomplete Satya Mandal http://arxiv.org/abs/2510.24455v2 2026-03-08T15:12:36Z

This paper investigates atomic factorizations in the monoid $\mathcal I(R)$ of nonzero ideals of a multivariate polynomial ring $R$, under ideal multiplication. Building on recent advances in factorization theory for unit-cancellative monoids, we extend techniques from the paper [Geroldinger and Khadam, Ark. Mat. 60 (2022), 67-106] to construct new families of atoms in $\mathcal I(R)$, leading to a deeper understanding of its arithmetic. We further analyze the submonoid $\mathcal M\rm{on}(R)$ of monomial ideals, deriving arithmetic properties and computing sets of lengths for specific classes of ideals. The results advance the extensive study of ideal monoids within a classical algebraic framework.

2025-10-28T14:23:35Z Nikola Bogdanovic Laura Cossu Azeem Khadam http://arxiv.org/abs/2603.04060v3 2026-03-08T13:14:43Z

The small finitistic dimension fPD$(R)$ of a ring $R$ is defined to be the supremum of projective dimensions of $R$-modules with finite projective resolutions. In this paper, we show that a commutative ring $R$ has fPD$(R)\leq d$ if and only if for any finitely generated ideal $I$ of $R$, if $Ext_R^i(R/I,R)=0$ for each $i=0,\dots,d$, then $Ext_R^i(R/I,R)=0$ for all $i\geq 0.$ As applications, we obtain that, for any commutative ring $R$, fPD$(R)\leq \mbox{FP-}Id_RR$, the self-FP-injective dimension of $R$. We also give some applications of these results to (weak) $(n,d)$-rings, DW-rings and rings of Prufer type.

2026-03-04T13:39:07Z Xiaolei Zhang http://arxiv.org/abs/2603.07488v1 2026-03-08T06:18:07Z

We describe a generating set for the initial ideal of simplicial toric ideals with respect to the graded reverse lexicographic order, using representations of elements of affine monoids as sums of irreducible elements. Although the resulting generating set is not necessarily minimal, we demonstrate, through an example, how one can obtain the reduced Gröbner basis from it. Moreover, we compare the maximal degree of the Gröbner basis and the Castelnuvo-Mumford regularity.

2026-03-08T06:18:07Z 20 pages Ryotaro Hanyu http://arxiv.org/abs/2603.07177v1 2026-03-07T12:35:59Z

We propose a unified method to construct multicyclic codes of arbitrary dimension $r$ over $\mathbb{F}_q$. The approach relies on $r$-dimensional primitive idempotents defined as tensor products of univariate ones, combined with multidimensional cyclotomic orbits. This establishes a direct equivalence between combinatorial and algebraic descriptions, yields a natural polynomial basis, and provides an optimal product bound generalizing BCH and Reed-Solomon bounds. An efficient constructive algorithm is presented and illustrated by optimal 3-dimensional codes.

2026-03-07T12:35:59Z 3 pages, double column Jean Charles Ramanandraibe Ramamonjy Andriamifidisoa