Group Completion

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

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 categories

もう一つの一般化は, 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]

P. Gabriel and M. 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.