Skip to main content
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Draw attention by Michael Albanese
Bounty Started worth 50 reputation by Michael Albanese
Edited to maintain consistency.
Source Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160

Recall that a cohomology operation is a natural transformation $H^n(-; \pi) \to H^q(-; G)$$H^n(-; \pi) \to H^{n+k}(-; G)$ defined on CW complexes.

Does every cohomology operation $H^n(-; \mathbb{Z}) \to H^{n+k}(-; \mathbb{Z}/m)$ factor through $H^n(-; \mathbb{Z}/m)$?

The cohomology operations $H^n(-; \mathbb{Z}) \to H^n(-; \mathbb{Z}/m)$ are all multiples of the map induced on cohomology by the quotient map $\mathbb{Z} \to \mathbb{Z}/m$. In particular, if the above question has a positive answer, then for any such cohomology operation $\theta$, we have $\theta(mx) = 0$.

One can rephrase the above question in terms of Eilenberg-MacLane spaces:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}/m, n)$?

I would actually be content with a positive answer to the following broader question:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}/r, n)$ for some $r$?

I initially asked question 1 in the Homotopy Theory chatroom. Piotr Pstrągowski's comments, see here, explain why there is a positive answer for $m = 2$.

Recall that a cohomology operation is a natural transformation $H^n(-; \pi) \to H^q(-; G)$ defined on CW complexes.

Does every cohomology operation $H^n(-; \mathbb{Z}) \to H^{n+k}(-; \mathbb{Z}/m)$ factor through $H^n(-; \mathbb{Z}/m)$?

The cohomology operations $H^n(-; \mathbb{Z}) \to H^n(-; \mathbb{Z}/m)$ are all multiples of the map induced on cohomology by the quotient map $\mathbb{Z} \to \mathbb{Z}/m$. In particular, if the above question has a positive answer, then for any such cohomology operation $\theta$, we have $\theta(mx) = 0$.

One can rephrase the above question in terms of Eilenberg-MacLane spaces:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}/m, n)$?

I would actually be content with a positive answer to the following broader question:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}/r, n)$ for some $r$?

I initially asked question 1 in the Homotopy Theory chatroom. Piotr Pstrągowski's comments, see here, explain why there is a positive answer for $m = 2$.

Recall that a cohomology operation is a natural transformation $H^n(-; \pi) \to H^{n+k}(-; G)$ defined on CW complexes.

Does every cohomology operation $H^n(-; \mathbb{Z}) \to H^{n+k}(-; \mathbb{Z}/m)$ factor through $H^n(-; \mathbb{Z}/m)$?

The cohomology operations $H^n(-; \mathbb{Z}) \to H^n(-; \mathbb{Z}/m)$ are all multiples of the map induced on cohomology by the quotient map $\mathbb{Z} \to \mathbb{Z}/m$. In particular, if the above question has a positive answer, then for any such cohomology operation $\theta$, we have $\theta(mx) = 0$.

One can rephrase the above question in terms of Eilenberg-MacLane spaces:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}/m, n)$?

I would actually be content with a positive answer to the following broader question:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}/r, n)$ for some $r$?

I initially asked question 1 in the Homotopy Theory chatroom. Piotr Pstrągowski's comments, see here, explain why there is a positive answer for $m = 2$.

Edited title so that it is consistent with the question (which was edited earlier)
Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160

Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}_m/m, n + k)$ factor through $K(\mathbb{Z}_m/m, n)$?

Changed notation to avoid confusion with m-adics
Source Link
Phil Tosteson
  • 3.9k
  • 1
  • 19
  • 25

Recall that a cohomology operation is a natural transformation $H^n(-; \pi) \to H^q(-; G)$ defined on CW complexes.

Does every cohomology operation $H^n(-; \mathbb{Z}) \to H^{n+k}(-; \mathbb{Z}_m)$$H^n(-; \mathbb{Z}) \to H^{n+k}(-; \mathbb{Z}/m)$ factor through $H^n(-; \mathbb{Z}_m)$$H^n(-; \mathbb{Z}/m)$?

The cohomology operations $H^n(-; \mathbb{Z}) \to H^n(-; \mathbb{Z}_m)$$H^n(-; \mathbb{Z}) \to H^n(-; \mathbb{Z}/m)$ are all multiples of the map induced on cohomology by the quotient map $\mathbb{Z} \to \mathbb{Z}_m$$\mathbb{Z} \to \mathbb{Z}/m$. In particular, if the above question has a positive answer, then for any such cohomology operation $\theta$, we have $\theta(mx) = 0$.

One can rephrase the above question in terms of Eilenberg-MacLane spaces:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}_m, n + k)$$K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}_m, n)$$K(\mathbb{Z}/m, n)$?

I would actually be content with a positive answer to the following broader question:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}_m, n + k)$$K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}_r, n)$$K(\mathbb{Z}/r, n)$ for some $r$?

I initially asked question 1 in the Homotopy Theory chatroom. Piotr Pstrągowski's comments, see here, explain why there is a positive answer for $m = 2$.

Recall that a cohomology operation is a natural transformation $H^n(-; \pi) \to H^q(-; G)$ defined on CW complexes.

Does every cohomology operation $H^n(-; \mathbb{Z}) \to H^{n+k}(-; \mathbb{Z}_m)$ factor through $H^n(-; \mathbb{Z}_m)$?

The cohomology operations $H^n(-; \mathbb{Z}) \to H^n(-; \mathbb{Z}_m)$ are all multiples of the map induced on cohomology by the quotient map $\mathbb{Z} \to \mathbb{Z}_m$. In particular, if the above question has a positive answer, then for any such cohomology operation $\theta$, we have $\theta(mx) = 0$.

One can rephrase the above question in terms of Eilenberg-MacLane spaces:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}_m, n + k)$ factor through $K(\mathbb{Z}_m, n)$?

I would actually be content with a positive answer to the following broader question:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}_m, n + k)$ factor through $K(\mathbb{Z}_r, n)$ for some $r$?

I initially asked question 1 in the Homotopy Theory chatroom. Piotr Pstrągowski's comments, see here, explain why there is a positive answer for $m = 2$.

Recall that a cohomology operation is a natural transformation $H^n(-; \pi) \to H^q(-; G)$ defined on CW complexes.

Does every cohomology operation $H^n(-; \mathbb{Z}) \to H^{n+k}(-; \mathbb{Z}/m)$ factor through $H^n(-; \mathbb{Z}/m)$?

The cohomology operations $H^n(-; \mathbb{Z}) \to H^n(-; \mathbb{Z}/m)$ are all multiples of the map induced on cohomology by the quotient map $\mathbb{Z} \to \mathbb{Z}/m$. In particular, if the above question has a positive answer, then for any such cohomology operation $\theta$, we have $\theta(mx) = 0$.

One can rephrase the above question in terms of Eilenberg-MacLane spaces:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}/m, n)$?

I would actually be content with a positive answer to the following broader question:

  1. Does every map $K(\mathbb{Z}, n) \to K(\mathbb{Z}/m, n + k)$ factor through $K(\mathbb{Z}/r, n)$ for some $r$?

I initially asked question 1 in the Homotopy Theory chatroom. Piotr Pstrągowski's comments, see here, explain why there is a positive answer for $m = 2$.

Source Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160
Loading