We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Commutative Algebra

Title: Some Homological Conjectures Over Idealization Rings

Abstract: Let $(R,\mathfrak{m},k)$ be a Noetherian local ring and let $M$ be a finitely generated $R$-module. The main focus of this paper is to give positive answers for some long-standing homological conjectures over the idealization ring $R\ltimes M$. First, if $N$ is a $R\ltimes k$-module, we show that the vanishing of $\operatorname{Ext}_{R\ltimes k}^{i}(N,N\oplus (R\ltimes k))$ for $i=1,2,3$ gives that $N$ is free, and this provides a sharpened version of the Auslander-Reiten conjecture over $R\ltimes k$. Also, we give a characterization of the Betti numbers of an $R$-module over the idealization
ring $R\ltimes M$ and, as a biproduct, we derive that the Jorgensen-Leuschke conjecture holds true for $R\ltimes M$. Further, we show that the true of Buchsbaum-Eisenbud-Horrocks and Total Rank conjectures over $R$ implies the true over $R\ltimes M$. This establishes particular answers for both conjectures for modules with infinite projective dimension, especially when $R$ is regular or a complete intersection ring. As applications of the idealization ring theory, we show that the
Zariski-Lipman conjecture holds for any ring $R$ provided the Betti numbers of the $R$-derivation module $\operatorname{Der}_k(R)$, seen as $R\ltimes k$-module, satisfy the inequality $\beta_{n}^{R\ltimes k}(\operatorname{Der}_k(R))\leq\beta_{n-1}^{R\ltimes k}(\operatorname{Der}_k(R))$ for some $n>0$. Some implications regarding the Herzog-Vasconcelos conjecture are also provided.
Comments: 18 pages, 0 figures
Subjects: Commutative Algebra (math.AC)
MSC classes: 13D22, 13D07, 13H05, 13H10, 13C10
Cite as: arXiv:2405.06745 [math.AC]
  (or arXiv:2405.06745v1 [math.AC] for this version)

Submission history

From: Igor Nascimento [view email]
[v1] Fri, 10 May 2024 18:02:54 GMT (26kb)

Link back to: arXiv, form interface, contact.