[論文レビュー] Relative Calabi-Yau completions

Wai‐Kit Yeung|arXiv (Cornell University)|Dec 19, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 36被引用数 9

ひとこと要約

この論文は、ケラーの変形された $n$-カルビ・ヤウ完成を相対的設定に一般化し、滑らかな dg 圏間の dg 関手 $F: \mathcal{A} \to \mathcal{B}$ から、dg 関手の拡張 $\widetilde{F}: \widetilde{\mathcal{A}} \to \widetilde{\mathcal{B}}$ を構成する。これらの完成が、相対的負巡回ホモロジー類 $\widetilde{\eta} \in HN_{n-2}(\mathcal{B}, \mathcal{A})$ をパrameter として持つとき、相対的 $n$-カルビ・ヤウ構造を備えることを証明する。これは、元の絶対的ケースにおけるギャップを解消するもので、カルビ・ヤウ性質が成り立つためには、デフォーメーション類 $\eta \in HH_{n-2}(A)$ が負巡回類 $\widetilde{\eta} \in HN_{n-2}(A)$ に引き上げられる必要があることを示している。

ABSTRACT

We generalize Keller's construction \cite{Kel11} of deformed $n$-Calabi-Yau completions to the relative context. This gives a construction that extends any given dg functor $F : A ightarrow B$ between smooth dg categories to a dg functor $\widetilde{F} : \widetilde{A} ightarrow \widetilde{B}$, together with a family of deformations of $(\widetilde{A},\widetilde{B},\widetilde{F})$ parametrized by relative negative cyclic homology classes $\widetildeη \in HN_{n-2}(B, A)$. We prove that these extensions admit relative $n$-Calabi-Yau structures in the sense of \cite{BD19}. In particular, this proof covers the original absolute case of \cite{Kel11}.

研究の動機と目的

• ケラーの絶対的変形 $n$-カルビ・ヤウ完成を、滑らかな dg 圏間の dg 関手に対して相対的枠組みへ拡張すること。
• 相対的負巡回ホモロジー $HN_{n-2}(\mathcal{B}, \mathcal{A})$ の変形パrameter を用いて、相対的 $n$-カルビ・ヤウ構造を構成すること。
• ケラーの元の主張を修正・一般化し、$n$-カルビ・ヤウ性質が成り立つのは、変形類 $\eta \in HH_{n-2}(A)$ が負巡回類 $\widetilde{A} \in HN_{n-2}(A)$ に引き上げられる場合に限ることを示すこと。
• 小さな負巡回複体モデルを用いた体系的な証明により、双対的双模倉の三角性条件における微妙なホモトピー的障害を解消すること。

提案手法

• 文献[19]で開発された $\mathbb{N}$-次数付き混合複体 $(X^\bullet(\Pi), b, B)$ を用いて、負巡回複体の小さなモデルに基づく相対的 $n$-カルビ・ヤウ完成を構成する。
• ホッフシュャルドおよび負巡回複体の明示的モデルを用いて、$HN_n(\widetilde{\Pi})$ に属するクラス $\widetilde{\omega}$ を定義し、その基礎となるホッフシュャルド類 $\omega \in HH_n(\widetilde{\Pi})$ が、双模倉の導来圏内での写像 $\omega^\#: \widetilde{\Pi}^! [n] \to \widetilde{\Pi}$ を誘導する。
• 包含写像 $\mathcal{S}(\Pi_{\mathcal{A}}) \to \mathcal{S}(\Pi_{\mathcal{B}/\mathcal{A}})$ のコーンを含む前写像の可換図式を確立し、生成子の4種類（A1）、（A2）、（B1）、（B2）に対して可換性を検証した後、五重補題を用いて $\omega^\#$ が同型であることを証明する。
• 混合複体の要素にコンネス＝ツィガン作用素 $B$ を適用して、負巡回類 $\widetilde{\omega}$ をモデル化し、導来双対の三角構造と整合性を保つ。
• コーン複体内での $\omega_2 = B(J(s^{n-1}\theta_{\mathcal{B}/\mathcal{A}}))$ の明示的公式を用いて、すべての4種類の生成子 $\theta_{\mathcal{B}/\mathcal{A}}$ に対して、キーダイアグラム (7.26) の可換性を検証する。
• 絶対的ケースの正確性の証明を相対的設定へ適応し、$\widetilde{\eta}$ が $B: HC_{n-3}(\mathcal{B}, \mathcal{A}) \to HN_{n-2}(\mathcal{B}, \mathcal{A})$ の像にある場合、相対的 $n$-カルビ・ヤウ構造が正確であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ケラーの絶対的変形 $n$-カルビ・ヤウ完成を、dg 関手 $F: \mathcal{A} \to \mathcal{B}$ が $\widetilde{F}: \widetilde{\mathcal{A}} \to \widetilde{\mathcal{B}}$ に拡張される相対的設定に一般化できるか？
• RQ2 変形パrameter $\eta$ がどのような条件下で、相対的完成 $\widetilde{\Pi}$ が相対的 $n$-カルビ・ヤウ構造を備えるか？
• RQ3 元の[10]での主張が一般には失敗する理由は何か？そして、$n$-カルビ・ヤウ性質が成り立つようにするために必要な修正は何か？
• RQ4 小さな負巡回複体モデルを用いることで、$\Pi^{!}[n] \cong \Pi$ を示す際の微妙なホモトピー的障害をどのように解消できるか？
• RQ5 相対的 $n$-カルビ・ヤウ構造の正確性は、コンネス＝ツィガン作用素 $B$ の像を用いて特徴づけられるか？

主な発見

• 相対的 $n$-カルビ・ヤウ完成 $\widetilde{\Pi}$ が相対的 $n$-カルビ・ヤウ構造を備えるのは、変形パrameter $\eta \in HH_{n-2}(\mathcal{A})$ が $\widetilde{\eta} \in HN_{n-2}(\mathcal{B}, \mathcal{A})$ に引き上げられる場合に限る。
• 負巡回複体の小さなモデルを用いることで、負巡回類 $\widetilde{\omega} \in HN_n(\widetilde{\Pi})$ の構成が可能となり、三角性条件の明示的検証が可能になる。
• 写像 $\omega^\#: \widetilde{\Pi}^! [n] \to \widetilde{\Pi}$ は $\mathcal{D}(\widetilde{\Pi}^e)$ 内で同型である。これは、すべての4種類の生成子（A1）、（A2）、（B1）、（B2）に対して図式 (7.26) の可換性を検証することで確立された。
• 絶対的ケースにおける微妙な障害は、厳密な等式をホモトピー同値に置き換え、小さな混合複体モデルを用いてホモトピーを明示的に追跡することで解消された。
• 相対的 $n$-カルビ・ヤウ構造が正確であるのは、$\widetilde{\eta}$ が $B: HC_{n-3}(\mathcal{B}, \mathcal{A}) \to HN_{n-2}(\mathcal{B}, \mathcal{A})$ の像にある場合に限る。これは絶対的ケースを一般化する。
• $\mathcal{A} = 0$ の場合に元の絶対的ケースが回復され、凍結変数を伴うクラスター代数やクーヴァー多様体への応用のための概念的枠組みを提供する。