Timeline for Do orbits and stable loci of group actions have natural scheme structures?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 29, 2009 at 5:35 | comment | added | Andrew Critch | Might I suggest "scheme-theoretic orbit"? | |
| Oct 29, 2009 at 2:12 | comment | added | Anton Geraschenko | I have to disagree with this point of view. It just feels like an abuse of the word "orbit". Whatever the orbit is, the natural map from G to it should be a surjection, not just dominant. I think our only disagreement is about terminology. But I should also point out that in order to have a scheme-theoretic closed image, the map must be quasi-separated and quasi-compact. If you take G to be the discrete group ℤ and take X to be quasi-compact, then this condition will fail, so it's not even clear how to get a scheme structure on the closure of the orbit. | |
| Oct 28, 2009 at 21:00 | history | answered | Harold Williams | CC BY-SA 2.5 |