MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

2 added 9 characters in body

I would like to prove the following fact, which I learned from a previous MO question.

Let $S_\cdot,T_\cdot\in\mathbf{sSET}$ be simplicial sets, and assume that $T_\cdot$ is Kan. Then there is a weak equivalence $$|\underline{\mathbf{sSET}} (S_\cdot,T_\cdot)|\simeq \underline{\mathbf{TOP}} (|S_\cdot|,|T_\cdot|)$$

Here is what I have so far: By a Quillen adjunction, $$\mathbf{TOP} (|\underline{\mathbf{sSET}} (S_\cdot,T_\cdot)|, \underline{\mathbf{TOP}} (|S_\cdot|,|T_\cdot|)) \cong \mathbf{sSET}(\underline{\mathbf{sSET}} (S_\cdot,T_\cdot),\textrm{Sing}\ \underline{\mathbf{TOP}} (|S_\cdot|,|T_\cdot|))$$ So we need to find a weak equivalence in the second set. Notice $$\textrm{Sing}\ \underline{\mathbf{TOP}} (|S_\cdot|,|T_\cdot|))_k \cong \mathbf{TOP}(\Delta^k\times |S_\cdot|,|T_\cdot|)$$ And by the universal property of coends, there's a map (*) $$|\Delta(k)|\rightarrow \Delta^k$$
($\Delta(k)$ is the simplicial set corepresenting $[k]\in\mathbb{\Delta}$), so we get a map to $\mathbf{TOP}(|\Delta(k) \times S_\cdot|,|T_\cdot|)$, which is in turn in bijection with $\mathbf{sSET}(\Delta(k) \times S_\cdot,\textrm{Sing} |T_\cdot|)$, and that is the $k^{\textrm{th}}$ space of $\underline{\mathbf{sSET}}(S_\cdot,\textrm{Sing}\ |T_\cdot|)$. So unraveling, we need to find a weak equivalence $$\underline{\mathbf{sSET}} (S_\cdot,T_\cdot) \rightarrow \underline{sSET} underline{\mathbf{sSET}} (S_\cdot, \textrm{Sing} |T_\cdot|)$$ We do have the unit map $T_\cdot\rightarrow \textrm{Sing} |T_\cdot|$ of the adjunction in the target, and since all simplicial sets are cofibrant, the result would follow if this unit map is a trivial fibration when $T_\cdot$ is fibrant (by compatibility of inner-hom with the model structure in $\mathbf{sSET}$). Here's where I'm stuck; it seems like I'm missing a key ingredient to finish.

(*) also here I need to show that these set maps $$\mathbf{TOP}(\Delta^k\times |S_\cdot|,|T_\cdot|) \rightarrow \mathbf{TOP}(|\Delta(k) \times S_\cdot|,|T_\cdot|)$$ assemble to a weak equivalence of simplicial sets.

1

# Inner hom and geometric realization.

I would like to prove the following fact, which I learned from a previous MO question.

Let $S_\cdot,T_\cdot\in\mathbf{sSET}$ be simplicial sets, and assume that $T_\cdot$ is Kan. Then there is a weak equivalence $$|\underline{\mathbf{sSET}} (S_\cdot,T_\cdot)|\simeq \underline{\mathbf{TOP}} (|S_\cdot|,|T_\cdot|)$$

Here is what I have so far: By a Quillen adjunction, $$\mathbf{TOP} (|\underline{\mathbf{sSET}} (S_\cdot,T_\cdot)|, \underline{\mathbf{TOP}} (|S_\cdot|,|T_\cdot|)) \cong \mathbf{sSET}(\underline{\mathbf{sSET}} (S_\cdot,T_\cdot),\textrm{Sing}\ \underline{\mathbf{TOP}} (|S_\cdot|,|T_\cdot|))$$ So we need to find a weak equivalence in the second set. Notice $$\textrm{Sing}\ \underline{\mathbf{TOP}} (|S_\cdot|,|T_\cdot|))_k \cong \mathbf{TOP}(\Delta^k\times |S_\cdot|,|T_\cdot|)$$ And by the universal property of coends, there's a map (*) $$|\Delta(k)|\rightarrow \Delta^k$$
($\Delta(k)$ is the simplicial set corepresenting $[k]\in\mathbb{\Delta}$), so we get a map to $\mathbf{TOP}(|\Delta(k) \times S_\cdot|,|T_\cdot|)$, which is in turn in bijection with $\mathbf{sSET}(\Delta(k) \times S_\cdot,\textrm{Sing} |T_\cdot|)$, and that is the $k^{\textrm{th}}$ space of $\underline{\mathbf{sSET}}(S_\cdot,\textrm{Sing}\ |T_\cdot|)$. So unraveling, we need to find a weak equivalence $$\underline{\mathbf{sSET}} (S_\cdot,T_\cdot) \rightarrow \underline{sSET} (S_\cdot, \textrm{Sing} |T_\cdot|)$$ We do have the unit map $T_\cdot\rightarrow \textrm{Sing} |T_\cdot|$ of the adjunction in the target, and since all simplicial sets are cofibrant, the result would follow if this unit map is a trivial fibration when $T_\cdot$ is fibrant (by compatibility of inner-hom with the model structure in $\mathbf{sSET}$). Here's where I'm stuck; it seems like I'm missing a key ingredient to finish.

(*) also here I need to show that these set maps $$\mathbf{TOP}(\Delta^k\times |S_\cdot|,|T_\cdot|) \rightarrow \mathbf{TOP}(|\Delta(k) \times S_\cdot|,|T_\cdot|)$$ assemble to a weak equivalence of simplicial sets.