14
$\begingroup$

Let $G$ be a reductive group over ${\mathbb C}$ and let $G[[t]]$ denote the corresponding group over the formal power series ring ${\mathbb C}[[t]]$. This is a group scheme, so one can speak about its ring of functions (by definition this is the direct limit of functions on $G({\mathbb C}[[t]]/t^n)$). Can one say anything about this algebra as a representation of $G[[t]]\times G[[t]]\rtimes {\mathbb C}^* $ or even as a representation of $G\times G\times {\mathbb C}^* $ (${\mathbb C}^*$ acts by rotating $t$)? For example, if $G=SL(2)$ and $V_n$ is the space of polynomials of degree $n$ on ${\mathbb C}^2[[t]]$ (naturally a representation of $G[[t]]\rtimes {\mathbb C}^*$), then can one describe the above ring of functions as the direct sum of $V_n\otimes V_n$ with some multiplicity space?

$\endgroup$
3
  • $\begingroup$ Why are you defining the ring of functions to be a direct limit? For example, when $G = GL_1$, the ring of functions under the usual definition is $\mathbb{C}[[t]]^\times$, which does not look like a direct limit of $(\mathbb{C}[t]/(t^n))^\times$. Are you working formally in a category of pro-objects that in this case happen to be representable by affine schemes? $\endgroup$
    – S. Carnahan
    Jun 24, 2011 at 7:31
  • $\begingroup$ I don't see any other definition (what do you mean by ${\mathbb C}[[t]]^{\times}$ being the ring of functions? It is not a ring...) $\endgroup$ Jun 25, 2011 at 11:22
  • 1
    $\begingroup$ Well, I agree that your definition of "ring of functions" looks slightly convoluted. Your $G[[t]]$ is obtained by base change from $G$, which is affine, so the ring of functions of $G[[t]]$ is simply the ring of functions of $G$ tensor $\mathbb{C}[[t]]$ (by definition of base change or product of schemes). In the example of $GL_1$, the ring of functions (over $\mathbb{C}$) is $\mathbb{C}[u]$ localized at $u$ (the determinant is invertible), in other words the ring of Laurent polynomials $\mathbb{C}[u,u^{-1}]$, and the ring of functions of $G[[t]]$ is $\mathbb{C}[[t]][u,u^{-1}]$. $\endgroup$ Jun 28, 2011 at 9:10

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.