**Background**


Recently I asked [a question](https://mathoverflow.net/questions/425803/simplicial-nerve-of-a-topological-group) on a particular construction ot the classifying space of a topological group. I got an answer, but it relied on nontrivial Quillen equivalences between various models of $(\infty,1)$-categories, and I was wondering whether there might be a more elementary approach. I then stumbled on [a paper by V.Hinich (arxiv 0704.2503)](https://arxiv.org/abs/0704.2503), which contained the line of argument I was thinking of.


**Question**


In the aformentioned paper, it is asserted (in Proposition 2.6.2) that for a simplicial group $G$, the $\overline{W}$-construction and the homotopy coheret nerve $\mathfrak{N}$ (applied to $G$ by regarding it as a simplicially enriched category with one object) evaluate to homotopy equivalent Kan complexes. The proof is rather short, but is unsatisfactory: The author constructs a comparison map $\overline{W}(G)\to\mathfrak{N}(G)$, computes the homotopy groups of $\overline{W}(G)$ and $\mathfrak{N}(G)$, observe that they coincide, and conclude that they have the same homotopy type without actually showing that the comparison map induces isomorphisms in the homotopy groups. Perhaps the last step might be obvious to the eyes of experienced, but it is not clear to a novice. Can someone explain why the cited proposition ought to be true?



Homotopy coherent nerve versus simplicial nerve
Both $\def\W{{\bar W}}\W$ and $\def\N{\mathfrak{N}}\N$ are right Quillen functors from the model category of simplicial groups to the model category of reduced simplicial sets (see the original paper by Dwyer–Kan, or Proposition V.6.3 in Goerss–Jardine).
Thus, to show that the natural transformation $\W→\N$ is a weak equivalence,
it suffices to show that the adjoint natural transformation $\def\L{{\bf L}}\L\_\N→\L\_\W$ of associated left adjoint functors (denoted by $\L\_{(-)}$) is a natural weak equivalence.


The natural transformation $\L\_\N→\L\_\W$ is a natural transformation of left Quillen functors from simplicial sets to simplicial groups.
Since reduced simplicial sets are generated by $\def\Z{{\bf Z}}\W\Z≃S^1$ under homotopy colimits,
to show that $\L\_\N→\L\_\W$ is a natural weak equivalence,
it suffices to show that $\L\_\N(S^1)→\L\_\W(S^1)$ is a weak equivalence of simplicial sets. This is done by a simple direct inspection.


