Skip to main content
added 722 characters in body
Source Link
Gregory Arone
  • 10.9k
  • 1
  • 47
  • 66

Let $X$ be a space with an action of $G$ such that $X^G=\emptyset$, and for every proper subgroup $H$, $X^H\ne \emptyset$. Then the infinite join of $X$ with itself is a universal space for the family of proper subgroups. This follows from the following facts: fixed points commute with join, infinite join of non-empty spaces is contractible, infinite join of empty spaces is empty.

So for example, if $G={\mathbb Z}/p^n$ is a cyclic group of prime power order, you can let $G$ act on $S^1$ via the standard action of the quotient group ${\mathbb Z}/p$$G/pG\cong {\mathbb Z}/p$ on the circle. This action has the required property, so the infinite join of this $S^1$ with itself is a model for the universal space. It is homeomorphic to $S^\infty$. Added later: It is easy to see that this is just $E{\mathbb Z}/p$, which is acted on by $G$ via the quotient map. You say that your eventual goal is to compute the mod-$2$ homology of such spaces. The universal space itself is contractible. Perhaps you are interested in the homology of the quotient space $EP_G/G$? In the case $G={\mathbb Z}/p^n$, the orbit space is simply the classifying space $B{\mathbb Z}/p$, whose homology is well-known.

A general finite cyclic group of order $n$ is a product of prime power cyclic groups, with distinct primes. You can take the join of universal spaces of the factors to get a universal space for the whole group. The orbit space is the join of spaces $B{\mathbb Z}/p$, where $p$ ranges over the prime factors of $n$. So its mod $2$ homology is the same as of ${\mathbb RP^\infty}$ if $n$ is a power of $2$, and is the same as of a point if $n$ has an odd factor.

Let $X$ be a space with an action of $G$ such that $X^G=\emptyset$, and for every proper subgroup $H$, $X^H\ne \emptyset$. Then the infinite join of $X$ with itself is a universal space for the family of proper subgroups. This follows from the following facts: fixed points commute with join, infinite join of non-empty spaces is contractible, infinite join of empty spaces is empty.

So for example, if $G={\mathbb Z}/p^n$ is a cyclic group of prime power order, you can let $G$ act on $S^1$ via the standard action of the quotient group ${\mathbb Z}/p$ on the circle. This action has the required property, so the infinite join of this $S^1$ with itself is a model for the universal space. It is homeomorphic to $S^\infty$.

A general finite cyclic group is a product of prime power cyclic groups, with distinct primes. You can take the join of universal spaces of the factors to get a universal space for the whole group.

Let $X$ be a space with an action of $G$ such that $X^G=\emptyset$, and for every proper subgroup $H$, $X^H\ne \emptyset$. Then the infinite join of $X$ with itself is a universal space for the family of proper subgroups. This follows from the following facts: fixed points commute with join, infinite join of non-empty spaces is contractible, infinite join of empty spaces is empty.

So for example, if $G={\mathbb Z}/p^n$ is a cyclic group of prime power order, you can let $G$ act on $S^1$ via the standard action of the quotient group $G/pG\cong {\mathbb Z}/p$ on the circle. This action has the required property, so the infinite join of this $S^1$ with itself is a model for the universal space. It is homeomorphic to $S^\infty$. Added later: It is easy to see that this is just $E{\mathbb Z}/p$, which is acted on by $G$ via the quotient map. You say that your eventual goal is to compute the mod-$2$ homology of such spaces. The universal space itself is contractible. Perhaps you are interested in the homology of the quotient space $EP_G/G$? In the case $G={\mathbb Z}/p^n$, the orbit space is simply the classifying space $B{\mathbb Z}/p$, whose homology is well-known.

A general finite cyclic group of order $n$ is a product of prime power cyclic groups, with distinct primes. You can take the join of universal spaces of the factors to get a universal space for the whole group. The orbit space is the join of spaces $B{\mathbb Z}/p$, where $p$ ranges over the prime factors of $n$. So its mod $2$ homology is the same as of ${\mathbb RP^\infty}$ if $n$ is a power of $2$, and is the same as of a point if $n$ has an odd factor.

added 7 characters in body
Source Link
Gregory Arone
  • 10.9k
  • 1
  • 47
  • 66

Let $X$ be a space with an action of $G$ such that $X^G=\emptyset$, and for every proper subgroup $H$, $X^H\ne \emptyset$. Then the infinite join of $X$ with itself is a universal space for the family of proper subgroups. This follows from the following facts: fixed points commute with join, infinite join of non-empty spaces is contractible, infinite join of empty spaces is empty.

So for example, if $G={\mathbb Z}/p^n$ is a cyclic group of prime power order, you can let $G$ act on $S^1$ via the standard action of the quotient group ${\mathbb Z}/p$ on the circle. This action has the required property, so the infinite join of this $S^1$ with itself is a model for the universal space. It is homeomorphic to $S^\infty$.

A general finite cyclic group is a product of prime power cyclic groups, with distinct primes. You can take the join of universal spaces of the factors to get a universal space for the whole group.

Let $X$ be a space with an action of $G$ such that $X^G=\emptyset$, and for every proper subgroup $H$, $X^H\ne \emptyset$. Then the infinite join of $X$ with itself is a universal space for the family of proper subgroups. This follows from the following facts: fixed points commute with join, infinite join of non-empty spaces is contractible, infinite join of empty spaces is empty.

So for example, if $G={\mathbb Z}/p^n$ is a cyclic group of prime power order, you can let $G$ act on $S^1$ via the standard action of the quotient group ${\mathbb Z}/p$ on the circle. This action has the required property, so the infinite join of this $S^1$ with itself is a model for the universal space. It is homeomorphic to $S^\infty$.

A general finite cyclic group is a product of prime power groups, with distinct primes. You can take the join of universal spaces of the factors to get a universal space for the whole group.

Let $X$ be a space with an action of $G$ such that $X^G=\emptyset$, and for every proper subgroup $H$, $X^H\ne \emptyset$. Then the infinite join of $X$ with itself is a universal space for the family of proper subgroups. This follows from the following facts: fixed points commute with join, infinite join of non-empty spaces is contractible, infinite join of empty spaces is empty.

So for example, if $G={\mathbb Z}/p^n$ is a cyclic group of prime power order, you can let $G$ act on $S^1$ via the standard action of the quotient group ${\mathbb Z}/p$ on the circle. This action has the required property, so the infinite join of this $S^1$ with itself is a model for the universal space. It is homeomorphic to $S^\infty$.

A general finite cyclic group is a product of prime power cyclic groups, with distinct primes. You can take the join of universal spaces of the factors to get a universal space for the whole group.

deleted 15 characters in body
Source Link
Gregory Arone
  • 10.9k
  • 1
  • 47
  • 66

Let $X$ be a space with an action of $G$ such that $X^G=\emptyset$, and for every proper subgroup $H$, $X^H\ne \emptyset$. Then the infinite join of $X$ with itself is a universal space for the family of proper subgroups. This follows from the following facts: fixed points commute with join, infinite join of non-empty spaces is contractible, infinite join of empty spaces is empty.

So for example, if $G={\mathbb Z}/p^n$ is a cyclic group of prime power order, you can let $G$ act on $S^1$ via the composedstandard action of the quotient group homomorphism ${\mathbb Z}/p^n\to {\mathbb Z}/p \hookrightarrow S^1$${\mathbb Z}/p$ on the circle. This action has the required property, so the infinite join of this $S^1$ with itself is a model for the universal space. It is homeomorphic to $S^\infty$.

A general finite cyclic group is a product of prime power groups, with distinct primes. You can take the join of universal spaces of the factors to get a universal space for the whole group.

Let $X$ be a space with an action of $G$ such that $X^G=\emptyset$, and for every proper subgroup $H$, $X^H\ne \emptyset$. Then the infinite join of $X$ with itself is a universal space for the family of proper subgroups. This follows from the following facts: fixed points commute with join, infinite join of non-empty spaces is contractible, infinite join of empty spaces is empty.

So for example, if $G={\mathbb Z}/p^n$ is a cyclic group of prime power order, you can let $G$ act on $S^1$ via the composed group homomorphism ${\mathbb Z}/p^n\to {\mathbb Z}/p \hookrightarrow S^1$. This action has the required property, so the infinite join of this $S^1$ with itself is a model for the universal space. It is homeomorphic to $S^\infty$.

A general finite cyclic group is a product of prime power groups, with distinct primes. You can take the join of universal spaces of the factors to get a universal space for the whole group.

Let $X$ be a space with an action of $G$ such that $X^G=\emptyset$, and for every proper subgroup $H$, $X^H\ne \emptyset$. Then the infinite join of $X$ with itself is a universal space for the family of proper subgroups. This follows from the following facts: fixed points commute with join, infinite join of non-empty spaces is contractible, infinite join of empty spaces is empty.

So for example, if $G={\mathbb Z}/p^n$ is a cyclic group of prime power order, you can let $G$ act on $S^1$ via the standard action of the quotient group ${\mathbb Z}/p$ on the circle. This action has the required property, so the infinite join of this $S^1$ with itself is a model for the universal space. It is homeomorphic to $S^\infty$.

A general finite cyclic group is a product of prime power groups, with distinct primes. You can take the join of universal spaces of the factors to get a universal space for the whole group.

Source Link
Gregory Arone
  • 10.9k
  • 1
  • 47
  • 66
Loading