Timeline for Hilbert polynomial of $X\times P^1$
Current License: CC BY-SA 3.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 21, 2012 at 21:43 | vote | accept | Mike Lowrey | ||
Dec 21, 2012 at 20:46 | comment | added | Mike Lowrey | 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. | |
Dec 21, 2012 at 20:45 | answer | added | Will Sawin | timeline score: 6 | |
Dec 21, 2012 at 20:40 | comment | added | Will Sawin | Is the canonical divisor of $X \times \mathbb P^1$ ever ample? | |
Dec 21, 2012 at 20:37 | comment | added | Daniel Litt | Yes--but the canonical divisor on $X\times \mathbb{P}^1$ might not be ample. | |
Dec 21, 2012 at 20:26 | comment | added | Mike Lowrey | 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? | |
Dec 21, 2012 at 20:24 | comment | added | Daniel Litt | A Hilbert polynomial depends on a choice of ample line bundle... | |
Dec 21, 2012 at 20:18 | history | asked | Mike Lowrey | CC BY-SA 3.0 |