The Jacobian ideal of a commutative ring and annihilators of cohomology

DOI10.1016/J.JALGEBRA.2018.07.034MaRDI QIDQ2219014zbMATH OpenOpenAlexWikidataFDO

Authors Srikanth B. Iyengar, Ryo Takahashi

Publication date 18 January 2021

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.02599

annihilator of Ext module Jacobian ideal Kähler different Noether different

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Derived categories and commutative rings (13D09) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Differential graded algebras and applications (associative algebraic aspects) (16E45)

Abstract: It is proved that for a ring

R

that is either an affine algebra over a field, or an equicharacteristic complete local ring, some power of the Jacobian ideal of

R

annihilates

m a t h r m {E x t}_{R}^{d + 1} (-, -)

, where

d

is the Krull dimension of

R

. Sufficient conditions are identified under which the Jacobian ideal itself annihilates these Ext-modules, and examples are provided that show that this is not always the case. A crucial new idea is to consider a derived version of the Noether different of an algebra.

Review text

Let \(R\) be a commutative noetherian ring. A Noether normalization of \(R\) is a module-finite ring extension \(A\subseteq R\) in which \(A\) is noetherian with finite global dimension. The Jacobian ideal of \(R\) is defined as \[\mathrm{Jac}(R):= \sum _{A\subseteq R} \mathrm{Fitt}^{R}_{0}\left(\Omega_{R|A}\right)\] where the sum runs over all Noether normalizations \(A\subseteq R\). The authors prove that if \(R\) is an affine algebra over a field or an equicharacteristic complete local ring of Krull dimension \(d\), then there is an integer \(s\geq 0\) such that \[\mathrm{Jac}(R)^{s}\mathrm{Ext}^{d+1}_{R}(M,N)=0\] for every \(R\)-module \(M\) and \(N\). Moreover, they show that if \(R\) is further assumed to be equidimensional with \(2\mathrm{depth}(R_{\mathfrak{p}})\geq \dim(R_{\mathfrak{p}})\) for every \(\mathfrak{p}\in \mathrm{Spec}(R)\), then \(s=1\). The new idea in their work is to consider a derived analogue of the Noether different by exploiting the derived Hochschild cohomology.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: The Jacobian ideal of a commutative ring and annihilators of cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219014)