Dependence of Lyubeznik numbers of cones of projective schemes on projective embeddings (Q2226038)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7309271
Language Label Description Also known as
default for all languages
No label defined
    English
    Dependence of Lyubeznik numbers of cones of projective schemes on projective embeddings
    scientific article; zbMATH DE number 7309271

      Statements

      Dependence of Lyubeznik numbers of cones of projective schemes on projective embeddings (English)
      0 references
      0 references
      0 references
      0 references
      11 February 2021
      0 references
      Let \(X\) be a projective scheme over \(\mathbb{C}\) with a very ample line bundle \(\mathcal{L}\), and let \(\mathcal{C}\) be the cone of \(X\) associated with \(\mathcal{L}\). Let \(x_{1},\dots,x_{n}\) be the projective coordinates of \(\mathbb{P}^{n-1}(\mathbb{C})\) such that \(X\subseteq \mathbb{P}^{n-1}(\mathbb{C})\) and \(\mathcal{O}_{\mathbb{P}^{n-1}(\mathbb{C})}(1)\vert_{X}=\mathcal{L}\), and let \(\mathfrak{a} \subseteq R=\mathbb{C}[x_{1},\dots,x_{n}]\) be the defining ideal of \(\mathcal{C}\subseteq \mathbb{A}^{n}_{\mathbb{C}}\). Then the Lyubeznik numbers of \(\mathcal{C}\) are defined as \[\lambda_{i,j}(\mathcal{C}):= \dim_{\mathbb{C}} \mathrm{Ext}_{R}^{i}\left(\mathbb{C},H_{\mathfrak{a}}^{n-j}(R)\right)\] for every \(i,j \geq 0\). The authors specify a technical condition that implies the dependence of the Lyubeznik numbers \(\lambda_{i,j}(\mathcal{C})\) on the choice of \(\mathcal{L}\). Using this result, they prove that if \(k\) is a field of characteristic \(0\), then there exist projective schemes over \(k\) such that the Lyubeznik numbers \(\lambda_{i,j}(\mathcal{C})\) of their cone \(\mathcal{C}\) depend on their projective embeddings. This answers a question of [\textit{G. Lyubeznik}, Lect. Notes Pure Appl. Math. 226, 121--154 (2002; Zbl 1061.14005), p. 133] negatively. The striking feature of this result is that it contrasts entirely the positive characteristic case where the machinery of Frobenius endomorphism is available; see [\textit{L. Núñez-Betancourt} et al., Contemp. Math. 657, 137--163 (2016; Zbl 1346.13035)] and [\textit{W. Zhang}, Adv. Math. 228, No. 1, 575--616 (2011; Zbl 1235.13012)].
      0 references
      local cohomology
      0 references
      Lyubeznik numbers
      0 references
      projective schemes
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

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