Local cohomology of module of differentials of integral extensions. II (Q2097253)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Local cohomology of module of differentials of integral extensions. II
    scientific article

      Statements

      Local cohomology of module of differentials of integral extensions. II (English)
      0 references
      0 references
      11 November 2022
      0 references
      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)].
      0 references
      module of differentials
      0 references
      integral extension
      0 references
      formal smoothness
      0 references
      local cohomology
      0 references
      absolute integral closure
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references