12
$\begingroup$

Suppose you are given a closed subvariety $V$ of projective space $\mathbb{P}^n_k$. Let's say we fix the degree and the dimension of $V$. Can we then bound the arithmetic genus of $V$, or does no such bound exist?

$\endgroup$
6
  • 3
    $\begingroup$ Yes, this is called the castelnuovo bound. For curves you'll find it in Hartshorne. In this case, g is bounded by a simple quadratic polynomial in the degree, and I think there are higher-dimensonal analogues as well. $\endgroup$
    – J.C. Ottem
    Feb 17, 2011 at 16:25
  • 1
    $\begingroup$ Is this true also for singular varieties? I know about the bounds in Hartshorne, but the result there (Theorem 6.6.4) is for non-singular curves in P^3. $\endgroup$
    – Wanderer
    Feb 17, 2011 at 16:31
  • $\begingroup$ References are most welcome! $\endgroup$
    – Wanderer
    Feb 17, 2011 at 16:32
  • $\begingroup$ There is a lot of literature on this out there. Try for example Zak's article mathecon.cemi.rssi.ru/zak/files/… $\endgroup$
    – J.C. Ottem
    Feb 17, 2011 at 16:39
  • 3
    $\begingroup$ You don't even need to fix the dimension as it is bounded by $n$. $\endgroup$ Feb 17, 2011 at 19:16

2 Answers 2

8
$\begingroup$

I don't know about an explicit bound, but a bound exists in theory for arbitrary varieties. This follows from the fact that the set of cycles, and in particular subvarieties, in $\mathbb{P}^n$ of fixed degree $d$ and dimension $N$ are parameterized by a Chow variety $Chow_{d,N}$ (it needn't be irreducible, but it is certainly of finite type). More formally, consider the preimage of $Chow_{d,N}$ in the Hilbert scheme. This preimage has finitely many components, and therefore there are finite number of possible Hilbert polynomials for a fixed $d,N$.

This is a bit sketchy, but perhaps someone else can supply more details or precise references.

$\endgroup$
3
$\begingroup$

I believe it was first proved by Kleiman (you only need to assume fixed dimension and degree, no need to assume a subvariety of some fixed $\mathbb P^n$), see Corollary 6.11

S. Kleiman, Exp XIII in A. Grothendieck et al., Theorie des Intersections et Theoreme de Riemann-Roch (SGA 6), Lecture Notes in Math No. 225, Springer-Verlag, Heidelberg (1971).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.