An optimal extension theorem for 1-forms and the Lipman-Zariski conjecture

which acquires a logarithmic pole along an exceptional divisor of discrepancy zero, thereby improving on a similar example of Greb, Kebekus, Kov'acs and Peternell.

Review text

The authors study the problem of extending certain differential forms defined on a complex normal algebraic variety \(X\) to forms on a suitable desingularization \(\pi:\tilde X \to X\). They use their results to prove the famous Lipman-Zariski (L-Z) conjecture, which says: ``if the tangent sheaf of \(X\) is locally free then \(X\) is smooth. They do it for varieties \(X\) such that, for a suitable divisor \(D\) of \(X\), \((X,D)\) is a log canonical pair, using the terminology of the ``minimal model program, see [\textit{J. Kollár} and \textit{S. Mori}, Birational geometry of algebraic varieties. With the collaboration of C. H. Clemens and A. Corti. Cambridge: Cambridge University Press (1998; Zbl 0926.14003)].NEWLINENEWLINEMore precisely, they prove the following theorem, which implies the result on the L-Z conjecture just cited. Let \(X\) be a normal complex variety, \(\pi:\tilde X \to X\) a log resolution, \(\tilde D\) a simple normal crossings divisor of \(\tilde X\) such that \(\pi _{\star }\Omega ^1_{\tilde X}(\log {\tilde D})\) is reflexive. Then, the L-Z conjecture holds for \(X\).NEWLINENEWLINEThe mentioned reflexivity is equivalent to saying that logarithmic 1-forms defined on the dense open set of points of \(X\) where \(\pi_{\star}(\tilde D)\) has simple normal crossings extend to logarithmic 1-forms on \((\tilde X, \tilde D)\).NEWLINENEWLINEThey also give a criterion in order that, given a log canonical pair \((X,D)\), having a log resolution \(\pi:{\tilde X} \to X\), the direct image \(\pi _{\star}\Omega ^1_{\tilde X}(\log {\tilde D})\) be reflexive. It requires that \(\mathrm{Supp}({\tilde D})\) be between two closed sets of \(\tilde X\), related to the exceptional set of \(\pi\) and a certain preimage of of the divisor \(D\).NEWLINENEWLINEThey prove that such a statement is optimal, both with respect to the conditions imposed on the pole divisor \({\tilde D}\) and the degree (equal to one) of the forms used. More precisely, concerning the degrees, and citing from the abstract, they give an example of ``a 2-form defined on the smooth locus of 2-form defined on the smooth locus of a three-dimensional log canonical pair \((X,\emptyset)\) which acquires a logarithmic pole along an exceptional divisor of discrepancy zero.NEWLINENEWLINEThey also present some (negative) results about the possible reflexivity of certain interesting sheaves involving differential forms when dealing with Kawamata log terminal singularities.

Recommendations

Cited in

(24)

This page was built for publication: An optimal extension theorem for 1-forms and the Lipman-Zariski conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q462617)