モノイド \(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と呼ぶこともできる。
もう一つの一般化は, 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 という。
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.
|