Skip to main content
added 14 characters in body; added 4 characters in body
Source Link

I guess this is given by the "evaluation" map: By definition, M=\Hom_{W[F,V]}(G,CW)$M=\text{Hom}_{W[F,V]}(G,CW)$ and if you have an element g$g$ in G(k[[t]])$G(k[[t]])$, evaluation at g$g$ will induce a map from M$M$ to CW(k[[t]])$CW(k[[t]])$.

I guess this is given by the "evaluation" map: By definition, M=\Hom_{W[F,V]}(G,CW) and if you have an element g in G(k[[t]]), evaluation at g will induce a map from M to CW(k[[t]]).

I guess this is given by the "evaluation" map: By definition, $M=\text{Hom}_{W[F,V]}(G,CW)$ and if you have an element $g$ in $G(k[[t]])$, evaluation at $g$ will induce a map from $M$ to $CW(k[[t]])$.

Source Link

I guess this is given by the "evaluation" map: By definition, M=\Hom_{W[F,V]}(G,CW) and if you have an element g in G(k[[t]]), evaluation at g will induce a map from M to CW(k[[t]]).