nLab fundamental group of a topos

Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Idea

By the logic of space, one may think of a topos as being (the category of sheaves on) some generalization of a topological space. The construction of the first fundamental group of a topological space happens to generalize to an arbitrary topos, even without a predefined notion of path or interval object. Instead, by the logic of Grothendieck's Galois theory, the homotopy groups can be detected from the behaviour of locally constant sheaves.

More details

(At present the following is just lifted/adapted from another article, (see references below) and needs some editing and possibly correcting. T.P.)

Let 𝔼\mathbb{E} be a Grothendieck topos (think of 𝔼\mathbb{E} as the category, Sh(X)Sh(X), of set valued sheaves on a space XX). Within 𝔼\mathbb{E}, we can pick out a subcategory, \mathbb{C}, of locally finite, locally constant objects in 𝔼\mathbb{E}. (If XX is a space with 𝔼=Sh(X)\mathbb{E}= Sh(X), \mathbb{C} corresponds to those sheaves whose ‘espace étalé’ is a finite covering space of XX.) Picking a base point in XX generalises to picking a ‘fiber functorF:Sets finF :\mathbb{C} \to \mathbf{Sets_{fin}}, a functor satisfying various conditions implying that it is pro-representable. (If x 0Xx_0 \in X is a base point {x 0}X\{x_0\}\to X induces a ‘fibre functor’ Sh(X)Sh{x 0}Sets Sh(X)\to Sh\{x_0\} \cong \mathbf{Sets}, by pullback.)

Mike: I presume that more generally any “point” of 𝔼\mathbb{E}, meaning a geometric morphism Set𝔼Set\to \mathbb{E}, supplies a fibre functor (its inverse image)? Of course, in general 𝔼\mathbb{E} might not have a point. Are there other examples of fibre functors when 𝔼=Sh(X)\mathbb{E}=Sh(X)?

If FF is ‘pro-representable’ by PP, then π 1(𝔼,F)\pi_1(\mathbb{E},F) is defined to be Aut(P)Aut(P), which is a profinite group. (Usually we will simply write π 1(𝔼)\pi_1(\mathbb{E}), for this.) Grothendieck proves there is an equivalence of categories

π 1(𝔼)Sets fin,\mathbb{C} \simeq \pi_1(\mathbb{E})-\mathbf{Sets_{fin}},

the category of finite π 1(𝔼)\pi_1(\mathbb{E})-sets. (This is what is called Grothendieck's Galois theory.)

If XX is a locally nicely behaved space such as a CW complex and 𝔼=Sh(X)\mathbb{E} = Sh(X), then π 1(𝔼)\pi_1(\mathbb{E}) is the profinite completion of π 1(X)\pi_1(X). This profinite completion occurs only because Grothendieck considers locally finite objects. Without this restriction, a covering space YY of XX would correspond to a π 1(X)\pi_1(X)-set, Y Y^\prime, but if YY is a finite covering of XX then the homomorphism from π 1(X)\pi_1(X) to the finite group of transformations of YY factors through the profinite completion of π 1(X)\pi_1(X).

Remarks

This idea of using covering spaces or their analogue in 𝔼\mathbb{E} raises several important points:

  • these are homotopy theoretic results, but no paths (no interval object) are used. The argument involving sheaf theory, the theory of pro-representable functors, etc., is of a purely categorical nature. This means it is applicable to spaces where the use of paths, and other homotopies is impossible because of bad (or unknown) local properties. Such spaces have been studied within shape theory and

strong shape theory, although not by using exactly Grothendieck’s fundamental group,

nor using sheaf theory. (See below for more on this connection and such sources as Lisica and Mardešić, Edwards and Hastings, Cordier and Porter, Mardešić and Segal for more information on Shape and Strong Shape).

  • As no paths are used, these methods can also be applied to ‘non-spaces’, e.g. locales and possibly to their non-commutative analogues, quantales.

For instance, classically one could consider a field kk and an algebraic closure KK of kk and then choose \mathbb{C} to be a category of étale algebras over kk, in such a way that π 1(𝔼)Gal(K/k)\pi_1(\mathbb{E}) \cong Gal(K/k), the Galois group of kk. A beautiful treatment of this can be found in Douady and Douady, (see below), and the link with locales (which is very strong) is explored in Joyal and Tierney. It, in fact, leads to a classification theorem for Grothendieck toposes. From this viewpoint, low dimensional homotopy theory is seen as being part of Galois theory, or vice versa. Of course, the really interesting question is how to fit higher dimensional homotopy theory into a higher dimensional Galois theory, and, again, -vice versa-. See A. Grothendieck, (1975?), Letter to L. Breen. NOT to Quillen as is sometimes claimed. More on that at homotopy group of an ∞-stack.

  • This underlines the fact that π 1(X)\pi_1(X) classifies covering spaces – but for i>1i \gt 1, π i(X)\pi_i(X) does not seem to classify anything other than maps from S iS^i into XX!

Mike: From a higher-categorical perspective, the reason π 1(X)\pi_1(X) classifies covering spaces is that covering spaces are fibrations with discrete fibers, and so are classified by functors Π (X)Set\Pi_\infty(X)\to Set. But since SetSet is a 1-category, any such functors factors through the 1-categorical reflection of Π (X)\Pi_\infty(X), which is the ordinary fundamental groupoid Π 1(X)\Pi_1(X). Thus, to ask what higher homotopy groups classify, one should consider not π i(X)\pi_i(X) but Π i(X)\Pi_i(X), which one might expect to classify fibrations over XX whose fibers are homotopy (i1)(i-1)-types.

Does a topos have a fundamental groupoid? A fundamental ii-groupoid? A fundamental \infty-groupoid?

Tim: I am not an expert on the ‘not enough points’ case, but do know that a long time ago people generalised to a fundamental groupoid. (I think it was a preprint from Montpellier in which I saw this, but I know it was also taken up by others in (?) the 1970s. More recently Marta Bunge and Eduardo Dubuc have published on this and look at at Eduardo’s:

http://arxiv.org/abs/0706.1771

David: The paper Higher Monodromy shows what the fundamental 2-groupoid classifies.

Mike: Just looking at the abstract of Higher Monodromy, what I was saying above (for i=2i=2) looks like the special case of their theory for locally constant stacks with values in the 2-category GpdGpd of 1-types. They don’t seem to treat the topos case, though.

Higher categorical generalization

One may consider the vertical categorification of this situation from the notion of topos to that of (∞,1)-topos. The discussion of the construction of homotopy groups of objects in such a higher topos is at

References

The above was taken from an article:

  • Tim Porter, Abstract Homotopy Theory, the interaction of category theory and homotopy theory , Cubo Matematica Educacional, 5, (2003), 115–165.

Fundamental groups of toposes are already on SGA4, Expose IV Exercice 2.7.5. and its relations with etale topos are on Expose VIII Proposition 2.1

The general construction of the first geometric homotopy group of objects in a Grothendieck topos is in section 8.4 of

A discussion of the fundamental groupoid for a general topos is in

A discussion for “locally simply connected” toposes is in

Other references are

  • D.A. Edwards and H. M. Hastings, (1976), Čech and Steenrod homotopy theories with applications to geometric topology, Lecture Notes in Maths. 542, Springer-Verlag.

  • J.T. Lisica and S. Mardešić, Coherent prohomotopy and strong shape theory, Glasnik Mat. 19(39) (1984) 335-399.

  • J.-M. Cordier and Tim Porter, (1989), Shape Theory: Categorical Methods of Approximation, Mathematics and its Applications, Ellis Horwood. Reprinted Dover (2008).

  • S. Mardešić and J. Segal, (1982) Shape Theory, North Holland.

  • S. Mardešić, Strong Shape and Homology, Springer monographs in mathematics, Springer-Verlag.

  • On categorical Galois theory

    • F. Borceux and G. Janelidze, (2001), Galois Theories, Cambridge Studies in Advanced Mathematics, 72, Cambridge University Press.
  • and for a more traditional approach:

    • A. Douady and R. Douady, (1977) Algébre et Théories Galoisiennes, Cedic / F. Nathan.
  • For the link with locale theory

    • Andre Joyal and M. Tierney, (1984), An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc. 309.
  • When we have no paths, in internal case, one may find the article of Pataraia useful (beware many typoses, but the article is dense with content):

    • D. Pataraia, Internal categories in the left exact cosimplicial category. Georgian Math. J. 4 (1997), No. 6, 533-556. (link)
  • Luis Javier Hernández-Paricio, Fundamental pro-groupoids and covering projections(pdf)

Last revised on January 2, 2017 at 22:12:11. See the history of this page for a list of all contributions to it.