The relative Hilbert scheme of projection morphisms

Abstract

Let [Formula: see text] be a smooth hypersurface of degree [Formula: see text] in a projective space [Formula: see text] and take a point [Formula: see text] in [Formula: see text]. Let [Formula: see text] be the relative Hilbert scheme parametrizing zero-dimensional subscheme, of length [Formula: see text], of fibers of the projection morphism [Formula: see text] from [Formula: see text]. In this paper we present an embedding of the relative Hilbert scheme [Formula: see text] into a weighted projective space and describe its defining ideal for general [Formula: see text]. We also study line bundles on the relative Hilbert scheme [Formula: see text] for [Formula: see text] and general [Formula: see text].