Abstract
We examine the topological characteristic cohomology classes of complexified vector bundles. In particular, all the classes coming from the real vector bundles underlying the complexification are determined.
Similar content being viewed by others
1 Introduction and statement of the results
In the theory of characteristic classes (in the sense of Milnor and Stasheff [4], whom we follow in terminology and notation in this article), it is well-known how the Chern classes are mapped to even Stiefel–Whitney classes when converting complex vector space bundles to real vector space bundles by forgetting the complex structure. In the other direction, we have the fibre-wise complexification: Given a real vector bundle \(F \rightarrow B\) with fibre \({\mathbb {R}}^n\), its complexification is the complex vector bundle \(F^{\mathbb {C}} := F\otimes _{\mathbb {R}} {\mathbb {C}} \rightarrow B\) obtained by declaring complex multiplication on \(F \oplus F\) in each fibre \({\mathbb {R}}^n \oplus {\mathbb {R}}^n\) by \(i(x, y) := (-y, x)\) for the imaginary unit \(i\). The Pontrjagin classes of a real vector bundle are (up to a sign) constructed as Chern classes of its complexification. Conversely, which classes of a real vector bundle can be attributed to its complexification? These are the complexifiable characteristic classes which we determine in this article, under the request that they are characteristic classes in the sense of [4].
Consider a real vector bundle \(F \rightarrow B\) and a complex vector bundle \(E \rightarrow B \) over the same paracompact Hausdorff base space \(B\) (we keep the latter assumption on \(B\) throughout this article).
Definition 1
A real vector bundle \(F\) is called a real generator bundle of \(E\), if its complexification \(F^{\mathbb {C}} \) is isomorphic to \(E\). In the case that such a bundle \(F\) exists, we call \(E\) real-generated.
Not every complex vector bundle is real-generated; as the odd degree Chern classes have the property \(c_{2k+1}(\overline{E}) = -c_{2k+1}(E)\) on the complex conjugate bundle \(\overline{E}\), it is an easy exercise to show that no complex vector bundle with some nonzero and non-\(2\)-torsion odd Chern class can admit a real generator bundle. This makes it seem possible that the subcategory of real-generated vector bundles could admit information additional to its Chern classes, in terms of complexifiable classes of the real generator bundles. However, we will see that the Chern classes already contain all of the relevant information.
Definition 2
A characteristic class \(c\) of real vector bundles is complexifiable if for all pairs (\(F, G\)) of real vector bundles with isomorphic complexification \(F^{\mathbb {C}} \cong G^{\mathbb {C}}\), the identity \(c(F) = c(G)\) holds.
We will now give a complete classification of the complexifiable characteristic classes. Denote by \({\mathbb {Z}}_2 := {\mathbb {Z}}/2{\mathbb {Z}}\) the group with two elements.
Theorem 1
Let \(c\) be a polynomial in the Stiefel–Whitney classes \(w_i\), \(i \in {{\mathbb {N}}} \cup \{0\}\). Then the following two conditions are equivalent:
-
(i)
The class \(c\) is an element of the sub-ring \({\mathbb {Z}}_2 [ w_i^2]_{i \in {{\mathbb {N}}} \cup \{0\}}\) of the polynomials in the Stiefel–Whitney classes.
-
(ii)
The class \(c\) is complexifiable.
The implication (i)\(\Rightarrow \)(ii) follows easily from the fact that the square of the \(n\)-th Stiefel–Whitney class of a real vector bundle is the mod-\(2\)-reduction of the \(n\)-th Chern class of the complexified vector bundle. The proof of the implication (ii)\(\Rightarrow \)(i) is prepared with several intermediary steps leading to it. One ingredient, Lemma 1, follows essentially from work of Cartan on fibrations of H-spaces (at Cartan’s time called Hopf spaces). But this only allows us to show that complexifiable characteristic classes in cohomology with \({\mathbb {Z}}_2\)-coefficients are contained in the ideal generated by the squares of the Stiefel–Whitney classes. To show that they constitute exactly the subring generated by the squares of the Stiefel–Whitney classes, which is much smaller, we need the technical decomposition of Lemma 2 that we prove by induction.
By their naturality, characteristic classes are uniquely determined on the universal bundle over the classifying space (\(B{\mathcal {O}}\) for real vector bundles). As the cohomology ring \( \mathrm{H }^*(B{\mathcal {O}}, {\mathbb {Z}}_2)\) is generated by the Stiefel–Whitney classes of the universal bundle, all modulo \(2\) characteristic classes are polynomials in the Stiefel–Whitney classes, and Theorem 1 tells us which of them are complexifiable.
We build on this result to investigate which integral cohomology classes are complexifiable. To express our result, we use Feshbach’s description [3] of the cohomology ring of the classifying space \(B{\mathcal {O}}\) with \({\mathbb {Z}}\)-coefficients. Generators for this ring are known since Thomas [5, 6], and all the relations between its generators are known since Brown [1] and Feshbach [3]. Consider the Steenrod squaring operation \(Sq^1\) and the mod-2-reduction homomorphism
As generators for \(\mathrm{H }^*(B{\mathcal {O}},{\mathbb {Z}})\), Feshbach uses Pontrjagin classes and classes \(V_I\) with index sets \(I\) that are finite nonempty subsets of \(\left\{ \frac{1}{2} \right\} \cup {\mathbb {N}},\) admitting mod-2-reductions
where \(\omega _i\) is the \(i\)-th Stiefel–Whitney class of the universal bundle over \(B{\mathcal {O}}\). In particular, we have a generator \(V_{\{\frac{1}{2}\}}\). We give the details of Feshbach’s description in the appendix. Our final result now takes the following shape.
Theorem 2
Let \(C\) be a polynomial in \(V_I^2\), with \(I\) arbitrary, \(V_{\{\frac{1}{2}\}}\) and the Pontrjagin classes. Then \(C\) is complexifiable.
And conversely, we can say the following.
Theorem 3
Let \(C\) be a complexifiable integral characteristic class. Then for any real vector bundle \(\xi \), \(C(\xi )\) is completely determined by some Chern classes \(c_k(\xi ^{\mathbb {C}})\), \(k \in \mathbb {N}\).
2 Classes in cohomology with \({\mathbb {Z}}_2\)-coefficients
In this section, we shall prove Theorem 1, after developing all the tools we need to do so. For this entire section, we only consider cohomology with \({\mathbb {Z}}_2\)-coefficients. We write \({\mathbb {N}}\) for the natural numbers without \(0\).
Let \( F \rightarrow B \) be a real vector bundle over a paracompact Hausdorff base space. Let \(c\) be a complexifiable polynomial in the Stiefel–Whitney classes \(w_i\). Let \({\mathcal {O}}\) be the direct limit of the orthogonal groups, \(U\) the direct limit of the unitary groups and \(EU\) the universal total space to the classifying space \(BU\) for stable complex vector bundles. Let \(B{\mathcal {O}} := EU/{\mathcal {O}}\), via the inclusion \({\mathcal {O}}\subset U\) induced by the canonical inclusion \({\mathbb {R}}\subset {\mathbb {C}}\). Let \(\gamma ({\mathbb {R}}^\infty )\) be the universal bundle over \(B{\mathcal {O}}\), and denote its Stiefel–Whitney classes by \(\omega _i :=w_i(\gamma ({\mathbb {R}}^\infty ))\). Let \(\varepsilon \) be the trivial vector bundle.
Lemma 1
Let \(c\) be a complexifiable class in cohomology with \({\mathbb {Z}}_2\)-coefficients. Then \( c(\gamma ({\mathbb {R}}^\infty )) -c(\varepsilon )\) is contained in the ideal \(\langle \omega _i^2\rangle _{i \in {\mathbb {N}}}.\)
Proof
We use Cartan’s fibration of H-spaces [2] p. 17–22 (fibration en espaces de Hopf),
The cohomology ring \(\mathrm{H }^*(B{\mathcal {O}},{\mathbb {Z}}_2)\) is the polynomial algebra \({\mathbb {Z}}_2[\omega _1,\omega _2,\dots ]\) with generators the Stiefel–Whitney classes of the universal bundle. Cartan [2] p. 17–22 has shown that \(f^*\) maps these generators \(\omega _i\) to the generators \(\nu _i :=w_i(f^* \gamma ({\mathbb {R}}^\infty )) \) of the exterior algebra
which is obtained by dividing out the ideal \(\langle \nu _i^2\rangle _{i \in {\mathbb {N}}} \) of the polynomial algebra \({\mathbb {Z}}_2[\nu _1,\nu _2,\dots ]\). Hence, exactly the ideal \(\langle \omega _i^2\rangle _{i \in {\mathbb {N}}}\) is mapped to zero. So,
Composing \(f\) with the projection \( p: B{\mathcal {O}} \rightarrow BU \), we obtain a constant map and therefore a trivial bundle \((p\circ f)^*\gamma ({\mathbb {C}}^\infty ) \). This pullback of the complex universal bundle is the complexification of \( f^*\gamma ({\mathbb {R}}^\infty )\):
So, \( f^*\gamma ({\mathbb {R}}^\infty )\) admits a trivial complexification, and all of the complexifiable classes \(c\) must treat it like the trivial bundle \(\varepsilon \):
\(c(f^* \gamma ({\mathbb {R}}^\infty ))=c(\varepsilon )\). A pullback of the trivial bundle is trivial too, so
by naturality. Whence, \(c(\gamma ({\mathbb {R}}^\infty ))-c(\varepsilon )\) is an element of the kernel of \(f^*\), which we have identified with the ideal \(\langle \omega _i^2\rangle _{i \in {\mathbb {N}}}.\) \(\square \)
The above lemma allows us to write the characteristic class \(c\) under investigation as a sum over products with squares of Stiefel–Whitney classes,
with \(r_{j}\) some polynomials in the Stiefel–Whitney classes. We must inductively identify squares of Stiefel–Whitney classes as factors of the remainders \(r_{j}\), until we achieve the decomposition claimed in the following lemma.
Notation
For indices \(j_1,\dots ,j_{s} \in {\mathbb {N}}\) and \(i_{j_1},\dots , i_{(j_1,\dots ,j_s)} \in {\mathbb {N}}\), we shall write \(\vec {j}_s := (j_1,\dots ,j_{s})\) and \(I(\vec {j}_s) := \{ i_{\vec {j}_1},\dots , i_{\vec {j}_s} \}\). We set \(\vec {j}_0 := 0\).
Note that the classes \(c(\varepsilon ),\) \(r_{\vec {j}}(\varepsilon )\) of the trivial bundle \(\varepsilon \) that we are going to use now, are just coefficients in \(\mathrm{H }^0(B{\mathcal {O}},{\mathbb {Z}}_2) \cong \{0,1\}\).
Lemma 2
Any complexifiable characteristic class \(c\) admits a decomposition \(c(\gamma ({\mathbb {R}}^\infty ))-c(\varepsilon ) = \left( \sum \nolimits _{j_{k}=1}^{m_{\vec {j}_{k-1}}} \omega _{i_{\vec {j}_k}}^2 r_{\vec {j}_k}(\gamma ({\mathbb {R}}^\infty ))\right) \cup \left( \bigcup \nolimits _{n=1}^{k-1} \sum \nolimits _{j_n = 1}^{m_{\vec {j}_{n-1}}} \omega _{i_{\vec {j}_n}}^2 \right) \) \( + \sum \nolimits _{s = 1}^{k-1} \bigcup \nolimits _{n=1}^{s} \sum \nolimits _{j_{n} = 1}^{m_{\vec {j}_{n-1}}} \omega _{i_{\vec {j}_{n}}}^2 r_{\vec {j}_{n}}(\varepsilon )\) for some \(k, m_{\vec {j}_0},\dots , m_{\vec {j}_{k-1}}\) \(\in \) \({\mathbb {N}} \cup \{ 0 \}\), some \(i_{\vec {j}_1},\dots , i_{\vec {j}_k}\) \(\in \) \({\mathbb {N}}\), some \(r_{\vec {j}_k}(\gamma ({\mathbb {R}}^\infty ))\) \(\in \) \(\mathrm{H }^*(B{\mathcal {O}},{\mathbb {Z}}_2)\), and some coefficients \(r_{\vec {j}_1}(\varepsilon ),\dots , r_{\vec {j}_{k-1}}(\varepsilon )\) \(\in \) \( \{ 0, 1 \}\), such that the following inequality holds: \(2\sum \nolimits _{p \in I({\vec {j}_k})} p > \deg c.\)
Remark A
Once that this lemma is established, we use that the degree must be the same on both sides in order to deduce that the sum over all terms containing a factor \( \bigcup \nolimits _{p \in I(\vec {j}_k)} \omega _p^2\) exceeding the degree of \(c\) via the requested inequality must already be zero. So in fact, the decomposition is of the form
meaning that \(c(\gamma ({\mathbb {R}}^\infty ))\) is a polynomial in some squares \(\omega _p^2\) , \(p\) \(\in \) \({\mathbb {N}} \cup \{ 0\}\), which implies Theorem 1, (ii)\(\Rightarrow \)(i).
Before giving the proof of Lemma 2, we shall introduce two notations just to make that proof more readable.
Definition 3
An index vector \(\vec {j}\) appears in a given decomposition of \(c(\gamma ({\mathbb {R}} ^\infty ))-c(\varepsilon )\) if both \(\left( 2\sum \nolimits _{p \in I(\vec {j})} p \right) \le \deg c\) and this decomposition admits a summand of the form \(r_{\vec {j}}(\gamma ({\mathbb {R}} ^\infty )) \cup \bigcup \nolimits _{p \in I(\vec {j})} \omega _p^2\).
Note that the terms \(\left( r_{\vec {j}}(\gamma ({\mathbb {R}} ^\infty )) \cup \bigcup \nolimits _{p \in I(\vec {j})} \omega _p^2 \right) \) with \(\left( 2\sum \nolimits _{p \in I(\vec {j})} p > \deg c \right) \) must vanish in any decomposition of \(c(\gamma ({\mathbb {R}} ^\infty ))-c(\varepsilon )\). That is why we do not let them contribute in the last definition.
Definition 4
Set \(\ell := \min \nolimits _{\vec {j}\, \mathrm {appears}} \max I(\vec {j}). \) Consider an index vector \(\vec {j}\) appearing in a given decomposition of \(c(\gamma ({\mathbb {R}} ^\infty ))-c(\varepsilon )\).
If \(\max I(\vec {j}) = \ell \), then we call \(r_{\vec {j}}(\gamma ({\mathbb {R}} ^\infty ))- r_{\vec {j}}(\varepsilon )\) a lower degree remainder.
As seen in Lemma 1, \(c(\gamma ({\mathbb {R}} ^\infty ))-c(\varepsilon )\) lies in \( \ker f^* = \langle \omega _i^2\rangle _{i \in {\mathbb {N}}} \), so there is a decomposition
for some \(m\) \(\in \) \({\mathbb {N}} \cup \{ 0 \}\), some \(i_{\vec {j}_1}\) \(\in \) \({\mathbb {N}}\), and some \(r_{\vec {j}_1}(\gamma ({\mathbb {R}}^\infty ))\) \(\in \) \(\mathrm{H }^*(B{\mathcal {O}},{\mathbb {Z}}_2)\). We will show that there is a lower degree remainder \(r_{\vec {j}_1}(\gamma ({\mathbb {R}}^\infty )) -r_{\vec {j}_1}(\varepsilon )\) in this decomposition that lies in \( \ker f^*\). Then, that lower degree remainder admits a decomposition as a linear combination of squares \(\omega _{i_{\vec {j}_2}}^2\) with coefficients \(r_{\vec {j}_2}(\gamma ({\mathbb {R}}^\infty ))\) in \(\mathrm{H }^*(B{\mathcal {O}},{\mathbb {Z}}_2)\), leading to a new decomposition of \(c(\gamma ({\mathbb {R}}^\infty ))-c(\varepsilon ) \). So, inductively, we will replace a lower degree remainder in any given decomposition of \(c(\gamma ({\mathbb {R}}^\infty ))-c(\varepsilon ) \) by a linear combination the coefficients of which are remainders with longer index vectors. That is why after a finite number of these steps, the index vectors \(\vec {j}\) will no longer appear, because the sums \(\left( 2\sum \nolimits _{p \in I(\vec {j})} p\right) \) will exceed the degree of \(c\). This is the moment when all lower degree remainders are eliminated and the decomposition described in Lemma 2 is achieved.
To carry out this strategy, we first need to introduce the following truncation procedure.
2.1 Truncated stable invariance
With Lemma 3, we shall give a sense to “the truncation of the equation \(c(F \oplus G) = c(G)\) at the dimension \(\ell \)”. Define the bundles
and
where \(pr_i\) is the projection on the \(i\)-th factor of the base space \(U/{\mathcal {O}} \times B{\mathcal {O}}\). Let \(\ell \in {\mathbb {N}}\). Consider the map
where \(emb_\ell : B{\mathcal {O}}_\ell \hookrightarrow B{\mathcal {O}}\) is the natural embedding into the direct limit. Then the bundle \(G_\ell := (id, emb_\ell )^*G\) admits Stiefel–Whitney classes that are in bijective correspondence with those of the \(\ell \)-dimensional universal bundle \(\gamma _\ell ({\mathbb {R}}^\infty )\rightarrow B{\mathcal {O}}_\ell \).
To be precise, \(G_\ell \cong {pr_{B{\mathcal {O}}_\ell }}^*\gamma _\ell ({\mathbb {R}}^\infty )\) and the situation is
Especially, \(w_p(G_\ell )\) vanishes for \(p > \ell \). Compare the latter statements with [4].
Lemma 3
Under the above assumptions, the following equation holds:
We will call it the equation \(c(F \oplus G) = c(G)\) truncated at dimension \(\ell \).
Proof
The bundle \(F\) inherits from \(f^*\gamma ({\mathbb {R}}^\infty )\) the property of admitting a trivial complexification. As \(c\) is complexifiable, we have \(c(F \oplus G) = c(G).\) Applying the induced cohomology map \((id, emb_\ell )^*\) to this equation, we obtain
and hence
By the universality of \(\gamma ({\mathbb {R}}^\infty )\), and the naturality of all characteristic classes with respect to the classifying maps of \(G_\ell \) and \(F \oplus G_\ell \), any given decomposition
gives analogous decompositions
and
By Theorem 1, (i)\(\Rightarrow \)(ii) the square \(w_p^2\) is complexifiable and hence invariant under adding the bundle \(F\) of trivial complexification:
Thus, the equation \(c(F \oplus G_\ell ) = c(G_\ell )\) can be rewritten using that all summands containing a factor \(w_p(G_\ell )\) with \(p > \ell \) vanish:
In order not to exceed the degree of \(c\), also all terms with \(2\sum \nolimits _{p \in I(\vec {j})} p > \deg c\) must vanish:
So, this last equation is the equation \(c(F \oplus G) = c(G)\) truncated at the dimension \(\ell \). \(\square \)
Proof of Lemma 2
We carry out the proof by induction over the index vector identifying a lower degree remainder.
Base case. Lemma 1 implies \(c(\gamma ({\mathbb {R}}^\infty ))-c(\varepsilon ) \) \( = \sum \nolimits _{j_1 = 1}^m \omega _{i_{\vec {j}_1}}^2 \cup r_{\vec {j}_1}(\gamma ({\mathbb {R}}^\infty ))\),
with \(r_{\vec {j}_1}\) some polynomials in the Stiefel–Whitney classes.
Rename \(i_1,\dots , i_m\) such that \(i_1 < i_2 < \dots < i_m\).
We truncate the equation \(c(F \oplus G) = c(G)\) at the dimension \(i_1 \), and obtain
As \(i_1 < i_2 < \dots < i_m\), this is just \( r_{1}(F \oplus G_{i_1}) \cup w_{i_{1}}^2(G_{i_1})\) \( = r_{1}(G_{i_1}) \cup w_{i_{1}}^2(G_{i_1})\).
Injectivity of the multiplication map \(\cup w_{i_{1}}^2(G_{i_1})\) in \(\mathrm{H }^*(U/ {\mathcal {O}}\times B{\mathcal {O}}_{i_1}, {\mathbb {Z}}_2)\) then holds \(r_{1}(F \oplus G_{i_1}) = r_{1}(G_{i_1}) \). Then we pull this back with
(where the map \(const\) takes just one, arbitrary, value), to obtain
Due to the Whitney sum formula, the Stiefel–Whitney classes in which \(r_1\) is a polynomial are stable under adding a trivial bundle; and the above left hand term equals \(r_1(f^*\gamma ({\mathbb {R}}^\infty )).\)
Using naturality of characteristic classes with respect to pullbacks, this shows that \(r_1(\gamma ({\mathbb {R}}^\infty )) - r_1(\varepsilon )\) lies in \(\ker f^*\). So we can replace it with a linear (over the field with 2 elements) combination of strictly quadratic terms, providing a new decomposition,
Induction hypothesis. Consider a given decomposition
Inductive claim. The decomposition of the induction hypothesis admits a lower degree remainder that lies in \(\ker f^*\). We show this in the inductive step.
Inductive step. We truncate the equation \(c(F \oplus G) = c(G)\) at the dimension
Then the remaining terms of \(c(G_\ell ) - c(\varepsilon )\) do all have the common factor \(w_l^2(G_\ell )\). This is not a zero divisor in \(\mathrm{H }^*(U/{\mathcal {O}}\times B{\mathcal {O}}_{\ell }, {\mathbb {Z}}_2)\) and furthermore its multiplication map \( \cup w_l^2(G_\ell )\) is injective. Now, in \( c(F \oplus G_\ell ) = c(G_\ell )\), this injectivity implies
\(\diamondsuit \) If there is just one lower degree remainder \(r_{\vec {j}}(\gamma ({\mathbb {R}} ^\infty ))- r_{\vec {j}}(\varepsilon )\), then we use the injectivity of the multiplication map
to obtain \( r_{\vec {j}}(F \oplus G_\ell ) = r_{\vec {j}}(G_\ell )\). Then we pull this back with
to obtain \(r_{\vec {j}}(f^*\gamma ({\mathbb {R}} ^\infty ) \oplus \varepsilon )= r_{\vec {j}}(\varepsilon )\). Using naturality, we see now that the lower degree remainder \(r_{\vec {j}}(\gamma ({\mathbb {R}} ^\infty ))- r_{\vec {j}}(\varepsilon )\) lies in \(\ker f^*\).
\(\diamondsuit \) Otherwise, we truncate the remaining equation again at the dimension
so as to obtain
Now we proceed analogously with the choice marked with the “\(\diamondsuit \)” signs and, after finitely many steps, find a lower degree remainder in \(\ker f^*\). This lower degree remainder can be replaced by a linear combination of squares, holding a new decomposition of \(c(\gamma ({\mathbb {R}}^\infty ))-c(\varepsilon ) \). This completes the induction. \(\square \)
Proof of Theorem 1
(ii)\(\Rightarrow \)(i) Let \(c\) be a complexifiable characteristic class. By Remark A and the universality of \(\gamma ({\mathbb {R}}^\infty )\), the decomposition of Lemma 2 yields the decomposition
As \(c(\varepsilon ), r_{\vec {j}_1}(\varepsilon ),\dots , r_{\vec {j}_{k-1}} (\varepsilon )\) are elements of \(\{0, 1 = w_0 = w_0^2\},\) the class \(c\) is in the sub-ring \({\mathbb {Z}}_2 [ w_i^2]_{i \in {{\mathbb {N}}} \cup \{0\}}\) of the polynomial ring of Stiefel–Whitney classes. \(\square \)
This completes the proof of Theorem 1.
3 Classes in cohomology with integral coefficients
We will build on our results obtained for \({\mathbb {Z}}_2\)-coefficients and use the mod-2-reduction homomorphism
to prove the theorems with \({\mathbb {Z}}\)-coefficients stated in the introduction. Define the element \(V_I \in \mathrm{H }^*(B{\mathcal {O}},{\mathbb {Z}})\) as in the appendix, and let \(v_I\) be the characteristic class that is \(V_I\) on the universal bundle.
Lemma 4
For any real bundle \(\xi \), the mod-\(2\)-reduced class \(\rho (v_I^2(\xi ))\) equals
Proof
By Feshbach’s description (in the appendix), the mod-2-reduction is
We expand this expression until it is a polynomial in the Stiefel–Whitney classes. Then we rearrange the expression using the Whitney sum formula and the symmetry of the terms. \(\square \)
Proof of Theorem 2
For \(v_{\{\frac{1}{2}\}}\) and the Pontrjagin classes, the result is obvious. Now let \(F\rightarrow B\), \(G\rightarrow B \) be real bundles with \(F^{\mathbb {C}} \cong G^{\mathbb {C}} \). Forgetting the complex structure, this is \( F \oplus F \cong G \oplus G \). By naturality of the Stiefel–Whitney classes, for any finite nonempty index set \(I\) \(\subset \) \((\{ \frac{1}{2} \} \cup {\mathbb {N}})\), the polynomial given in Lemma 4 is the same for the arguments \((F \oplus F)\) and \((G \oplus G)\). Applying Lemma 4, this means that \(\rho (v_I^2(F)) = \rho (v_I^2(G)) \). As \(V_I^2\) is in the torsion of \(\mathrm{H }^*(B{\mathcal {O}},{\mathbb {Z}})\), restricted on which \(\rho \) is injective [3] p. 513, this proves the theorem: \(v_I^2(F) = v_I^2(G) \). \(\square \)
Proof of Theorem 3
Feshbach [3] p. 513 shows that
where \(\pi _i\) is the \(i\)-th Pontrjagin class of the universal bundle. Then \(C = P( p_i) + T\) with \(P\) a polynomial in the Pontrjagin classes \(p_i\) and \(T\) some 2-torsion class. So for every real bundle \(\xi \),
By definition of the Pontrjagin classes, \(p_i(\xi ) = (-1)^i c_{2i}(\xi ^{\mathbb {C}})\) ; and using the reduction \(\rho \left( c_{2i}(\xi ^{\mathbb {C}})\right) = w_{4i}(\xi \oplus \xi )\) from Chern classes to Stiefel–Whitney classes, further the Whitney sum formula and the symmetry of the summands, we deduce
It follows from Theorem 1 that the mod-\(2\)-reduction \(\rho (C)(\xi )\) is a polynomial in the squares of Stiefel–Whitney classes; and hence also \(\rho (T)(\xi )\) is a polynomial \( Q( w_{j}^2(\xi ))\) in the squares of Stiefel–Whitney classes. As according to [3] p. 513, \(\rho \) is injective on the torsion elements, there is an inverse for the restricted map \({\rho |_{\{2\hbox {-torsion}\}}}\), lifting \(\rho (T)\) back to \(T\). So, from
we obtain
\(\square \)
The author would like to thank Graham Ellis and Thomas Schick for support and encouragement, the latter also for posing the questions treated in this article and giving advice on them.
References
Brown, E. H. Jr.: The cohomology of BSOn and BOn with integer coefficients. Proc. Am. Math. Soc. 85(2), 283–288 (1982). doi:10.2307/2044298
Cartan, H.: Démonstration homologique des théorèmes de périodicité de Bott, II: Homologie et cohomologie des groupes classiques et leurs espaces homogènes. In: Séminaire Henri Cartan, 12ième année: 1959/60. Périodicité des groupes d’homotopie stables des groupes classiques, d’après Bott. Deuxième édition, corrigée, École Normale Supérieure, Secrétariat mathématique, Paris, Fascicule 2, Exposé 17. http://www.numdam.org/item?id=SHC_1959-1960__12_2_A7_0 1961 (French)
Feshbach, M.: The integral cohomology rings of the classifying spaces of \({\rm O}(n)\) and \({\rm SO}(n)\). Indiana Univ. Math. J. 32(4), 511–516 (1983). doi: 10.1512/iumj.1983.32.32036
Milnor, J.W., Stasheff, J.D.: Characteristic classes. Annals of mathematics studies. Princeton University Press, Princeton (1974)
Emery, T.: A note on certain polynomial algebras. Proc. Am. Math. Soc. 11, 410–414 (1960)
Emery, T.: On the cohomology of the real Grassmann complexes and the characteristic classes of \(n\)-plane bundles. Trans. Am. Math. Soc. 96, 67–89 (1960)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jim Stasheff.
This article is dedicated to Mark F. Feshbach (1950–2010), for his valuable work on cohomology rings of classifying spaces.
Funded by the Irish Research Council for Science, Engineering and Technology.
Appendix: The cohomology ring of \(B{\mathcal {O}}\) with \({\mathbb {Z}}\)-coefficients
Appendix: The cohomology ring of \(B{\mathcal {O}}\) with \({\mathbb {Z}}\)-coefficients
The cohomology ring of \(B{\mathcal {O}}\) with \({\mathbb {Z}}\)-coefficients is known since Thomas [5, 6] and with all relations between its generators since Brown [1] and Feshbach [3]. It can be derived as follows. Define the set of generators of \(\mathrm{H }^*(B{\mathcal {O}}_n,{\mathbb {Z}})\) as in [3, definition 1]:
It consists of the Pontrjagin classes \(p_i\) of the universal bundle over \(B{\mathcal {O}}_n\), and classes \(V_I\) with \(I\) ranging over all finite nonempty subsets of
with the proviso that \(I\) does not contain both \(\frac{1}{2}\) and \(\frac{n}{2}\), for \(n>1\).
According to [3, theorem 2], \(\mathrm{H }^*(B{\mathcal {O}}_n,{\mathbb {Z}})\) is for all \(n \le \infty \) isomorphic to the polynomial ring over \({\mathbb {Z}}\) generated by the above specified elements modulo the ideal generated by the following six types of relations.
In all relations except the first, the cardinality of \(I\) is less than or equal to that of \(J\) and greater than one. On the index sets \(I\) and \(J\), we perform set-theoretic unions (\(\cup \)), intersections (\(\cap \)) and differences (\({\setminus }\)). By convention, \(p_{\frac{1}{2}}\) where it occurs means \(V_{\left\{ \frac{1}{2} \right\} }\). Also, if \(\left\{ \frac{n}{2}, \frac{1}{2} \right\} \subset I \cup J\), then \(V_{I \cup J}\) shall mean \(V_{\left\{ \frac{n}{2} \right\} } V_{(I \cup J) {\setminus } \left\{ \frac{n}{2}, \frac{1}{2} \right\} }\). As Feshbach remarks, most of the restrictions on \(I\) and \(J\) are to avoid repeating relations.
-
1)
\(2 V_I = 0\).
-
2)
\(V_I V_J + V_{I \cup J}V_{I \cap J} +V_{I {\setminus } J} V_{J {\setminus } I} \prod \nolimits _{i \in I \cap J} p_i = 0\) (for \( I \cap J \ne \emptyset , I \nsubseteq J)\).
-
3)
\(V_I V_J + \sum \nolimits _{i \in I} V_{\{i\}} V_{(J {\setminus } I) \cup \{i\}} \prod \nolimits _{j \in I {\setminus } \{i\}} p_j = 0\) (for \( I \subset J \)).
-
4)
\( V_I V_J + \sum \nolimits _{i \in I} V_{\{i\}} V_{(I \cup J) {\setminus } \{i\}} = 0\) (for \( I \cap J = \emptyset \); if \(I\) and \(J\) have the same cardinality, then the smallest element of \(I\) is to be less than that of \(J\)).
-
5)
\(\sum \nolimits _{i \in I} V_{\{i\}} V_{I {\setminus } \{i\}} = 0\).
-
6)
\(V_{\{ \frac{1}{2} \}} p_\frac{n}{2} + V_{\{ \frac{n}{2} \}}^2 = 0\), if \(n\) is even.
Then \(\rho (V_I) = Sq^1 ( \bigcup \nolimits _{i \in I} w_{2i})\).
Rights and permissions
About this article
Cite this article
Rahm, A.D. Complexifiable characteristic classes. J. Homotopy Relat. Struct. 10, 537–548 (2015). https://doi.org/10.1007/s40062-013-0074-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-013-0074-z
Keywords
- Characteristic classes
- Classifying spaces of groups and \(H\)-spaces
- Stable classes of vector space bundles