Timeline for Central extensions of group schemes
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 24, 2011 at 4:29 | comment | added | Torsten Ekedahl | @Kevin: Sorry for the sloppy first editing. @Michael: I have added some comments which hopefully clarifies. | |
| Aug 24, 2011 at 4:28 | history | edited | Torsten Ekedahl | CC BY-SA 3.0 |
added 860 characters in body
|
| Aug 23, 2011 at 23:25 | vote | accept | Michael Thaddeus | ||
| Aug 23, 2011 at 23:23 | comment | added | Michael Thaddeus | Hmmm... I don't know what $\Lambda^2$ of a group scheme is, but I suppose I don't have to, as I certainly agree that the commutator will determine a morphism $A \to \mbox{Hom}(A,B)$. Also, this proof seems to assume $B$ is finite? For otherwise, even after Frobenius, couldn't $B$ be something humongous? Anyway, that's the only case I care about. Many thanks!! | |
| Aug 23, 2011 at 20:11 | comment | added | Kevin Buzzard | [There's still one Hom(D(A),D(B)) left.] | |
| Aug 23, 2011 at 8:21 | comment | added | Torsten Ekedahl | It certainly should (fixed). | |
| Aug 23, 2011 at 8:21 | history | edited | Torsten Ekedahl | CC BY-SA 3.0 |
Fixed missing transposition
|
| Aug 23, 2011 at 8:05 | comment | added | Kevin Buzzard | "Now, as sheaves Hom(A,B) is isomorphic to Hom(D(A),D(B))". Shouldn't that be Hom(D(B),D(A))? | |
| Aug 23, 2011 at 5:50 | history | answered | Torsten Ekedahl | CC BY-SA 3.0 |