Bigness of the tangent bundle of del Pezzo surfaces and $D$-simplicity
Abstract
We consider the question of simplicity of a ring under the action of its ring of differential operators . We give examples to show that even when is Gorenstein and has rational singularities need not be a simple -module; for example, this is the case when 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 is the homogeneous coordinate ring of a smooth projective variety , embedded by some multiple of its canonical divisor, then simplicity of as a -module implies that is Fano and thus 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)