Projective geometry and formal geometry
The book contains an introduction to some applications of the theory of formal functions on subvarieties \(Y\) of projective varieties \(X\). Formal functions and formal schemes were introduced by Zariski and Grothendieck as the algebraic counterpart of the analytic concept of functions over tubular neighbourhoods of \(Y\) inside \(X\). Technically, formal schemes are defined by taking the algebraic completion of the structure sheaf of \(X\) modulo the ideal sheaf defining \(Y\), i.e. the direct limit of successive infinitesimal neighbourhoods of \(Y\) in \(X\). Formal functions are thus a tool towards the study of the extensions of functions on \(Y\) to functions defined in the ambient variety \(X\). From this point of view, formal functions have a natural application to the study of subvarieties of \(X\) which contain \(Y\) (an approach which can be used in any characteristic). The author points out mainly the relations of formal geometry with the problem of extending a variety \(Y\subset \mathbb P^n\) as a hyperplane section of a subvariety \(Y'\subset \mathbb P^{n+1}\), extending bundles from \(Y\) to \(X\) and Hartshorne's conjecture for varieties of low codimension. A first motivation for this analysis is the remark that the first proof of the celebrated Zak extension principle was obtained by the machinery of formal extensions. A simplified proof, by means of the Fulton--Hansen connectedness principle, was introduced later. The author exploits carefully the interplay between formal geometry and the connectedness principle. For instance, \(Y\) is defined of type G3 in \(X\) if the field \(K(X_Y)\) of meromorphic formal functions of \(Y\) in \(X\) is isomorphic to \(K(X)\). Then it is a general fact that subvarieties of low codimension are likely to be of type G3. The author shows that (in any characteristic), for any closed irreducible subvariety \(X\subset \mathbb P^n\times\mathbb P^n\) of dimension \(>n\), the intersection of \(X\) with the diagonal is G3 in \(X\). This result, an improvement for the connectedness principle, can be used to determine the geometry of varieties of low codimension and their deformations. For instance, it is applied in the book to prove restrictions on subvarieties of \(X\) which are \(0\)-loci of sections of vector bundles. Further applications to generating subvarieties of homogeneous spaces and the geometry of quasi--lines (rational curves with many infinitesimal deformations) are discussed.
- Gröbner deformations, connectedness and cohomological dimension
- Seshadri positive submanifolds of polarized manifolds
- Grothendieck-Lefschetz for ample subvarieties
- Subvarieties with partially ample normal bundle
- Formalizing constructive projective geometry in Agda
- Weighted Fano varieties and infinitesimal Torelli problem
- Simply connected varieties in characteristic \(p>0\)
- Connectivity and a problem of formal geometry
- On a theorem of Faltings on formal functions
- scientific article; zbMATH DE number 5190352 (Why is no real title available?)
- scientific article; zbMATH DE number 611050 (Why is no real title available?)
- Surprising examples of nonrational smooth spectral surfaces
- scientific article; zbMATH DE number 1860632 (Why is no real title available?)
- Analytic Curves in Algebraic Varieties over Number Fields
- On the normal bundle of submanifolds of \mathbb P^n
- Grothendieck-Lefschetz theory, set-theoretic complete intersections and rational normal scrolls
- Submanifolds with ample normal bundle
- Small codimension subvarieties in homogeneous spaces
- Extendability of foliations
- G3-criteria and applications
This page was built for publication: Projective geometry and formal geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3160337)
