Math 2.0

K-theory Higher algebraic K-theory Object

Classifying space BGL

Builds on General linear groupStable general linear groupClassifying space of a groupGeometric realizationNerve of a categoryGroup homologyPlus construction

Description

Let RR be a ring with identity. For n≥1n \ge 1, let GLn(R)GL_n(R) be the general linear group of invertible n×nn \times n matrices over RR. Embed GLn(R)GL_n(R) in GLn+1(R)GL_{n+1}(R) by g↦(g001)g \mapsto \begin{pmatrix} g & 0 \\ 0 & 1 \end{pmatrix}, and let GL(R)=⋃n≥1GLn(R)GL(R) = \bigcup_{n \ge 1} GL_n(R) be the stable general linear group, viewed as a discrete group. The space BGL(R)BGL(R) is a classifying space of GL(R)GL(R): a connected CW complex with π1(BGL(R))=GL(R)\pi_1(BGL(R)) = GL(R) and πk(BGL(R))=0\pi_k(BGL(R)) = 0 for all k≥2k \ge 2.

Check: the geometric realization of the nerve of GL(R)GL(R), seen as a category with one object, has exactly these homotopy groups. Since GL(R)GL(R) is the union of the GLn(R)GL_n(R), one can take BGL(R)=⋃nBGLn(R)BGL(R) = \bigcup_n BGL_n(R).

Remarks

The homology of BGL(R)BGL(R) is the group homology of GL(R)GL(R), and it is the colimit of the homology of the groups GLn(R)GL_n(R). In degree 11, H1(BGL(R);ℤ)=GL(R)/[GL(R),GL(R)]=K1(R)H_1(BGL(R); \Z) = GL(R)/[GL(R), GL(R)] = K_1(R). The space BGL(R)BGL(R) itself has no higher homotopy groups. Quillen's plus construction with respect to the commutator subgroup turns it into BGL(R)+BGL(R)^+, which has the same homology and whose homotopy groups are the K-groups Kn(R)K_n(R) for n≥1n \ge 1. For R=ℂR = \C the group GL(ℂ)GL(\C) is taken here with the discrete topology, so BGL(ℂ)BGL(\C) is not the space BUBU of topology.

Reading path

To understand this page from the ground up, read these 8 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Classifying space of a group concept
  2. General linear group object
  3. Geometric realization concept
  4. Group homology concept
  5. Nerve of a category concept
  6. Plus construction concept
  7. Stable general linear group concept
  8. Classifying space BGL object

Where this leads

4 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Classifying_space
About this page
TagBK3091CPGF
URIm2://BK3091CPGF
Kindobject
WritingW0 stub
MSC19D06, 55R35
Instance ofClassifying space of a group
UsesGeneral linear group, Stable general linear group, Classifying space of a group, Geometric realization, Nerve of a category, Group homology, Plus construction
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)
  • field same_as: the identifiers in the databases (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by