nLab homotopy groups in an (infinity,1)-topos



(,1)(\infty,1)-Category theory

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos



In the (∞,1)-topos Top to every object – every topological spaceXX is associated the set π 0(X)\pi_0(X) of connected components and the homotopy groups π n(X,x)\pi_n(X,x) for xXx \in X and nn \in \mathbb{N}, n>0n\gt 0.

By the general logic of space, we may think of the objects in an arbitrary ∞-stack (∞,1)-topos as generalized spaces of sorts. Accordingly, there is a notion of homotopy groups of an \infty-stack .

But care has to be taken. It turns out that there are actually two different notions of homotopy groups in an arbitrary (,1)(\infty,1)-topos, two notions that accidentally coincide for Top:

  • there is a notion of categorical homotopy group:

    every (,1)(\infty,1)-topos H\mathbf{H} is powered over ∞Grpd usually modeled as SSet, hence for every object XHX \in \mathbf{H} there is the categorical nn-sphere object X S c nX^{S^n_c}, where S c n=Δ n/Δ nS^n_c = \Delta^n/\partial \Delta^n.

  • there should be a notion of geometric homotopy group, induced from the monodromy of locally constant ∞-stacks on objects XHX \in \mathbf{H}.

For instance let H=Sh (,1)(Diff)\mathbf{H} = Sh_{(\infty,1)}(Diff) be the (,1)(\infty,1)-topos of Lie ∞-groupoids. An ordinary smooth manifold XX is represented in H\mathbf{H} by a sheaf of sets on Diff. This has no higher nontrivial categorical homotopy groups – π n>0 cat(X)=0\pi_{n \gt 0}^{cat}(X) = 0 – reflecting the fact regarded as a smooth ∞-groupoid, XX is a categorically discrete groupoid.

But of course the manifold XX may have nontrivial homotopy groups in terms of its underlying topological space. For instance if X=S 1X = S^1 is the circle, then the geometric first homotopy group is nontrivial, π 1 geom(X)=\pi_1^{geom}(X) = \mathbb{Z}.

We discuss below both cases. The case of categorical homotopy groups is fully understood, for the case of geometric homotopy groups at the moment only a few aspects are in the literature, more is in the making. Some authors of this page (U.S.) thank Richard Williamson for pointing this out.

Categorical homotopy groups

See categorical homotopy groups in an (∞,1)-topos.

Geometric homotopy groups

See geometric homotopy groups in an (∞,1)-topos.

Last revised on July 30, 2010 at 10:42:13. See the history of this page for a list of all contributions to it.