English

Bigness of the tangent bundle of del Pezzo surfaces and $D$-simplicity

Algebraic Geometry 2021-11-10 v2 Commutative Algebra

Abstract

We consider the question of simplicity of a ring RR under the action of its ring of differential operators DRD_R. We give examples to show that even when RR is Gorenstein and has rational singularities RR need not be a simple DRD_R-module; for example, this is the case when RR is the homogeneous coordinate ring of a smooth cubic surface. Our examples are homogeneous coordinate rings of smooth Fano varieties, and our proof proceeds by showing that the tangent bundle of such a variety need not be big. We also give a partial converse showing that when RR is the homogeneous coordinate ring of a smooth projective variety XX, embedded by some multiple of its canonical divisor, then simplicity of RR as a DRD_R-module implies that XX is Fano and thus RR has rational singularities.

Keywords

Cite

@article{arxiv.2002.11010,
  title  = {Bigness of the tangent bundle of del Pezzo surfaces and $D$-simplicity},
  author = {Devlin Mallory},
  journal= {arXiv preprint arXiv:2002.11010},
  year   = {2021}
}

Comments

v2: an error concerning degree 4 del Pezzos is corrected (an alternative proof is given in the new Theorem 6.2); in Section 6 the main results are deduced from previous work of Bogomolov--De Oliveira and De Oliveira--Langdon; references added to the more recent work of H\"oring--Liu--Shao on the tangent bundle of del Pezzos (Remark 9.5)