Abstract:We study the homotopy right Kan extension of homotopy sheaves on a category to its free cocompletion, i.e. to its category of presheaves. Any pretopology on the original category induces a canonical pretopology of generalised coverings on the free cocompletion. We show that with respect to these pretopologies the homotopy right Kan extension along the Yoneda embedding preserves homotopy sheaves valued in (sufficiently nice) simplicial model categories. Moreover, we show that this induces an equivalence between sheaves of spaces on the original category and colimit-preserving sheaves of spaces on its free cocompletion. We present three applications in geometry and topology: first, we prove that diffeological vector bundles descend along subductions of diffeological spaces. Second, we deduce that various flavours of bundle gerbes with connection satisfy $(\infty,2)$-categorical descent. Finally, we investigate smooth diffeomorphism actions in smooth bordism-type field theories on a manifold. We show how these smooth actions allow us to extract the values of a field theory on any object coherently from its values on generating objects of the bordism category.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are about the properties of homotopy sheaves on generalized spaces and their extension problems. Specifically, the paper explores how to extend a homotopy sheaf on a category to its free cocompletion via right Kan extension and preserve the descent property of these homotopy sheaves. The core problems of the paper can be summarized as the following two:
1. **Preservation of the descent property**: If a homotopy sheaf \(F\) satisfies the descent property with respect to a pretopology \(\tau\), does the mapping \(X\mapsto H_{\infty,0}(QX,F)\) satisfy the descent property with respect to the related pretopology \(\hat{\tau}\)?
2. **Extended homotopy sheaves**: If so, can we understand which \(\hat{\tau}\)-homotopy sheaves can be obtained by the extension \(H_{\infty,0}(Q(-),F)\) of some ordinary homotopy sheaves \(F\)?
### Main contributions of the paper
The paper solves the above problems by studying the homotopy right Kan extension and obtains the following main results:
1. **Properties of the homotopy right Kan extension**:
- For any left - proper, cellular or combinatorial simplicial model category \(M\), and a small category \(C\), given a Grothendieck covering \(\tau\) on \(C\), it induces a \(\tau\)-local injective pretopology \(\hat{\tau}\) on \(\hat{C}\).
- There exists a Quillen adjunction pair:
\[
Re_M: \text{Fun}(\hat{C}^{op},M)^{\text{loc}}\leftrightarrows \text{Fun}(C^{op},M)^{\text{loc}}:S_M
\]
where the right adjoint \(S_M\) restricted to fibrant objects is equivalent to the homotopy right Kan extension \(hoRan_Y\) along the Yoneda embedding \(Y: C\hookrightarrow \hat{C}\).
2. **Applications of higher - order homotopy sheaves**:
- For the model category \(CSS_n\) of \(n\)-fold complete spaces, the paper considers the left Bousfield localizations \(H^{\text{loc}}_{\infty,n}\) and \(\hat{H}^{\text{loc}}_{\infty,n}\) of \(\text{Fun}(C^{op},CSS_n)\) and \(\text{Fun}(\hat{C}^{op},CSS_n)\) on the Čech nerve of the covering.
- As a direct corollary of the above results, the paper proves that for any fibrant object \(F\in H_{\infty,n}\), the presheaf \(H_{\infty,n}(Q(-),F)\) is equivalent to the homotopy right Kan extension \(hoRan_Y F\) along the Yoneda embedding \(Y: C\to \hat{C}\).
3. **Specific applications**:
- **Strictification and descent of differential vector bundles**: The paper proves that differential vector bundles on differential spaces satisfy the descent property under sub - induction.
- **Descent of gerbes with connections**: The paper proves that gerbes in various types of 2 - categories with connections introduced by Waldorf can be extended to \((2,2)\)-category sheaves on \(\hat{C}\).
- **Coherence and smooth reconstruction in smooth field theory**: The paper shows how to from edges