Timeline for push-forward of linear algebraic group schemes
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 6, 2017 at 15:50 | comment | added | Jason Starr | @nfdc23. Thank you for the correction. I changed "group scheme" to "group algebraic space." | |
| Nov 6, 2017 at 15:48 | history | edited | Jason Starr | CC BY-SA 3.0 |
added 135 characters in body
|
| Nov 6, 2017 at 15:43 | comment | added | nfdc23 | How does Lemma 2.3.3 of the given link imply the representability? (Note that we don't know if $G$ is a closed $X$-subgroup of some ${\rm{GL}}_n$, say even fppf-locally on $S$.) Olsson's paper on Weil restriction for proper flat maps gives that the pushforward is at least a quasi-separated algebraic space locally of finite type. | |
| Nov 6, 2017 at 15:19 | vote | accept | Danny | ||
| Nov 6, 2017 at 13:53 | comment | added | Danny | What I was imagining was that if $G$ sits inside of an affine bundle $A \to X$, where $A$ is the relative $Spec$ of the symmetric algebra of the dual to a vector bundle $V/X$, then the pushforward $\pi_* G$ should sit inside the affine bundle associated to $\pi_* V$. I guess the thing that broke in my intuition was that $\pi_* G$ didn't need to sit inside this as a closed subscheme, but just as something constructible...? | |
| Nov 6, 2017 at 13:38 | vote | accept | Danny | ||
| Nov 6, 2017 at 15:13 | |||||
| Nov 5, 2017 at 22:21 | history | edited | Jason Starr | CC BY-SA 3.0 |
added 631 characters in body
|
| Nov 5, 2017 at 21:47 | history | edited | Jason Starr | CC BY-SA 3.0 |
added 95 characters in body
|
| S Nov 5, 2017 at 21:41 | history | answered | Jason Starr | CC BY-SA 3.0 | |
| S Nov 5, 2017 at 21:41 | history | made wiki | Post Made Community Wiki by Jason Starr |