Group Completion

モノイド \(M\) が与えられたとき, それに逆元を形式的に付け加えて群にすることは, 古くから考えられている。 そのような操作を group completion という。 例えば, 負の整数は \(0\) 以上の整数が加法に関して成す monoid の group completion により生れたものである。より新しくは, \(K\)-theory (\(K_0\)) の定義がある。 位相空間の \(K\)-theory の場合, finite rank vector bundle の同型類の集合が \(\oplus \) に関して成す monoid の group completion として得られる。

• Grothendieck group

Dehornoy と Paris の [DP99] では, monoid (semigroup) の group completion については, Clifford と Preston の [CP61] が参照されている。

一般化としては, まず many-objectification がある。つまり, モノイドや群を object 1つの small category とみなし, category に対する操作に一般化することである。全ての morphism の逆を付け加えると groupoid になり, groupoid completion という操作になるが, 特定の morphism のみ可逆にすることは様々な場面で必要になる。 そのような操作は Gabriel と Zisman [GZ67] では category of fraction と呼ばれている。また, object 1つの linear category, つまり環の場合は localization と呼ばれる操作になっているため, category の localization と呼ぶこともできる。

• localization of category

モノイドの category 化としては, monoidal category があるが, 可換モノイドに対する Grothendieck group の構成の categorification としては, Quillen による構成がある。

• Quillen-Grothendieck completion

もう一つの一般化は, up to homotopy にすることである。代数的トポロジーで は, 古くから “up to homotopy で monoid”になっているものが重要な役割を 果してきた。(基点付きの) ループ空間 \(\Omega X\) を始めとして, 様々な例が あり, それらを研究するHopf 空間という分野が確立 された。

これらは結合法則などが up to homotopy でしか成り立たなかったり, そもそ も成り立たなかったりする。 ループ空間の場合は up to homotopy で逆元を 持つため群の “up to homotopy”版と言える。よって, このようなものについ ては group completion は up to homotopy で associativeなものを ループ空 間にする操作と考えるのがよい。そのようなものを homotopy theoretic group completion という。

• homotopy theoretic group completion

References

[CP61]

A. H. Clifford and G. B. Preston. The algebraic theory of semigroups. Vol. I. Mathematical Surveys, No. 7. Providence, R.I.: American Mathematical Society, 1961, pp. xv+224.

[DP99]

Patrick Dehornoy and Luis Paris. “Gaussian groups and Garside groups, two generalisations of Artin groups”. In: Proc. London Math. Soc. (3) 79.3 (1999), pp. 569–604. url: http://dx.doi.org/10.1112/S0024611599012071.

[GZ67]

Peter Gabriel and Michel Zisman. Calculus of fractions and homotopy theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35. Springer-Verlag New York, Inc., New York, 1967, pp. x+168. url: https://doi.org/10.1007/978-3-642-85844-4.