Skip to main content
added 6 characters in body
Source Link
Nicholas Kuhn
  • 11.1k
  • 31
  • 58

Firstly, as shown in my answer to your `old question', arbitrary smash products of copies of $S/2$ will decompose into wedges of indecomposable spectra of an infinite number of homotopy types (even after suspensions).

At the prime 2, one can use idempotents in $\mathbb Z_2[\Sigma_3]$ to show any spectrum of the form $X \wedge X \wedge X$ decomposes as a wedge of the form $Y \vee Y \vee Z$.

When $X=S/2$, $Y = \Sigma S/2$ (which is likely what you meant) and $Z$ will have the same mod 2 cohomology (as an $A$-module) as $S/\eta \wedge S/2$. (Likely this cohomology module pins down the homotopy type.)

Added later ...

More generally, one can use known information about the modular representation theory of the symmetric groups to show the following: Suppose the mod 2 cohomology of $X$ is two dimensional. The idempotents in the group ring $\mathbb Z_2[\Sigma_n]$ can be used to (naturally) decompose $X^{\wedge n}$ into a wedge decomposition of the form $$ X^{\wedge n} \simeq \bigvee_{i=0}^{[(n-1)/2]} a(i) X_n(i)$$$$ X^{\wedge n} \simeq \bigvee_{i=0}^{[(n-1)/2]} a_n(i) X_n(i)$$ where $a(0)=1$$a_n(0)=1$ but the other $a(i)$$a_n(i)$'s might be hard to compute. [That indexing set corresponds to 2-regular Young diagrams with two columns: pairs $(i,j)$ with $0 \leq i < j$ and $i+j=n$.]

If $X$ was $\mathbb RP^2$, $\mathbb CP^2$, $\mathbb HP^2$, or the Octonian projective plane, then the spectrum $X_{2^k}(0)$ will have $Sq^{2^{k+c}}$ acting nontrivially, with $c=0,1,2,3$ corresponding to the four examples. I don't know if these pieces further decompose or are atomic. Maybe $H^*(X_n(i); \mathbb Z/2)$ doesn't decompose as a direct sum as an $A$-module in our four examples.

Firstly, as shown in my answer to your `old question', arbitrary smash products of copies of $S/2$ will decompose into wedges of indecomposable spectra of an infinite number of homotopy types (even after suspensions).

At the prime 2, one can use idempotents in $\mathbb Z_2[\Sigma_3]$ to show any spectrum of the form $X \wedge X \wedge X$ decomposes as a wedge of the form $Y \vee Y \vee Z$.

When $X=S/2$, $Y = \Sigma S/2$ (which is likely what you meant) and $Z$ will have the same mod 2 cohomology (as an $A$-module) as $S/\eta \wedge S/2$. (Likely this cohomology module pins down the homotopy type.)

Added later ...

More generally, one can use known information about the modular representation theory of the symmetric groups to show the following: Suppose the mod 2 cohomology of $X$ is two dimensional. The idempotents in the group ring $\mathbb Z_2[\Sigma_n]$ can be used to (naturally) decompose $X^{\wedge n}$ into a wedge decomposition of the form $$ X^{\wedge n} \simeq \bigvee_{i=0}^{[(n-1)/2]} a(i) X_n(i)$$ where $a(0)=1$ but the other $a(i)$'s might be hard to compute. [That indexing set corresponds to 2-regular Young diagrams with two columns: pairs $(i,j)$ with $0 \leq i < j$ and $i+j=n$.]

If $X$ was $\mathbb RP^2$, $\mathbb CP^2$, $\mathbb HP^2$, or the Octonian projective plane, then the spectrum $X_{2^k}(0)$ will have $Sq^{2^{k+c}}$ acting nontrivially, with $c=0,1,2,3$ corresponding to the four examples. I don't know if these pieces further decompose or are atomic. Maybe $H^*(X_n(i); \mathbb Z/2)$ doesn't decompose as a direct sum as an $A$-module in our four examples.

Firstly, as shown in my answer to your `old question', arbitrary smash products of copies of $S/2$ will decompose into wedges of indecomposable spectra of an infinite number of homotopy types (even after suspensions).

At the prime 2, one can use idempotents in $\mathbb Z_2[\Sigma_3]$ to show any spectrum of the form $X \wedge X \wedge X$ decomposes as a wedge of the form $Y \vee Y \vee Z$.

When $X=S/2$, $Y = \Sigma S/2$ (which is likely what you meant) and $Z$ will have the same mod 2 cohomology (as an $A$-module) as $S/\eta \wedge S/2$. (Likely this cohomology module pins down the homotopy type.)

Added later ...

More generally, one can use known information about the modular representation theory of the symmetric groups to show the following: Suppose the mod 2 cohomology of $X$ is two dimensional. The idempotents in the group ring $\mathbb Z_2[\Sigma_n]$ can be used to (naturally) decompose $X^{\wedge n}$ into a wedge decomposition of the form $$ X^{\wedge n} \simeq \bigvee_{i=0}^{[(n-1)/2]} a_n(i) X_n(i)$$ where $a_n(0)=1$ but the other $a_n(i)$'s might be hard to compute. [That indexing set corresponds to 2-regular Young diagrams with two columns: pairs $(i,j)$ with $0 \leq i < j$ and $i+j=n$.]

If $X$ was $\mathbb RP^2$, $\mathbb CP^2$, $\mathbb HP^2$, or the Octonian projective plane, then the spectrum $X_{2^k}(0)$ will have $Sq^{2^{k+c}}$ acting nontrivially, with $c=0,1,2,3$ corresponding to the four examples. I don't know if these pieces further decompose or are atomic. Maybe $H^*(X_n(i); \mathbb Z/2)$ doesn't decompose as a direct sum as an $A$-module in our four examples.

deleted 1 character in body
Source Link
Nicholas Kuhn
  • 11.1k
  • 31
  • 58

Firstly, as shown in my answer to your `old question', arbitrary smash products of copies of $S/2$ will decompose into wedges of indecomposable spectra of an infinite number of homotopy types (even after suspensions).

At the prime 2, one can use idempotents in $\mathbb Z_2[\Sigma_3]$ to show any spectrum of the form $X \wedge X \wedge X$ decomposes as a wedge of the form $Y \vee Y \vee Z$.

When $X=S/2$, $Y = \Sigma S/2$ (which is likely what you meant) and $Z$ will have the same mod 2 cohomology (as an $A$-module) as $S/\eta \wedge S/2$. (Likely this cohomology module pins down the homotopy type.)

Added later ...

More generally, one can use known information about the modular representation theory of the symmetric groups to show the following: Suppose the mod 2 cohomology of $X$ is two dimensional. The idempotents in the group ring of   $\mathbb Z_2[\Sigma_n]$ can be used to (naturally) decompose $X^{\wedge n}$ into a wedge decomposition of the form $$ X^{\wedge n} \simeq \bigvee_{i=0}^{[(n-1)/2]} a(i) X_n(i)$$ where $a(0)=1$ but the other $a(i)$'s might be hard to compute. [That indexing set corresponds to 2-regular Young diagrams with two columns: pairs $(i,j)$ with $0 \leq i < j$ and $i+j=n$.]

If $X$ was $\mathbb RP^2$, $\mathbb CP^2$, $\mathbb HP^2$, or the Octonian projective plane, then the spectrum $X_{2^k}(0)$ will have a   $Sq^{2^{k+c}}$ acting nontrivially, with $c=0,1,2,3$ corresponding to the four examples. I don't know if these pieces further decompose or are atomic. Maybe $H^*(X_n(i); \mathbb Z/2)$ doesn't decompose as a direct sum as an $A$-module in our four examples.

Firstly, as shown in my answer to your `old question', arbitrary smash products of copies of $S/2$ will decompose into wedges of indecomposable spectra of an infinite number of homotopy types (even after suspensions).

At the prime 2, one can use idempotents in $\mathbb Z_2[\Sigma_3]$ to show any spectrum of the form $X \wedge X \wedge X$ decomposes as a wedge of the form $Y \vee Y \vee Z$.

When $X=S/2$, $Y = \Sigma S/2$ (which is likely what you meant) and $Z$ will have the same mod 2 cohomology (as an $A$-module) as $S/\eta \wedge S/2$. (Likely this cohomology module pins down the homotopy type.)

Added later ...

More generally, one can use known information about the modular representation theory of the symmetric groups to show the following: Suppose the mod 2 cohomology of $X$ is two dimensional. The idempotents in the group ring of $\mathbb Z_2[\Sigma_n]$ can be used to (naturally) decompose $X^{\wedge n}$ into a wedge decomposition of the form $$ X^{\wedge n} \simeq \bigvee_{i=0}^{[(n-1)/2]} a(i) X_n(i)$$ where $a(0)=1$ but the other $a(i)$'s might be hard to compute. [That indexing set corresponds to 2-regular Young diagrams with two columns: pairs $(i,j)$ with $0 \leq i < j$ and $i+j=n$.]

If $X$ was $\mathbb RP^2$, $\mathbb CP^2$, $\mathbb HP^2$, or the Octonian projective plane, then the spectrum $X_{2^k}(0)$ will have a $Sq^{2^{k+c}}$ acting nontrivially, with $c=0,1,2,3$ corresponding to the four examples. I don't know if these pieces further decompose or are atomic. Maybe $H^*(X_n(i); \mathbb Z/2)$ doesn't decompose as a direct sum as an $A$-module in our four examples.

Firstly, as shown in my answer to your `old question', arbitrary smash products of copies of $S/2$ will decompose into wedges of indecomposable spectra of an infinite number of homotopy types (even after suspensions).

At the prime 2, one can use idempotents in $\mathbb Z_2[\Sigma_3]$ to show any spectrum of the form $X \wedge X \wedge X$ decomposes as a wedge of the form $Y \vee Y \vee Z$.

When $X=S/2$, $Y = \Sigma S/2$ (which is likely what you meant) and $Z$ will have the same mod 2 cohomology (as an $A$-module) as $S/\eta \wedge S/2$. (Likely this cohomology module pins down the homotopy type.)

Added later ...

More generally, one can use known information about the modular representation theory of the symmetric groups to show the following: Suppose the mod 2 cohomology of $X$ is two dimensional. The idempotents in the group ring   $\mathbb Z_2[\Sigma_n]$ can be used to (naturally) decompose $X^{\wedge n}$ into a wedge decomposition of the form $$ X^{\wedge n} \simeq \bigvee_{i=0}^{[(n-1)/2]} a(i) X_n(i)$$ where $a(0)=1$ but the other $a(i)$'s might be hard to compute. [That indexing set corresponds to 2-regular Young diagrams with two columns: pairs $(i,j)$ with $0 \leq i < j$ and $i+j=n$.]

If $X$ was $\mathbb RP^2$, $\mathbb CP^2$, $\mathbb HP^2$, or the Octonian projective plane, then the spectrum $X_{2^k}(0)$ will have   $Sq^{2^{k+c}}$ acting nontrivially, with $c=0,1,2,3$ corresponding to the four examples. I don't know if these pieces further decompose or are atomic. Maybe $H^*(X_n(i); \mathbb Z/2)$ doesn't decompose as a direct sum as an $A$-module in our four examples.

added 1018 characters in body
Source Link
Nicholas Kuhn
  • 11.1k
  • 31
  • 58

Firstly, as shown in my answer to your `old question', arbitrary smash products of copies of $S/2$ will decompose into wedges of indecomposable spectra of an infinite number of homotopy types (even after suspensions).

At the prime 2, one can use idempotents in $\mathbb Z_2[\Sigma_3]$ to show any spectrum of the form $X \wedge X \wedge X$ decomposes as a wedge of the form $Y \vee Y \vee Z$.

When $X=S/2$, $Y = \Sigma S/2$ (which is likely what you meant) and $Z$ will have the same mod 2 cohomology (as an $A$-module) as $S/\eta \wedge S/2$. (Likely this cohomology module pins down the homotopy type.)

Added later ...

More generally, one can use known information about the modular representation theory of the symmetric groups to show the following: Suppose the mod 2 cohomology of $X$ is two dimensional. The idempotents in the group ring of $\mathbb Z_2[\Sigma_n]$ can be used to (naturally) decompose $X^{\wedge n}$ into a wedge decomposition of the form $$ X^{\wedge n} \simeq \bigvee_{i=0}^{[(n-1)/2]} a(i) X_n(i)$$ where $a(0)=1$ but the other $a(i)$'s might be hard to compute. [That indexing set corresponds to 2-regular Young diagrams with two columns: pairs $(i,j)$ with $0 \leq i < j$ and $i+j=n$.]

If $X$ was $\mathbb RP^2$, $\mathbb CP^2$, $\mathbb HP^2$, or the Octonian projective plane, then the spectrum $X_{2^k}(0)$ will have a $Sq^{2^{k+c}}$ acting nontrivially, with $c=0,1,2,3$ corresponding to the four examples. I don't know if these pieces further decompose or are atomic. Maybe $H^*(X_n(i); \mathbb Z/2)$ doesn't decompose as a direct sum as an $A$-module in our four examples.

Firstly, as shown in my answer to your `old question', arbitrary smash products of copies of $S/2$ will decompose into wedges of indecomposable spectra of an infinite number of homotopy types (even after suspensions).

At the prime 2, one can use idempotents in $\mathbb Z_2[\Sigma_3]$ to show any spectrum of the form $X \wedge X \wedge X$ decomposes as a wedge of the form $Y \vee Y \vee Z$.

When $X=S/2$, $Y = \Sigma S/2$ (which is likely what you meant) and $Z$ will have the same mod 2 cohomology (as an $A$-module) as $S/\eta \wedge S/2$. (Likely this cohomology module pins down the homotopy type.)

Firstly, as shown in my answer to your `old question', arbitrary smash products of copies of $S/2$ will decompose into wedges of indecomposable spectra of an infinite number of homotopy types (even after suspensions).

At the prime 2, one can use idempotents in $\mathbb Z_2[\Sigma_3]$ to show any spectrum of the form $X \wedge X \wedge X$ decomposes as a wedge of the form $Y \vee Y \vee Z$.

When $X=S/2$, $Y = \Sigma S/2$ (which is likely what you meant) and $Z$ will have the same mod 2 cohomology (as an $A$-module) as $S/\eta \wedge S/2$. (Likely this cohomology module pins down the homotopy type.)

Added later ...

More generally, one can use known information about the modular representation theory of the symmetric groups to show the following: Suppose the mod 2 cohomology of $X$ is two dimensional. The idempotents in the group ring of $\mathbb Z_2[\Sigma_n]$ can be used to (naturally) decompose $X^{\wedge n}$ into a wedge decomposition of the form $$ X^{\wedge n} \simeq \bigvee_{i=0}^{[(n-1)/2]} a(i) X_n(i)$$ where $a(0)=1$ but the other $a(i)$'s might be hard to compute. [That indexing set corresponds to 2-regular Young diagrams with two columns: pairs $(i,j)$ with $0 \leq i < j$ and $i+j=n$.]

If $X$ was $\mathbb RP^2$, $\mathbb CP^2$, $\mathbb HP^2$, or the Octonian projective plane, then the spectrum $X_{2^k}(0)$ will have a $Sq^{2^{k+c}}$ acting nontrivially, with $c=0,1,2,3$ corresponding to the four examples. I don't know if these pieces further decompose or are atomic. Maybe $H^*(X_n(i); \mathbb Z/2)$ doesn't decompose as a direct sum as an $A$-module in our four examples.

edited body
Source Link
Nicholas Kuhn
  • 11.1k
  • 31
  • 58
Loading
Source Link
Nicholas Kuhn
  • 11.1k
  • 31
  • 58
Loading