http://arxiv.org/api/agaAUpwiZYQMqqHUJdaOYzgFkcg 2025-04-30T00:00:00-04:00 13649 240 15 http://arxiv.org/abs/2308.00654v2 2025-03-07T19:16:58Z 2023-08-01T16:40:18Z

Given a finitely generated module $M$ over a Noetherian local ring $R$, we give a characterization for the first syzygy of the associated graded module $G_{\mathfrak{m}}(M)$ to be equigenerated. As an application of this, we identify a complex of free $G_{\mathfrak{m}}(R)$-modules, arising from given free resolution of $M$ over $R$, which is a resolution of $G_{\mathfrak{m}}(M)$ if and only if $G_{\mathfrak{m}}(M)$ is a pure $G_{\mathfrak{m}}(R)$-module. We also give several applications of the purity of $G_{\mathfrak{m}}(M)$. Our results demonstrate that while not all algebraic properties of a module carry over to its associated graded module, the purity of the minimal free resolution of $G_{\mathfrak{m}}(M)$ ensures that several important invariants are inherited. In addition, we provide sufficient conditions for Cohen-Macaulayness and purity of $G_{\mathfrak{m}}(M)$, and provide a local version of the Herzog-K\"uhl equations.

H. Ananthnarayan Manav Batavia Omkar Javadekar http://arxiv.org/abs/2501.02783v2 2025-03-07T08:22:09Z 2025-01-06T05:59:35Z

Our work establishes derived characterizations for notions of rational pairs \`{a} la Schwede--Takagi and Koll\'{a}r--Kov\'{a}cs. We use a concept of generation in triangulated categories, introduced by Bondal and Van den Bergh, to study these classes of singularities for pairs. One component of our work introduces rational pairs \`{a} la Koll\'{a}r--Kov\'{a}cs for quasi-excellent schemes of characteristic zero, which gives a Kov\'{a}cs style splitting criterion and a Kov\'{a}cs-Schwede style cohomological vanishing result.

Pat Lank Peter McDonald Sridhar Venkatesh Current: v2, improved exposition. Previous: v1, comments welcome! http://arxiv.org/abs/2409.08393v2 2025-03-06T20:56:04Z 2024-09-12T20:41:34Z

We show that Iacob-Iyengar's answer to a question of Avromov-Foxby extends from Noetherian to coherent rings. In particular, a coherent ring R is regular if and only if the injective (resp. projective) dimension of each complex X of R-modules agrees with its graded-injective (resp. graded-projective) dimension. The same is shown for the analogous dimensions based on FP-injective R-modules, and on flat R-modules.

James Gillespie Alina Iacob Minor corrections and updates http://arxiv.org/abs/2401.07082v2 2025-03-06T18:51:47Z 2024-01-13T14:15:35Z

For fixed prime integer $p > 0$ we develop a notion of Bernstein-Sato polynomial for polynomials with $\mathbb{Z} / p^m$-coefficients, compatible with existing theory in the case $m = 1$. We show that the ``roots" of such polynomials are rational and we show that the negative roots agree with those of the mod-$p$ reduction. We give examples to show that, surprisingly, roots may be positive in this context. Moreover, our construction allows us to define a notion of ``strength" for roots by measuring $p$-torsion, and we show that ``strong" roots give rise to roots in characteristic zero through mod-$p$ reduction.

Thomas Bitoun Eamon Quinlan-Gallego Comments welcome. v2: fixed typos, small changes in notation, and additional example following suggestions from the referee http://arxiv.org/abs/2210.12665v4 2025-03-06T18:24:44Z 2022-10-23T08:48:16Z

We study the K\H{o}nig type property for non-simple polyominoes. We prove that, for closed path polyominoes, the polyomino ideals are of K\H{o}nig type, extending the results of Herzog and Hibi for simple thin polyominoes. As an application of this result, we give a combinatorial interpretation for the canonical module of the coordinate ring of a sub-class of closed path polyominoes, namely circle closed path polyominoes. In this case, we compute also the Cohen-Macaulay type and we show that $K[\mathcal{P}]$ is a level ring.

Rodica Dinu Francesco Navarra 10.1016/j.jalgebra.2025.02.034 25 pages, 25 figures. To appear in Journal of Algebra http://arxiv.org/abs/2503.04555v1 2025-03-06T15:41:00Z 2025-03-06T15:41:00Z

This article analyzes a key exchange protocol based on the triad tropical semiring, recently proposed by Jackson, J. and Perumal, R. We demonstrate that the triad tropical semiring is isomorphic to a circulant matrix over tropical numbers. Consequently, matrices in this semiring can be represented as tropical matrices. As a result, we conduct a cryptanalysis of the key exchange protocol using an algorithm introduced by Sulaiman Alhussaini, Craig Collett, and Sergei Sergeev to solve the double discrete logarithm problem over tropical matrices

Alvaro Otero Sanchez http://arxiv.org/abs/2503.04086v1 2025-03-06T04:48:10Z 2025-03-06T04:48:10Z

Gcd-graphs represent an interesting and historically important class of integral graphs. Since the pioneering work of Klotz and Sander, numerous incarnations of these graphs have been explored in the literature. In this article, we define and establish some foundational properties of gcd-graphs defined over a general finite commutative ring. In particular, we investigate the connectivity and diameter of these graphs. Additionally, when the ring is a finite symmetric $\mathbb{Z}/n$-algebra, we give an explicit description of their spectrum using the theory of Ramanujan sums that gives a unified treatment of various results in the literature.

Tung T. Nguyen Nguyen Duy Tân Comments are welcome! http://arxiv.org/abs/2311.02768v2 2025-03-05T18:41:18Z 2023-11-05T20:57:26Z

In this paper, we study finiteness criteria for the Gorenstein homological dimension of groups over a commutative ring of finite Gorenstein weak global dimension and provide estimates for the Gorenstein weak global dimension of group rings. As a result, we obtain Gorenstein analogues of well known properties in classical homological algebra over large families of infinite groups. Moreover, we prove that over a commutative ring of finite Gorenstein weak global dimension, the Gorenstein cohomological dimension of a group G bounds its Gorenstein homological dimension. Finally, we compare the generalized cohomological dimension and the generalized homological dimension of a group.

Ilias Kaperonis Dimitra-Dionysia Stergiopoulou 10.1080/00927872.2025.2465908 19 pages Communications in Algebra (2025) http://arxiv.org/abs/2503.03719v1 2025-03-05T18:17:03Z 2025-03-05T18:17:03Z

We introduce a new class of combinatorial objects, named tight gradings, which are certain nonnegative integer-valued functions on maximal Dyck paths. Using tight gradings, we derive a manifestly positive formula for any wall-function in a rank-2 generalized cluster scattering diagram. We further prove that any consistent rank-2 scattering diagram is positive with respect to the coefficients of initial wall-functions. Moreover, our formula yields explicit expressions for relative Gromov-Witten invariants on weighted projective planes and the Euler characteristics of moduli spaces of framed stable representations on complete bipartite quivers. Finally, by leveraging the rank-2 positivity, we show that any higher-rank generalized cluster scattering diagram has positive wall-functions, which leads to a proof of the positivity of the Laurent phenomenon and the strong positivity of Chekhov-Shapiro's generalized cluster algebras.

Amanda Burcroff Kyungyong Lee Lang Mou 86 pages, previously announced in 2409.15235. Comments welcome http://arxiv.org/abs/2503.03520v1 2025-03-05T14:05:44Z 2025-03-05T14:05:44Z

In our previous paper an effective algorithm for inverting polynomial automorphisms was proposed. We extend its application to the case of formal power series over a field of arbitrary characteristic and illustrate the proposed approach with some examples.

Elżbieta Adamus http://arxiv.org/abs/2503.03421v1 2025-03-05T11:48:43Z 2025-03-05T11:48:43Z

In this paper, we study the unit graph $ G(\mathbb{Z}_n) $, where $ n $ is of the form $n = p_1^{n_1} p_2^{n_2} \dots p_r^{n_r}$, with $ p_1, p_2, \dots, p_r $ being distinct prime numbers and $ n_1, n_2, \dots, n_r $ being positive integers. We establish the connectivity of $ G(\mathbb{Z}_n) $, show that its diameter is at most three, and analyze its edge connectivity. Furthermore, we construct $ q $-ary linear codes from the incidence matrix of $ G(\mathbb{Z}_n) $, explicitly determining their parameters and duals. A primary contribution of this work is the resolution of two conjectures from \cite{Jain2023} concerning the structural and coding-theoretic properties of $ G(\mathbb{Z}_n) $. These results extend the study of algebraic graph structures and highlight the interplay between number theory, graph theory, and coding theory.

Apurba Sarkar Kalyan Hansda Makhan Maji http://arxiv.org/abs/2501.17504v2 2025-03-05T10:11:52Z 2025-01-29T09:21:36Z

In this article, we construct a generating set of rational invariants for the action of the orthogonal group $\text{O}(n)$ on the space $\mathbb{R}[x_1,\dots,x_n]_{2d}$ of real homogeneous polynomials of even degree $2d$. This generalizes a paper which addressed the case $n=3$. The main difficult with the generalization lies in a surprising connection to the graph isomorphism problem, a classical problem of computer science.

Henri Breloer Removed redundant and incorrect proof of Lemma 2.3, updated introduction http://arxiv.org/abs/2502.01133v4 2025-03-05T05:03:16Z 2025-02-03T07:59:21Z

For a Cohen--Macaulay positively graded ring $R$, we say that $R$ is pseudo-Gorenstein if its leading coefficient is 1. In this paper, we study the relationship between canonical trace and pseudo-Gorensteinness for a graded ring. In particular, we show that if a nearly Gorenstein graded domain satisfies certain mild assumptions and is pseudo-Gorenstein, then it is necessarily Gorenstein. As an application, we clarify the relationships among nearly Gorensteinness, almost Gorensteinness, and levelness, which generalize the notion of Gorensteinness, in the context of standard graded domains. Moreover, we give a method for constructing quasi-Gorenstein rings by taking a Veronese subalgebra of certain Noetherian graded rings.

Sora Miyashita 10 pages, I have corrected again the reference display error http://arxiv.org/abs/2503.03171v1 2025-03-05T04:26:18Z 2025-03-05T04:26:18Z

We compute the Betti numbers of the edge rings of multi-path graphs using the induced-subgraph method introduced in \cite{WL1}. Here, a multi-path graph refers to a simple graph consisting of two vertices and multiple paths connecting them, which generalizes the complete bipartite graph $K_{2,d}$. Special cases include the graph $G_{r,d}$ introduced in \cite{GHK}, the graph $G_{r,s,d}$ introduced in \cite{NN}, and the graph $B_{\underline{\ell},h}$ introduced in \cite{LZ}.

Zexin Wang Dancheng Lu This is Part II of the split mathematical research (Part I: arXiv:2404.10672), which contains Section 5 of the first version of arxiv:2404.10672. arXiv admin note: substantial text overlap with arXiv:2404.10672 http://arxiv.org/abs/2503.03083v1 2025-03-05T00:45:44Z 2025-03-05T00:45:44Z

In 2017, Ehrenborg, Govindaiah, Park, and Readdy defined the van der Waerden complex ${\tt vdW}(n,k)$ to be the simplicial complex whose facets correspond to all the arithmetic sequences on the set $\{1,\ldots,n\}$ of a fixed length $k$. To complement a classification of the Cohen--Macaulay van der Waerden complexes obtained by Hooper and Van Tuyl in 2019, a classification of van der Waerden complexes with linear resolution is presented. Furthermore, we show that the Stanley--Reisner ring of a Cohen--Macaulay van der Waerden complex is level.

Takayuki Hibi Adam Van Tuyl 5 pages; comments welcomed