Skip to main content
Fixed typo.
Source Link
Charles Rezk
  • 27.2k
  • 3
  • 99
  • 163

Here is one thing to try. Start with the smallest simplicial model for S1 (the 21-simplex modulo its boundary). Take the free group in each degree (but force the basepoint to be the identity). The resulting simplicial group FS1 is a model for ΩS2; furthermore, being a simplicial group, it's a Kan complex. Thus, we know there must be some map f: S2->FS1 which represents the generator of π2ΩS2; the group of FS1 in degree 2 is not too big, so it should not be hard to write this down explicitly (I haven't tried, though.)

Of course, you really want a map S3->X, where X models the 2-sphere. Since FS1 is a simplicial group, let X=BF1, it's classifying space. X is a model for the 2-sphere, and I expect that if you examine it closely, you will see the "suspension" of f corresponds to some explicit 3-simplex in X, which is your model.

I'm not sure this counts as a "combinatorial model", of course.

(I have a vague memory that Dan Kan did something like this in one of his papers in the 50s. Is that right?)

Here is one thing to try. Start with the smallest simplicial model for S1 (the 2-simplex modulo its boundary). Take the free group in each degree (but force the basepoint to be the identity). The resulting simplicial group FS1 is a model for ΩS2; furthermore, being a simplicial group, it's a Kan complex. Thus, we know there must be some map f: S2->FS1 which represents the generator of π2ΩS2; the group of FS1 in degree 2 is not too big, so it should not be hard to write this down explicitly (I haven't tried, though.)

Of course, you really want a map S3->X, where X models the 2-sphere. Since FS1 is a simplicial group, let X=BF1, it's classifying space. X is a model for the 2-sphere, and I expect that if you examine it closely, you will see the "suspension" of f corresponds to some explicit 3-simplex in X, which is your model.

I'm not sure this counts as a "combinatorial model", of course.

(I have a vague memory that Dan Kan did something like this in one of his papers in the 50s. Is that right?)

Here is one thing to try. Start with the smallest simplicial model for S1 (the 1-simplex modulo its boundary). Take the free group in each degree (but force the basepoint to be the identity). The resulting simplicial group FS1 is a model for ΩS2; furthermore, being a simplicial group, it's a Kan complex. Thus, we know there must be some map f: S2->FS1 which represents the generator of π2ΩS2; the group of FS1 in degree 2 is not too big, so it should not be hard to write this down explicitly (I haven't tried, though.)

Of course, you really want a map S3->X, where X models the 2-sphere. Since FS1 is a simplicial group, let X=BF1, it's classifying space. X is a model for the 2-sphere, and I expect that if you examine it closely, you will see the "suspension" of f corresponds to some explicit 3-simplex in X, which is your model.

I'm not sure this counts as a "combinatorial model", of course.

(I have a vague memory that Dan Kan did something like this in one of his papers in the 50s. Is that right?)

Source Link
Charles Rezk
  • 27.2k
  • 3
  • 99
  • 163

Here is one thing to try. Start with the smallest simplicial model for S1 (the 2-simplex modulo its boundary). Take the free group in each degree (but force the basepoint to be the identity). The resulting simplicial group FS1 is a model for ΩS2; furthermore, being a simplicial group, it's a Kan complex. Thus, we know there must be some map f: S2->FS1 which represents the generator of π2ΩS2; the group of FS1 in degree 2 is not too big, so it should not be hard to write this down explicitly (I haven't tried, though.)

Of course, you really want a map S3->X, where X models the 2-sphere. Since FS1 is a simplicial group, let X=BF1, it's classifying space. X is a model for the 2-sphere, and I expect that if you examine it closely, you will see the "suspension" of f corresponds to some explicit 3-simplex in X, which is your model.

I'm not sure this counts as a "combinatorial model", of course.

(I have a vague memory that Dan Kan did something like this in one of his papers in the 50s. Is that right?)