Local cohomology of module of differentials of integral extensions. II

DOI10.1016/J.JALGEBRA.2022.09.010MaRDI QIDQ2097253zbMATH OpenOpenAlexFDO

Publication date 11 November 2022

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

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

absolute integral closure formal smoothness integral extension local cohomology module of differentials

Syzygies, resolutions, complexes and commutative rings (13D02) Homological conjectures (intersection theorems) in commutative ring theory (13D22) Modules of differentials (13N05) Local cohomology and algebraic geometry (14B15)

Abstract: In this note (

R, m

) denotes a complete regular local ring and

B

mostly denotes its absolute integral closure. The four objectives of this paper are the following: i) to determine the highest non-vanishing local cohomology of

O m e g a_{B / R}

in equicharacteristic

0

, ii) to establish a connection between each of

O m e g a_{B / R}

and

O m e g a_{B / V}

and pull-back of

O m e g a_{A / V}

via a short exact sequence together with new observations on corresponding local cohomologies in mixed characteristic where

V

is the coefficient ring of

R

and

A

is its absolute integral closure, iii) to demonstrate that

O m e g a_{B / R}

can be mapped onto a cohomologically Cohen-Macaulay module and iv) to study torsion-free property for

O m e g a_{C / V}

and

O m e g a_{C / k}

along with their respective completions where

C

is an integral domain and a module finite extension of

R

. In this connection an extension of Suzuki's theorem on normality of complete intersections to the formal set-up in all characteristics is accomplished.

Review text

Let \((R,\mathfrak{m},k)\) be a complete regular local ring, and \(B\) denote its absolute integral closure, i.e. the integral closure of \(R\) in an algebraic closure of its field of fractions. The author pursues four objectives in this paper as follows: i) to determine the highest non-vanishing local cohomology of the module of Kähler differentials \(\Omega_{B\mid R}\) in equicharacteristic \(0\); ii) to establish a connection between each module of Kähler differentials \(\Omega_{B\mid R}\), \(\Omega_{B\mid V}\), and the pull-back of \(\Omega_{A\mid V}\) via a short exact sequence together with new observations on corresponding local cohomologies in mixed characteristic where \(V\) is the coefficient ring of \(R\) and \(A\) is its absolute integral closure; iii) to demonstrate that \(\Omega_{B\mid R}\) can be mapped onto a cohomologically Cohen-Macaulay module; and iv) to study torsion-free property for \(\Omega_{C\mid V}\) and \(\Omega_{C\mid k}\) along with their respective completions where \(C\) is an integral domain that is a module-finite extension of \(R\). In this connection, an extension of Suzuki's theorem on the normality of complete intersections to the formal set-up in all characteristics is accomplished. For Part I, see [ibid. \textit{S. P. Dutta}, J. Algebra 582, 136--156 (2021; Zbl 1464.13009)].

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Local cohomology of module of differentials of integral extensions. II

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