The Brown-Gersten property is the statement that for certain Grothendieck topologies the homotopy descent-property for simplicial presheaves (i.e. their $\infty$-stack-property) follows essentially (up to a simple condition on connected components) already as soon as the given simplicial presheaf $\mathcal{F}$ satisfies a Mayer-Vietoris-type property in that for covers by a pair of patches $U_1, U_2$ their fiber product-square is taken by $\mathcal{F}$ to a homotopy pullback-square.
This has traditionally been discussed over schemes (see below) but an analogous statement holds also over topological spaces and smooth manifolds (see further below).
Detailed review in in Jardine 2015, §5.4.
Write
SmthMfd for the category of smooth manifolds, regarded as a site via its Grothendieck topology of open covers;
$PSh\big(SmthMfd, sSet)\big)$ for the category of simplicial presheaves over smooth manifolds.
Recall (e.g. from model structure on simplicial presheaves) that a simplicial presheaf $\mathcal{F} \,\in\, Psh(SmthMfd, sSet)$ is said to be a local object or satisfy homotopy descent if for
all smooth manifolds $X \in SmthMfd$;
all its open covers $\big\{ U_i \hookrightarrow X \big\}_{i \in I}$
the canonical morphism of simplicial sets from the value of $\mathcal{F}$ on $X$ into the homotopy limit of the simplicial diagram over values of $\mathcal{F}$ on the Čech nerve of the cover
is a simplicial weak equivalence.
(Brown-Gersten property over smooth manifolds, Pavlov 2022, Thm. 1.1)
A simplicial presheaf $\mathcal{F} \,in\, PSh(SmthMfd, sSet)$ satisfies homotopy descent (1) for all open covers, as soon as it does so
for open covers consisting of a pair of open subsets;
for open covers by pairwise disjoint patches (hence by connected components).
Notice here that
in the case of an open cover by pair of patches
the homotopy descent-condition (1) reduces to saying that the commuting square
is a homotopy cartesian square (a homotopy pullback).
in the case of a cover by disjoint patches, hence $X \,\simeq\, \underset{i \in I}{\coprod} \, U_i$, the homotopy descent-condition (1) reduces to saying that
is a homotopy product.
In particular, if $X = \varnothing$ is the empty space covered by itself, this means that
is the terminal object (i.e. the simplicial presheaf which is constant on the singleton set).
A Brown–Gersten-type property holds for condensed sets; as explained in the linked article, it suffices to verify the descent property for disjoint covers with zero or two elements, as well as singleton families given by surjections of profinite sets.
This property no longer holds for condensed ∞-groupoids, and hypercovers are now necessary. However, one can pass to the equivalent site of compact extremally disconnected Hausdorff spaces, where finite disjoint covers suffice.
The original discussion for the Zariski topology:
Lecture notes on this case:
The version for the Nisnevich topology:
Detailed review of these two cases:
Generalization of these two cases to completely decomposable topologies:
Discussion for numerable open covers of topological spaces and of smooth manifolds with application to smooth $\infty$-groupoids and their shape via cohesive path ∞-groupoids:
Last revised on August 7, 2022 at 17:55:53. See the history of this page for a list of all contributions to it.