http://arxiv.org/api/HxNwPqUs76JuX5OUq93HfuGlESI 2025-04-22T00:00:00-04:00 13629 30 15 http://arxiv.org/abs/2504.10841v1 2025-04-15T03:59:00Z 2025-04-15T03:59:00Z

Let $p$ be an odd prime and $\mathbb{F}_p$ be the prime field of order $p$. Consider a $2$-dimensional orthogonal group $G$ over $\mathbb{F}_p$ acting on the standard representation $V$ and the dual space $V^*$. We compute the invariant ring $\mathbb{F}_p[V\oplus V^*]^G$ via explicitly exhibiting a minimal generating set. Our method finds an application of $s$-invariants appeared in covariant theory of finite groups.

Shan Ren Runxuan Zhang 12 pages http://arxiv.org/abs/2504.10725v1 2025-04-14T21:31:59Z 2025-04-14T21:31:59Z

We study rings over which an analogue of the Weierstrass preparation theorem holds for power series. We show that a commutative ring $R$ admits a factorization of every power series in $R[[x]]$ as the product of a polynomial and a unit if and only if $R$ is isomorphic to a finite product of complete local principal ideal rings. We also characterize Noetherian rings $R$ for which this factorization holds under the weaker condition that the coefficients of the series generate the unit ideal: this occurs precisely when $R$ is isomorphic to a finite product of complete local Noetherian integral domains. Beyond this, we investigate the failure of Weierstrass-type preparation in finitely generated rings and prove a general transcendence result for zeros of $p$-adic power series, producing a large class of power series over number rings that cannot be written as a polynomial times a unit. Finally, we show that for a finitely generated infinite commutative ring $R$, the decision problem of determining whether an integer power series (with computable coefficients) factors as a polynomial times a unit in $R[[x]]$ is undecidable.

Jason Bell Peter Malcolmson Frank Okoh Yatin Patel 20 pages http://arxiv.org/abs/2504.10381v1 2025-04-14T16:25:50Z 2025-04-14T16:25:50Z

{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological constructions. Its key novel feature is to implement each given abstract simplicial complex as a certain graded list in the form of a hash table with integer keys. Among other features, this allows for a direct implementation of the associated reduced and non-reduced simplicial chain complexes. Further, it facilitates construction of random simplicial complexes. The approach that we employ here builds on the {\tt Macaulay2} package {\tt Complexes.m2} \cite{Stillman:Smith:Complexes.m2}. It complements and is entirely different from the existing {\tt Macaulay2} simplicial complexes framework that is made possible by the package {\tt SimplicialComplexes.m2} \cite{Smith:et:al:SimplicialComplexes.m2:jsag}.

Nathan Grieve Accepted by Journal of software for algebra and geometry http://arxiv.org/abs/2504.07535v2 2025-04-14T13:11:22Z 2025-04-10T08:01:59Z

We express the v-number of the Stanley-Reisner ideal in terms of its Alexander dual complex and prove that the v-number of a cover ideal is just two less than the initial degree of the its syzygy module. We give some relation between the v-number of the Stanley-Reisner ideal and the Serre-depth of the quotient ring of the second symbolic power of the Stanley-Reisner ideal of its Alexander dual. We also show that the v-number of the Stanley-Reisner ideal of a 2-pure simplicial complex is equal to the dimension of its Stanley-Reisner ring.

Tatsuya Kataoka Yuji Muta Naoki Terai 20 pages http://arxiv.org/abs/2504.10019v1 2025-04-14T09:25:29Z 2025-04-14T09:25:29Z

This paper extends the article of the Bruns and Conca on SAGBI bases and their computation (J. Symb. Comput. 120 (2024)) in two directions. (i) We describe the extension of the Singular library sagbiNormaliz.sing to the computation of defining ideals of subalgebras of polynomial rings. (ii) We give a complete classification of the algebras of minors for which the generating set is a SAGBI basis with respect to a suitable monomial order and we identify universal SAGBI basis in three cases. The investigation is illustrated by several examples.

Winfried Bruns Aldo Conca Francesca Lembo http://arxiv.org/abs/2503.13846v4 2025-04-14T05:55:56Z 2025-03-18T02:38:38Z

We study two important numerical invariants, Hilbert--Kunz multiplicity and $F$-signature, on the spectrum of a Noetherian $\mathbf{F}_p$-algebra $R$ that is not necessarily $F$-finite. When $R$ is excellent, we show that the limits defining the invariants are uniform. As a consequence, we show that the $F$-signature is lower semi-continuous, and the Hilbert--Kunz multiplicity is upper semi-continuous provided $R$ is locally equidimensional. Uniform convergence is achieved via a uniform version of Cohen--Gabber theorem. We prove the results under weaker conditions than excellence.

Shiji Lyu 37 pages. Comments welcome! v4 - Remark 6.2.11 is changed and moved to Remark A.2.5 http://arxiv.org/abs/2504.09505v1 2025-04-13T10:10:05Z 2025-04-13T10:10:05Z

Auslander developed a theory of the $\delta$-invariant for finitely generated modules over commutative Gorenstein local rings, and Martsinkovsky extended this theory to the $\xi$-invariant for finitely generated modules over general commutative noetherian local rings. In this paper, we approach Martsinkovsky$'$s $\xi$-invariant by considering a non-decreasing sequence of integers that converges to it. We investigate Auslander$'$s approximation theory and provide methods for computing this non-decreasing sequence using the approximation.

Yuya Otake 20 pages http://arxiv.org/abs/1508.05589v2 2025-04-13T07:52:19Z 2015-08-23T10:10:32Z

We give an elementary and constructive proof for a theorem of de Smit et Lenstra. Note: In version 1, was missing the proof that "completely secant" implies "1-secant"

Henri Lombardi Claude Quitté in French http://arxiv.org/abs/2411.10725v3 2025-04-13T00:41:43Z 2024-11-16T07:20:17Z

In this paper, we prove prime avoidance for ringoids. We also generalize McCoy's and Davis' prime avoidance theorems in the context of semiring theory. Next, we proceed to define and characterize compactly packed semirings and show that a commutative semiring is compactly packed if and only if each prime ideal is the radical of a principal ideal. Finally, we calculate the set of zero-divisors of some monoid semimodules over compactly packed semirings in terms of their prime ideals.

Peyman Nasehpour In memory of Prof. Dr. J\"{u}rgen Herzog (1941--2024) / Major revision http://arxiv.org/abs/2412.02118v2 2025-04-13T00:22:49Z 2024-12-03T03:15:19Z

In this paper, we introduce Indigenous semirings and show that they are examples of information algebras. We also attribute a graph to them and discuss their diameters, girths, and clique numbers. On the other hand, we prove that the Zariski topology of any Indigenous semiring is the Sierpi\'{n}ski space. Next, we investigate their algebraic properties (including ideal theory). In the last section, we characterize units and idempotent elements of formal power series over Indigenous semirings.

Hussein Behzadipour Henk Koppelaar Peyman Nasehpour 10.1142/S2811007225500051 Minor revision. Some examples and explanations added to the paper http://arxiv.org/abs/2504.09174v1 2025-04-12T10:35:49Z 2025-04-12T10:35:49Z

Topological Data Analysis (TDA) combines computational topology and data science to extract and analyze intrinsic topological and geometric structures in data set in a metric space. While the persistent homology (PH), a widely used tool in TDA, which tracks the lifespan information of topological features through a filtration process, has shown its effectiveness in applications,it is inherently limited in homotopy invariants and overlooks finer geometric and combinatorial details. To bridge this gap, we introduce two novel commutative algebra-based frameworks which extend beyond homology by incorporating tools from computational commutative algebra : (1) \emph{the persistent ideals} derived from the decomposition of algebraic objects associated to simplicial complexes, like those in theory of edge ideals and Stanley--Reisner ideals, which will provide new commutative algebra-based barcodes and offer a richer characterization of topological and geometric structures in filtrations.(2)\emph{persistent chain complex of free modules} associated with traditional persistent simplicial complex by labelling each chain in the chain complex of the persistent simplicial complex with elements in a commutative ring, which will enable us to detect local information of the topology via some pure algebraic operations. \emph{Crucially, both of the two newly-established framework can recover topological information got from conventional PH and will give us more information.} Therefore, they provide new insights in computational topology, computational algebra and data science.

Chuanshen Hu Yu Wang Kelin Xia Ke Ye Yipeng Zhang http://arxiv.org/abs/2502.12712v2 2025-04-12T09:15:45Z 2025-02-18T10:25:48Z

We study algebraic and arithmetic properties of submonoids (resp. subrings) of factorial monoids (resp. factorial domains) whose non-invertible elements all lie in the conductor. This continues earlier work of Baeth, Cisto, et al.. On our way we answer several conjectures, formulated in their papers in the affirmative ([1,Conjecture 4.16] and [6, Conjectures 2.3 and 2.10, and Section 9]).

Alfred Geroldinger Weihao Yan Qinghai Zhong http://arxiv.org/abs/2406.09593v2 2025-04-11T19:46:31Z 2024-06-13T21:26:02Z

We resolve Stillman's conjecture for families of polynomial rings that are graded by any semigroup under mild conditions. Conversely, we show that these conditions are necessary for the existence of a Stillman bound. This has applications even for the well-known standard graded case.

John Cobb Nathaniel Gallup John Spoerl 10.1016/j.jalgebra.2025.02.016 7 pages Journal of Algebra, 673 (2025) no. 1 http://arxiv.org/abs/2301.05771v5 2025-04-11T19:40:07Z 2023-01-13T22:00:13Z

Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$. In this paper, we extend Hartshorne's characterization of cofinite complexes to more general classes of rings. We also determine conditions under which Hartshorne's fourth question [H1] admits an affirmative answer. Finally, we investigate the cofiniteness of complexes of $\frak a$-cofinite modules for rings of lower dimensions.

Reza Sazeedeh http://arxiv.org/abs/2504.02065v2 2025-04-11T16:38:44Z 2025-04-02T18:56:14Z

We study a family of positive weighted well-covered graphs, which we call levelable graphs, that are related to a construction of level artinian rings in commutative algebra. A graph $G$ is levelable if there exists a weight function with positive integer values on the vertices of $G$ such that $G$ is well-covered with respect to this weight function. That is, the sum of the weights in any maximal independent set of vertices of $G$ is the same. We describe some of the basic properties of levelable graphs and classify the levelable graphs for some families of graphs, e.g., trees, cubic circulants, Cameron--Walker graphs. We also explain the connection between levelable graphs and a class of level artinian rings. Applying a result of Brown and Nowakowski about weighted well-covered graphs, we show that for most graphs, their edge ideals are not Cohen--Macaulay.

Kieran Bhaskara Michael Y. C. Chong Takayuki Hibi Naveena Ragunathan Adam Van Tuyl 22 pages; minor typos corrected