What do the stable homotopy groups of spheres say about the combinatorics of finite sets?

Question

The Barratt-Priddy-Quillen(-Segal) theorem says that the following spaces are homotopy equivalent in an (essentially) canonical way:

1. $\Omega^\infty S^\infty:=\varinjlim~ \Omega^nS^n$

2. $\mathbb{Z}\times ({B\Sigma_\infty})_+$, where $\Sigma_\infty$ is the group of automorphisms of a countable set which have finite support, and $+$ is the Quillen plus-construction.

3. The group completion of $B\left(\bigsqcup_n \Sigma_n\right)$, where $\Sigma_n$ is the symmetric group on $n$ letters, and $B(\sqcup_n \Sigma_n)$ is given the structure of a topological monoid via the block addition map $\Sigma_n\times \Sigma_m\to \Sigma_{n+m}$.

4. $\Omega|S^\bullet.\operatorname{FinSet}|$, where $S^\bullet$ is the Waldhausen $S$-construction, and $\operatorname{FinSet}$ is the category of pointed finite sets, given the structure of a Waldhausen category by declaring cofibrations to be injections and weak equivalences to be isomorphisms. I don't want to define this since it's complicated (for a reference, see Chapter IV of Weibel's K Book), but it should be thought as a homotopical version of the Grothendieck ring of finite sets, where addition is given by disjoint union and multiplication is given by the cartesian product. Clark Barwick's answer here makes this more precise.

Now, the homotopy groups of the first space are manifestly the stable homotopy groups of spheres; on the other hand, the last two spaces clearly encode some information about the combinatorics of finite sets. So my question is:

Is there a concrete combinatorial interpretation of the higher stable homotopy groups of spheres in terms of the combinatorics of finite sets or symmetric groups?

For example it is easy to see via (3) or (4) that $\pi_{0+k}(S^k)=\mathbb{Z}$ corresponds to the Grothendieck ring of finite sets. Similarly, (2), or with some theory (4), make it clear that $\pi_{1+k}(S^k)=\mathbb{Z}/2\mathbb{Z}$ corresponds to the abelianization of $\Sigma_n$ (via the sign homomorphism). I am interested in concrete interpretations of the higher stable homotopy groups in this style.

A good answer would be, for example, a direct combinatorial interpretation of $\pi_{2+k}(S^k)=\mathbb{Z}/2\mathbb{Z}$ and $\pi_{3+k}(S^k)=\mathbb{Z}/24\mathbb{Z}$; a not-so-good answer would be a statement like "the sphere spectrum is a categorification of the integers," which is not the sort of concrete thing I'm looking for.

EDIT: So with the exception of Jacob Lurie's comment on $\pi_{2+k}(S^k)$ below (interpreting it as the Schur multiplier $H_2(\Sigma_\infty, \mathbb{Z})$ of $\Sigma_\infty$), it seems like it might be too much to hope for any reasonably complete combinatorial interpretation of the stable homotopy groups. So I'd settle for something like the following: namely, a sequence of groups $G_n$ defined in some combinatorial way, and maps $f_n: G_n\to \pi_{n+k}(S^k)$ or $g_n: \pi_{n+k}(S^k)\to G_n$ such that

1. $f_n$ or $g_n$ are nontrivial for infinitely many $n$,

2. The maps are related in some way to the constructions 2-4 above, and

3. The $G_n$ are combinatorially interesting.

One such example is $G_n:=H_n(\Sigma_\infty, \mathbb{Z})$ with $g_n$ the Hurewicz map (whence the interpretation of $\pi_{2+k}(S^k)$). But even in this case, the combinatorial meaning is sort of mysterious (to me at least) for large $n$.

Answer 1

The following construction is due to Jones and Westbury, in a paper titled "Algebraic $K$-Theory, homology spheres and the $\eta$-invariant" (it is a very nice paper).

Let $M$ be a homology $3$-sphere and $\rho:\pi_1 (M) \to GL_N(\mathbb{C})$ a representation. Then the Quillen plus construction gives a map $S^3 = M^+ \to (BGL_N(\mathbb{C}))^+$, in other words, an element $[M,\rho] \in K_3 (\mathbb{C})$. On this group, there is the $e$-invariant $e:K_3 (\mathbb{C})\to \mathbb{C}/\mathbb{Z}$. Jones and Westbury give a formula for $e([M,\rho])$ in terms of the eigenvalues of $\rho$. If $M$ is the Poincare sphere, you get a complicated, but manageable formula.

Now replace $\rho$ by an action of $\pi_1 (M)$ on a finite set $X$. This then gives, by Barratt–Priddy–Quillen, an element of $\pi_{3}^{st}$. The Jones–Westbury formula tells you how to compute the e-invariant of the image of this element in $K_3 (\mathbb{C})$ under the map induced by $\Sigma_N \to GL_N(\mathbb{C})$. As the homomorphism $\pi_{3}^{st} \to K_3 (\mathbb{C})$ is injective, you do not lose information.

As a grad student, I played with these formulae in the similar situation of mapping class groups (instead of general linear or symmetric group). This gives elements in the homotopy of the plus-construction of the classifying space of the mapping class group and I was able to find a generator of $\pi_3 (B\Gamma^{+})=\mathbb{Z}/24$ in this way (by an acion of the tgroup of the Poincare sphere on a surface of rather small genus, see http://wwwmath.uni-muenster.de/mjm/vol3.html. I guess it is possible to get a generator of $\pi_{3}^{st}=\mathbb{Z}/24$ by an action of the fundamental group of the Poincaré sphere on a finite set.

Answer 2

Write $S = \bigsqcup_n BS_n$ for the symmetric monoidal category of finite sets and bijections under disjoint union, and write $\mathbb{S}$ for the sphere spectrum, thought of as a symmetric monoidal $\infty$-groupoid. There is a natural map

$$S \to \mathbb{S}$$

of symmetric monoidal $\infty$-categories. I'll interpret "combinatorics of finite sets or symmetric groups" to mean $S$, and so I'll interpret the question to mean "what does this map tell us about $S$?" The guiding principle for everything that follows is the following pair of universal properties, which in particular tell us where the above map comes from:

$S$ is the free symmetric monoidal $\infty$-category on a point, while $\mathbb{S}$ is the free symmetric monoidal $\infty$-groupoid with inverses on a point.

The punchline is the following:

$S$ naturally acts on all symmetric monoidal $n$-categories, and on symmetric monoidal $n$-groupoids with inverses, this action naturally factors through the $n^{th}$ truncation $\mathbb{S}_{\le n}$ of the sphere spectrum.

$n$ is, of course, allowed to take the value $\infty$. The $n$-truncated map $S \to \mathbb{S}_{\le n}$ can be thought of as a "higher sign character" following e.g. Ganter-Kapranov.

I apologize in advance for the extreme length of this answer, but I'm making some very formal statements and they won't count for much if I can't make them at least a little concrete.

---

Let's start with the case $n = 1$. (The case $n = 0$ is an exercise.) Any symmetric monoidal category $(C, \otimes)$ admits a natural family of endofunctors

$$k : V \mapsto V^{\otimes k}$$

which themselves admit a natural family of natural automorphisms given by the symmetric groups

$$S_k \ni \sigma : V^{\otimes k} \to V^{\otimes k}.$$

A concise way of summarizing the compatibilities these things satisfy is that any symmetric monoidal category $C$ is naturally a right module category over the free symmetric monoidal category $S$ on a point (with a second monoidal structure). This is because, by the universal property, there is a natural identification

$$[S, C] \cong C$$

(where here $[S, C]$ denotes the category of symmetric monoidal functors $S \to C$), and so $[S, S]$ naturally acts on $C$ by precomposition. But by the universal property we have $[S, S] \cong S$, with composition giving us a second monoidal structure on $S$ naturally making it a monoid object in symmetric monoidal categories (with respect to a suitable tensor product).

If $C$ is a symmetric monoidal category, let $C^{\times}$ denote the subcategory of invertible objects in $C$ and isomorphisms between these, and let's restrict our attention to this subcategory. For invertible $V$, the endofunctors $k : V \mapsto V^{\otimes k}$ have natural pointwise inverses

$$-k : V \mapsto (V^{-1})^{\otimes k}$$

and so the natural action of $\pi_0(S) \cong \mathbb{Z}_{\ge 0}$ naturally extends to an action of $\mathbb{Z}$. This $\mathbb{Z}$ is, of course, $\pi_0(\mathbb{S})$.

By invertibility, the natural map $\text{Aut}(1) \to \text{Aut}(V^{\otimes k})$ is an isomorphism. By the Eckmann-Hilton argument, $\text{Aut}(1)$ is an abelian group, and so the natural action of $S_k$ on $V^{\otimes k}$ must factor through its abelianization, and hence through the sign character $S_k \to \mathbb{Z}_2$. Moreover, these sign actions on $V^{\otimes k}$ determine and are determined by a sign action on $1$, and naturally give rise to sign actions on $(V^{-1})^{\otimes k}$ by dualizing.

This $\mathbb{Z}_2$ is, of course, $\pi_1(\mathbb{S})$, and a concise summary of the above pair of observations, together with all of the compatibilities relating them, is that the action of $S$ on symmetric monoidal groupoids with inverses factors through the natural map to the $1$-truncation $\mathbb{S}_{\le 1}$ of the sphere spectrum. This says a bit more than just that the natural actions of $S_k$ factor through their abelianizations: it also says that the sign character is compatible with the natural maps $S_k \times S_{k'} \to S_{k + k'}$, as well as that the data of the sign actions on $V^{\otimes k}$ can be packaged into the data of an operation

$$\pi_0(C^{\times}) \ni V \mapsto \sigma \in \text{Aut}(V^{\otimes 2}) \cong \text{Aut}(1) \cong \pi_1(C^{\times})$$

where $\sigma$ is the nontrivial element of $S_2$ acting on $\text{Aut}(V^{\otimes 2})$. This operation can be thought of as assigning every invertible object in $C$ its dimension, and the fact that $\pi_1(\mathbb{S}) \cong \mathbb{Z}_2$ implies in particular that the dimension of an invertible object is always $2$-torsion.

Example. Let $C$ be the symmetric monoidal category of super vector spaces over a field $k$ equipped with the tensor product. This operation assigns to the even invertible super vector space $1 \in \text{Aut}(1) \cong k^{\times}$ and assigns to the odd invertible super vector space $-1$.

---

The story for general $n$ (including $n = \infty$) is formally identical but takes more work to unpack. Again any symmetric monoidal $n$-category admits a natural action of $S$, and for the same reason. If $(C, \otimes)$ is a symmetric monoidal $n$-category, let $C^{\times}$ denote the subcategory of invertible objects in $C$, isomorphisms between these, isomorphisms between isomorphisms, etc.

Now let's try to run the above arguments again for the action of $S$ on $C^{\times}$. It is again true that for invertible $V$, the natural map $\text{Aut}(1) \to \text{Aut}(V^{\otimes k})$ (now a map of $n$-groups) is an isomorphism. The analogue of Eckmann-Hilton here asserts that the group operation on $\text{Aut}(1)$ is symmetric monoidal, so the natural action of $S_k$ on $V^{\otimes k}$ factors through a map

$$S_k \to \text{Aut}(V^{\otimes k}) \cong \text{Aut}(1)$$

to a symmetric monoidal $n$-group. The "symmetric monoidal $n$-abelianization" of $S_k$ is determined by taking the $n$-truncation of the answer for $n = \infty$, which is the loop space of the free connective spectrum on $BS_k$, or $\Omega \Sigma^{\infty} BS_k$.

I don't know much about that space, but fortunately we don't have to deal with it because we haven't used all of the available structure: we're talking about the individual symmetric groups instead of talking about $S$, so let's talk about $S$. The identification $[S, C] \cong C$ says that symmetric monoidal functors $S \to C$ can be identified with objects of $C$. If we restrict our attention to $C^{\times}$, then symmetric monoidal functors $S \to C^{\times}$ naturally factor through the "group completion" of $S$ (by which I mean the left adjoint to the inclusion of symmetric monoidal $\infty$-groupoids with inverses into symmetric monoidal $\infty$-categories), which Barratt-Priddy-Quillen-Segal tells us is the sphere spectrum $\mathbb{S}$. If $C$ is an $n$-groupoid then we can further factor through the $n$-truncation $\mathbb{S}_{\le n}$. Note that if you believe that $S$ and $\mathbb{S}$ have the universal properties that I said they did, then BPQS is a formal consequence of those universal properties. On the other hand, while it's not hard to show that $S$ is the free symmetric monoidal category on a point, it's less clear why $S$ is the free symmetric monoidal $\infty$-category on a point.

---

Okay, but that was a lot of formal junk. What am I actually saying for $n = 2$? Here $C$ is a symmetric monoidal $2$-category and we're considering the action of the symmetric groups $S_k$ on the tensor powers $V^{\otimes k}$ of some invertible object in $C^{\times}$. Write

$$\varphi : S_k \to \text{Aut}(V^{\otimes k})$$

for the corresponding morphism of $2$-groups. The starting observation is that part of what it means to be a morphism of $2$-groups is that $\varphi$ does not in any sense just "strictly preserve" the group operation on both sides, in the sense that we don't just have

$$\varphi(\sigma_1 \sigma_2) = \varphi(\sigma_1) \varphi(\sigma_2).$$

What we have instead is a family of $2$-morphisms

$$\eta_{\sigma_1, \sigma_2} : \varphi(\sigma_1 \sigma_2) \to \varphi(\sigma_1) \varphi(\sigma_2)$$

satisfying the coherence condition that the two ways of going from $\varphi(\sigma_1 \sigma_2 \sigma_3)$ to $\varphi(\sigma_1) \varphi(\sigma_2) \varphi(\sigma_3)$ coincide. As previously explained here, in the special case that the only element of $\text{Aut}(V^{\otimes k})$ is $\text{id}_{V^{\otimes k}}$ (this is an evil condition but it's easier to say things this way) this family of $2$-morphisms is precisely a $2$-cocycle on $S_k$ with values in $\text{Aut}(\text{id}_{V^{\otimes k}})$, and the coherence condition is precisely the $2$-cocycle condition.

$\pi_2(\mathbb{S})$ describes how nontrivial these cocycles can be subject to the condition that the natural action of $S_k$ on $\text{Aut}(V^{\otimes k}) \cong \text{Aut}(1)$ is coherently compatible with the symmetric monoidal structure $S_k \times S_{k'} \to S_{k + k'}$. These compatibilities imply, in particular, that we can package all of the morphisms $S_k \to \text{Aut}(V^{\otimes k})$ into a single morphism

$$S_{\infty} \to \text{Aut}(1)$$

of $2$-groups. We can trivialize this map on $\pi_0$ by passing from $S_{\infty}$ to the infinite alternating subgroup $A_{\infty}$, which has the effect of letting us ignore the non-identity elements of $\text{Aut}(1)$. We then get a natural map

$$A_{\infty} \to B \text{Aut}(\text{id}_1) \cong B \pi_2(C^{\times})$$

of $2$-groups, and the fact that $\pi_2(\mathbb{S}) \cong \mathbb{Z}_2$ says that the universal map from $A_{\infty}$ to a connected $2$-group (a $2$-group of the form $BA$, for $A$ an abelian group) is a map

$$A_{\infty} \to B \mathbb{Z}_2.$$

By universal coefficients, this is in turn equivalent to Lurie's assertion in the comments that

$$\pi_2(\mathbb{S}) \cong H_2(BA_{\infty}, \mathbb{Z}) \cong \mathbb{Z}_2$$

is the Schur multiplier of $A_{\infty}$. In the same way that passing from $S_{\infty}$ to $A_{\infty}$ universally trivializes the action of $S_{\infty}$ at the level of $\pi_0$, passing from $S_{\infty}$ to $A_{\infty}$ to the universal central extension $\widetilde{A}_{\infty}$ universally trivializes the action of $S_{\infty}$ at the level of $\pi_0$ and $\pi_1$.

---

The generator of $\pi_2(\mathbb{S})$ can also be thought of as describing an operation

$$\pi_0(C^{\times}) \to \pi_2(C^{\times})$$

which assigns to every invertible object of $C$ its "$2$-dimension." This is, in a very precise sense, the dimension of the dimension: the ring spectrum structure on $\mathbb{S}$ induces in particular a multiplication

$$\pi_1(\mathbb{S}) \times \pi_1(\mathbb{S}) \to \pi_2(\mathbb{S})$$

and it's known that the generator of $\pi_2(\mathbb{S})$ is the square of the generator of $\pi_1(\mathbb{S})$. This means the above operation factors as a composite

$$\pi_0(C^{\times}) \to \pi_1(C^{\times}) \to \pi_2(C^{\times})$$

where in the first step we take the dimension of an invertible object $V$, which is itself an invertible object in $\text{Aut}(1)$, and then take the dimension again.

Example. Let $C$ be the symmetric monoidal $2$-category of $k$-algebras, $k$-bimodules, and $k$-bimodule homomorphisms, where $k$ is a commutative ring. It turns out to be possible to describe the dimension of any object of $C$, not just the invertible ones, and it turns out to be the zeroth Hochschild homology

$$H_0(A) = A / [A, A].$$

$H_0$ respects the tensor product of $k$-algebras in the sense that $H_0(A \otimes_k B) \cong H_0(A) \otimes_k H_0(B)$, so in order for a $k$-algebra to be invertible (which here means Morita invertible) it must in particular have invertible $H_0$. The sequence of abelian groups given by taking $H_0$ and then taking the dimension

$$\pi_0(C^{\times}) \to \pi_1(C^{\times}) \to \pi_2(C^{\times})$$

can in fact be identified with a natural sequence of abelian groups

$$\text{Br}(k) \to \text{Pic}(k) \to k^{\times}.$$

Subexample. To see a case where the composite of the two maps above is nontrivial, let $k = \mathbb{R}$, but now consider super $k$-algebras, super $k$-bimodules, and super $k$-bimodule homomorphisms. Then

$$\pi_0(C^{\times}) \cong \text{SBr}(\mathbb{R}) \cong \mathbb{Z}_8$$ $$\pi_1(C^{\times}) \cong \text{SPic}(\mathbb{R}) \cong \mathbb{Z}_2$$ $$\pi_2(C^{\times}) \cong \mathbb{R}^{\times}.$$

where the $S$ stands for "super." The super Brauer group is generated by a Clifford algebra

$$\text{Cl}(1) \cong \mathbb{R}[e]/(e^2 = -1)$$

where $e$ has degree $1$. The zeroth Hochschild homology of this Clifford algebra is

$$H_0(\text{Cl}(1)) \cong \mathbb{R}[e]/(e^2 = -1, [e, e] = 2 e^2 = 0) \cong \mathbb{R} e;$$

that is, it's a $1$-dimensional odd vector space, and hence its image in both $\text{SPic}(\mathbb{R})$ and $\mathbb{R}^{\times}$ is $-1$ as above.

---

Okay, but so far I've more or less repackaged things that other people have already said. To really justify having written all of that let's do $n = 3$.

As far as combinatorics goes, we could talk about coherence data for compatible families of maps from the symmetric groups $S_k$ to symmetric monoidal $3$-groups, and we'd eventually learn (I think) that $\pi_3(\mathbb{S}) \cong \mathbb{Z}_{24}$ can be identified with the third homology

$$H_3(B \widetilde{A}_{\infty}, \mathbb{Z})$$

of the universal central extension of $A_{\infty}$, but at this point it seems prudent to introduce a better language for extracting something understandable from all of the structure available here. I'll use the language of framed cobordism. The natural map $S \to \mathbb{S}$ naturally factors through a third object

$$S \to \text{Bord} \to \mathbb{S}$$

where $\text{Bord}$ is the symmetric monoidal $\infty$-category of framed cobordisms. That is, it has objects framed points, morphisms framed $1$-cobordisms between points, etc. Like $S$ and $\mathbb{S}$, it has a universal property explaining where the above maps come from, which is a variant of the cobordism hypothesis:

$\text{Bord}$ is the free symmetric monoidal $\infty$-category with duals on a point.

The point is that a symmetric monoidal $\infty$-groupoid with inverses is in particular a symmetric monoidal $\infty$-category with duals.

The natural map $\text{Bord} \to \mathbb{S}$ induces a map

$$\pi_n(\text{Bord}) \to \pi_n(\mathbb{S})$$

which is precisely the Pontryagin-Thom isomorphism from the group of cobordism classes of closed framed $n$-manifolds to the $n^{th}$ stable homotopy group of spheres. A generalization of the claims I made about dimensions and "$2$-dimensions" above is that if $C$ is any symmetric monoidal $\infty$-category, then there is a natural map

$$\pi_n(\mathbb{S}) \times \pi_0(C^{\times}) \to \pi_n(C^{\times})$$

but since the generator of $\pi_1(\mathbb{S})$ does not cube to a generator of $\pi_3(\mathbb{S})$ and its higher powers vanish, it is not possible to interpret these operations as arising from iterating the construction of the dimension, and we need something new. That something new is the observation that the same argument that shows that every symmetric monoidal $\infty$-groupoid with duals is naturally a module over $\mathbb{S}$ shows that every symmetric monoidal $\infty$-category with duals is naturally a module over $\text{Bord}$. Hence if $C$ is any symmetric monoidal $\infty$-category, then the above map refines to a natural map

$$\pi_n(\text{Bord}) \times \pi_0(C^{fd}) \to \pi_n(C^{fd})$$

where $C^{fd}$ denotes the subcategory of fully dualizable objects, isomorphisms between these, etc. In terms of the usual cobordism hypothesis, this map comes from taking a fully dualizable object $V$, making it the value at a point of an $n$-dimensional fully extended topological field theory, and then evaluating the TFT on a framed $n$-manifold $M$ representing an element of $\pi_n(\text{Bord})$. If $C$ is chosen to be a suitable Morita category of $E_n$ algebras then this operation recovers factorization homology. For lack of a better term I'll call it factorization homology in general and use factorization homology notation for it:

$$\pi_n(\text{Bord}) \times \pi_0(C^{fd}) \ni (M, V) \mapsto \int_M V \in \pi_n(C^{fd}).$$

Hence (with the appropriate framings) $\int_{S^1} V$ is the dimension / Hochschild homology and $\int_{S^1 \times S^1} V$ is the $2$-dimension. This is all we get when $n = 1, 2$ because $\pi_1(\mathbb{S}) \cong \mathbb{Z}_2$ is generated by $S^1$ with the Lie group framing and $\pi_2(\mathbb{S}) \cong \mathbb{Z}_2$ is generated by $S^1 \times S^1$. But $\pi_3(\mathbb{S})$ is not generated by $(S^1)^3$: instead it's generated by $S^3 \cong \text{SU}(2)$ with the Lie group framing, and so the operation we get from a generator of $\pi_3(\mathbb{S})$ is taking factorization homology on $S^3$:

$$\pi_0(C^{fd}) \ni V \mapsto \int_{S^3} V \in \pi_3(C^{fd}).$$

Since $\pi_3(\mathbb{S}) \cong \mathbb{Z}_{24}$ and the cube of the generator of $\pi_1(\mathbb{S})$ represents the class $12 \in \mathbb{Z}_{24}$, factorization homology of a fully dualizable object on $S^3$ is $24$-torsion and moreover represents a distinguished $12^{th}$ root of the $3$-dimension $\int_{S^1 \times S^1 \times S^1} V$, which is $2$-torsion.

Warning. "Fully dualizable" above is an incredibly strong condition, and in particular it implies being $n$-dualizable for all $n$. Aside from invertible objects, the only examples I can cook up even heuristically are $E_{\infty}$ algebras in a suitable Morita $\infty$-category.

On the other hand, the upshot of the above digression into the cobordism hypothesis is that the operations induced by elements of $\pi_n(\mathbb{S})$, thought of as closed framed $n$-manifolds, make sense on a much more general class of objects than just invertible objects, but in fact on $n$-dualizable objects. So to understand how these operations work we can relax our hypotheses substantially: for example, dimension $\int_{S^1} (-)$ makes sense on $1$-dualizable objects, and these are much easier to find.

Example. Let $C$ be the symmetric monoidal $3$-category of conformal nets in the sense of Bartels-Douglas-Henriques. Then $\pi_3(C^{\times}) \cong U(1)$, and so factorization homology on $S^3$ defines an invariant

$$\pi_0(C^{\times}) \ni V \mapsto \int_{S^3} V \in \pi_3(C^{\times}) \cong U(1).$$

of invertible conformal nets taking values in the $24^{th}$ roots of unity. There is an invertible conformal net called the free fermion $\text{Fer}(1)$, which (conjecturally) is to tmf what the Clifford algebra $\text{Cl}(1)$ is to K-theory, and in Topological modular forms and conformal nets, Douglas and Henriques show that $\int_{S^3} \text{Fer}(1)$ is in fact a primitive $24^{th}$ root of unity.

---

One last comment on in what sense we can connect the above back to combinatorics, or $S$. Roughly speaking, I want to argue that this question doesn't respect the symmetries of the situation. What I mean is that starting from the action of $S$, we can at best write down some $0$-morphisms, some $1$-morphisms, and some coherence data, and out of this data we can try to say something about $\pi_n(\mathbb{S})$ if we can use this data to put together a closed framed $n$-manifold $M$. But the invariant $\int_M V$ itself doesn't depend on a choice of presentation of $M$, and presenting special cases of it this way blinds us to that: for example, it blinds us to a potentially very rich action of the framed diffeomorphisms of $M$ on $\int_M V$.

Answer 3

Combinatorial descriptions of homotopy groups of spheres have been studied in the unstable world rather than the stable world.

Jie Wu found a description of homotopy groups of $S^2$ in his thesis and published here. He described $\pi_n(S^2)$ as the center of a combinatorially defined group.

As is well known, there is an analogue of Barratt-Priddy-Quillen theorem for braid groups. By replacing symmetric groups by braid groups, we obtain $\Omega^2 S^2$. And it is natural to expect to have a combinatorial description of $\pi_*(S^2)$ in terms of braid groups. Such a description was obtained by Berrick, Cohen, Wong, and Wu in this paper. They described $\pi_*(S^2)$ as the homotopy groups of a $\Delta$-group (simplicial group without degeneracies) constructed from braid groups.

Recently a papaer by Mikhailov and Wu appeared, in which they extended Wu's description of $\pi_*(S^2)$ in his thesis.

Answer 4

There are papers by Eccles, Freedman, Koschorke, and Koschorke and Sanderson that date circa 1978-1982 which discuss the $n$th-stable stem as the bordism group of oriented codimension 1 immersions of closed $n$-manifolds in $(n+1)$-space. For example the generator of $\pi_1^s$ is represented by an immersed circle in the plane that forms the figure-$8$. The mod-2 number of double points is the invariant. The $2$nd stabe stem is represented by a fully twisted torus that is formed from the figure-$8$ times $[0,1]$, fully twisting one end and attaching to form a torus. This is the Lie framed torus (perturbed from $\mathbb{C}^2$) and projected into space.

The generator of ${\mathbb Z}/(24)$ can be given by the sphere eversion. (Shameless self-promotion) My upcoming book gives this explicitly, not as a generator, but you can compute the self-intersection invariants from the diagrams that I give. In general the Kahn-Priddy maps are the invariants constructed from the self-intersection sets. I have not done it, but it would be a nice exercise to understand your $3$rd point of view from these immersions.