The dualizing complex of \(F\)-injective and Du Bois singularities (Q1745323)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    The dualizing complex of \(F\)-injective and Du Bois singularities
    scientific article

      Statements

      The dualizing complex of \(F\)-injective and Du Bois singularities (English)
      0 references
      0 references
      0 references
      0 references
      17 April 2018
      0 references
      Let \((R, \mathfrak{m}, k)\) be an excellent ring of equal characteristic. The paper under review studies several complexes associated to the normalized dualized complex of \(R\), when \(R\) is \(F\)-injective in prime characteristic or when \(R\) defines a Du Bois singularity in characteristic zero. Specifically the authors assume that either (1) \(R\) is F-injective of prime characteristic or (2) \(R\) is essentially of finite type over a field of characteristic zero and is Du Bois. Now fix an integer \(j>0\) and assume that the local cohomology modules \(H^i_{\mathfrak{m}}(R)\) have finite length for all \(0\leq i<j\). The main result of the paper shows that, under these conditions, the trucation of the normalized dualizing complex \(\tau_{>-j}\omega_R^\cdot\) is quasi-isomorphic to a complex of \(k\)-vector spaces. This theorem recovers a result of Ma that asserts that \(F\)-injective singularities with isolated non-Cohen-Macaulay locus are [\textit{L. Ma}, Math. Ann. 362, No. 1--2, 25--42 (2015; Zbl 1398.13003)]. Additionally, it answers a question of Schwede and Takagi, by showing that Du Bois singularities with isolated non-Cohen-Macaulay locus are Buchsbaum, generalizing work of \textit{M. N. Ishida} [in: Algebraic and topological theories. Papers from the symposium dedicated to the memory of Dr. Takehiko Miyata held in Kinosaki, October 30- November 9, 1984. Tokyo: Kinokuniya Company Ltd.. 387--390 (1986; Zbl 0800.32007)]. Moreover, the paper contains a more elementary approach of the main result in the case where the characteristic is prime and the field \(k\) is perfect. It also contains generalizations of the main result by involving some additional complexes related to normalized dualizing complex \(\omega_R^{\cdot}\).
      0 references
      \(F\)-injective
      0 references
      Du Bois
      0 references
      dualizing complex
      0 references
      local cohomology
      0 references

      Identifiers

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