3
$\begingroup$

Consider the action of $\mathbb{Z}/p^\times$ the units of $\mathbb{Z}/p$ on the classifying space $B\mathbb{Z}/p$ by left multiplication on the $n$-simplices $$ \alpha\cdot (g_1,...,g_n)=(\alpha g_1,...,\alpha g_n). $$ Here $B\mathbb{Z}/p$ denotes the usual model as the realization of the simplicial set whose $n$-simplices are $(\mathbb{Z}/p)^n$. Note that the action is free on the $n$-tuples that are different than the one consisting of only zeros.

Then what can be said about the quotient space $(B\mathbb{Z}/p)/\mathbb{Z}/p^\times$? Such as its homotopy type, homology groups...

$\endgroup$
4
  • 1
    $\begingroup$ Shouldn't this be $B$ of the semidirect product of $\mathbb Z/p$ and $\mathbb Z/p^\times$? $\endgroup$
    – Will Sawin
    Apr 27, 2013 at 4:53
  • 1
    $\begingroup$ The Borel construction should give the $B$ of the semidirect product. $\endgroup$
    – user19409
    Apr 27, 2013 at 5:43
  • $\begingroup$ I think the action is compatible, for $d_i$ we have $\alpha(g_i+g_{i+1})=\alpha g_i+\alpha g_{i+1}$ and similarly $d_0$ and $d_n$ are also compatible . $\endgroup$
    – user19409
    Apr 27, 2013 at 5:47
  • $\begingroup$ @unknown (google): My bad. I misinterpreted what you meant. Sorry about that. [I removed my earlier incorrect comment, so as to not clutter the discussion.] $\endgroup$ Apr 27, 2013 at 6:06

2 Answers 2

6
$\begingroup$

$\newcommand{\Ext}{\operatorname{Ext}}$$\newcommand{\To}{\longrightarrow}$$\newcommand{\dash}{\text{-}}$$\newcommand{\sSet}{\mathrm{sSet}}$$\newcommand{\ZZ}{\mathbb{Z}}$For convenience, I will denote by $G$ the group $(\ZZ/p)^\times$, and by $X$ the simplicial set $B(\ZZ/p)$ for $p$ a prime. I will prove later in this answer that there are natural weak equivalences $$ X/G \simeq (X\times_G EG)/BG \simeq B(\ZZ/p \rtimes G)/BG \rlap{\qquad\qquad\text{(I)}} $$

The fundamental group, cohomology, and homology of $X/G$

Before I prove formula (I), let me describe what the fundamental group, homology, and cohomology of the space $X/G$ look like. Assume that $p>2$, otherwise $X/G = B(\ZZ/p)$.

The fundamental group: By the van Kampen theorem, the fundamental group of $X/G \simeq B(\ZZ/p \rtimes G)/BG$ is the quotient of $\ZZ/p \rtimes G$ by the normal subgroup generated by $G$. This is easily seen to be trivial, as it is a quotient of $\ZZ/p$ with non-trivial kernel. So $X/G$ is simply connected.

The cohomology: We will make use of the Leray–Serre spectral sequence described by Mariano Suárez-Alvarez in his answer. Here is what we need to apply the conclusion from his answer:

  • The action of $\alpha\in G$ on $H_1 X = \pi_1 X = \ZZ/p$ is given by multiplication by $\alpha$.

  • So $\alpha\in G$ acts on $H^2 X = \Ext^1(H_1 X,\ZZ)$ by multiplication by $\alpha$. We have used the universal coefficient theorem and the fact that $H_2 X = H_2 B(\ZZ/p) = 0$.

  • Therefore, the action of $\alpha\in G$ on $H^\ast X = \ZZ[x]/\langle px \rangle$ (where $x$ is a generator in degree $2$) is by multiplication by $\alpha^n$ on $H^{2n} X$.

  • Since $G$ is cyclic of order $p-1$, the action of $G$ on $H^{2n} X$ is trivial if and only if $p-1$ divides $n$. In particular, the invariant subalgebra is: $$ (H^\ast X)^G = \ZZ[x^{p-1}]/\langle p x^{p-1} \rangle $$

Now we use the single row, single column spectral sequence for $H^\ast(X\times_G EG)$ that Mariano Suárez-Alvarez obtains in his answer.

  • Note that $G$ is cyclic of order $p-1$. So the single non-zero row of the spectral sequence is $H^\ast(BG)=\ZZ[y]/\langle (p-1)y \rangle$ for a generator $y$ in degree $2$.

  • Therefore, the spectral sequence collapses at $E_2$ for degree reasons. The end result of the spectral sequence is then a canonical short exact sequence of graded abelian groups $$ 0 \To \widetilde{H}^\ast BG \To H^\ast(X\times_G EG) \overset{f}{\To} (H^\ast X)^G \To 0 $$ where $f$ is actually an algebra map.

Finally, the long exact sequence for the cohomology of the pair $(X\times_G EG, BG)$ — whose quotient is equivalent to $X/G$ — gives that $H^\ast(X\times_G EG, BG)$ is the kernel of the map $H^\ast(X\times_G EG) \to H^\ast BG$ (which is surjective because it is induced by a section). The previous exact sequence then shows that the composition $$ H^\ast(X/G) = H^\ast((X\times_G EG)/BG) \To H^\ast(X\times_G EG) \To (H^\ast X)^G $$ is an isomorphism. In conclusion, we have an isomorphism of graded algebras: $$ H^\ast(X/G) = H^\ast(X)^G = \ZZ[x^{p-1}]/\langle p x^{p-1} \rangle= \ZZ[u]/\langle pu \rangle $$ where $u=x^{p-1}$ sits in degree $2p-2$. In particular, $H^0(X/G)=\ZZ$, $H^{n(2p-2)}(X/G)\simeq\ZZ/p$ for $n>0$, and all other integral cohomology groups of $X/G$ are zero.

The homology: Observe that $X/G$ is a simplicial set which is finite in each degree. Applying the universal coefficient theorem in reverse, we conclude that $H_0(X/G)=\ZZ$, $H_{n(2p-2)-1}(X/G)\simeq\ZZ/p$ for $n>0$, and all other integral homology groups of $X/G$ are zero.

Proof of the equivalences in formula (I)

As observed in the question, $X$ is a pointed $G$-simplicial set, and the action of $G$ on $X$ is free on every simplex which is not in the basepoint of $X$. This implies that the inclusion of the basepoint $1\to X$ is a cofibration in the projective model structure on $G$-simplicial sets. In other words, $X$ is a cofibrant object in the projective model structure on pointed $G$-simplicial sets.

Now observe that quotienting out by the action of $G$ is a left Quillen adjoint from pointed $G$-simplicial sets to pointed simplicial sets. I will denote this left Quillen adjoint by $F$: $$ F : G\dash\sSet_\ast \To \sSet_\ast $$ Since $X$ is a cofibrant object in the domain of $F$, the quotient $X/G = F(X)$ is weakly equivalent to $LF(X)$, the left derived functor of $F$ applied to $X$: $$ X/G \simeq LF(X) $$ Importantly, $LF(X)$ is weakly equivalent to the quotient of the Borel construction on $X$ by its subspace $BG$: $$ LF(X) \simeq (X\times_G EG)/BG \rlap{\qquad\qquad\text{(#)}} $$ Here, $BG$ includes into the Borel construction via the basepoint of $X$: $$ BG = EG/G = 1\times_G EG \To X\times_G EG $$ At the end of this answer, I will give a proof of formula (#), which simply states the well-known result that the homotopy quotient by $G$ in $\sSet_\ast$ (pointed simplicial sets) is equivalent to the homotopy quotient by $G$ in $\sSet$ further modded out by $BG$.

Finally, as observed in the comments, the Borel construction $X\times_G EG = B(\ZZ/p)\times_G EG$ is actually equivalent to $B(\ZZ/p \rtimes G)$, the classifying space of the semi-direct product. In conclusion: $$ X/G \simeq B(\ZZ/p \rtimes G)/BG $$


Proof of equivalence (#): Consider the sequence of left Quillen adjoints: $$ EG \downarrow G\dash\sSet \overset{T}{\To} 1 \downarrow G\dash\sSet \overset{F}{\To} 1\downarrow\sSet \ (= \sSet_\ast) $$ where the first functor $T$ is left adjoint to pre-composing with $EG\to 1$, i.e. $T$ quotients out by $EG$. Since $EG\to 1$ is a weak equivalence of $G$-simplicial sets, and $G$-simplicial sets form a left proper model category, the functor $T$ is actually a Quillen equivalence. So $X \simeq LT(X)$, where $X$ is seen as an object under $EG$ via $EG\to 1\to X$, and $LT$ is the left derived functor of $T$. Consequently: $$ LF(X) \simeq LF\circ LT(X) \simeq L(F\circ T)(X) \simeq (X\times_G EG)/BG $$ The last weak equivalence is obtained by expressing $F\circ T$ as the composite of the left Quillen adjoints $$ EG\downarrow G\dash\sSet \overset{(-)/G}{\To} BG\downarrow\sSet \overset{(-)/BG}{\To} 1\downarrow\sSet $$ and noting that since $EG$ is cofibrant, the left derived functor of $(-)/G$ is weakly equivalent to the Borel construction.

$\endgroup$
2
  • $\begingroup$ Great! I appreciate your detailed proof. $\endgroup$
    – user19409
    Apr 28, 2013 at 5:22
  • $\begingroup$ @unknown (google): You are welcome. It was a fun problem to work on. $\endgroup$ Apr 28, 2013 at 5:56
1
$\begingroup$

See the comments: the action is not properly discontinuous so the spectral sequence converges to the Borel construction rather than to the quotient, so this does not really compute what is wanted.

Let $\ell$ be a prime number.

Let $G=(\mathbb Z/\ell)^\times$ and $C_p=\mathbb Z/\ell$, and suppose $G$ acts on $BC_\ell$ in some way properly discontinuously. There is a spectral sequence with $E_2=H^\bullet(G,H^\bullet(BC_\ell,\mathbb Z))$ converging to $H^\bullet(BC_\ell/G,\mathbb Z)$.

Let $p>0$. If $q$ is odd, then $H^q(BC_\ell,\mathbb Z)=0$. If $q$ is even and positive, then $H^q(BC_\ell,\mathbb Z)$ is cyclic of order $\ell$, which is coprime to the order of $G$, and then it follows that $H^p(G,H^q(BC_\ell,\mathbb Z))=0$.

It follows that the spectral sequence has exactly one row and one column.

The $0$th row is the group cohomology of $G$. The $0$th column is $H^0(G,H^q(BC_\ell,\mathbb Z))$, which is just the invariant subalgebra $H^q(BC_\ell,\mathbb Z)^G$, and there is an isomorphism of graded algebras $H^\ast(BC_\ell,\mathbb Z)\simeq\mathbb Z[\zeta]/(\ell\zeta)$, with $\zeta$ a class of degree two. To see what the action of $G$ is on the whole thing it is enough to see what it is on $H^2(BC_\ell,\mathbb Z)$, which is the group cohomology group $H^2(C_\ell,\mathbb Z)$. That should be doable.

Convergence gives a long exact sequence involving all differentials in the spectral sequence. Since the spectral sequence has an algebra structure, this should not be impossible to make completely explicit.

$\endgroup$
4
  • 1
    $\begingroup$ The spectral sequence seems to converge to the cohomology of the Borel construction $EG\times_G BC_l$? $\endgroup$
    – user19409
    Apr 27, 2013 at 5:50
  • $\begingroup$ I was assuming that the action is properly discontinuous, actually, but I did not say so. This seems to be the case in the question, I think. (The spectral sequence I have in mind is the one coming from the last chapter of Grothendieck's Tōhoku; I hope the one coming from the fibration attached to the Borel construction is the same one) $\endgroup$ Apr 27, 2013 at 6:13
  • 2
    $\begingroup$ Yes it is the spectral sequence of that fibration. The action is not free the simplex $(0,...,0)$ is fixed by the group, otherwise it acts freely. $\endgroup$
    – user19409
    Apr 27, 2013 at 6:17
  • $\begingroup$ Ah, right! ${}{}{}$ $\endgroup$ Apr 27, 2013 at 6:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.