https://arxiv.org/api/kfICnWpelb2yXRoafuMGORs9NCU 2026-03-22T10:09:29Z 14563 135 15 http://arxiv.org/abs/2511.22657v2 2026-02-25T16:18:51Z

We investigate the minimal free resolutions of closed neighborhood ideals of graphs within the framework of Barile-Macchia (BM) resolutions. We show that for any tree $T$, the closed neighborhood ideal $NI(T)$ is bridge-friendly, and hence its BM resolution is minimal. The combinatorial structure of trees further allows us to construct a maximal critical cell of size $α(T)$, leading to the equality $\operatorname{pd}(R/NI(T)) = α(T)$, where $α(T)$ denotes the independence number of $T$ and $\operatorname{pd}$ is the projective dimension. Using Betti splitting techniques, we also obtain explicit formulas for the graded Betti numbers of $NI(P_n)$, where $P_n$ is the path graph on $n$ vertices. Finally, we make some observations on the bridge-friendly condition of the closed neighborhood ideals of chordal and bipartite graphs.

2025-11-27T17:47:50Z 23 pages, 8 figures. Comments are welcome Ajay P. Joseph Amit Roy Anurag Singh http://arxiv.org/abs/2508.21383v2 2026-02-25T10:43:20Z

Let $H$ be a Krull monoid with finite class group $G$ and suppose that each class contains a prime divisor. Then every non-unit $a \in H$ has a factorization into atoms, say $a=u_1 \cdot\ldots \cdot u_k$ where $k$ is the factorization length and $u_1, \ldots, u_k$ are atoms of $H$. The set $\mathsf L (a)$ of all possible factorizaton lengths is the length set of $a$, and $ρ(H) = \sup \{ \max \mathsf L (a)/\min \mathsf L (a) \colon a \in H \}$ is the elasticity of $H$. We study the structure of length sets of elements with maximal elasticity and show that, in general, these length sets are intervals.

2025-08-29T07:55:37Z 15 pages Doniyor Yazdonov http://arxiv.org/abs/2602.21605v1 2026-02-25T06:11:27Z

To connect arithmetic and ring-theoretic properties of rings of mixed characteristic with those of positive characteristic, we introduce monoidal maps for perfectoid towers. Using these maps, we discuss the almost integrality of perfectoid towers and of their tilts. We also show that the towers constructed by F. Andreatta via ramification theory become perfectoid towers, and we apply the monoidal maps to deduce the normality of their small tilts.

2026-02-25T06:11:27Z Comments are wellcome Kazuki Hayashi Shinnosuke Ishiro Kazuma Shimomoto http://arxiv.org/abs/2112.05949v5 2026-02-24T15:37:36Z

The present paper continues our foundational work on real algebra with preordered commutative semifields and semirings. We prove two abstract Vergleichsstellensätze for preordered commutative semirings of polynomial growth. These generalize the results of Part I by no longer assuming $1 \ge 0$. Such a generalization comes with substantial technical complications: our Vergleichsstellensätze now also need to take into account infinitesimal information encoded in the form of monotone derivations in addition to the monotone homomorphisms to the nonnegative reals and tropical reals. The auxiliary technical results we develop along the way include surprising implications between inequalities in preordered semifields and a type classification for multiplicatively Archimedean fully preordered semifields. Among other applications, two companion papers use these results in order to derive limit new results in probability and information theory; one on asymptotics of random walks on topological abelian groups, and the other on the asymptotics of matrix majorization.

2021-12-11T11:01:14Z 55 pages. v5: incorporates feedback by referee and other readers. See also arXiv:2003.13835 and arXiv:2301.07353 for applications. arXiv admin note: text overlap with arXiv:2003.13835 Tobias Fritz http://arxiv.org/abs/2602.20922v1 2026-02-24T14:00:29Z

We consider the class of all homogeneous, possibly non-reduced, polynomials $f$ whose associated reduced projective divisor $D_{\text{red}} \subset \mathbb{P}^{n-1}$ has (at worst) quasi-homogeneous isolated singularities. In an arbitrary number of variables $n$ and with $d$ denoting the degree of $f$, we characterize when $-n/d$ is a root of the Bernstein--Sato polynomial of $f$ in terms of elementary data involving logarithmic derivations. When we restrict to three variables, we prove the resulting class of polynomials satisfies the Strong Monodromy Conjecture, in the motivic sense.

2026-02-24T14:00:29Z Daniel Bath Willem Veys http://arxiv.org/abs/2506.23533v3 2026-02-24T10:37:00Z

We study a pair consisting of a smooth variety of arbitrary dimension over a field of positive characteristic and a multi-ideal with a real exponent. We prove that the set of log discrepancies for a fixed exponent is discrete. Additionally, we show that the set of log canonical thresholds (lcts) of multi-ideals on a smooth variety in positive characteristic is contained within the set of lcts of multi-ideals on a smooth variety over the complex number field. As a result, we find that the accumulation points of log canonical thresholds are rational if all the exponents are rational. We also obtain ACC for the set of lcts of multi-ideals on a smooth varieties in positive characteristic. This version is rewritten for up to dimension three.

2025-06-30T05:46:34Z Title updated. This version covers dimensions up to three. The statements and proofs of Lemma 2.11 and Proposition 4.9 have been corrected. arXiv admin note: substantial text overlap with arXiv:2410.15291 Shihoko Ishii http://arxiv.org/abs/2508.08753v4 2026-02-24T09:32:57Z

Let $(R,M,k)$ be a complete local ring (not necessarily Noetherian). Then we reprove by a new method that the natural surjective ring map $R\rightarrow k$ admits a splitting if and only if $\Char(R)=\Char(k)$. In our proof there is no need for the existence of the coefficient field for equi-characteristic complete local rings, whose existence is the hardest part of the known proof. However, the main result of this article is that in the unequal characteristic case $\Char(R)\neq\Char(k)$, we prove that the natural surjective map between the groups of units $R^{\ast}\rightarrow k^{\ast}$ admits a splitting. As an application of the above theorem, we show that for any complete local ring $(R,M,k)$ the following short exact sequence of Abelian groups: $$\xymatrix{1\ar[r]&1+M\ar[r]& R^{\ast}\ar[r]&k^{\ast} \ar[r]&1}$$ is always split. Next, we show with an example that the above exact sequence does not split for many incomplete local rings.

2025-08-12T08:57:49Z 15 pages Abolfazl Tarizadeh http://arxiv.org/abs/2602.20617v1 2026-02-24T07:10:10Z

We establish an inequality relating the projective dimension of a DG-module in $\mathrm{D}^\mathrm{b}_\mathrm{f}(A)$ to its grade and introduce the concept of perfect DG-modules as a natural generalization of perfect modules. It is proved that a DG-module $M$ over a local Cohen-Macaulay DG-ring with constant amplitude is Cohen-Macaulay if and only if $M$ is perfect and $\mathrm{amp}M \leq \mathrm{amp}\mathrm{R}Γ_{\bar{\mathfrak{m}}}(M)$. An affirmative answer is provided to Conjecture 2.11 of Yoshida [J. Pure Appl. Algebra 123 (1998) 313--326]. We also study the grade of DG-modules with finite injective dimension and examine the preservation of Cohen-Macaulayness under tensor products.

2026-02-24T07:10:10Z comments welcome! Yuancheng Ning Xiaoyan Yang http://arxiv.org/abs/2602.20455v1 2026-02-24T01:32:28Z

Permutation decoding is a process that utilizes the permutation automorphism group of a linear code to correct errors in received words. Given a received word, a set of automorphisms, called a PD set, moves errors out of the information positions so that the original message can be determined. In this paper, we investigate permutation decoding for certain families of algebraic geometry codes. Automorphisms of the underlying curve are used to specify permutation automorphisms of the code. Specifically, we describe permutation decoding sets that correct specific burst errors for one-point codes on Hermitian and norm-trace curves.

2026-02-24T01:32:28Z Monica Lichtenwalner Hiram H. López Gretchen L. Matthews Padmapani Seneviratne http://arxiv.org/abs/2503.23117v3 2026-02-24T01:11:31Z

Let $R$ be a commutative noetherian local differential graded (DG) ring. In this paper we propose a definition of a maximal Cohen-Macaulay DG-complex over $R$ that naturally generalizes a maximal Cohen-Macaulay complex over a noetherian local ring, as studied by Iyengar, Ma, Schwede, and Walker. Our proposed definition extends the work of Shaul on Cohen-Macaulay DG-rings and DG-modules, as any maximal Cohen-Macaulay DG-module is a maximal Cohen-Macaulay DG-complex. After proving necessary lemmas in derived commutative algebra, we establish the existence of a maximal Cohen-Macaulay DG-complex for every DG-ring with constant amplitude that admits a dualizing DG-module. We then use the existence of these DG-complexes to establish a derived Improved New Intersection Theorem for all DG-rings with constant amplitude.

2025-03-29T15:17:07Z 24 pages; Final version - fixes typos and minor mistakes as suggested by referee J.Pure and Applied Algebra. 203.2 (2026) Zachary Nason 10.1016/j.jpaa.2026.108193 http://arxiv.org/abs/2602.00932v2 2026-02-24T00:49:40Z

The existence of the Gorenstein projective precovers over $R$ an arbitrary ring, as well as the completeness of the Gorenstein projective cotorsion pair $(\mathcal{GP},\mathcal{GP}^{\perp})$, are open questions. In this paper, we provide some answers to these questions and use the tool developed to confirm the Gorenstein Symmetry Conjecture, under two different situations. We also analyze situations where the finiteness of $\mathrm{silp}(R)$ implies $\mathrm{spli}(R)$ finite, and its counterpart.

2026-01-31T23:16:09Z Víctor Becerril http://arxiv.org/abs/1612.06039v3 2026-02-23T16:30:39Z

Let $\mathbb{F}_{q}$ be a finite field of characteristic $2$ and $O_2^+(\mathbb{F}_{q})$ be the $2$-dimensional orthogonal group of plus type over $\mathbb{F}_{q}$. Consider the standard representation $V$ of $O_2^+(\mathbb{F}_{q})$ and the ring of vector invariants $\mathbb{F}_{q}[mV]^{O_2^+(\mathbb{F}_{q})}$ for any $m\in \mathbb{N}^{+}$. We prove a first main theorem for $(O_2^+(\mathbb{F}_{q}),V)$, i.e., we find a minimal generating set for $\mathbb{F}_{q}[mV]^{O_2^+(\mathbb{F}_{q})}$. As a consequence, we derive the Noether number $β_{mV}(O_2^+(\mathbb{F}_{q}))=\max\{q-1,m\}$. We construct a free basis for $\mathbb{F}_{q}[2V]^{O_2^+(\mathbb{F}_{q})}$ over a suitably chosen homogeneous system of parameters. We also obtain a generating set of the Hilbert ideal for $\mathbb{F}_{q}[mV]^{O_2^+(\mathbb{F}_{q})}$ which shows that the Hilbert ideal can be generated by invariants of degree $\leqslant q-1=\frac{|O_2^+(\mathbb{F}_{q})|}{2}$, positively confirming a conjecure of Derksen and Kemper for this particular case.

2016-12-19T04:03:38Z This updated version provides a revised layout with improved LaTeX formatting for better readability. The content has been synchronized with the published journal version to ensure open access for all researchers. Additionally, author affiliations and contact information have been updated to reflect current details Monatsh. Math. 187 (2018) 479--497 Yin Chen 10.1007/s00605-017-1111-5 http://arxiv.org/abs/2407.21692v2 2026-02-23T16:28:00Z

We reprove and generalize a result of Moh which gives a lower bound on the minimal number of generators of an ideal in a power series ring in three variables x,y,z over a field k. As a consequence, in each characteristic of the field k, we obtain a minimal generating set for the prime ideal P of Moh corresponding to n=3. We deduce that the minimal number of generators of P might decrease depending on the characteristic of k. This contradicts a statement of Sally and leaves as an open problem to find families of prime ideals in the power series ring in the variables x,y,z with an unbounded minimal number of generators, when k has characteristic other than zero. Finally, we show that these minimal generating sets of P are standard basis with the negative degree reverse lexicographic order.

2024-07-31T15:38:01Z Improved extended version. To appear in Journal of Algebra and its Applications Laura González Francesc Planas-Vilanova http://arxiv.org/abs/2602.19978v1 2026-02-23T15:44:01Z

We study ideals generated by $n+1$ powers of general linear forms in $R= k[x_1,\dots,x_n]$. By generalizing the ideas in a recent paper of Diethorn et al., we determine the Betti numbers of such ideals when at least one generator is a square. It follows that all such ideals are level. As a consequence, we show that a generic ideal in $R$ generated by $n+1$ forms, with at least one quadric generator, is level. We also determine the Betti numbers of the Artinian Gorenstein algebras linked to these almost complete intersections. By describing the dual generators of these algebras, we obtain a family of forms, including the elementary symmetric polynomials, whose annihilator ideals have the strong Lefschetz property. Finally, we give explicit generators for the annihilator ideal of any elementary symmetric polynomial.

2026-02-23T15:44:01Z 28 pages, Comments are welcome Eric Dannetun http://arxiv.org/abs/2602.19765v1 2026-02-23T12:13:22Z

Morphisms between schemes arising from multigraded rings are essential for understanding geometric relationships in algebraic geometry, yet a systematic theory for such maps has been lacking. In this paper, we develop a comprehensive framework for rational maps between multigraded Proj schemes by introducing several notions of maps between their underlying multigraded rings. A key challenge is that to induce actual morphisms (rather than just rational maps), the ring homomorphism $\varphi\colon R \to S$ must hit every relevant element in $S$. To address this, we introduce the use of relevant subsets $B \subseteq S_+$ (where $S_+$ is the ideal generated by all relevant elements), $B \unlhd S$, which allow us to control this condition more flexibly. As an application, we show that multigraded noetherian polynomial rings naturally encode combinatorial data, giving rise to systems of fans and thus to toric prevarieties. By leveraging our notion of rational maps with those relevant subsets, we prove that the category of triples $(D, S, B)$ - where $D$ is a finitely generated abelian group, $S$ is a $D$-graded noetherian polynomial ring, and $B \unlhd S$ is a subset of $S_+$ - together with rational maps of conical rings, is anti-equivalent to the category of simplicial toric prevarieties.

2026-02-23T12:13:22Z 25 pages Felix Goebler