Homotopy groups are famous invariants in algebraic topology. They have a myriad of wonderful properties:

  • For $n \ge 1$, $\pi_n(X,*)$ is a group; for $n \ge 2$, this group is abelian.
  • $\pi_n$ defines a functor from based spaces to (abelian) groups.
  • $\pi_n$ is invariant under homotopy equivalences, and homotopic maps induce the same morphism on homotopy groups.
  • The Seifert–van Kampen theorem allows one to compute the fundamental group of $X \cup_A Y$.
  • A fibration $F \to E \to B$ yields a long exact sequence of homotopy groups.
  • There is a natural suspension morphism $\pi_n(X) \to \pi_{n+1}(\Sigma X)$, and it eventually stabilizes as described by the Freudenthal suspension theorem.
  • If $f : X \to Y$ is a map between two CW-complex that induces an isomorphism on all homotopy groups, then it's a homotopy equivalence.
  • The Whitehead product endows $\pi_*(X)$ with a shifted Lie algebra structure.
  • Etc., etc.

But after all, $\pi_n(X,*)$ is "merely" the set of morphisms in the homotopy category of pointed spaces from the $n$-sphere to $X$: $\pi_n(X,*) = \hom_{\mathsf{hTop}_*}((S^n,*), (X, *))$. This has always seemed somewhat "biased" to me; spheres are given a preponderant role in the definition. They are certainly a fundamental type of spaces, but they're not all there is to life. So my question is:

Have there been (successful) attempts to use something other than spheres for homotopy groups, in a way that some part of the structure described above is retained (in one form or the other)?

For example, maybe I'm interested in totally disconnected spaces, and I'd consider something like $\{ [0,1]^n \cap \mathbb{Q} \to X \}$ (with boundary conditions) up to "homotopy". And even here we see spheres (or at least Euclidean spaces) lurking in the background: the definition of a homotopy involves a path $[0,1] \to Y^X$, so why not consider "homotopies" of the type $[0,1] \cap \mathbb{Q} \to Y^X$...? One problem that could crop up here is that $[0,1] \cap \mathbb{Q}$ is not compact, so a lot of the theory goes out of the window.

Or maybe I'm interested in what happens in infinite dimension, so why not replace the spheres with some compactification of an infinite dimensional Banach space, for example? I have no idea what such a thing would look like.

So far, I've found three things in this direction:

  • Homotopy groups with coefficients replace the sphere with a Moore space $M(G,n)$ (i.e. a space with a single nonzero reduced homology group). A sphere is in particular a Moore space of type $M(\mathbb{Z},n)$. Unfortunately such Moore spaces are not, in general, co-H-spaces, so $[M(G,n), X]$ is not a group, merely a pointed set. One reference for this seems to be Weibel K-book, but as far as I can tell they are only used as motivation for the definition of K-theory with coefficients (I haven't had the chance to read the book in detail).
  • Hazewinkel, in Encyclopaedia of Mathematics, mentions something called "toroidal homotopy groups". I haven't been able to find much information about it anywhere and I can only guess it has something to do with tori. (I don't have access to the book, only to a few pages on Google Books (and other people may not even be able to see the same pages as I do))
  • Last week I saw this preprint about "big fundamental groups" (the interval is apparently replaced with an interval of large cardinality) in the daily arXiv email, which I think pushed me towards this question.
  • $\begingroup$ Note that I would in particular be interested in some detailed summary of what any of the three items I mention at the end are about, and what they achieve. $\endgroup$ Oct 5 '15 at 13:27
  • 1
    $\begingroup$ This doesn't address alternatives, but two possible reasons for the motivation are: (1) Historically, homotopy theory arose from considering the fundamental group $\pi_1(X) = [S^1; X]$ of (based) loops, and expanding that to the higher $[S^n; X]$ seemed like a natural extension; (2) The stable homotopy groups correspond to the spectrum $E_n = \Sigma^n S^0 = S^n$, and the two-point space $S^0$ is the simplest (nontrivial) based space. $\endgroup$
    – anomaly
    Oct 5 '15 at 14:26
  • 1
    $\begingroup$ @anomaly Sure, I'm not saying homotopy groups aren't natural objects to consider, I understand they are very important. But note that $\Sigma X = S^1 \wedge X$, so spheres are already hidden here too... What if instead I consider iterates of something like $([0,1] \cap \mathbb{Q}/\sim) \wedge X$? I don't get a spectrum in the traditional sense, obviously. $\endgroup$ Oct 5 '15 at 14:30
  • 1
    $\begingroup$ @anomaly Good point about obstructions, this is definitely something to consider for applications. BTW, note that spheres/disks are also built into the notion of CW-complexes... They're everywhere! Down with the tyranny of spheres! More seriously this "bias" towards spheres is completely pervasive in algebraic topology, for example: we use simplicial sets to model spaces. Why? Because they're Quillen equivalent to the model category of spaces. You know, the one where weak equivalence are defined in terms of homotopy groups, i.e. maps from spheres...! $\endgroup$ Oct 5 '15 at 14:39
  • 1
    $\begingroup$ @Najib: the point of CW complexes is that they encode presentations of spaces as iterated homotopy cofibers starting from points. (Note that this description doesn't explicitly mention spheres at all, just a higher categorical universal property.) They have the same relationship to homotopy theory that presentations of groups have to group theory. Simplicial sets and spaces both model $\infty$-groupoids, which are a thing that makes sense independent of any particular model of them. $\endgroup$ Oct 5 '15 at 16:07

But after all, $\pi_n(X,*)$ is "merely" the set of morphisms in the homotopy category of pointed spaces from the $n$-sphere to $X$: $\pi_n(X,*) = \hom_{\mathsf{hTop}_*}((S^n,*), (X, *))$. This has always seemed somewhat "biased" to me; spheres are given a preponderant role in the definition.

Spheres emerge naturally out of the relationship between homotopy theory and higher category theory. One example of this is that you might object that the study of $\pi_1$ somehow arbitrarily picks out $S^1$, but in fact you can define $\pi_1$ without mentioning $S^1$ at all, using the theory of covering spaces or locally constant sheaves. One definition is the following: $\pi_1(X, x)$ is the automorphism group of the functor given by taking the stalk of a locally constant sheaf on $X$ at $x$. This is a functor on the homotopy category of reasonable pointed spaces and the circle naturally emerges as the object representing this functor.

Similarly you can describe the fundamental $n$-groupoid $\Pi_n(X)$ of $X$ (which knows about the first $n$ homotopy groups) without mentioning paths at all, using a theory of "higher" locally constant sheaves (locally constant sheaves of $(n-1)$-groupoids, rather than sets).

If you believe one way or another that fundamental $n$-groupoids are reasonable things to study (inductively: if you believe that homotopies are reasonable, then you believe that homotopies between homotopies are reasonable, etc.; this means you care about the interval $[0, 1]$ but it doesn't yet obligate you to care about spheres), then the higher homotopy groups naturally emerge by repeatedly taking automorphisms:

  • $\pi_1(X, x)$ is the automorphism group of $x$ as an object in the fundamental groupoid $\Pi_1(X)$,
  • $\pi_2(X, x)$ is the automorphism group of the identity path $x \to x$ as an morphism in the fundamental $2$-groupoid $\Pi_2(X)$,

etc. None of this explicitly requires talking about spheres, but again, these are all very natural functors on pointed homotopy types and spheres represent them.

Said another way, among homotopy types, the $n$-sphere $S^n$ has a universal property: it is the free homotopy type on an automorphism of an automorphism of... of a point. These aren't just arbitrary spaces we picked because we like them; they're fundamental to homotopy theory in the same way that $\mathbb{Z}$ is fundamental to group theory.

  • 2
    $\begingroup$ Incidentally, the locally constant sheaf definition above makes sense even on terrible topological spaces, and it should be able to detect "loops" that the usual fundamental group doesn't, e.g. I think it detects the Warsaw circle. At this level of generality I have no idea if it remains homotopy invariant. $\endgroup$ Oct 5 '15 at 23:13
  • $\begingroup$ Thanks, these are all insightful remarks. I guess it counts as an answer in the sense that spheres are already quite good for defining homotopy groups, considering how fundamental they are. What follows is contrarian purely for the sake of being contrarian, don't taker it the wrong way: most of the second part of your answer relies on the fact we care about $[0,1]$. What if instead I want to take as basic object something like $[0,1] \cap \mathbb{Q}$ (not compact though) or its closure in $\mathbb{Q}_p$ (not ordered)? It's not clear that spheres would appear naturally then. $\endgroup$ Oct 6 '15 at 7:42
  • $\begingroup$ @Najib: sure, but I claim you won't get a reasonable theory that way. I'm trying to convince you here that it's massively overdetermined that homotopy theory as usually developed is a cool and interesting thing to do - think about e.g. the origins of the theory of the fundamental group in the theory of Riemann surfaces. And once again, I don't even need to single out $[0, 1]$ if I instead pay a lot of attention to the theory of locally constant sheaves and its higher relatives. $\endgroup$ Oct 6 '15 at 14:05
  • 6
    $\begingroup$ @Qiaochu Yuan: I'd be grateful for a reference to what you call $\Pi_2(X)$ and $\Pi_n(X), n>1. $. Thanks. $\endgroup$ Oct 8 '15 at 13:58
  • 1
    $\begingroup$ @NajibIdrissi This answer by Eric Wofsey to a question of mine explains that $[0,1]$ can be characterized by a universal property relating to compact Hausdorff spaces, so perhaps that answer combined with Qiaochu's answer means that spheres are arbitrary in defining homotopy groups only to the extent that this universal property that the interval $[0,1]$ satisfies is arbitrary and no more. math.stackexchange.com/a/1824082/327486 That being said I can't reasonably claim to understand Qiaochu's answer, so this might be a completely irrelevant remark, in which case I apologize. $\endgroup$ Nov 7 '16 at 21:17

The "big" homotopy theory was first defined/explored in a paper J. Cannon and G. Conner wrote several years ago. It was simply a tool constructed to understand a sort of generalization of the Hawaiian Earring (and its fundamental group).

Consider the one-point compactification of uncountably many open (real) intervals. The fundamental group of this space is too restrictive, only allowing a loop to traverse countably many loops, whereas the big fundamental group has no such restriction. So its advantage over the fundamental group is merely a counting problem. When you're trying to detect holes in spaces which have too high cardinality, or too many points packed in, or something like that.

Consider the long line, with the ends identified--a path cannot make it all the way around, but a "big path" can. Problems like this arise when you have "huge" spaces, and the big fundamental group is a sort of workaround.


I can give specific information on the "toroidal" question, which I expect refers to:

Homotopy Groups and Torus Homotopy Groups Ralph H. Fox Annals of Mathematics Second Series, Vol. 49, No. 2 (Apr., 1948), pp. 471-510.

I heard ages ago from Brian Griffiths that Fox was hoping for, but did not succeed in getting, a higher version of the van Kampen Theorem.

Such versions are available, and involve cubes rather than spheres; they do not calculate directly homotopy groups, but some homotopy $n$-types, and moreover they work on certain "structured spaces", either filtered spaces, or $n$-cubes of spaces. There are presentations on my preprint page (...., Paris, Galway, Aveiro) if you want more information.

To comment on one of your initial bullet points, the work referred to in the last paragraph started in 1965 with disappointment that the standard Seifert-van Kampen theorem for the fundamental group of based spaces did not yield the fundamental group of the circle, THE basic example in algebraic topology. That was just the start of computations of fundamental groups with which that theorem did not cope. It turned out one needed more than one base point, hence groupoids. See this mathoverflow discussion on using more than one base point.

Nov 5, 2016 Here is a recent article on Modelling and Computing Homotopy Types: I developing part of the Aveiro talk.

  • $\begingroup$ Thanks, I've looked at the slides, it definitely looks interesting. Is it all in the book Nonabelian algebraic topology? $\endgroup$ Oct 5 '15 at 15:13
  • 3
    $\begingroup$ The book on Nonabelian Algebraic Topology covers the work on crossed complexes, but does not deal with the work with Loday on cat$^n$-groups, and $n$-cubes of spaces, which is nearer to what Fox wanted. For that, see 74. ``Computing homotopy types using crossed $n$-cubes of groups'', (pdf) on my publication list. $\endgroup$ Oct 5 '15 at 15:37

One can indeed replace the sphere $S^n$ in the definition of homotopy groups $\pi_n(X,*)=[S^n,X]_*$ by any pointed space $A$, giving the $A$-homotopy groups $\pi_n(X;A)=[\Sigma^n A, X]_*$. As it happens, these $A$-homotopy groups are actually just the (usual) homotopy groups of the mapping space $Map(A,X)$:$$\begin{aligned} \pi_n(X;A)=[\Sigma^n A, X]_* &\cong [A\wedge S^n, X]_* \\ &\cong [S^n, Map(A,X)]_* \\ &\cong \pi_n (Map(A,X), \text{const}) \end{aligned}.$$ Many tools of homotopy theory can be generalised to the $A$-cellular theory: there are $A$-cellular complexes, obtained by inductively gluing $n$-dimensional $A$-cells $\Sigma^nA \hookrightarrow C\Sigma^nA$ (or taking homotopy cofibers of maps from $\Sigma^n A$), and an $A$-Whitehead theorem : a map between $A$-cellular spaces that induces isomorphisms on all $A$-homotopy groups is a weak equivalence.
This material can be found in Dror Farjoun's 'Cellular spaces, null spaces and homotopy localization'.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.