Classifying Space For SU(n)

In mathematics, the classifying space $\operatorname(n)$ for the special unitary group $\operatorname(n)$ is the base space of the universal $\operatorname(n)$ principal bundle $\operatorname(n)\rightarrow\operatorname(n)$. This means that $\operatorname(n)$ principal bundles over a CW complex up to isomorphism are in bijection with homotopy classes of its continuous maps into $\operatorname(n)$. The isomorphism is given by pullback.

Definition

There is a canonical inclusion of complex oriented Grassmannians given by $\widetilde\operatorname_n(\mathbb^k)\hookrightarrow\widetilde\operatorname_n(\mathbb^), V\mapsto V\times\$. Its colimit is:

$\operatorname(n) :=\widetilde\operatorname_n(\mathbb^\infty) :=\lim_\widetilde\operatorname_n(\mathbb^k).$

Since real oriented Grassmannians can be expressed as a homogeneous space by:

: $\widetilde\operatorname_n(\mathbb^k) =\operatorname(n+k)/(\operatorname(n)\times\operatorname(k))$

the group structure carries over to $\operatorname(n)$.

Simplest classifying spaces

* Since $\operatorname(1) \cong 1$ is the trivial group, $\operatorname(1) \cong\$ is the trivial topological space.

* Since $\operatorname(2) \cong\operatorname(1)$, one has $\operatorname(2) \cong\operatorname(1) \cong\mathbbP^\infty$.

Classification of principal bundles

Given a topological space $X$ the set of $\operatorname(n)$ principal bundles on it up to isomorphism is denoted $\operatorname_(X)$. If $X$ is a CW complex, then the map:

: ,\operatorname(n)rightarrow\operatorname_(X),
mapsto f^*\operatorname(n)

is bijective.

Cohomology ring

The cohomology ring of $\operatorname(n)$ with coefficients in the ring $\mathbb$ of integers is generated by the Chern classes:Hatcher 02, Example 4D.7.

: H^*(\operatorname(n);\mathbb)
=\mathbb _2,\ldots,c_n

Infinite classifying space

The canonical inclusions $\operatorname(n)\hookrightarrow\operatorname(n+1)$ induce canonical inclusions $\operatorname(n)\hookrightarrow\operatorname(n+1)$ on their respective classifying spaces. Their respective colimits are denoted as:

: $\operatorname :=\lim_\operatorname(n);$
: $\operatorname :=\lim_\operatorname(n).$

$\operatorname$ is indeed the classifying space of $\operatorname$.

See also

* Classifying space for O(n)
* Classifying space for SO(n)
* Classifying space for U(n)

Literature

*
* {{cite book, title=Universal principal bundles and classifying spaces, publisher=, location=, year=August 2001, isbn=, url=https://math.mit.edu/~mbehrens/18.906/prin.pdf, last=Mitchell, first=Stephen, doi=

External links

* classifying space on nLab
* BSU(n) on nLab

References

Algebraic topology