Skip to main content
1 of 7
Simon Markett
  • 1.6k
  • 16
  • 20

What does it mean for the $\Pi_\infty$ grupoid to be fully fibrant?

The original question I had was:

If I have a sequence of simplicial spaces

$$A\to B\to C$$

which is degree-wise a homotopy fibration, under which conditions is the geometric realization also a homotopy fibration?

I bet there are tons of results on this. I have found the following theorem published by Anderson:

Theorem

If $X\to Y$ is a map of simplicial spaces such that $\pi_0(f)$ is a Kan-fibration, and if the higher groupoids $\Pi_\infty(X)$ and $\Pi_\infty(Y)$ are fully fibrant, then for any map $g:Y'\to Y$ of simplicial spaces, if $X'$ is the homotopy theoretic fiber product of $Y'$ with $X$ over $Y$, $|X'|$ is the homotopy theoretic fiber product of $|Y'|$ with $|X|$ over $|Y|$.

Now the theorem answers the question, by letting $X=\ast$ and $Y=C$. The condition on $\pi_0(f)$ becomes then something easy, but I am having trouble understanding the motivation behind the $\Pi_\infty(Y)$ condition. In fact I have quite a lot of structure on the simplicial spaces in question and I doubt that it is even prudent to work with the definition itself. Can anybody enlighten me?

For me $C=Y$ is itself the classifying space of a category and moreover a group-like H-space.

Simon Markett
  • 1.6k
  • 16
  • 20