http://arxiv.org/api/oDZxLNRmx8AVtRHdbyyNtTC41YY 2025-05-11T00:00:00-04:00 13671 495 15 http://arxiv.org/abs/2312.11904v3 2025-01-15T05:40:16Z 2023-12-19T07:13:25Z

We present a natural and explicit multigraded minimal free resolution for each generalized co-letterplace ideal (see Definition 1.1). Our resolution differs significantly from the ones presented in the works of Ene et al. \cite{EHM} and D'Al{`\i} et al. \cite{DFN}. Additionally, we show that each power of a large class of generalized co-letterplace ideals can be represented as the quotient of another generalized co-letterplace ideal by a regular sequence of variable differences. Finally, we provide a new class of simplicial spheres

Dancheng Lu Zexin Wang 25 pages Comments are welcome to appear in Journal of algebra http://arxiv.org/abs/2410.22581v2 2025-01-15T05:32:14Z 2024-10-29T22:52:11Z

This article investigates under which conditions the symbolic powers of the extension of an ideal is the same as the extension of the symbolic powers. Our result generalizes the known scenarios. As an application, we prove formulas for the resurgence of sum of two homogeneous ideals in finitely generated k-algebra domains, where k is algebraically closed. Initially, these were known for ideals in polynomial rings.

Sankhaneel Bisui Haoxi Hu Comments are welcome! http://arxiv.org/abs/2406.10545v2 2025-01-14T20:01:05Z 2024-06-15T07:58:19Z

We investigate existence, uniqueness and maximality of solutions $T$ for equations $S_1+T=S_2$ and inequalities $S_1+T\subseteq S_2$ where $S_1$ and $S_2$ are final segments of ordered abelian groups. Since cuts are determined by their upper cut sets, which are final segments, this gives information about the corresponding equalities and inequalities for cuts. We apply our results to investigate existence, uniqueness and maximality of solutions $J$ for equations $I_1 J=I_2$ and inequalities $I_1 J\subseteq I_2$ where $I_1$ and $I_2$ are ideals of valuation rings. This enables us to compute the annihilators of quotients of the form $I_1/I_2\,$.

Franz-Viktor Kuhlmann Katarzyna Kuhlmann Significantly improved revised version http://arxiv.org/abs/2501.08260v1 2025-01-14T17:15:43Z 2025-01-14T17:15:43Z

We prove that the type of nearly Gorenstein numerical semigroups minimally generated by $5$ integers is bounded. In particular, if such a semigroup is not almost symmetric, then its type is at most $40$. Finally, we make some considerations in higher embedding dimension.

Alessio Moscariello Francesco Strazzanti Accepted for publication in Communications in Algebra http://arxiv.org/abs/2501.08175v1 2025-01-14T14:57:38Z 2025-01-14T14:57:38Z

We introduce $\mathcal{Q}^N$ quivers and construct maximal green sequences for these quivers. We prove that any finite connected full subquiver of the quivers defined by Hernandez and Leclerc, arising in monoidal categorifications of cluster algebras, is a special case of $\mathcal{Q}^N$ quivers. Moreover, we prove that the trees of oriented cycles introduced by Garver and Musiker are special cases of $\mathcal{Q}^N$ quivers. This result resolves an open problem proposed by Garver and Musiker, providing a construction of maximal green sequences for quivers that are trees of oriented cycles. Furthermore, we prove that quivers that are mutation equivalent to an orientation of a type AD Dynkin diagram can also be recognized as special cases of $\mathcal{Q}^N$ quivers.

Jingmin Guo Bing Duan Yanfeng Luo http://arxiv.org/abs/2310.00484v2 2025-01-14T14:07:32Z 2023-09-30T20:44:51Z

We described a minimal separating set for the algebra of $O(F_q)$-invariant polynomial functions of $m$-tuples of two-dimensional vectors over a finite field $F_q$.

Artem Lopatin Pedro Antonio Muniz Martins 10 pages Linear Algebra Applications, 692 (2024), 71-83 http://arxiv.org/abs/2409.15853v3 2025-01-14T09:20:52Z 2024-09-24T08:25:55Z

We give a new, elementary proof of the celebrated Herzog-Hibi-Zheng theorem on powers of quadratic monomial ideals.

Antonino Ficarra Updated version. We thank Than Vu and Dang Hop Nguyen for some comments on an earlier draft of the manuscript, and Somayeh Moradi for her encouragement to complete this project http://arxiv.org/abs/2205.04163v3 2025-01-14T09:16:01Z 2022-05-09T10:17:32Z

We study the homological shifts of polymatroidal ideals. In our main theorem we prove that the first homological shift ideal of any polymatroidal ideal is again polymatroidal, supporting a conjecture of Bandari, Bayati and Herzog that predicts that all homological shift ideals of a polymatroidal ideal are polymatroidal. As a nice consequence, we recover a result of Bayati which proves this conjecture in the squarefree case.

Antonino Ficarra This is the final version of the paper, accepted for publication in Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie http://arxiv.org/abs/2302.03585v2 2025-01-14T09:04:57Z 2023-02-07T16:51:45Z

Let $G$ be a finite simple graph on $n$ non-isolated vertices, and let $J_G$ be its binomial edge ideal. We determine almost all pairs $(\text{projdim}(J_G),\text{reg}(J_G))$, where $G$ ranges over all finite simple graphs on $n$ non-isolated vertices, for any $n$.

Antonino Ficarra Emanuele Sgroi This is the final version of the paper, accepted for publication in Journal of Algebra and its Applications, https://doi.org/10.1142/S0218196724500589 http://arxiv.org/abs/2402.05555v3 2025-01-14T09:01:35Z 2024-02-08T10:47:41Z

In the present paper, we study the Dao numbers $\mathfrak{d}_1(I),\mathfrak{d}_2(I)$ and $\mathfrak{d}_3(I)$ of an ideal $I$ of a Noetherian local ring $(R,\mathfrak{m},K)$ or a standard graded Noetherian $K$-algebra. They are defined as the smallest $\ell\ge0$ such that $I\mathfrak{m}^k$ is $\mathfrak{m}$-full, full, weakly $\mathfrak{m}$-full, respectively, for all $k\ge\ell$. We provide general bounds for the Dao numbers in terms of the Castelnuovo-Mumford regularity of certain modules over the Rees algebra $\mathcal{R}(\mathfrak{m})$. If $R$ is a Koszul algebra, we prove that the Dao numbers are less or equal to $\text{reg}_{\text{gr}_\mathfrak{m}(R)}\text{gr}_\mathfrak{m}(I)$, where $\text{gr}_\mathfrak{m}(I)$ is the associated graded module of $I$. Finally, for monomial ideals, we combinatorially bound the Dao numbers in terms of asymptotic linear quotients and bounding multidegrees.

Antonino Ficarra This is the final version of the paper, accepted for publication in Journal of Algebra and its Applications, https://doi.org/10.1142/S021949882650132X http://arxiv.org/abs/2405.10192v2 2025-01-14T08:58:38Z 2024-05-16T15:34:44Z

The so-called Dao numbers are a sort of measure of the asymptotic behaviour of full properties of certain product ideals in a Noetherian local ring $R$ with infinite residue field and positive depth. In this paper, we answer a question of H. Dao on how to bound such numbers. The auxiliary tools range from Castelnuovo-Mumford regularity of appropriate graded structures to reduction numbers of the maximal ideal. In particular, we substantially improve previous results (and answer questions) by the authors. Finally, as an application of the theory of Dao numbers, we provide new characterizations of when $R$ is regular; for instance, we show that this holds if and only if the maximal ideal of $R$ can be generated by a $d$-sequence (in the sense of Huneke) if and only if the third Dao number of any (minimal) reduction of the maximal ideal vanishes.

Antonino Ficarra Cleto B. Miranda-Neto Douglas S. Queiroz This the final version of our paper published in Annali di Matematica Pura ed Applicata, https://doi.org/10.1007/s10231-024-01537-w http://arxiv.org/abs/2402.18717v3 2025-01-14T05:58:13Z 2024-02-28T21:28:37Z

The Casas-Alvero conjecture predicts that every univariate polynomial over an algebraically closed field of characteristic zero sharing a common factor with each of its Hasse-Schmidt derivatives is a power of a linear polynomial. The conjecture for polynomials of a fixed degree is equivalent to the projective variety of such polynomials being one-dimensional. In this paper, we show that for any algebraically closed field of arbitrary characteristic, this variety is at most two-dimensional for all positive degrees. Consequently, we show that the associated arithmetic Casas-Alvero scheme in any positive degree has finitely many rational points over any field. Along the way, we prove several rigidity results towards the conjecture. We also introduce intermediate arithmetic Casas-Alvero schemes and show that their $\mathbb{K}$ points form an almost complete intersection over any algebraically closed field $\mathbb{K}$. Furthermore, we consider the question of when they form a complete intersection.

Soham Ghosh Section 6 on intermediate Casas-Alvero schemes added. Submitted version http://arxiv.org/abs/2501.07829v1 2025-01-14T04:21:35Z 2025-01-14T04:21:35Z

In this paper, we prove that if $P$ is a homogeneous prime ideal inside a standard graded polynomial ring $S$ with $\dim(S/P)=d$, and for $s \leq d$, adjoining $s$ general linear forms to the prime ideal changes the $(d-s)$-th Hilbert coefficient by 1, then $\text{depth}(S/P)=s-1$. This criterion also tells us about possible restrictions on the generic initial ideal of a prime ideal inside a polynomial ring.

Cheng Meng http://arxiv.org/abs/2408.14781v8 2025-01-14T03:52:17Z 2024-08-27T05:06:03Z

It is well-known that a ring is Noetherian if and only if every ascending chain of ideals is stationary, and an integral domain is a PID if and only if every countably generated ideal is principal. We respectively investigate the similar results on $S$-Noetherian rings and $S$-$\ast_w$-PIDs, where $S$ is a multiplicative subset and $\ast$ is a star operation. In particular, we gave negative answers to the open questions proposed by Hamed and Hizem \cite{hh16}, Kim and Lim \cite{kl18}, and Lim \cite{l18} in terms of valuation domains, respectively.

Xiaolei Zhang http://arxiv.org/abs/2501.06415v2 2025-01-14T03:20:56Z 2025-01-11T02:54:08Z

The pseudo-Frobenius numbers of a numerical semigroup $H$ are deeply connected to the structure of the defining ideal of its semigroup ring $k[H]$. In this paper, we resolve a certain conjecture related to this connection under the assumption that $k[H]/(t^a)$ is stretched, where $a$ is the multiplicity of $H$. Furthermore, we provide numerical conditions for the tangent cone of $k[H]$ to be Cohen-Macaulay.

Do Van Kien Naoyuki Matsuoka Taiga Ozaki