Timeline for Reference for the Natural Ample Line Bundle on the Affine Grassmannian
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 5, 2014 at 14:12 | vote | accept | Peter Crooks | ||
| Jan 3, 2014 at 10:53 | answer | added | user45000 | timeline score: 3 | |
| Dec 30, 2013 at 14:46 | comment | added | Peter Crooks | Thanks @Alexander Chervov and @user76758! Yes, I was definitely not referring to one of the projective spaces $\mathbb{P}^n$. I was referring to the projective space associated with some infinite-dimensional complex vector space. In this case, the vector space is the dual of the space of global sections of the line bundle in question. | |
| Dec 30, 2013 at 14:40 | comment | added | user76758 | See section 3.3 (and appendix A) of the recent PhD thesis of Brandon Levin (at his IAS webpage) for any reductive group $G$ (with connected fibers) over a Dedekind domain $A$; this fleshes out details sketched in notes of Gaitsgory and Faltings' paper "Algebraic loop groups...". Your case is $A=k[\![t]\!]$ for a field $k$, for which arguments simplify; when $G$ arises over $k\subset k[\![t]\!]$ then additional simplifications occur. A choice of $G\hookrightarrow {\rm{GL}}(V)$ is used to build the ample line bundle. (NB. You cannot "include" $\mathcal{G}r$ in a projective space; it is too big.) | |
| Dec 30, 2013 at 12:25 | comment | added | Alexander Chervov | The other way to describe having a cocycle of G((t)) you can construct a line bundle on G((t)) and then check its invariance. | |
| Dec 30, 2013 at 12:24 | comment | added | Alexander Chervov | Might be it is discussed in Pressly, Segal "Loop groups". Let me just mention informal idea. G - is simple, so there is non-trivial element in H^3(G), by the trangression for the loops space it is mapped into H^2(LG) - the same cocycle which describes the central extension of LG. It is somehow invariant so we can push it down to G((t))/G[[t]]. So you get element in H^2(Gr). Now standard correspondence between H^2 and Line bundles gives you this line bundle. | |
| Dec 29, 2013 at 21:01 | history | asked | Peter Crooks | CC BY-SA 3.0 |