[論文レビュー] Six operations formalism for generalized operads

Benjamin C. Ward|arXiv (Cornell University)|Jan 5, 2017

Advanced Topics in Algebra被引用数 10

ひとこと要約

この論文は、フェインマン圏を用いて一般化されたオペラッドの六操作形式的体系を確立し、導来コシュール双対性とプッシュプル関手を統一する。フェインマン変換（導来コシュール双対性）が、同型 $f^{!}D \cong Df^{\ast}$ および $f_{\ast}D \cong Df_{!}$ を通じて、引き戻しとプッシュフォワードを相互に結びつけることを証明し、ヴェルディエ双対性をオペラッド的構造へ一般化する。

ABSTRACT

This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic geometry. As a consequence of our constructions, we prove intertwining theorems which govern derived Koszul duality of push-forwards and pull-backs.

研究の動機と目的

• 代数的幾何における六操作形式的体系が、一般化されたオペラッドのホモトピー的設定へ拡張されること。
• フェインマン変換による導来コシュール双対性を、引き戻しやプッシュフォワードなどの自然な関手と統一すること。
• コシュール双対性がこれらの関手を同型を通じて結びつけること、つまりヴェルディエ双対性をオペラッド的構造へ一般化すること。
• 双対化対象と射影公式がホモトピー圏における六操作形式的体系と整合的になる枠組みを提供すること。

提案手法

• フェインマン圏を用いて、単純な射を持つ圏からの関手として一般化されたオペラッドをモデル化し、層論における開集合に類似する。
• フェインマン圏における頂点群の構造に依存して、プッシュフォワード $f_!$ を構成する。
• 頂点群レベルでのアンビドクサスリティ結果を用いて、例外的引き戻し $f^!$ を確立する。
• 随伴 $(f^!, f_!)$ に対して射影公式を検証し、六操作形式的体系の主要な要件を満たす。
• 二次的オペラッドに対しては、$\mathbb{F}_{\mathcal{Q}}$-ops の圏を用い、双対データ $(E^*, S^\perp, \mp)$ を通じて双対性を定義する。
• コシュールオペラッドの場合に、自然な写像 $D(\mathcal{P}) \to \mathcal{P}^!$ が弱同値であることを示し、コシュール性を定義する。

実験結果

リサーチクエスチョン

• RQ1 ヴェルディエ双対性の層論的類似である六操作形式的体系を、一般化されたオペラッドへ拡張できるか？
• RQ2 フェインマン変換による導来コシュール双対性は、オペラッド的設定における引き戻しやプッシュフォワードなどの自然な関手とどのように作用するか？
• RQ3 導来圏において、$f^{!}D$ と $Df^{\ast}$ の間に標準的な同型 $f^{!}D \cong Df^{\ast}$ が存在するか？同様に $f_{\ast}D$ と $Df_{!}$ の間にも同型 $f_{\ast}D \cong Df_{!}$ が存在するか？
• RQ4 フェインマン圏の射に対して、完全な六操作形式的体系が存在するための条件は何か？
• RQ5 二次的オペラッドのコシュール双対性の概念は、六操作形式的体系およびフェインマン変換とどのように関係するか？

主な発見

• $\mathbb{F}_1$-ops から $\mathbb{F}_2$-ops への良い射 $f: \mathbb{F}_1 \to \mathbb{F}_2$ 沿って六操作形式的体系が拡張され、$f_!$ と $f^!$ は頂点群とアンビドクサスリティを用いて構成される。
• 形式的体系はホモトピー圏へ渡され、双対化対象 $D(I_2)$ を通じて有効になり、双対性と整合的であることが保証される。
• 同型 $f^{!}D \cong Df^{\ast}$ および $f_{\ast}D \cong Df_{!}$ が明示的に成り立つ。これは、コシュール双対性が引き戻しとプッシュフォワードを相互に結びつけることを証明する。
• 二次的オペラッドに対して、フェインマン変換 $D(\mathcal{P})$ は自然に二次双対 $\mathcal{P}^!$ へ写像され、$\mathcal{P}$ がコシュールであればこの写像は弱同値である。
• $f_!$ の構成は、フェインマン圏の公理と頂点群の構造に強く依存しており、単なる随伴の存在とは異なる。
• 本フレームワークは、第9節で示されるように、立方体的フェインマン圏を用いて、dgオペラッド、モジュラー・オペラッド、ディオペラッドといった標準的例へ適用可能である。