https://arxiv.org/api/lhSs53TJUCp56HujRQFgRX0qgoo 2026-03-18T10:28:20Z 14552 60 15 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 http://arxiv.org/abs/2309.01818v2 2026-03-07T11:13:05Z

Grid polyominoes form a class of thin polyominoes with one or more holes arranged in a grid-like pattern in the plane. In this paper, we prove that the rook polynomial of grid polyominoes coincides with the h-polynomial of their corresponding coordinate ring. Our approach is based on the theory of simplicial complexes and extends previous results for frame polyominoes, which are special cases of polyominoes with exactly one hole.

2023-09-04T21:13:37Z 24 pages, 39 figures. To appear in Discrete Mathematics Rodica Dinu Francesco Navarra http://arxiv.org/abs/2509.09243v2 2026-03-07T05:14:40Z

Let $D$ be an integrally closed domain with quotient field $K$ and $A$ a torsion-free $D$-algebra that is finitely generated as a $D$-module and such that $A\cap K=D$. We give a complete classification of those $D$ and $A$ for which the ring $\text{Int}_K(A)=\{f\in K[X] \mid f(A)\subseteq A\}$ is a Prüfer domain. If $D$ is a semiprimitive domain, then we prove that $\text{Int}_K(A)$ is Prüfer if and only if $A$ is commutative and isomorphic to a finite direct product of almost Dedekind domains with finite residue fields, each of them satisfying a double-boundedness condition on its ramification indices and residue field degrees.

2025-09-11T08:25:25Z to appear in the Bull. Lond. Math. Soc. (2026), any comment is welcome! Giulio Peruginelli Nicholas J. Werner http://arxiv.org/abs/2602.13695v2 2026-03-07T01:00:03Z

Large language models (LLMs) have recently achieved remarkable success in generating rigorous mathematical proofs, with "AI for Math" emerging as a vibrant field of research (Ju et al., 2026). While these models have mastered competition-level benchmarks like the International Mathematical Olympiad (Huang et al., 2025; Duan et al., 2025) and show promise in research applications through auto-formalization (Wang et al., 2025), their deployment via lightweight, natural-language pipelines for research problems remains underexplored. In this work, we demonstrate that next-generation models (e.g., Gemini 3 Pro, GPT-5.2 Pro), when integrated into a streamlined automated pipeline optimized for citation-based verification, can solve sophisticated research-grade problems. We evaluate our pipeline on two novel datasets: (1) the ICCM (2025) problem sets (comparable to the S.-T. Yau College Student Mathematics Contest) proposed by leading mathematicians (Shanghai Math Challenge, 2026), and (2) the "First Proof" problem set (Abouzaid et al., 2026), consisting of previously unpublished research questions. Our pipeline generated candidate proofs for all problems in the first two ICCM sets and the "First Proof" set. The solutions for the first two ICCM sets and Problem 4 of the "First Proof" set have been fully verified by our team. All generated proofs have been submitted to the official organization, and our generated results are publicly available at https://github.com/ml1301215/question_sets-test_results. We have open-sourced the code and developed a user-friendly UI for this workflow, accessible at https://github.com/ml1301215/research-math-assistant.

2026-02-14T09:36:24Z 9 pages Lve Meng University of Science and Technology of China, Zhongguancun Academy Weilong Zhao Université Paris Cité Yanzhi Zhang Zhongguancun Academy Haoxiang Guan Zhongguancun Academy Jiyan He Zhongguancun Academy http://arxiv.org/abs/2603.06844v1 2026-03-06T20:10:16Z

Let $R$ be a $d$-dimensional Noetherian local ring with maximal ideal $m_R$. In this article, we give a generalization of the multiplicity $e(I)$ of an $m_R$-primary ideal $I$ of $R$ to a multiplicity $e(\mathcal I)$ of a graded family of $m_R$-primary ideals $\mathcal I$ in $R$. This multiplicity gives the classical multiplicity $e(I)$ if $\mathcal I=\{I^n\}$ is the $I$-adic filtration, and agrees with the volume, $\displaystyle \lim_{n\rightarrow \infty}d!\frac{\ell(R/I_n) }{n^d}$ for $R$ such that the volume always exists as a limit. We will show in this paper that many of the classical theorems for the multiplicity of an ideal generalize to this multiplicity, including mixed multiplicities, the Rees theorem and the Minkowski inequality and equality. We give simple proofs which are independent of the theory of volumes and Okounkov bodies for all of our results, with the one exception being the proof of the Minkowski equality. We do this by interpreting the multiplicity of graded families of $m_R$-primary ideals as a limit of intersection products on the family of $R$-schemes which are obtained by blowing up $m_R$-primary ideals in $R$.

2026-03-06T20:10:16Z 33 pages Steven Dale Cutkosky http://arxiv.org/abs/2510.10033v3 2026-03-06T19:22:29Z

Working over an algebraically closed field $k$ of characteristic $0$, we show that the motivic stable homotopy groups of the sphere spectrum can be determined entirely from the motivic homotopy groups of the $p$-completed sphere spectra and the motivic cohomology of the ground field, except possibly for the $0$ and $-1$-stems. Using this, we show that the complex realization maps from the motivic homotopy groups to the classical stable homotopy groups are isomorphisms in a range of bidegrees. We apply this to deduce that complex realization also induces isomorphisms on unstable homotopy groups for Stiefel varieties $V_r(\mathbb{A}^n_k)$ in a range of bidegrees. We use this to determine when the projection map $V_r(\mathbb{A}^n_k) \to V_1(\mathbb{A}^n_k)$ admits a right inverse, settling the question of when the universal stably-free module of type $(n,n-1)$ admits a free summand of given rank.

2025-10-11T05:30:50Z 20 pages, 2 figures. Comments welcome Sebastian Gant Ben Williams http://arxiv.org/abs/2603.06355v1 2026-03-06T15:07:58Z

For a set $A$ let ${\mathbf {SC}_A}$ be the poset of simplicial complexes whose vertices are in $A$. For a function $f : A \rightarrow B$ there are functors $ f^{! !}, f^{**}, f^{ii}: {\mathbf {SC}_A} \rightarrow {\mathbf {SC}_B}, \quad f^{!*}, f^{i*} : {\mathbf {SC}_B} \rightarrow {\mathbf {SC}_A}, $ forming a five sequence of adjoints $f^{ !!} \dashv f^{* !} \dashv f^{* *} \dashv f^{*i} \dashv f^{ii}$. We investigate in detail these functors, and use this to give three categorical structures on simplicial complexes on finite sets such that the Stanley-Reisner correspondence to commutative monomial rings gives dualities.

2026-03-06T15:07:58Z 23 pages Gunnar Fløystad