Homological stability

In mathematics, homological stability is any of a number of theorems asserting that the group homology of a series of groups $G_{1}\subset G_{2}\subset \cdots$ is stable, i.e.,

H_{i}(G_{n})

is independent of n when n is large enough (depending on i). The smallest n such that the maps $H_{i}(G_{n})\to H_{i}(G_{n+1})$ is an isomorphism is referred to as the stable range. The concept of homological stability was pioneered by Daniel Quillen whose proof technique has been adapted in various situations.^[1]

Examples

Examples of such groups include the following:

group	name
symmetric group $S_{n}$	Nakaoka stability^[2]
braid group $B_{n}$	^[3]
general linear group $\operatorname {GL} _{n}(R)$ for (certain) rings R	^[4]^[5]
mapping class group of surfaces (n is the genus of the surface)	Harer stability^[6]
automorphism group of free groups, $\operatorname {Aut} (F_{n})$	^[7]

Applications

In some cases, the homology of the group

G_{\infty }=\bigcup _{n}G_{n}

can be computed by other means or is related to other data. For example, the Barratt–Priddy theorem relates the homology of the infinite symmetric group agrees with mapping spaces of spheres. This can also be stated as a relation between the plus construction of $\operatorname {BS} _{\infty }$ and the sphere spectrum. In a similar vein, the homology of $\operatorname {GL} _{\infty }(R)$ is related, via the +-construction, to the algebraic K-theory of R.

References

^ Quillen, D. (1973). "Finite generation of the groups K_i of rings of algebraic integers.". Algebraic K-theory, I: Higher K-theories. Lecture Notes in Math. Vol. 341. Springer. pp. 179–198.
^ Nakaoka, Minoru (1961). "Homology of the infinite symmetric group". Ann. Math. 2. 73: 229–257. doi:10.2307/1970333.
^ Arnol’d, V.I. (1969). "The cohomology ring of the colored braid group". Mathematical Notes. 5 (2): 138–140. doi:10.1007/bf01098313.
^ Suslin, A. A. (1982), Stability in algebraic K-theory. Algebraic K-theory, Part I (Oberwolfach, 1980), Lecture Notes in Math., 966, Springer, pp. 304–333
^ Van der Kallen, W. (1980). "Homology stability for linear groups" (PDF). Invent. Math. 60: 269–295. doi:10.1007/bf01390018.
^ Harer, J. L. (1985). "Stability of the homology of the mapping class groups of orientable surfaces". Annals of Mathematics. 121: 215–249. doi:10.2307/1971172.
^ Hatcher, Allen; Vogtmann, Karen (1998). "Cerf theory for graphs". J. London Math. Soc. Series 2. 58 (3): 633–655. doi:10.1112/s0024610798006644.

[1] Quillen, D. (1973). "Finite generation of the groups K_i of rings of algebraic integers.". Algebraic K-theory, I: Higher K-theories. Lecture Notes in Math. Vol. 341. Springer. pp. 179–198.

[2] Nakaoka, Minoru (1961). "Homology of the infinite symmetric group". Ann. Math. 2. 73: 229–257. doi:10.2307/1970333.

[3] Arnol’d, V.I. (1969). "The cohomology ring of the colored braid group". Mathematical Notes. 5 (2): 138–140. doi:10.1007/bf01098313.

[4] Suslin, A. A. (1982), Stability in algebraic K-theory. Algebraic K-theory, Part I (Oberwolfach, 1980), Lecture Notes in Math., 966, Springer, pp. 304–333

[5] Van der Kallen, W. (1980). "Homology stability for linear groups" (PDF). Invent. Math. 60: 269–295. doi:10.1007/bf01390018.

[6] Harer, J. L. (1985). "Stability of the homology of the mapping class groups of orientable surfaces". Annals of Mathematics. 121: 215–249. doi:10.2307/1971172.

[7] Hatcher, Allen; Vogtmann, Karen (1998). "Cerf theory for graphs". J. London Math. Soc. Series 2. 58 (3): 633–655. doi:10.1112/s0024610798006644.

[1]

[2]

[3]

[4]

[5]

[6]

[7]