[論文レビュー] On strong homotopy for quasi-schemoids

Katsuhiko Kuribayashi|arXiv (Cornell University)|Oct 7, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 6

ひとこと要約

本稿は、準スキーモイド（射の族が分割された小規模な圏）に対する強いホモトピー理論を導入し、圏論におけるホモトピー概念を拡張する。自然変換を用いてホモトピー関係を定義し、有限群によって生成される準スキーモイドにおける自己ホモトピー同値のなす群が、その群の自己同型群と同型であることを証明する。これにより、群の対称性を捉えるホモトピー不変量が確立される。

ABSTRACT

A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of self-homotopy equivalences on a quasi-schemoid is introduced. The main theorem enables us to deduce that the homotopy invariant for the quasi-schemoid induced by a finite group is isomorphic to the automorphism group of the given group.

研究の動機と目的

• 準スキーモイドのホモトピー理論を構築すること。これは、関連スキームと群ガロア圏を圏論的言語で一般化することを目的とする。
• 2-射（自然変換）を用いて、準スキーモイドの圏における強いホモトピー関係を定義すること。
• 特に自己ホモトピー同値のなす群といったホモトピー不変量を同定すること。
• 有限群に対して、その関連する準スキーモイドの自己ホモトピー同値群が、その群の自己同型群と同型であることを示すこと。

提案手法

• 本稿では、射の族にファイバーの濃度条件を満たす分割を備えた小規模な圏として準スキーモイドを定義し、関連スキームを一般化する。
• Catの2-圏構造から自然変換を引き上げることで、準スキーモイドの圏におけるホモトピー関係を導入する。
• 離散圏[1]に反変対合を備えた修正されたスキーモイド構造を用いてシリンダ対象の概念を用いる。
• 群ガロア圏に基づく準スキーモイドにおけるホモトピー同値は、基点を保存し、対応する群ガロア圏上に自己同型を誘導することを証明する。
• 関手と自然変換の使用を含む、圏論的ホモトピー理論の結果を応用し、特定の条件下でホモトピー同値が自己関手と同値であることを示す。
• 基点付きの準スキーモイドの圏への群ガロア圏の完全忠実埋め込みを活用し、ホモトピー類と自己同型の関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 関連スキームが標準的な圏ホモトピーにおいて収縮可能であることを踏まえると、準スキーモイドに対して意味のあるホモトピー理論を構築できるか？
• RQ2 特に群ガロア圏から導かれる場合に、準スキーモイドの自己ホモトピー同値はその構造的対称性とどのように関係するか？
• RQ3 有限群Gに対して、Gによって生成される準スキーモイドの自己ホモトピー同値群は、Gの自己同型群と同型か？
• RQ4 準スキーモイドの2-圏構造は、ホモトピー不変量を定義する上で果たす役割は何か？
• RQ5 標準的ホモトピー理論が関連スキーモイドの圏で失敗するのはなぜか？また、代替的なシリンダ構成は何か？

主な発見

• 準スキーモイドにおける自己ホモトピー同値のなす集合は、well-definedなホモトピー不変量である。
• 準スキーモイドの圏は2-圏構造を備えており、小規模な圏の圏を埋め込んでいる。
• 有限群Gに対して、Gによって生成される準スキーモイドの自己ホモトピー同値群は、Gの自己同型群と同型である。
• 群ガロア圏上の任意の自己関手は、その関連する準スキーモイド上で自己ホモトピー同値を誘導する。
• 群ガロア圏に基づく準スキーモイドにおけるホモトピー同値は、基点を保存し、対応する群ガロア圏上に自己同型を誘導する。
• 関連スキーモイドの圏における標準的ホモトピー構成では、F ~ G であることと F = G であることが同値となり、これは自明なホモトピー理論を示している。