Canonical map of low codimensional subvarieties

DOI10.1016/J.JPAA.2004.08.037MaRDI QIDQ1772253zbMATH OpenOpenAlexFDO

Authors Valentina Beorchia, Ciro Ciliberto, Vincenzo di Gennaro

Publication date 18 April 2005

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0403205

bounded family canonical divsor complete intersection Hilbert scheme

Parametrization (Chow and Hilbert schemes) (14C05) Surfaces and higher-dimensional varieties (14J99) Low codimension problems in algebraic geometry (14M07) Complete intersections (14M10)

Abstract: Fix integers

a g e q 1

,

b

and

c

. We prove that for certain projective varieties

(e.g. certain possibly singular complete intersections), there are only finitely many components of the Hilbert scheme parametrizing irreducible, smooth, projective, low codimensional subvarieties

X

of

V

such that

h^0(X,Cal O_X(aK_X-bH_X)) leq lambda d^{epsilon_1}+c(sum_{1leq h < epsilon_2}p_g(X^{(h)})),

where

d

,

K_{X}

and

H_{X}

denote the degree, the canonical divisor and the general hyperplane section of

X

,

p_{g} (X^{(h)})

denotes the geometric genus of the general linear section of

X

of dimension

h

, and where

l a m b d a

,

e p s i l o n_{1}

and

e p s i l o n_{2}

are suitable positive real numbers depending only on the dimension of

X

, on

a

and on the ambient variety

V

. In particular, except for finitely many families of varieties, the canonical map of any irreducible, smooth, projective, low codimensional subvariety

X

of

V

, is birational.

Review text

Fix integers \(a \geq 1\), \(b\) and \(c\). The authors prove that for certain projective varieties \(V \subset {\mathbb P}^r\) there are only finitely many components of the Hilbert scheme parameterizing irreducible, smooth, projective, low codimensional subvarieties \(X\) of \(V\) such that \[ h^0(X, {\mathcal O}_X(aK_X - bH_X)) \leq \lambda d^{\varepsilon_1} + c \left ( \sum_{1 \leq h < \varepsilon_2} p_g(X^{(h)} ) \right ). \] Here \(d, K_X, H_X\) are the degree, the canonical divisor and the general hyperplane section of \(X\), respectively, and \(p_g (X^{(h)})\) is the geometric genus of the general linear section of \(X\) of dimension \(h\), while \(\lambda, \varepsilon_1, \varepsilon_2\) are suitable positive real numbers depending only on the dimension of \(X\), on \(a\) and on the ambient variety \(V\). The term ``low codimensional summarizes a number of different cases dealt with in the theorem. This extends work of \textit{G. Ellingsrud} and \textit{C. Peskine} [Invent. Math. 95, 1--11 (1989; Zbl 0676.14009)], of the first two authors of this paper (several papers), and of \textit{P. Ellia} and \textit{C. Folegatti} [Commun. Algebra 32, 707--713 (2004; Zbl 1062.14048)]. As a corollary, the authors show that except for finitely many families of varieties, the canonical map of any irreducible, smooth, projective, low codimensional subvariety of \(V\) is birational. Applications of these results can be made for instance to certain possibly singular complete intersections.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Canonical map of low codimensional subvarieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1772253)