Skip to main content
added 8 characters in body
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

For the sake of simplicity, let us assume that $\mathcal{L}$ is a polarization, and that we are computing the Hilbert polynomial of $\mathcal{L}$ with respect to itself, i.e. $P(t)=\chi(X, \, \mathcal{L}^{\otimes t})$.

If $\mathcal{L}$ is such that $K_X=(\mathcal{L^{\vee}})^{\otimes b}$, then by Serre duality we obtain $$P'(t+b)=\chi(X, \, (\mathcal{L}^{\vee})^{\otimes t+b}) = \chi(X, K_X \otimes \mathcal{L}^{t+b})=\chi(X, \, \mathcal{L}^{\otimes t})= P(t).$$$$P'(t+b)=\chi(X, \, (\mathcal{L}^{\vee})^{\otimes t+b}) = \chi(X, K_X \otimes \mathcal{L}^{\otimes t+b})=\chi(X, \, \mathcal{L}^{\otimes t})= P(t).$$

For instance, if $X=\mathbb{P}^{n-1}$ and $\mathcal{L}=\mathcal{O}_{\mathbb{P}^{n-1}}(1)$, we have $K_X = (\mathcal{L}^{\vee})^{\otimes n}$ and so $$P'(t+n)=P(t).$$

For the sake of simplicity, let us assume that $\mathcal{L}$ is a polarization, and that we are computing the Hilbert polynomial of $\mathcal{L}$ with respect to itself, i.e. $P(t)=\chi(X, \, \mathcal{L}^{\otimes t})$.

If $\mathcal{L}$ is such that $K_X=(\mathcal{L^{\vee}})^{\otimes b}$, then by Serre duality we obtain $$P'(t+b)=\chi(X, \, (\mathcal{L}^{\vee})^{\otimes t+b}) = \chi(X, K_X \otimes \mathcal{L}^{t+b})=\chi(X, \, \mathcal{L}^{\otimes t})= P(t).$$

For instance, if $X=\mathbb{P}^{n-1}$ and $\mathcal{L}=\mathcal{O}_{\mathbb{P}^{n-1}}(1)$, we have $K_X = (\mathcal{L}^{\vee})^{\otimes n}$ and so $$P'(t+n)=P(t).$$

For the sake of simplicity, let us assume that $\mathcal{L}$ is a polarization, and that we are computing the Hilbert polynomial of $\mathcal{L}$ with respect to itself, i.e. $P(t)=\chi(X, \, \mathcal{L}^{\otimes t})$.

If $\mathcal{L}$ is such that $K_X=(\mathcal{L^{\vee}})^{\otimes b}$, then by Serre duality we obtain $$P'(t+b)=\chi(X, \, (\mathcal{L}^{\vee})^{\otimes t+b}) = \chi(X, K_X \otimes \mathcal{L}^{\otimes t+b})=\chi(X, \, \mathcal{L}^{\otimes t})= P(t).$$

For instance, if $X=\mathbb{P}^{n-1}$ and $\mathcal{L}=\mathcal{O}_{\mathbb{P}^{n-1}}(1)$, we have $K_X = (\mathcal{L}^{\vee})^{\otimes n}$ and so $$P'(t+n)=P(t).$$

added 241 characters in body
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

For the sake of simplicity, let us assume that $\mathcal{L}$ is a polarization, and that we are computing the Hilbert polynomial of $\mathcal{L}$ with respect to itself, i.e. $P(t)=\chi(X, \, \mathcal{L}^{\otimes t})$.

If $\mathcal{L}$ is such that $K_X=\mathcal{L}^{\otimes b}$$K_X=(\mathcal{L^{\vee}})^{\otimes b}$, then by Serre duality we obtain $$P'(t+b)=\chi(X, \, (\mathcal{L}^{\vee})^{\otimes t+b}) = \chi(X, K_X \otimes \mathcal{L}^{t+b})=\chi(X, \, \mathcal{L}^{\otimes t})= P(t).$$

For instance, if $$P'(t+b)=\chi(X, \, (\mathcal{L}^{\vee})^{\otimes t+b}) = \chi(X, K_X \otimes \mathcal{L}^{t+b})=P(t)$$$X=\mathbb{P}^{n-1}$ and $\mathcal{L}=\mathcal{O}_{\mathbb{P}^{n-1}}(1)$, we have $K_X = (\mathcal{L}^{\vee})^{\otimes n}$ and so $$P'(t+n)=P(t).$$

If $\mathcal{L}$ is such that $K_X=\mathcal{L}^{\otimes b}$, then $$P'(t+b)=\chi(X, \, (\mathcal{L}^{\vee})^{\otimes t+b}) = \chi(X, K_X \otimes \mathcal{L}^{t+b})=P(t)$$

For the sake of simplicity, let us assume that $\mathcal{L}$ is a polarization, and that we are computing the Hilbert polynomial of $\mathcal{L}$ with respect to itself, i.e. $P(t)=\chi(X, \, \mathcal{L}^{\otimes t})$.

If $\mathcal{L}$ is such that $K_X=(\mathcal{L^{\vee}})^{\otimes b}$, then by Serre duality we obtain $$P'(t+b)=\chi(X, \, (\mathcal{L}^{\vee})^{\otimes t+b}) = \chi(X, K_X \otimes \mathcal{L}^{t+b})=\chi(X, \, \mathcal{L}^{\otimes t})= P(t).$$

For instance, if $X=\mathbb{P}^{n-1}$ and $\mathcal{L}=\mathcal{O}_{\mathbb{P}^{n-1}}(1)$, we have $K_X = (\mathcal{L}^{\vee})^{\otimes n}$ and so $$P'(t+n)=P(t).$$

Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

If $\mathcal{L}$ is such that $K_X=\mathcal{L}^{\otimes b}$, then $$P'(t+b)=\chi(X, \, (\mathcal{L}^{\vee})^{\otimes t+b}) = \chi(X, K_X \otimes \mathcal{L}^{t+b})=P(t)$$