A criterion for extending meromorphic functions (Q1923239)

Let \(X\) be an irreducible projective variety over an algebraically closed field, let \(Y\) be a closed subvariety of \(X\), and let \(K(\widehat X_Y)\) denote the field of formal rational functions of \(X\) along \(Y\). We say that \(Y\) is \(G_3\) (resp. \(G_2\)) if \(K(\widehat X_Y)=K(X)\) (resp. if \(K(\widehat X_Y)\) is a finite extension of \(K(X)\)) via the canonical map \(K(X)\to K(\widehat X_Y)\). \textit{R. Hartshorne} [Ann. Math., II. Ser. 88, 403-450 (1968; Zbl 0169.23302)] showed that if \(X\) is smooth, if \(Y\) is a locally complete intersection, and if the normal bundle \(N_{Y/X}\) is ample, then \(Y\) is \(G_2\) in \(X\). The present paper extends this result using the notion of \(k\)-ampleness due to \textit{A. J. Sommese} [Math. Ann. 233, 229-256 (1978; Zbl 0381.14007)]. The main theorem asserts that if \(X\) and \(Y\) are smooth and irreducible, and if the normal bundle \(N_{Y/X}\) is \((\dim Y-1)\)-ample, then \(Y\) is \(G_2\) in \(X\). Some corollaries are shown, including: For certain complex rational homogeneous spaces \(X\), the diagonal is \(G_3\) in \(X\times X\).