Hi,


Assume you have a cosimplicial group $G$, so that for each $n \ge 0$ there is a group $G\_n$, and you have the usual cofaces and codegeneracies. 



> 
> Is there a known way to associate to this a collection of homology/homotopy groups in a sensible way? 
> 
> 
> 


"Sensible" means at least that it should provide a generalisation of the following two particular cases:


(1) When each $G\_n$ is abelian, one can get a cochain complex (I believe this is called the Dold-Kan construction), and one can consider its cohomology groups.


(2) (I apologize for the vagueness of this one.) In low degrees, one can sometimes use a couple of tricks. I have, for example, come across the following situation: the map $x\mapsto d^0(x) d^2(x)$ was a homomorphism $G\_2 \to G\_3$, as was the map $x\mapsto d^3(x)d^1(x)$; so I could consider their equalizer. Moreover the map $x\mapsto d^0(x)d^1(x)^{-1}d^2(x)$ was a homomorphism $G\_1 \to G\_2$, whose image was normal in the preceding equalizer. Taking the quotient gave a generalisation of $H^2$ in this lucky situation. The "general" definition which I'm asking for, should it exist, would hopefully coincide with this equalizer trick whenever it makes sense.


Let me also point out that, in the example above, I had originally started with some bigger cosimplicial group $(\Gamma\_n)$ and then decided to restrict to the smaller $(G\_n)$ precisely so that I could use this little trick. I do believe that the details of this example are completely irrelevant to the general discussion; I mention it because someone might know how to go from a cosimplicial group to a "nicer" one somehow.


Thank you for reading this.


Pierre



Are there homology groups for cosimplicial groups?
If we put some (to me) pretty reasonable-looking axioms, then the answer is no. 


For a cosimplicial group $G$ let $h\_0G$ be the equalizer of the maps $d\_0,d\_1:G\_0\to G\_1$.


Suppose there is another functor $h\_1$ from cosimplicial groups to groups such that for a short exact sequence $$1\to G\to H\to K\to 1$$ of cosimplicial groups the exact sequence $$1\to h\_0G\to h\_0H\to h\_0K$$ extends to an exact sequence 
$$
1\to h\_0G\to h\_0H\to h\_0K\to h\_1G\to h\_1H\to h\_1K
$$
with the middle map natural in the obvious sense and the other new maps given by the functoriality of $h\_1$. Suppose that $h\_1$ coincides with the usual thing in the case of cosimplicial abelian groups, and suppose also that $h\_1G$ is trivial when both $G\_0$ and $G\_1$ are trivial.


Make a cosimplicial group $H$ where $H\_0$ has order $2$ and $H\_1$ is nonabelian of order $6$ and the two face maps are not equal. Let $G$ be the kernel of abelianization $H\to H^{ab}$. Then $h\_0H$ is trivial, $h\_0H^{ab}$ has order $2$, so $h\_1G$ must have a subgroup of order $2$. On the other hand $G\_0$ is trivial and $G\_1$ has order $3$, which implies that $h\_1G$ injects into $h\_1G^{ab}$, which has order $3$. Contradiction.


