http://arxiv.org/api/iKJ9strcyaXPrFY+F6it6dH3wIY 2025-04-21T00:00:00-04:00 13629 0 15 http://arxiv.org/abs/2504.15224v1 2025-04-21T16:54:57Z 2025-04-21T16:54:57Z

We explore the implications of the finiteness of homological dimensions for Ext modules, focusing on projective dimension, injective dimension, and their Gorenstein counterpart. In this direction, we establish several finiteness criteria for homological dimensions. Our results include the consequences of the finiteness of the Gorenstein (injective) dimension of the deficiency modules as well as a duality for certain Ext modules, all of finite (Gorenstein) projective dimension.

Rafael Holanda Victor H. Jorge-Pérez Victor D. Mendoza-Rubio 22 pages. Comments and suggestions are welcome http://arxiv.org/abs/2504.15200v1 2025-04-21T16:17:05Z 2025-04-21T16:17:05Z

In this work, we study the equivalence of robustness, strongly robustness, generalized robustness, and weakly robustness properties of toric ideals of weighted oriented graphs. For any weighted oriented graph $D$, if its toric ideal $I_D$ is generalized robust or weakly robust, then we show that $D$ has no subgraphs of certain structures. We prove the equality of Graver basis, Universal Gr\"obner basis, reduced Gr\"obner basis with respect to degree lexicographic order of the toric ideals $I_D$ of weighted oriented graphs $D=\C_1\cup_P \cdots \cup_P \C_n$ consist of cycles $\C_1\ldots,\C_n$ that share a path $P$. As a consequence, we show that (i) $I_{D}$ is robust iff $I_{D}$ is strongly robust; (ii) $I_{D}$ is generalized robust iff $I_{D}$ is weakly robust. If at most two of the cycles $\C_i$ in $D$ are unbalanced, then the following statements are equivalent: (i) $I_{D}$ is strongly robust; (ii) $I_{D}$ is robust; (iii) $I_{D}$ is generalized robust; (iv) $I_{D}$ is weakly robust; (v) $D$ has no subgraphs of types $D_{1}$ and $D_{2}$, where $D_1$ is a weighted oriented graph consisting of two balanced cycles share an edge in $D$, and $D_2$ is a weighted oriented graph consisting of three cycles that share an edge\ such that one cycle is balanced and the rest two are unbalanced cycles, as in figure \ref{fig2}. We explicitly determine the Graver basis of the toric ideal of two balanced cycles sharing a path.

Ramakrishna Nanduri Tapas Kumar Roy Comments are welcome ! http://arxiv.org/abs/2501.07710v2 2025-04-21T15:17:12Z 2025-01-13T21:42:09Z

We show that the asymptotic regularity of a graded family $(I_n)_{n \ge 0}$ of homogeneous ideals in a reduced standard graded algebra, i.e., the limit $\lim_{n \rightarrow \infty} \text{reg } I_n/n$, exists in several cases; for example, when the family $(I_n)_{n \ge 0}$ consists of artinian ideals, or Cohen-Macaulay ideals of the same codimension over an uncountable base field of characteristic $0$, or when its Rees algebra is Noetherian. Many applications, including simplifications and generalizations of previously known results on symbolic powers and integral closures of powers of homogeneous ideals, are discussed. We provide a combinatorial interpretation of the limit $\lim_{n \rightarrow \infty} \text{reg } I_n/n$ in terms of the associated Newton--Okounkov region in various situations. We give a negative answer to the question of whether the limits $\lim_{n \rightarrow \infty} \text{reg } (I_1^n + \dots + I_p^n)/n$ and $\lim_{n \rightarrow \infty} \text{reg } (I_1^n \cap \cdots \cap I_p^n)/n$ exist, for $p \ge 2$ and homogeneous ideals $I_1, \dots, I_p$. We also examine ample evidence supporting a negative answer to the question of whether the asymptotic regularity of the family of symbolic powers of a homogeneous ideal always exists. Our work presents explicit Gr\"obner basis construction for ideals of the form $Q^n + (f^k)$, where $Q$ is a monomial ideal, $f$ is a polynomial in the polynomial ring in 4 variables over a field of characteristic $2$.

Tai Huy Ha Hop D. Nguyen Thai Thanh Nguyen Version 2, 105 pages, includes some minor corrections and modifications http://arxiv.org/abs/2504.14902v1 2025-04-21T07:16:01Z 2025-04-21T07:16:01Z

Tame arrangements were informally introduced by Orlik and Terao for the study of Milnor fibers of hyperplane arrangements. After that, tame arrangements have been applied to a lot of researches on arrangements including freeness, master functions and critical varieties, Solomon-Terao algebras, D-modules, Bernstein-Sato polynomials and likelihood geometry. Though arrangements are generically tame, the research on tame arrangements themselves have been only few. In this article we establish foundations for the research of tame arrangements. Namely, we prove the addition theorem for tame arrangements, Ziegler-Yoshinaga type results for tameness and combinatorially determined tameness.

Takuro Abe 25 pages http://arxiv.org/abs/2412.07546v2 2025-04-20T20:21:44Z 2024-12-10T14:34:37Z

We study the behavior of the Hilbert-Kunz multiplicity of powers of an ideal in a local ring. In dimension two, we provide answers to some problems raised by Smirnov, and give a criterion to answer one of his questions in terms of a "Ratliff-Rush version" of the Hilbert-Kunz multiplicity.

Alessandro De Stefani Shreedevi K. Masuti Maria Evelina Rossi Jugal K. Verma minor fixes http://arxiv.org/abs/2407.05629v6 2025-04-20T15:58:26Z 2024-07-08T05:49:11Z

We introduce a condition $(\natural)$ for Cohen--Macaulay semi-standard graded rings, motivated by the study of Ehrhart rings. In this context, condition $(\natural)$ is characterized by a Minkowski decomposition of certain lattice polytopes. We show that if $R$ satisfies $(\natural)$, then its Veronese subrings $R^{(k)}$ are nearly Gorenstein for all sufficiently large $k$. This extends previously known results on Ehrhart rings and shows that condition $(\natural)$ provides a valuable framework from both ring-theoretic and combinatorial perspectives.

Sora Miyashita 18 pages, I made some revisions http://arxiv.org/abs/2403.13637v6 2025-04-20T13:36:06Z 2024-03-20T14:37:43Z

For a commutative Gorenstein Noetherian ring $R$, we construct an affine scheme $X$ solely from DG singularity category $S_{dg}(R)$ of $R$ such that there is a finite surjective morphism $X \rightarrow \mathrm{Spec}(R /I)$, where $\mathrm{Spec}(R /I)$ is the singular locus in $\mathrm{Spec}(R)$. As an application, for two such rings with equivalent DG singularity categories, we prove that the singular loci in their affine schemes have the same dimension.

Leilei Liu Jieheng Zeng 18 pages http://arxiv.org/abs/2503.22314v2 2025-04-20T10:21:22Z 2025-03-28T10:43:38Z

In the paper I introduce a new characteristic class $c(E)$ for a finite rank vector bundle $E$ on an affine scheme $S:=Spec(A)$ - the fundamental class of $E$. The class $c(E)$ is not a characteristic class in the classical sense in the sense that it lives in a pointed cohomology torsor $\operatorname{Ext}^1(L, \operatorname{End}_A(E))$. Most characteristic classes lives in a cohomology group. The pointed cohomology torsor $\operatorname{Ext}^1(L, \operatorname{End}_A(E))$ is a torsor on the abelian group $\operatorname{H}^2(L, Z(\operatorname{End}_A(E)))$ where $Z(\operatorname{End}_A(E))$ is the center of the ring of endomorphisms of $E$ and where the cohomology is the Lie-Rinehart cohomology of the center. The class $c(E)$ is trivial if and only if $E$ has a flat algebraic connection. Hence the class $c(T_S)$ where $T_S$ is the tangent bundle, is an an obstruction for $S$ to be algebraically parallelizable. I use a connection $\nabla$ to define $c(E)$ and I also prove the class $c(E)$ is independent of choice of connection, hence $c(E)$ is an invariant of the vector bundle $E$. The class generalize the Chern class, the Pontryagin class, the Euler class and the Teleman characteristic class. I prove using an explicit example that the class $c(E)$ is stronger than the Chern class and the Euler class. I also give a new proof of a formula for the curvature of a connection $\nabla$ in terms of an idempotent endomorphism $\phi$ defining $E$. This formula was claimed and proved in a paper put out on the arXiv in 2011, and in this paper I give a new proof that is easier to read. The class may be interesting in the study of the "cancellation problem" in affine algebraic geometry and the problem of giving algebraic formulas for the topological Euler characteristic. I also calculate the algebraic deRham cohomology of the complex two sphere and prove it is infinite dimensional.

Helge Øystein Maakestad http://arxiv.org/abs/2504.10722v2 2025-04-19T20:08:10Z 2025-04-14T21:28:35Z

Following the terminology introduced by Arnold and Sheldon back in 1975, we say that an integral domain $D$ is a GL-domain if the product of any two primitive polynomials over $D$ is again a primitive polynomial. In this paper, we study the class of GL-domains. First, we propose a characterization of GL-domain in terms of certain elements we call prime-like. Then we identify a new class of GL-domains. An integral domain $D$ is also said to have the IDF property provided that each nonzero element of $D$ is divisible by only finitely many non-associate irreducible divisors. It was proved by Malcolmson and Okoh in 2009 that the IDF property ascends to polynomial extensions when restricted to the class of GCD-domains. This result was recently strengthened by Gotti and Zafrullah to the class of PSP-domains. We conclude this paper by proving that the IDF property does not ascend to polynomial extensions in the class of GL-domains, answering an open question posed by Gotti and Zafrullah.

Victor Gonzalez Ishan Panpaliya 11 pages http://arxiv.org/abs/2504.14382v1 2025-04-19T19:07:02Z 2025-04-19T19:07:02Z

Let $R$ be a ring and $B = R[X_1, \dots, X_n]$ the polynomial ring in $n$ variables over $R$. In this article, we consider retractions $\varphi : B \longrightarrow B$ such that $\varphi(X_i)$ is either a monic monomial or $0$. We prove that if $R$ is an integral domain, then any such retract is isomorphic to $R^{[p]}$, the polynomial ring in $p$ variables over $R$, for some $0 \le p \le n$. We also characterize different monomial retractions of $B$ which give the same retract.

Sagnik Chakraborty Madhuparna Pal http://arxiv.org/abs/2410.15282v3 2025-04-19T09:09:37Z 2024-10-20T04:41:35Z

We show the vanishing of the first direct image of the structure sheaf of a normal scheme $X$ which is mapped properly and birationally over a regular scheme of any dimension. On the other hand, for any dimension greater than two, we show examples of a proper birational morphism from a normal and Cohen-Macaulay scheme to a regular scheme such that the second direct image does not vanish and has an isolated support.

Shihoko Ishii Ken-ichi Yoshida We strengthened the main theorem and the corollary. We added some references. We corrected some typos. to appear in Michigan Mathematical Journal http://arxiv.org/abs/2307.11036v6 2025-04-18T22:04:46Z 2023-07-20T17:13:06Z

A ring is *unit-additive* if a sum of units is always either a unit or nilpotent. For example, $k[X]$ and $k[X]/(X^2)$ are unit-additive, but $\mathbb Z$ is not. We prove a wide-ranging theorem about unit-additivity in semigroup rings, showing among other things that an affine semigroup ring $A[M]$ is unit-additive if and only if $A$ is unit-additive and $M$ has no nontrivial invertible elements. Passing to algebraic geometry, we show that an irreducible affine variety $V$ over an algebraically closed field $k$ has unit-additive coordinate ring if and only if any polynomial mapping $V \rightarrow k$ has a root. This then places $\mathbb A^1_k$ into the class of varieties that satisfy a version of the Fundamental Theorem of Algebra. Specializing to elliptic curves, we show that the affine coordinate ring of an elliptic curve is always unit-additive. The concept of unit additivity leads to the related concept of unit dimension -- i.e. how far is an integral domain from being unit-additive? It turns out that rings of unit dimension 1 are of some interest, as they include the rings of integers of number fields, all power series rings, and most local rings. We construct rings of all unit dimensions and show that in the affine setting, unit dimension is bounded above by Krull dimension. We also construct the *unit-additive closure* of an integral domain $D$, being the smallest subring of the fraction field of $D$ that is unit-additive, as a localization at a certain multiplicative set in $D$. Throughout, we make connections with well-studied structures like PIDs, Euclidean domains, and the UU property.

Neil Epstein Jay Shapiro We made changes to exposition and references, and corrected some minor errors, due to the referee's suggestions. Also, we corrected the proof of Theorem 4.1. 24 pages J. Algebra 672 (2025), 120-144 http://arxiv.org/abs/2501.01682v2 2025-04-18T19:02:12Z 2025-01-03T07:58:18Z

We study an irreducible component H(X) of the Hilbert scheme Hilb^{2t+2}(X) of a smooth cubic hypersurface X containing two disjoint lines. For cubic threefolds, H(X) is always smooth, as shown in arXiv:2010.11622. We provide a second proof and generalize this result to higher dimensions. Specifically, for cubic hypersurfaces of dimension at least four, we show H(X) is normal, and it is smooth if and only if X lacks certain "higher triple lines." We characterize H(X) using the Hilbert-Chow morphism and describe its singularities when X is special.

Yilong Zhang 32 pages, 3 figures, revised, removed section 10 http://arxiv.org/abs/2504.13591v1 2025-04-18T09:49:51Z 2025-04-18T09:49:51Z

We study forms $I=(f_1,\ldots,f_r)$, $\deg f_i=d_i$, in $F$ which is the free associative algebra $k\langle x_1,\ldots,x_n\rangle$ or the polynomial ring $k[x_1,\ldots,x_n]$, where $k$ is a field and $\deg x_i=1$ for all $i$. We say that $I$ has type $t=(n;d_1,\ldots,d_r)$ and also that $F/I$ is a $t$-presentation. For each prime field $k_0$ and type $t=(n;d_1,\ldots,d_r)$, there is a series which is minimal among all Hilbert series for $t$-presentations over fields with prime field $k_0$ and such a $t$-presentation is called generic if its Hilbert series coincides with the minimal one. When the field is the real or complex numbers, we show that a $t$-presentation is generic if and only if it belongs to a non-empty countable intersection $C$ of Zariski open subsets of the affine space, defined by the coefficients in the relations, such that all points in $C$ have the same Hilbert series. In the commutative case there is a conjecture on what this minimal series is, and we give a conjecture for the generic series in the non-commutative quadratic case (building on work by Anick). We prove that if $A=k\langle x_1,\ldots,x_n\rangle/(f_1,\ldots,f_r)$ is a generic quadratic presentation, then $\{ x_if_j\}$ either is linearly independent or generate $A_3$. This complements a similar theorem by Hochster-Laksov in the commutative case. Finally we show, a bit to our surprise, that the Koszul dual of a generic presentation is not generic in general. But if the relations have algebraically independent coefficients over the prime field, we prove that the Koszul dual is generic. Hereby, we give a counterexample of \cite[Proposition 4.2]{P-P}, which states a criterion for a generic non-commutative quadratic presentation to be Koszul. We formulate and prove a correct version of the proposition.

Ralf Fröberg Clas Löfwall http://arxiv.org/abs/2504.13566v1 2025-04-18T09:08:45Z 2025-04-18T09:08:45Z

(1) Let $(A,\mathfrak{m})$ be complete Noetherian local ring of dimension $d$ and let $P$ be a prime ideal with $G_P(A) = \bigoplus_{n \geq 0}P^n/P^{n+1}$ a domain. Fix $r \geq 1$. If $J$ is a homogeneous ideal of $G_{P^r}(A)$ with $\text{dim} \ G_{P^r}(A)/J > 0$ then the local cohomology module $H^d_J(G_{P^r}(A)) = 0$. (2) Let $A = K[[X_1, \ldots,X_d]]$ and let $\mathfrak{m} = (X_1, \ldots, X_d)$. Assume $K$ is separably closed. Fix $r \geq 1$. Let $J$ be a homogeneous ideal of $G_{\mathfrak{m}^r}(A)$. We show that local cohomology modules $H^{j}_J(G_{\mathfrak{m}^r}(A)) = 0$ for $j \geq d -1$ if and only if $\text{dim} \ G_{\mathfrak{m}^r}(A)/J \geq 2$ and $\text{Proj}\ G_{\mathfrak{m}^r}(A)/J $ is connected.

Tony J. Puthenpurakal