[論文レビュー] On the category of finitely generated free groups

Kazuo Habiro|arXiv (Cornell University)|Sep 21, 2016

Geometric and Algebraic Topology参考文献 8被引用数 8

ひとこと要約

この論文は、有限生成自由群の圏を表す 𝔽 と、可換ホップ代数のプロップを表す 𝔽 が、Lawvere理論に依存せずに、直接的で組み合わせ論的な証明により同型であることを示している。証明は、群論的および圏論的構成を用いて、ホム集合上の畳み込みモノイドの明示的同型を構成することで、群論とホップ代数構造との間の基礎的リンクを、完全に組み合わせ論的枠組みの中で確立する。

ABSTRACT

It is well known that the opposite F^{op} of the category F of finitely generated free groups is a Lawvere theory for groups, and also that F is a free symmetric monoidal category on a commutative Hopf monoid, or, in other words, a PROP for commutative Hopf algebras. In this paper, we give a direct, combinatorial proof of the latter fact, without using Lawvere theories.

研究の動機と目的

• 有限生成自由群の圏 𝔽 と可換ホップ代数のプロップの間の同型を、Lawvere理論に依存せずに、自己完結的で組み合わせ論的な証明で与えること。
• 圏 𝔽 と可換ホップ代数のプロップにおけるホム集合上の畳み込みモノイドの間の直接的同型を確立すること。
• 低次元位相的応用に動機づけられ、(co)積を伴わない圏へのアプローチの一般化。
• ハンドル体や弦図形から生じるような、群的圏の改良に関する今後の研究の基盤を築くこと。

提案手法

• 対象が非負整数で添え字づけられ、射が生成子のテンソル積によって与えられる、可換ホップモノイドによって生成される自由な対称モノイド圏として、プロップ 𝔽 を定義する。
• 群論的および圏論的構成を用いて、𝔉 におけるホップモノイド構造を 𝔉 におけるそれへ写像する対称モノイド関手 T: 𝔽 → 𝔽 を構成する。その際、明示的な群同型 τm,n: Fₙ^m → 𝔽(m,n)ₚₚₗ を用いる。
• Fₙ^m を n 個の生成子による自由群の m 回の積とするとき、群準同型 αm,n: Fₙ^m → 𝔽(m,n)ₚₚₗ を定義する。
• 関手 T が同型であることを示すために、誘導された写像 τm,n が群同型であることを確認し、図式 (33) が可換であることを示し、モノイド構造との整合性を保証する。
• 𝔽 が有限コプロダクトを備えていること（𝔽 への言及なしに直接証明済み）を用いて、同型を支持する。
• トポロジカル圏 𝒫（輪のバケツ）、ℋ（同相型埋め込みによるハンドル体）、𝒜（ハンドル体内の弦図形）との関係を確立し、𝔽 がこれらの構造の商または次数 0 部分として現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限生成自由群の圏と可換ホップ代数のプロップの間の同型は、Lawvere理論を用いずに証明可能か？
• RQ2 ホム集合上の畳み込みモノイドの間の同型は、完全に組み合わせ論的構成によって可能か？
• RQ3 𝔽、ℋ、𝒜 の構造は、π₁^ℋ や Z などの関手を通じてどのように関係し合うか？また、𝒜 の次数 0 部分は果たしてどのような役割を果たすか？
• RQ4 同型 𝔽 ≅ 𝔽 は、(co)積を欠く圏、特に位相的文脈において一般化可能か？

主な発見

• 論文は、有限生成自由群の圏 𝔽 と可換ホップ代数のプロップの間の直接的同型を確立し、これらが対称モノイド圏として 𝔽 ≅ 𝔽 であることを確認した。
• 同型は、明示的な群同型 τm,n: Fₙ^m → 𝔽(m,n)ₚₚₗ を通じて構成され、これがモノイド構造およびホップ構造と整合することを示した。
• 証明は、群論的および圏論的構成にのみ依存するため、Lawvere理論の使用を回避しており、一般化に適している。
• 𝔽 が有限コプロダクトを備えていることは、𝔽 の構造に言及せず、直接的に証明されており、これが 𝔽 がプロップとしての役割を果たすことを支持する。
• ハンドル体の埋め込みの同相型の圏 ℋ は、π₁^ℋ を通じて 𝔽 へ写像され、ℋ/(ホモトピー) の商は 𝔽 と同型である。これは、𝔽 がトポロジカル圏のホモトピー商として生じることを示している。
• ハンドル体内の弦図形の圏 𝒜 の次数 0 部分は、𝔽^op の有理数的線形化と同型であることが示され、𝔽 が量子不変量のカテゴリフィケーションの基盤的役割を果たしていることを示唆している。