http://arxiv.org/api/DFATtZxrcMoUYxoJv/ATRhFYNBM 2025-04-22T00:00:00-04:00 13629 45 15 http://arxiv.org/abs/2401.17815v4 2025-04-11T10:57:29Z 2024-01-31T13:18:08Z

Let $R$ be a commutative Noetherian $\mathbb{N}$-graded ring. Let $N\subseteq M$ be finitely generated $\mathbb{Z}$-graded $R$-modules. Let $I_1,\ldots,I_r$ be non-zero proper homogeneous ideals of $R$. Denote ${\bf I}^{\underline{n}}:=I_1^{n_1}\cdots I_r^{n_r}$ for $\underline{n}=(n_1,\dots,n_r)\in\mathbb{N}^r$. In this paper, we prove that the (local) Vasconcelos invariant of ${\bf I}^{\underline{n}}M/{\bf I}^{\underline{n}}N$ is eventually the minimum of finitely many linear functions in $\underline{n}$. The same holds for $M/{\bf I}^{\underline{n}}N$ under certain conditions. Some specific examples are provided, where these functions are not eventually linear in $\underline{n}$. However, when $R$ is a polynomial ring over a field, we show that the global Vasconcelos invariants of $R/{\bf I}^{\underline{n}}$ and ${\bf I}^{\underline{n}}/{\bf I}^{\underline{n}+\underline{1}}$ are, in fact, asymptotically linear in $\underline{n}$ with the leading coefficients given by the initial degrees of $I_1,\ldots,I_r$. The last result is surprising: It differs from the Castelnuovo-Mumford regularity, which is not always linear even over polynomial rings, as shown by Bruns-Conca.

Luca Fiorindo Dipankar Ghosh Theorems 2.3 and 1.6 are added showing asymptotic linearity of the global v-numbers for products and powers of ideals in a polynomial ring over an integral domain. The leading coefficients of this function are given by the initial degrees of the ideals. Example 3.5 is added to show that, unlike global v-numbers, the linearity of local v-numbers cannot be expected even in the polynomial case http://arxiv.org/abs/2401.11297v2 2025-04-11T04:11:04Z 2024-01-20T18:47:21Z

We prove Demailly's Conjecture concerning the lower bound for the Waldschmidt constant in terms of the initial degree of the second symbolic powers for any set of generic points or very general points in $\mathbb{P}^N$. We also discuss the Harbourne-Huneke Containment and the aforementioned Demailly's Conjecture for general points and show the results for sufficiently many general points and general points in projective spaces with low dimensions.

Sankhaneel Bisui Thai Thanh Nguyen 16 pages. Version in journal http://arxiv.org/abs/2503.19833v2 2025-04-10T16:00:31Z 2025-03-25T16:50:01Z

This article presents the concept of material interpretation as a method to transform classical proofs into constructive ones. Using the case study of maximal ideals in $\mathbb{Z}[X]$, it demonstrates how a classical implication $A \to B$ can be rephrased as a constructive disjunction $\neg A \vee B$, with $\neg A$ representing a strong form of negation. The approach is based on on G\"odel's Dialectica interpretation, the strong negation, and potentially Herbrand disjunctions. The classical proof that every maximal ideal in $\mathbb{Z}[X]$ contains a prime number is revisited, highlighting its reliance on non-constructive principles such as the law of excluded middle. A constructive proof is then developed, replacing abstract constructs with explicit case distinctions and direct computations in $\mathbb{Z}[X]$. This proof clarifies the logical structure and reveals computational content. The article discusses broader applications, such as Zariski's Lemma, Hilbert's Nullstellensatz, and the Universal Krull-Lindenbaum Lemma, with an emphasis on practical implementation using tools such as Python and proof assistants. The material interpretation offers a promising framework for bridging classical and constructive mathematics, enabling algorithmic implementations.

Franziskus Wiesnet 14 pages, 0 figures http://arxiv.org/abs/2406.14665v2 2025-04-10T12:11:10Z 2024-06-20T18:34:32Z

Let $R$ be a domain of Krull dimension one, we study when the class $\mathcal{F}$ of modules over $R$ that are arbitrary direct sums of finitely generated torsion-free modules is closed under direct summands. If $R$ is local, we show that $\mathcal{F}$ is closed under direct summands if and only if any indecomposable, finitely generated, torsion-free module has local endomorphism ring. If, in addition, $R$ is noetherian this is equivalent to say that the normalization of $R$ is a local ring. If $R$ is an $h$-local domain of Krull dimension $1$ and $\mathcal{F}_R$ is closed under direct summands, then the property is inherited by the localizations of $R$ at maximal ideals. Moreover, any localizations of $R$ at a maximal ideal, except maybe one, satisfies that any finitely generated ideal is $2$-generated. The converse is true when the domain $R$ is, in addition, integrally closed, or noetherian semilocal or noetherian with module-finite normalization. Finally, over a commutative domain of finite character and with no restriction on the Krull dimension, we show that the isomorphism classes of countable generated modules in $\mathcal{F}$ are determined by their genus.

Román Álvarez Dolors Herbera Pavel Příhoda 62 pages http://arxiv.org/abs/2503.14664v2 2025-04-10T08:19:47Z 2025-03-18T19:11:00Z

We present a new algorithm to explore or count the numerical semigroups of a given genus which uses the unleaved version of the tree of numerical semigroups. In the unleaved tree there are no leaves rather than the ones at depth equal to the genus in consideration. For exloring the unleaved tree we present a new encoding system of a numerical semigroup given by the gcd of its left elements and its shrinking, that is, the semigroup generated by its left elements divided by their gcd. We show a method to determine the right generators and strong generators of a semigroup by means of the gcd and the shrinking encoding, as well as a method to encode a semigroup from the encoding of its parent or of its predecessor sibling. With the new algorithm we obtained $n_{76}=29028294421710227$ and $n_{77}=47008818196495180$.

Maria Bras-Amorós http://arxiv.org/abs/2504.07541v1 2025-04-10T08:10:14Z 2025-04-10T08:10:14Z

In this note we show that the initial ideal of the annihilator ideal of a generic form is generated by the largest possible monomials in each degree. We also show that the initial ideal with respect to the degree reverse lexicographical ordering of the annihilator ideal of the complete symmetric form has this property, by determining a minimal Gr\"obner basis of it. Moreover, we determine the total Betti numbers for a class of strongly stable monomial ideals and show that these numbers agree with those for the degree reverse lexicographical initial ideals of the ideal generated by a sufficiently large number of generic forms, and of the annihilator ideal of a generic form.

Mats Boij Luís Duarte Samuel Lundqvist http://arxiv.org/abs/2504.07536v1 2025-04-10T08:02:23Z 2025-04-10T08:02:23Z

Let $R$ be a commutative Noetherian local ring. We prove that the finiteness of the injective dimension of a finitely generated $R$-module $C$ is determined by the existence of a Cohen--Macaulay module $M$ that satisfies an inequality concerning multiplicity and type, together with the vanishing of finitely many Ext modules. As applications, we recover a result of Rahmani and Taherizadeh and provide sufficient conditions for a finitely generated $R$-module to have finite injective dimension.

Shinnosuke Kosaka Yuki Mifune Kenta Shimizu 6 pages http://arxiv.org/abs/2504.07184v1 2025-04-09T18:02:20Z 2025-04-09T18:02:20Z

Previous examples of self-duality for generalized Eagon-Northcott complexes were given by computing the divisor class group for Hankel determinantal rings. We prove a new case of self-duality of generalized Eagon-Northcott complexes with input being a map defining a Koszul module with nice properties. This choice of Koszul module can be specialized to the Weyman module, which was used in a proof of the generic version of Green's conjecture. In this case, the proof uses a version of Hermite Reciprocity not previously defined in the literature.

Ethan Reed http://arxiv.org/abs/2504.07045v1 2025-04-09T17:03:08Z 2025-04-09T17:03:08Z

A monomial ideal $I\subseteq \mathbb{K}[x_1,\ldots , x_n]$ is called a Simis ideal if $I^{(s)}=I^s$ for all $s\geq 1$, where $I^{(s)}$ denotes the $s$-th symbolic power of $I$. Let $I$ be a support-2 monomial ideal such that its irreducible primary decomposition is minimal. We prove that $I$ is a Simis ideal if and only if $\sqrt{I}$ is Simis and $I$ has standard linear weights. This result thereby proves a recent conjecture for the class of support-2 monomial ideals proposed by Mendez, Pinto, and Villarreal. Furthermore, we give a complete characterization of the Cohen-Macaulay property for support-2 monomial ideals whose radical is the edge ideal of a whiskered graph. Finally, we classify when these ideals are Simis in degree 2.

Paromita Bordoloi Kanoy Kumar Das Rajiv Kumar 15 pages. Comments are welcome!! http://arxiv.org/abs/2504.06723v1 2025-04-09T09:23:45Z 2025-04-09T09:23:45Z

Over a field of characteristic 2, we give a complete classification of quadratic and bilinear forms of dimension 5 that are minimal over the function field of an arbitrary conic. This completes the unique known case due to Faivre concerning the classification of minimal quadratic forms of dimension 5 and type (2,1) over function fields of nonsingular conics.

Adam Chapman Ahmed Laghribi http://arxiv.org/abs/2302.03315v2 2025-04-09T05:43:39Z 2023-02-07T08:40:36Z

We prove some results on NIP integral domains, especially those that are Noetherian or have finite dp-rank. If $R$ is an NIP Noetherian domain that is not a field, then $R$ is a semilocal ring of Krull dimension 1, and the fraction field of $R$ has characteristic 0. Assuming the henselianity conjecture (on NIP valued fields), $R$ is a henselian local ring. Additionally, we show that integral domains of finite dp-rank are henselian local rings. Finally, we lay some groundwork for the study of Noetherian domains of finite dp-rank, and we classify dp-minimal Noetherian domains.

Will Johnson 25 pages, minor revisions and updated references http://arxiv.org/abs/2504.06450v1 2025-04-08T21:47:23Z 2025-04-08T21:47:23Z

The Euler form is an Ext analog of the Euler characteristic, and in this paper we study the Euler form and give some applications. The first being a question of Jorgensen, which bounds the projective dimension of a module over a complete intersection by using the vanishing of self extensions. Our second application uses the Euler form to yield a new result involving the vanishing of the higher Herbrand difference. Along the way we translate some of our results to the graded setting.

Benjamin Katz Andrew J. Soto Levins http://arxiv.org/abs/2504.06444v1 2025-04-08T21:31:57Z 2025-04-08T21:31:57Z

The theory of singularities defined by Frobenius has been extensively developed for $F$-finite rings and for rings that are essentially of finite type over excellent local rings. However, important classes of non-local excellent rings, such as Tate algebras and their quotients (affinoid algebras) do not fit into either setting. We investigate here a framework for moving beyond the $F$-finite setting, developing the theory of three related classes of regular rings defined by properties of Frobenius. In increasing order of strength, these are Frobenius Ohm-Rush (FOR), Frobenius intersection flat, and Frobenius Ohm-Rush trace (FORT). We show that Tate algebras are Frobenius intersection flat, from which it follows that reduced affinoid algebras have test elements using a result of Sharp. We also deduce new cases of the openness of the $F$-pure locus.

Rankeya Datta Neil Epstein Karl Schwede Kevin Tucker 41 pages, comments welcome. arXiv admin note: substantial text overlap with arXiv:2305.11139 http://arxiv.org/abs/2504.06216v1 2025-04-08T17:03:24Z 2025-04-08T17:03:24Z

Describing families of ideals that are minimally generated by at least one, or by all, of their reduced Gr\"obner bases is a central topic in commutative algebra. In this paper, we address this problem in the context of toric ideals of graphs. We say that a graph $G$ is an MG-graph if its toric ideal $I_G$ is minimally generated by some Gr\"obner basis, and a UMG-graph if every reduced Gr\"obner basis of $I_G$ forms a minimal generating set. We prove that a graph $G$ is a UMG-graph if and only if its toric ideal $I_G$ is a generalized robust ideal (that is, its universal Gr\"obner basis coincides with its universal Markov basis). Although the class of MG-graphs is not closed under taking subgraphs, we prove that it is hereditary, that is, closed under taking induced subgraphs. In addition, we describe two families of bipartite MG-graphs: ring graphs (which correspond to complete intersection toric ideals, as shown by Gitler, Reyes, and Villarreal) and graphs in which all chordless cycles have the same length. The latter extends a result of Ohsugi and Hibi, which corresponds to graphs whose chordless cycles are all of length $4$.

Ignacio García-Marco Irene Márquez-Corbella Christos Tatakis http://arxiv.org/abs/2504.06052v1 2025-04-08T13:55:13Z 2025-04-08T13:55:13Z

This article generalizes the correspondence between matrix factorizations and maximal Cohen-Macaulay modules over hypersurface rings due to Eisenbud and Yoshino. We consider factorizations with several factors in a purely categorical context, extending results of Sun and Zhang for Gorenstein projective module factorizations. Our formulation relies on a notion of hypersurface category and replaces Gorenstein projectives by objects of general Frobenius exact subcategories. We show that factorizations over such categories form again a Frobenius category. Our main result is then a triangle equivalence between the stable category of factorizations and that of chains of monomorphisms.

Jonas Frank Mathias Schulze 27 pages