Toward a higher codimensional Ueda theory (Q897507)

The purpose of this article is to investigate a codimension-two analogue of Ueda's theory. Given a complex manifold \(X\) and a smooth hypersurface \(S\) of \(X\), let \(C\) be a smooth compact hypersurface of \(S\). The author gives a sufficient condition for the line bundle \({\mathcal{O}}_X(S)\) to be flat in a neighborhood of \(C\) in \(X\). Precisely, under the assumption on the normal bundle \(N_{S/X}\) to be flat around \(C\), the author defines an obstruction class \[ u_{n,m}(C,S,X)\in H^1(C, {{N_{S/X}}|}_C^{-n}\oplus N_{C/S}^{-m}) \] for each \(n\geq 1\), \(m\geq 0\) such that \({\mathcal{O}}_X(S)\) is not flat around \(C\) if there exist \(n\geq 1\), \(m\geq 0\) with \(u_{n,m}(C,S,X)\neq 0\). In particular if \(C\) is a smooth compact Kähler hypersurface of \(S\) such that \({{N_{S/X}}|}V\) is flat, where \(V\) is a small neighborhood of \(C\) in \(S\), under some additional assumption on \(N_{C/S}\) and \({N_{S/X}}|{}_C\), if \(u_{n,m}(C,S,X)= 0\) for all \(n\geq 1\) and \(m\geq 0\) then there exists a neighborhood \(U\) of \(C\) in \(X\) such that \({\mathcal{O}}_X(S)| U \) is flat. As an application the author gives a sufficient condition for the anticanonical bundle of the blow-up of \(\mathbb{CP}^3\) at \(8\) points to be semi-ample.