nLab BO(n)

Contents

Contents

Idea

BO(n)B O(n) is the classifying space for (principal bundles with structure group) the orthogonal group O(n)O(n).

Definition

Definition

BO(n)B O(n) is the limit of the sequence of canonical inclusions of real Grassmannians Gr n( k)Gr n( k+1)Gr_n(\mathbb{R}^k)\hookrightarrow Gr_n(\mathbb{R}^{k+1}):

BO(n)lim kGr n( k) B O(n) \coloneqq\underset{\longrightarrow}{\lim}_k Gr_n(\mathbb{R}^k)

(Milnor & Stasheff 74, page 151)

As the real Grassmannian can be written as a homogenous space by

Gr n( k)=O(k)/(O(n)×O(kn)) Gr_n(\mathbb{R}^k) =O(k)/(O(n)\times O(k-n))

the group structure carries over to BO(n)B O(n).

Smallest classifying space

The smallest classifying space BO(1)B O(1) is the infinite real projective space P \mathbb{R}P^\infty. It is also a Eilenberg–MacLane space K( 2,1)K(\mathbb{Z}_2,1), hence U(1)U(1) principal bundles over a space are classified by its first cohomology in the field 2\mathbb{Z}_2 of two elements:

Prin O(1)(X)=[X,BO(1)]=[X,P ]=[X,K( 2,1)]H 1(X; 2) Prin_{O(1)}(X) =[X,B O(1)] =[X,\mathbb{R}P^\infty] =[X,K(\mathbb{Z}_2,1)] \cong H^1(X;\mathbb{Z}_2)

Higher classifying spaces are not necessarily Eilenberg-MacLane spaces, but continuous maps into them are possible, giving the idea behind characteristic classes. But they are defined for vector bundles, which can be constructed from principal bundles using the balanced product? Prin O(n)(X)Vect n(X),EE× O(n) nPrin_{O(n)}(X)\rightarrow Vect_\mathbb{R}^n(X),E\mapsto E\times_{O(n)}\mathbb{R}^n.

Cohomology

Theorem

The cohomology ring of BO(n)B O(n) with coefficients in the field 2\mathbb{Z}_2 is generated by the Stiefel-Whitney classes and given by

H *(BO(n); 2) 2[w 1,,w n]. H^*(B O(n);\mathbb{Z}_2) \cong\mathbb{Z}_2[w_1,\ldots,w_n].

(Milnor & Stasheff 74, Theorem 7.1.), (Hatcher 02, Theorem 4D.4.)

Theorem

The cohomology ring of BO(n)B O(n) with coefficients in the field \mathbb{Q} of rational numbers is generated by the Pontrjagin classes and given by

H *(BO(2n);)[p 1,,p n] H^*(B O(2n);\mathbb{Q}) \cong\mathbb{Q}[p_1,\ldots,p_n]
H *(BO(2n+1);)[p 1,,p n] H^*(B O(2n+1);\mathbb{Q}) \cong\mathbb{Q}[p_1,\ldots,p_n]

Colimit

The canonical inclusions O(n)O(n+1)O(n)\hookrightarrow O(n+1) yield canonical inclusions BO(n)BO(n+1)B O(n)\hookrightarrow B O(n+1) of their respective classifying spaces. The colimit is denoted as

BOlim nBO(n) B O \coloneqq\underset{\longrightarrow}{\lim}_n B O(n)

and indeed the classifying space for the stable orthogonal group Olim nO(n)O\coloneqq\underset{\longrightarrow}{\lim}_n O(n).

References

See also

Last revised on March 12, 2024 at 08:40:35. See the history of this page for a list of all contributions to it.