Timeline for Is there an example of a variety over the complex numbers with no embedding into a smooth variety?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 13, 2009 at 6:10 | comment | added | David Zureick-Brown | Section 2 of the paper "Higher K-theory of Schemes" (or SGA 6) has facts about ample families of line bundles; MR data is at ams.org/mathscinet-getitem?mr=1106918 | |
| Oct 9, 2009 at 4:49 | comment | added | David Rydh | If it does not have any non-trivial line-bundles then, as you say, it cannot be projective. BUT, it can also not have any ample family of line bundles (any such family would be trivial => scheme is quasi-affine which is a contradiction to the properness) and thus cannot be embedded into a smooth variety by 1). | |
| Oct 9, 2009 at 0:21 | comment | added | Ben Webster♦ | wait, isn't that a proof that it's not projective? | |
| Oct 8, 2009 at 19:29 | vote | accept | David Zureick-Brown | ||
| Oct 8, 2009 at 16:47 | history | answered | David Rydh | CC BY-SA 2.5 |