Timeline for Algebraic geometry for cocommutative corings with counit.
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 17, 2009 at 19:25 | history | edited | Greg Kuperberg | CC BY-SA 2.5 |
added 797 characters in body
|
| Dec 17, 2009 at 19:03 | comment | added | Greg Kuperberg | Once again, you have quickly caught me in an absurd error. Maybe I should have you pre-referee my papers. Anyway, thank you; I will fix it. | |
| Dec 17, 2009 at 18:22 | comment | added | Leonid Positselski | This is a good example. I am not sure how to atomize a projective variety into a Cantor-set-like structure, though. If C is a nonnegatively graded coalgebra over k with C_0=k, then the coalgebra C is conilpotent and its spectrum, as defined in my answer, consists of a single point. When the dual graded algebra to C is finitely generated, the ind-scheme corresponding to C can be also thought of as a formal scheme. This formal scheme is basically the affine cone over the corresponding projective variety, formally completed at the origin. So it has a single closed point. | |
| Dec 17, 2009 at 15:02 | history | answered | Greg Kuperberg | CC BY-SA 2.5 |