8:29 AM
1

Let $\mathcal K = k((t))$ be the field of formal Laurent series over $k$, and by $\mathcal O = k[[t]]$ the ring of formal power series over $k$. By choosing a trivialization of $E$ over all of $Spec \mathcal O$, the set of $k$-points of $Gr_G$ is identified with the coset space \$G(\mathcal K)/G(\...

5 hours later…
1:21 PM