Identify the sphere bundle of a complex line bundle $BD_{2n}\to BU(1)$

As is described in any standard group cohomology textbook, if $Q$ is a group and $A$ is an abelian group, then elements of $H^2(Q;A)$ correspond to central group extensions $A \rightarrow G \rightarrow Q$.

You are asking for a particular case of this. As you have described your particular element of $H^2(D_{2n};\mathbb Z)$ by its image in $H^2(D_{2n};\mathbb Z/2)$, one might also wish to describe the extension $\mathbb Z/2 \rightarrow \bar G \rightarrow D_{2n}$, the quotient of $G$ by $2\mathbb Z$.

It should be easy to calculate the mod 2 cohomology of $\bar G$. I have just be fooling with this when $n$ is a power of 2. One learns that when $n=4$, $\bar G$ will be group no. 4 of order 16 as described on Simon King and David Green's remarkable group cohomology website http://users.minet.uni-jena.de/cohomology/. When $n=8$, $\bar G$ will be group no. 12 of order 32. I am guessing that when $n=2^k$, $\bar G$ will also be the extension associated to the canonical element in $H^2(D_{2^k}; H_2(D_{2^k};\mathbb Z/2))$, and is a 2-central group of rank 2. (2-central = all elements of order 2 are central.)


Your cohomology class in $H^2(D_{2n},\mathbb{Z})$ comes from a homomorphism $D_{2n} \to S^1$, which factors as $D_{2n} \to \mathbb{Z}/2 \to S^1$, where the map $D_{2n} \to \mathbb{Z}/2$ sends the rotation to $0$ and the reflection to $1$.

So, you have maps $BD_{2n} \to B \mathbb{Z}/2 \to BS^1$, and you want to compute the homotopy fiber of this composition. To do this, first compute the homotopy fiber of the map $B \mathbb{Z}/2 \to BS^1$. This corresponds to the unique nontrivial central extention of $\mathbb{Z}/2$ by $\mathbb{Z}$, i.e. $\mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}/2$.

Now, you have a homotopy pullback diagram, where $G$ is the group you are trying to compute:

$$ \require{AMScd} \begin{CD} BG @> >> B \mathbb{Z} \\ @VVV @VVV \\ BD_{2n} @> >> B \mathbb{Z}/2 \end{CD} $$

Taking fundamental groups doesn't preserve pullbacks in general, but it does when everything in sight is the classifying space of a discrete group. So, $G$ is the fiber product $D_{2n} \times_{\mathbb{Z}/2} \mathbb{Z}$, where the map $D_{2n} \to \mathbb{Z}/2$ is the one mentioned earlier.

Algebraically speaking, you have some central extension of $D_{2n}$ by $\mathbb{Z}$, and it is pulled back from a known central extension of $\mathbb{Z}/2$ by $\mathbb{Z}$, so you can use this to figure out what the extension is.


Here is a solution to a toy version of your question. Namely, I will identify $S(\xi)$ in the special case when $\mathbf n = \infty$.

In this case, I claim that after suspending once, we have $$ \Sigma S(\xi) \,\, \simeq\,\, \Sigma (S^1 \times \Bbb RP^\infty)\, . $$ Secondly, I claim that there is a cofiber sequence $$ S^1 \to S(\xi) \to S^1_+ \wedge \Bbb RP^\infty $$ showing that the homomorphism $$ H^\ast(S^1_+ \wedge \Bbb RP^\infty) \to H^\ast(S(\xi)) $$ is an isomorphism in degrees $\ge 3$. Furthermore, we can also show that the latter is injective in degrees $\le 3$.

Corollary. If $n = \infty$, then with any coefficients we have $$ H^\ast(S(\xi)) \cong H^\ast(S^1) \oplus H^\ast(\Bbb RP^\infty) \oplus H^{\ast-1}(\Bbb RP^\infty) \, . $$

Here is the argument. In this instance $BD_{\infty} = \Bbb RP^\infty \vee \Bbb RP^\infty$ and the map $y^2: BD_{\infty} \to BU(1)$ is given by $$ \require{AMScd} \begin{CD} \Bbb RP^\infty \vee \Bbb RP^\infty @> (\ast,i) >> \Bbb C P^\infty \end{CD} $$ where $i : \Bbb RP^\infty \to \Bbb CP^\infty$ is the evident map, and $\ast : \Bbb RP^\infty \to \Bbb CP^\infty$ is constant.

The homotopy fiber of this map$^\dagger$ (which gives $S(\xi)$ in this case) is given by the pushout of the diagram $$ \begin{CD} S^1 @< \times 2 << S^1 \times \ast @>\subset >> S^1 \times \Bbb RP^\infty . \end{CD} $$ So there is a homotopy pushout $$ \require{AMScd} \begin{CD} S^1 @>>> S^1 \times \Bbb RP^\infty \\ @V \times 2 VV @VVV \\ S^1 @>>> S(\xi)\, . \end{CD} $$ By taking quotients horizontally, the latter gives the desired cofiber sequence $$ S^1 \to S(\xi) \to S^1_+ \wedge \Bbb RP^\infty \, . $$

We can say a bit more: the map $S^1\to S(\xi)$ is a retract (this can be seen using the universal property of the pushout to construct the retraction). In follows that the map $S(\xi) \to S^1_+ \wedge \Bbb RP^\infty$ is injective on cohomology in all degrees. Furthermore, after suspending once, the cofiber sequence splits, so $$ \Sigma S(\xi) \,\, \simeq\,\, \Sigma( S^1 \vee S^1_+ \wedge \Bbb RP^\infty ) \simeq \Sigma (S^1 \times \Bbb RP^\infty) $$ where I've used the fact that $X\times Y$ splits as $X \vee Y \vee X\wedge Y$ after one suspension.

${}^\dagger$The homotopy fiber of a map of based spaces $(f,g): X \vee Y \to Z$ with $Z$ path connected is given by the homotopy pushout of the diagram $F_f \leftarrow \Omega Z \rightarrow F_g$, where $F_f$ is the homotopy fiber of $f$.