Timeline for Lie algebra and base change
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 12, 2015 at 3:05 | comment | added | nfdc23 | Oops, you are correct: it is indeed represented by Spec of the symmetric algebra of $e^{\ast}\Omega^1_{G/k}$. What fails when the latter isn't a vector bundle is that this representing module scheme is determined by its $k$-module of $k$-points (usually it is not). | |
| Oct 12, 2015 at 2:45 | vote | accept | Lisa S. | ||
| Oct 12, 2015 at 2:43 | comment | added | Lisa S. | Thank you. I am confused by your last sentence: isn't $\mathbb{V}(e^*(\Omega^1_{G/k}))$ the scheme that is representing the functor $k' \mapsto \mathrm{Lie}_{G_{k'}} = \mathrm{Hom}_{k'}((e')^*(\Omega^1_{G/k'}), k')$ (by SGA 3, Expose I, 4.6.3.1)? | |
| Oct 12, 2015 at 2:05 | review | First posts | |||
| Oct 12, 2015 at 2:19 | |||||
| Oct 12, 2015 at 2:02 | history | answered | nfdc23 | CC BY-SA 3.0 |