Can homotopy limits of simplicial sheaves be calculated (correctly) using sheaves of Kan complexes?

Question

$\DeclareMathOperator\holim{holim}$ Let $sSh$ be the category of simplicial sheaves on some site (I like using the psychological crutch of the site having enough points; further, to clarify a bit, "simplicial sheaf $F$" here means each level $F_n$ is an honest/old fashioned sheaf). For a (small) diagram $X\colon I\to sSh$, define the simplicial sheaf $\widetilde X$ by

$$ \widetilde{X}(U) = \holim_I X(U) $$

where the right hand side is "the" (really "an") explicit model for the homotopy limit of simplicial sets (as described, say, on p.23 here by the "equalizer formula").

Suppose that $Y\colon I \to sSh$ is another diagram, and that the components of both $X$ and $Y$ are sheaves of Kan complexes. Further, assume $X \to Y$ is a local weak equivalence (if the site had enough points, "local weak equivalence" = "weak equivalence of simplicial sets on all stalks").

Question: Is the induced map $\widetilde X \to \widetilde Y$ a local weak equivalence?

To put it a bit informally: can homotopy limits be calculated correctly using Kan/locally fibrant models instead of injective/globally fibrant models?

I am also happy imposing conditions such as the diagram is finite, if it helps.

Some notes:

1. There is no issue if all the components of $X$ and $Y$ are injective fibrant (I am using Jardine's terminology from his book "Local homotopy theory"). However, sheaves of Kan complexes don't have to be injective fibrant.

2. I think the statement is also true if the components of $X$ and $Y$ are all stacks.

3. There is no issue if the local weak equivalence came from a sectionwise weak equivalence.

4. Vague: my intuition is that a "Ken Brown lemma" factorization (as on the bottom of p.94 of Jardine's "Local Homotopy Theory) should allow one to prove this. However, I simply dont have much experience with playing in these settings (so this could be total nonsense).

Answer 1

Let me preface by saying that I am a relative novice in these matters. In particular, if something below is confusing, do point out, since it is likely that it is a reflection of me screwing something up.

Further, to avoid any confusion (this tripped me up initially) let me specify that a finite category will mean a category with finitely many objects and finitely many morphisms. A finite simplicial set will mean the (usual): a simplicial set with finitely many non-degenerate simplices (presumably, a finite $\infty$-category is a finite simplicial set, but I will let the experts comment on this).

In particular, the nerve of a finite category need not be a finite simplicial set. For instance, the nerve of a (non-trivial) finite group (viewed as a category with one object) has at least one non-degenerate simplice in every degree.

Now let me proceed in increasing levels of generality.

1. First, assume that all simplicial sheaves involved are in fact sheaves of (1-)groupoids. So in particular, all sections are Kan. In this case, homotopy limits over a finite category $I$ may be computed correctly without global fibrant replacement. The reason being that in this case filtered colimits commute with the relevant internal mapping spaces. This can be seen directly/elementarily by noting that said mapping spaces are categories of functors and just sitting down and thinking about what the data of said functors (and natural transformations between them) amounts to (picking a finite number of objects, a finite number of morphisms, satisfying a finite number of relations, in the codomain category).

A (seemingly unrelated) earlier post of mine is very closely related to this:

Homotopy fixed points of involutive automorphisms of discrete groups

You can make a bit more of a general statement in this setting by working with indexing categories that along with all overcategories are finitely presented in a certain sense, but I dont know how to make a really clean/simple/practically useful statement here (essentially comes down to characterizing compact objects in the category of groupoids).

2. The claim in 1) is also special case of the following. If all sections of the sheaves appearing in the diagrams are $n$-coskeletal Kan complexes (for some fixed $n<\infty$), then homotopy limits over a finite category $I$ may again be computed correctly without taking a global fibrant replacement. The argument is again that filtered colimits commute with the relevant internal mapping spaces. This is true because using the (internal) adjunction between the $n$-skeleton and $n$-coskeleton functor reduces us to the situation where the domain in the relevant internal mapping spaces of simplicial sets is in fact a finite simplicial set (which is a compact object, etc.). There is some commuting of coskeleton functors past certain filtered colimits that I am brushing under the rug here, but I don't think any problems occur (hah! famous last words).

Assuming I have not made an error so far, an interesting "Corollary" of the above is that in these situations the homotopy limit doesn't really depend on the topology of the site. In fact, you can make this completely precise by working with presheaves and noting that this allows you to get the correct "homotopy type" by just computing the homotopy limit at the presheaf level.

3. For arbitrary simplicial sheaves you are out of luck without imposing some restrictions on the site. I.e., the only way to get the right homotopy limit without global fibrant replacement is to assume that the nerve of the indexing category is a finite simplicial set (now the relevant commutation of filtered colimits with mapping spaces is well known and just comes down to the characterization of finite simplicial sets as compact objects).

As to restrictions on the site that would get this to work (again, under the assumption that the indexing category is finite)? I haven't yet had a chance to properly think about this, but it's a follow your nose game: you want certain filtered colimits to stabilize. This seems to essentially come down to a finite cohomological dimension type condition (I think it works ok for the big Zariski and analytic sites, maybe also the etale site - but don't quote me on any of this so to speak).

If the indexing category is not finite (say infinitely many objects), then I doubt anything can be said apart from some very specific situations - you are in trouble even commuting a filtered colimit past the first (infinite) product in any explicit model of the homotopy limit (let alone worrying about the horrors that await when dealing with mapping spaces).

Aside: I have now seen a number of places in the literature where it is claimed (erroneously) that homotopy limits over finite diagrams commute with filtered colimits (with the authors pretty clearly meaning finite diagram = finitely many objects and morphisms). Thankfully, in most cases the only homotopy limits considered are actually over diagrams satisfying the stronger finiteness condition (the diagrams are usually just pullbacks). I am coining it the canonical error

It'll be quite ironic if I have made it above in the special situations mentioned!