8
$\begingroup$

For a short exact sequence $1 \to A \stackrel{\iota}{\to} B \stackrel{\pi}{\to} C \to 1$ we have the situation that the square

enter image description here

is both a pushout in groups and also a pullback.

This would be wrong if $A$ is an arbitrary subgroup of $B$, but is true because it is a normal subgroup.

For a field $k$ I can also take the group algebras and consider the square

enter image description here

in differential graded $k$-algebras (all concentrated in degree zero).

This is still a pullback, and since $\pi$ is a fibration and all objects are fibrant, it is also a homotopy pullback.

However, according to my computation it does not seem to be a homotopy pushout (i.e. we have no stability property of the square): If I compute the homotopy pushout of

enter image description here

then I get something which is in a sense "bigger" than $k[C]$.

Is there a way how this can be fixed or a good explanation for that? Can I write down a different homotopy pushout (or more generally a homotopy colimit) that allows me to recover $k[C]$ up to equivalence?

Note: This question is related to Homotopy quotient of groups

Thanks for any hints.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.