Timeline for Do affine schemes form a Mal'cev category?
Current License: CC BY-SA 2.5
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 28, 2011 at 8:52 | answer | added | Dima Roytenberg | timeline score: 5 | |
Jan 10, 2011 at 21:04 | vote | accept | David Roberts♦ | ||
Jan 10, 2011 at 14:15 | answer | added | Greg Muller | timeline score: 8 | |
Jan 10, 2011 at 4:36 | comment | added | David Roberts♦ | Ah, I see. Thanks. Would you like to post this as an answer? | |
Jan 10, 2011 at 4:10 | comment | added | Greg Muller | Quotients of $\mathbb{C}[x,y]$ are closed subschemes of $A^1\times A^1$, where $A^1$ is the complex affine line. The quotient I gave corresponds to the relation I mention. | |
Jan 10, 2011 at 3:36 | comment | added | David Roberts♦ | That would be a counterexample to the claim that Aff is Mal'cev. I'm not sure why you're taking a quotient of $\mathbb{C}[x,y]$, though. | |
Jan 10, 2011 at 2:53 | comment | added | Greg Muller | What if I take an algebraic reflexive relation which is not an eq. relation on the affine line? For instance, the relation (x,x) and (x,0) is algebraic, and the corresponding quotient algebra of $\mathbb{C}[x,y]$ is $\mathbb{C}[x,y]/(xy-y^2)$. | |
Jan 10, 2011 at 2:29 | history | asked | David Roberts♦ | CC BY-SA 2.5 |