無限圏の高次の射1
最近、無限圏の勉強を再開しています。一昨日から今日まで、無限圏の高次の射について考えていたのでメモとして書いてみようと思います。
を無限圏とします。 を の 1-射とすると、その間の 2-射 としては、いわゆる左ホモトピーと右ホモトピーが考えられます。
- 左ホモトピー: で、 なるものが から への左ホモトピーです。これは 1-射の domain を退化させて(ダブらせて)、退化させた方向を射の向きとしている、といえます。1-射 に対して を退化させているので、これを (2,0)-射と呼ぶことにします。
- 右ホモトピー: で、 なるものが から への右ホモトピーです。これは 1-射の codomain を退化させて、退化させた方向を射の向きとしている、といえます。1-射 に対して を退化させているので、これを (2,1)-射と呼ぶことにします。
合成
2 つの (2,0)-射 があるとき、 と の合成が、射 の拡張によって与えられます。また、 と がそれぞれ (2,1)-射の場合、合成は射 の拡張によって与えられます。
(2,0)-射と (2,1)-射同士は合成できるでしょうか?絵を描いてみると、次のような結果が得られます:
- (2,0)-射 と (2,1)-射 の合成(?)は、射 の拡張によって与えられ、これは (2,0)-射となります。
- (2,1)-射 と (2,0)-射 の合成を考えてみます。対象 には 3 本の射 が向かっているので、 は 3-単体の頂点 に対応します。よって、 3-単体の面 が に、面 が に対応しなければなりません。しかし、この状態の単体からは、 と をともに含む面が得られないため、 と の合成はできないことになります。
逆射
(2,0)-射 を考えます。このとき、射 の拡張 が存在し、 とおけば、 は 2-ホモトピー を与えていると考えられます。では、 2-ホモトピー は存在するでしょうか。
まず、3-単体を得たいため、 4-horn の拡張を用いればよいのでは、という考えが浮かびます。4-horn を作るためには 4 つの 3-単体(で面、辺、点が互いに整合的なもの)を準備すればよいです。ただ、絵を描いて考えてみると、3-単体を得るために outer horn の拡張が必要になったり、horn ではなく の形の射しか得られなかったりして、どうしても射 が作れなさそうです…。上の は の左逆射ですが、新たに 3-horn の拡張で の右逆射を得ようとしても、そのために outer horn の拡張が必要になるので、できないように思えます(Groth の "A Short Course on ∞-categories" の Remark 1.16. (iii) には、右逆射についても左逆射と同じことが言えると書いてある気がするのですが…)。
3 次以上
色々文献を見ましたが、2-射の間の 3-射やそれ以上をどのように定義すればいいのかよくわかりませんでした。May の "Simplicial Objects in Algebraic Topology" の §3 で n-単体の間のホモトピーが定義されているので、それを高次の射として採用できるのでしょうか…。この定義では 1-射の間の 2-射は上でいう (2,1)-射となり、2-射の間の 3-射は「(2,1)-射の間の、いくつか候補が考えられるうちの 1 つの射」ということになりますが、それ以外の場合((2,0)-射の間の 3-射はどうなるのか、3-射として別の定義を採用したらどうなるのか)について考えるのは(実際どうかはまだわかりませんが)大変そうです。勉強を進めつつ、気が向いたらまた考えてみようと思います。