nLab
Čech methods

Čech methods

Idea

The construction of Čech homology used coverings of the space by families of open sets. The way the open sets overlap gives ‘combinatorial’ information on the space.

This has been abstracted and extended to homotopy and also in the direction of algebraic geometry. This article aims to introduce some of the main ways this idea has interacted with some of the many themes in the nLab.

History (Čech 1930s)

The term ‘nerve of a covering’ has been used from the late 1920s for a construction that starts with a space and an open cover of it and builds a simplicial complex. Historically these data were organized as a simplicial complex, rather than a simplicial set. The idea had been parallely worked out by Čech and P.S. Aleksandrov so one often talks about Aleksandrov–Čech (co)homology. There was an alternative approach described by Vietoris (1927), which led to what is known as Vietoris homology? There are separate entries in nlab for Čech homology and Čech cohomology. The first is not exact, and so is not really a homology theory in the sense of Steenrod–Eilenberg axioms. It is also not the (Alexander–Spanier) dual of Čech cohomology. The two problems can be avoided at the same time using coherent homotopy theory. The resulting homology is one which is exact. It also is one that satisfies the wedge axiom, and then it is the unique such theory, nowadays sometimes called strong homology and in special cases it reduces to what was called Steenrod-Sitnikov homology? (but which was originally constructed in a different way).

Nerve of an open cover

Definition

Given a (compact) space XX and a (finite) open cover, α\alpha, of XX, we can form a simplicial set, C(X,α)C(X,\alpha), called the nerve of the cover whose nn-simplices are (n+1)(n + 1)-strings of open sets from α\alpha, i.e. U 0,,U n\langle U_0, \ldots, U_n\rangle, each U iαU_i \in \alpha, satisfying U i\cap U_i \neq \emptyset.

If β\beta is another cover such that for each VβV\in \beta, there is a UαU\in \alpha with VUV\subseteq U, then the assignment VUV\to U in this case defines a map

C(X,α)C(X,β)C(X,\alpha)\to C(X,\beta)

dependent on the choice of UU for each VV, but independent ‘up to homotopy’ (see below).

Application of Čech methods

Applying one’s favourite homotopy functor, F:SAF : \mathbf{S}\to \mathbf{A}, to each C(X,α)C(X,\alpha) and to these homotopy classes of induced transition maps, yields an inverse system of objects in A\mathbf{A}, i.e., a pro-object in A\mathbf{A}, but the C(X,α)C(X,\alpha) by themselves do not define a pro-object in the category of simplicial sets. They do form a pro-object in Ho(sSets)Ho(sSets), or alternative, a ‘coherent pro-object’ in sSetssSets, (see Čech homotopy for more discussion on this point.)

Čech homology and cohomology

Aleksandrov and Čech in the 1930s, applied homology and cohomology in this situation to extend simplicially-based homology to a much wider class of spaces. Lefschetz, without the language of category theory, studied, again in the 1930s, the formal properties of inverse systems of polyhedra and maps between them and his student Christie looked at the homotopy groups in this setting.

Shape theory as a Čech homotopy theory

Borsuk (1968) developed shape theory, which although initially very geometric in flavour turned out also to be described in terms of Christie’s theory of the “Čech extensions” of homotopy theory.

The first papers on this approach were by Tim Porter. They used the Vietoris complex of a space relative to an open cover as well as the Čech complex? itself. (By Dowker's Theorem the two complexes give the same information up to homotopy, but the Vietoris complex is a functor on the category of covers, having values in the category of simplicial sets, whilst the Čech complex does not give so nice a structure as most naturally it takes values in the homotopy category of simplicial sets. In fact, that functor can be rigidified but this requires a certain amount of work.)

Porter also gave a partial solution to the problem of the stability of a space, that is whether it has the same Čech homotopy as a polyhedron. The methods developed for that problem then suggested the existence of a homotopy theory for pro-simplicial sets related to homotopy coherence. That observation was also made by Edwards and Hastings, who proposed a strong shape theory based on what they termed Steenrod homotopy?. This relates to Steenrod-Sitnikov homology.

(See shape theory and Čech homotopy for references and more on this area).

Čech-like methods in algebraic geometry

The use of modified Čech methods in algebraic geometry was well established when Grothendieck and his collaborators in Paris started adapting it to work with a Grothendieck topology. Verdier in SGA4, introduced hypercoverings and in Artin and Mazur (SLN 100), you can find their use in homotopy theory. (The work of Lubkin (1967) should also be mentioned here as it contains much that is parallel to the development by Verdier, Artin and Mazur and is sometimes much easier to decipher for the non-specialist algebraic geometer. A summary of his construction is given under Lubkin's construction?.)

Given that a Grothendieck topology is essentially about abstracting a notion of ‘covering’, it is not surprising that modified Čech methods can be applied. Artin and Mazur used Verdier’s idea of a hypercovering to get, for each Grothendieck topos, 𝔼\mathbb{E}, a pro-object in Ho(S)Ho(\mathbf{S}) (i.e. an inverse system of simplicial sets), which they call the étale homotopy type of the topos 𝔼\mathbb{E} (which for them is ‘sheaves for the étale topology on a variety’).

Applying homotopy group functors gives pro-groups π i(𝔼)\pi_i(\mathbb{E}) such that π 1(𝔼)\pi_1(\mathbb{E}) is essentially the same as Grothendieck’s algebraic fundamental group, π 1(𝔼)\pi_1(\mathbb{E}). (Here you need to know that the category of profinite groups in the topological sense, is equivalent to the category of pro-objects in the category of finite groups (as explained in profinite group). (If you remove ‘finite’ the result does not hold, but you can recover it in part by working with “pro-discrete localic groups” instead of topological groups, i.e. take limits of finite groups within the category of ‘localic’ rather than ‘topological’ groups, remembering that ‘locales’ are almost ‘spaces without points’.

Grothendieck’s nice π 1\pi_1 has thus an interpretation as a formal limit of a Čech type, or shape theoretic, system of π 1\pi_1s of ‘hypercoverings’.

Can shape theory (or its more powerfully structured ‘strong’ or ‘homotopy coherent’ version, cf. Lisica and Mardešić, Edwards and Hastings, Porter (papers 1976–78) be useful for studying étale homotopy type? Not without extra work, since the Artin–Mazur–Verdier approach leads
one to look at inverse systems in proHo(S)proHo(\mathbf{S}), i.e. inverse systems (diagrams) in a homotopy category not a homotopy category of inverse systems as in strong shape theory. Attempts to ‘rigidify’ the hypercovering approach, so as to get into Hopro(S)Hopro(\mathbf{S}) have been made (e.g. by Lubkin, (1967) or using simplicial schemes in Friedlander, (1982), but it is not completely clear if one of them is the definitive method.

What is the consensus on this here? I have sometimes seen talks which claim to have THE method but none has been clearly THE ONE. Perhaps I did not go to the right conferences! (Some is needed here, e.g. for more ways of getting around the difficulty.)

One of the difficulties with this hypercovering approach is that ‘hypercovering’ is a difficult concept and to the ‘non-expert’ seem non-geometric and lacking in intuition. Thankfully for us, there is an alternative approach put forward by Ken Brown (1973), (see BrownAHT).

As the Grothendieck topos 𝔼\mathbb{E} ‘pretends to be’ the category of SetsSets, but with a strange logic, we can ‘do’ simplicial set theory in Simp(𝔼)Simp(\mathbb{E}) as long as we take care of the arguments we use. To see a bit of this in action we can note that the object [0][0] in Simp(𝔼)Simp(\mathbb{E}) will be the constant simplicial sheaf with value the ordinary [0][0], “constant” here taking on two meanings at the same time,

(a) constant sheaf, i.e. not varying ‘over XX’ if 𝔼\mathbb{E} is thought of as Sh(X)Sh(X), and

(b) constant simplicial object, i.e. each K nK_n is the same and all face and degeneracy maps are identities. Thus [0][0] interpreted as an étale space is the identity map XXX\to X as a space over XX. Of course not all simplicial objects are constant and so Simp(𝔼)Simp(\mathbb{E}) can store a lot of information about the space (or site) XX.

One can look at the homotopy structure of Simp(𝔼)Simp(\mathbb{E}). Ken Brown in BrownAHT showed it had a fibration category structure and if we look at those fibrant objects KK in which the natural map

p:K[0]p : K \to [0]

is a weak equivalence, we find that these KK are exactly the hypercoverings. Global sections of pp give a simplicial set, Γ(K)\Gamma(K) and varying KK amongst the hypercoverings gives a pro-simplicial set (still in proHo(S)proHo(\mathbf{S}) not in Hopro(S)Hopro(\mathbf{S}) unfortunately) which determines the Artin–Mazur pro-homotopy type of 𝔼\mathbb{E}

This makes it clear there is a link between Čech methods and derived category theory. In the first, the ‘space’ is resolved using ‘coverings’ and these, in a sheaf theoretic setting, lead to simplicial objects in Sh(X)Sh(X) that are weakly equivalent to [0][0]; in the second, to evaluate the derived functor of some functor F:CAF : \mathbf{C} \to \mathbf{A}, say, on an object CC, one takes the ‘average’ of the values of FF on objects weakly equivalent to GG, i.e. one works with the functor

F:W(C)AF' : \mathbf{W}(C) \to \mathbf{A}

(where W(C) \mathbf{W}(C) has objects, α:CC\alpha : C \to C', α\alpha a weak equivalence, and maps, the commuting ‘triangles’, and this has a ‘domain’ functor δ:W(C)C\delta :\mathbf{W}(C) \to \mathbf{C}, δ(α)=C\delta(\alpha) = C' and FF' is the composite FδF\delta).

This is in many cases a pro-object in A\mathbf{A} – unfortunately standard derived functor theory interprets ‘commuting triangles’ in too weak a sense and thus corresponds to shape rather than strong shape theory – one thus, in some sense, arrives in proHo(A)pro Ho(\mathbf{A}) instead of in Ho(proA)Ho(pro \mathbf{A}). This problem has been in part resolved with Grothendieck’s theory of Derivateurs (see the volume by Maltsiniotis.)

Revised on May 31, 2012 15:46:31 by Raeder? (80.203.119.14)