On the Injectivity of the Map of the Witt Group of a Scheme into the Witt Group of its Function Field (Correction).
We present a formula for the intersection multiplicity of the images of two subvarieties under an etale morphism between smooth varieties over a field k. It is a generalization of Fulton's Example 8.2.5 from [3], where a strong additional assumption has been imposed. In a special case where the base field k is algebraically closed and a proper component of the intersection is a closed point, intersection multiplicity is an invariant of etale morphisms. This corresponds with analytic geometry where...
We prove that the generalized index of intersection of an analytic set with a closed submanifold (Thm. 4.3) and the intersection product of analytic cycles (Thm. 5.4), which are defined in [T₂], are intrinsic. We define the intersection product of analytic cycles on a reduced analytic space (Def. 5.8) and prove a relation of its degree and the exponent of proper separation (Thm. 6.3).
The article contains a new proof that the Hilbert scheme of irreducible surfaces of degree m in ℙm+1 is irreducible except m = 4. In the case m = 4 the Hilbert scheme consists of two irreducible components explicitly described in the article. The main idea of our approach is to use the proof of Chisini conjecture [Kulikov Vik.S., On Chisini’s conjecture II, Izv. Math., 2008, 72(5), 901–913 (in Russian)] for coverings of projective plane branched in a special class of rational curves.
The conjecture on the (degree-codimension + 1) - regularity of projective varieties is proved for smooth linearly normal polarized varieties (X,L) with L very ample, for low values of Delta(X,L) = degree-codimension-1. Results concerning the projective normality of some classes of special varieties including scrolls over curves of genus 2 and quadric fibrations over elliptic curves, are proved.