Recall that the geometric realisation functor $| - |: sSet \to Top$ preserves products (choosing $Top = k Space$ or similar). Thus any given singleton Grothendieck pretopology on $Top$ gives rise to a singleton pretopology on $sSet$. I have in mind three, no four, examples:
- open covers (that is, $\coprod U_i \to X$ for $\{U_i\}$ an open cover of $X$)
- numerable open covers (ditto)
- open surjections
- maps admitting local sections (=locally split maps)
The pretopology $J^*$ on $sSet$ (which is a wide subcategory) arises as the pullback along $| - |$ of the given pretopology $J$ on $Top$. Now it occurs to one that there might be some sort of characterisation of maps of simplicial sets that correspond to, for example, open surjections. Since geometric realisation of maps in $sSet$ give rise to cellular maps (if we retain for argument's sake the cellular structure on the spaces involved), one could think of this as a characterisation of cellular maps which have the required property. But it seems to me that cellularity is sort of orthogonal (not the technical meaning!) to openness, in that it seems hard to think of a map of simplicial sets which is an open cover upon geometric realisation. Thus 1. and 2. don't seem very promising.
However, if one has a twisted cartesian product (see, e.g. May's book on simplicial sets), which is the 'same thing' as a fibre bundle in the world of simplicial sets, then geometric realisation gives you a fibre bundle (even a principal G-bundle), hence open surjection. But this is obviously too strong to give all of $J^*$ for either $J=$ open surjections or $J=$ locally split maps. So my question is:
Let $J$ be either the class of open surjections or the class of locally split maps in $Top$. Is a characterisation of those maps in $J^*$ likely? Possible? Already in the literature?
One could then compare this to the canonical topology on $sSet$, which consists of the epimorphisms. One would hope that $J^*$ is subcanonical, but this looks like it should follow from the definition...