[論文レビュー] A-infinity-categories, their infinity-category, and their localizations

Yong‐Geun Oh, Hiro TANAKA|arXiv (Cornell University)|Mar 12, 2020

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

ひとこと要約

この論文は、dgカテゴリーの∞カテゴリーとA-infinityカテゴリーの間の同値性を確立し、Lyubashenko-ManzyukおよびLyubashenko-OvisienkoによるA-infinityカテゴリーの商の2つの構成が、∞カテゴリー的商の普遍性を満たしていることを証明する。本論文はA-infinityカテゴリーのホモトピー理論のための簡潔な枠組みを提供し、局所化の具体的なモデルを提示することで、導来代数的幾何学およびトポロジカル場理論における高次カテゴリー的構造への応用を可能にする。

ABSTRACT

We collect results regarding the homotopy theory of A-infinity-categories. Our two main results are (1) An equivalence between the infinity-category of dg-categories and of A-infinity-categories, and (2) A proof that two models for quotients of A-infinity-categories (as constructed by Lyubashenko-Manzyuk and Lyubashenko-Ovisienko) satisfy the universal property of quotients in the infinity-categorical sense. Our aims are to give succinct accounts of infinity-categorical language for users of A-infinity-categories, and to exhibit concrete models of localizations of A-infinity-categories. Indeed, we apply the results here in a companion work to prove a Liouville version of a conjecture of Teleman from the 2014 ICM.

研究の動機と目的

• A-infinityカテゴリーを扱う研究者にとって、∞カテゴリー的言語の簡潔でアクセスしやすい記述を提供すること。
• dgカテゴリーの∞カテゴリーとA-infinityカテゴリーの∞カテゴリーとの間の同値性を確立すること。
• Lyubashenko-ManzyukおよびLyubashenko-Ovisienkoによる既存のA-infinityカテゴリーの商のモデルが、∞カテゴリー的意味での普遍性を満たしていることを検証すること。
• A-infinityカテゴリーにおける局所化の具体的なモデルを提供し、高度な応用に利用可能なものとする。
• 2014年 ICM で提示されたTelemanの予想のLiouville型バージョンの補足的証明を支援すること。

提案手法

• 古典的な比較関手の導来的強化を用いて、∞カテゴリー的技法によりdgカテゴリーとA-infinityカテゴリーを比較する。
• モデルカテゴリとQuillen同値性の理論を適用し、∞カテゴリー的設定においてdgカテゴリーとA-infinityカテゴリーの同値性を確立する。
• ∞カテゴリーにおける局所化の枠組みを用いて、Lyubashenko-ManzyukおよびLyubashenko-Ovisienkoの商の構成を分析する。
• ∞カテゴリーにおける商の普遍性を用いて、2つの構成が必要なホモトピー的普遍性を満たしていることを検証する。
• 特に局所化と安定化に関する既知の結果を活用し、構成の正当性を裏付ける。
• 安定∞カテゴリーと強化された三角的カテゴリーの枠組みを用いて、既知のホモトピー的構造と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 dgカテゴリーの∞カテゴリーとA-infinityカテゴリーの∞カテゴリーとの間に、標準的な同値性が存在するか？
• RQ2 Lyubashenko-ManzyukおよびLyubashenko-Ovisienkoによる商の構成が、∞カテゴリー的意味での商の普遍性を満たしているか？
• RQ3 これらの商モデルは、A-infinityカテゴリーのホモトピー理論における局所化の具体的な実現として利用可能か？
• RQ4 ∞カテゴリー的言語をA-infinityカテゴリーの利用者にとって、どのように簡潔かつ適用可能にすることができるか？
• RQ5 これらの構成は、Telemanの予想のLiouville型バージョンの証明において果たす役割は何か？

主な発見

• dgカテゴリーの∞カテゴリーとA-infinityカテゴリーの∞カテゴリーとの間の同値性が確立され、ホモトピー的設定においてそれらがカテゴリー的に区別できないことが示された。
• Lyubashenko-Manzyukによる商の構成は、∞カテゴリー的意味での局所化の普遍性を満たしている。
• Lyubashenko-Ovisienkoによる商の構成も、∞カテゴリー的局所化の普遍性を満たしている。
• 両方の商モデルがホモトピー的に適切に振る舞い、安定∞カテゴリーの構造と整合性を持つことが示された。
• 結果として、導来代数的幾何学およびトポロジカル場理論の文脈において、∞カテゴリー的手法をA-infinityカテゴリーに適用する基盤が提供された。
• この枠組みにより、補足的な論文でTelemanの予想のLiouville型バージョンの証明が可能となり、構成の実用的有用性が実証された。