On hypercoverings (Q1588321)

In this paper the author investigate properties of a new notion of hypercovering introduced by himself in a previous paper [``Is Alexander property étale local?'' (preprint)]: A scheme valued ordered system is a contravariant functor \(F\) from the category of finite strictly ordered sets to the category of schemes. Given a scheme valued ordered system \(F\), the author defines, for every collection \(\{A_1, \ldots A_n\}\) of finite subsets of \(\mathbb N\), a closed subscheme \(F[A_1,\ldots,A_n]\) of \(F(A_1) \times \ldots \times F(A_n)\). Set theoretically, a geometric point of \(F[A_1,\ldots ,A_n]\) is a point \((x_1,\ldots,x_n) \in F(A_1) \times \ldots \times F(A_n)\), such that any two components are compatible in \(F (A_i \cap A_j)\). -- If for all \(A_i=\{1,\ldots, n\}-\{i\}\), then \(F[A_1,\ldots , A_n]\) is said to be the cosquelton \(\cos k_n(F)\). A scheme valued ordered system is said to be a hypercovering if the canonical morphism \(F(\{1,\ldots ,n\}) \rightarrow\cos k_n(F)\) belongs to a given Grothendieck topology. The main result of this paper is that, given a hypercovering \(F\) and finite subsets of \(\mathbb N\), \(A_1, \ldots, A_n, B_1, \ldots B_m\), such that for all \(i\) there is a \(j\) with \(B_i \subset A_j\), then there is a natural map \(F[A_1,\ldots, A_n]\rightarrow F[B_1,\ldots B_s]\), and it still belongs to the given Grothendieck topology. As explained by the author in the last section of the paper, this research should help in investigating the following conjecture: Let \(F\) be a hypercovering with all \(F(\{1,\ldots,n\})\) Alexander. Then for any bivariant sheaf \(\mathcal F\) on \(F(\emptyset)\), the Čech cohomology \(H^i({\mathcal F},F)\) vanishes for all \(i>0\).