1
$\begingroup$

Let $X$ be a canonically polarized smooth projective geometrically connected variety over $k$ with Hilbert polynomial $h$.

What is the Hilbert polynomial of $X\times_k \mathbf{P}^1_k$? How does it depend on $h$?

Example. Let $g\geq 2$ be an integer and let $X$ be a genus $g$ curve. Then the Hilbert polynomial of $X\times_k \mathbf{P}^1_k$ should depend only on $g$.

Probably one should use some "canonical" embedding of $\mathbf{P}^n \times\mathbf{P}^1$ into $\mathbf{P}^N$...

$\endgroup$
5
  • $\begingroup$ A Hilbert polynomial depends on a choice of ample line bundle... $\endgroup$ Dec 21, 2012 at 20:24
  • $\begingroup$ Yes. I thought that when one says "canonically polarized" this means we choose some power of the canonical divisor to define the Hilbert polynomial, no? $\endgroup$ Dec 21, 2012 at 20:26
  • 1
    $\begingroup$ Yes--but the canonical divisor on $X\times \mathbb{P}^1$ might not be ample. $\endgroup$ Dec 21, 2012 at 20:37
  • 1
    $\begingroup$ Is the canonical divisor of $X \times \mathbb P^1$ ever ample? $\endgroup$
    – Will Sawin
    Dec 21, 2012 at 20:40
  • 1
    $\begingroup$ Isn't $K_{X\times \mathbf{P}^1}|_{X\times a} = K_X\oplus K_{\mathbf{P}^1,a}$ for all $a$ in $\mathbf{P}^1$. Thus, this would show that the canonical sheaf is never ample because it contains a direct factor. $\endgroup$ Dec 21, 2012 at 20:46

1 Answer 1

6
$\begingroup$

Rather than using a canonical bundle, the obvious choice is the Segre embedding $\mathbb P^n \times \mathbb P^1 \to \mathbb P^{2n+1}$. This is equivalent to choosing the ample line bundle that is tensor product of the pullback of the original ample line bundle with the pullback of the line bundle of degree $1$ on $\mathbb P^1$.

Computing the Hilbert polynomial of a product of varieties with a product of line bundles is equivalent to computing the Euler characteristic of that product, which by the Kunneth formula is the product of the Euler characteristics of the two original varieties.

Thus, the Hilbert polynomial of the product is the product of the Hilbert polynomials. So, for the Segre embedding, this is just the Hilert polynomial of $X$ times $x+1$. If you chose a degree $d$ divisor on $\mathbb P^1$, it would be the Hilbert polynomial of $X$ times $dx+1$.

$\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.