[論文レビュー] Categorical Saito theory, I: A comparison result

Junwu Tu|arXiv (Cornell University)|Feb 12, 2019

Algebraic structures and combinatorial models参考文献 15被引用数 5

ひとこと要約

本稿では、Kontsevichの変形量子化およびTsyganの形式的同型写像を用いて、孤立した超曲面特異点におけるSaitoの幾何的半無限Hodge構造（VSHS）と、$A_\infty$-圏の行列因子化 $\mathsf{MF}(W)$ から構成されたカテゴリカルVSHSの間の同型写像を確立する。主な結果は、2つのVSHS構造が同型であることであり、これはカテゴリカルな原始形式と幾何的原始形式の自然な全単射および同型なFrobenius多様体を示唆する。

ABSTRACT

In this paper, we present an explicit cyclic minimal $A_\infty$ model for the category of matrix factorizations $\MF(W)$ of an isolated hypersurface singularity. The key observation is to use Kontsevich's deformation quantization technique. Pushing this idea further, we use the Tsygan formality map to obtain a comparison theorem that the categorical Variation of Semi-infinite Hodge Structure of $\MF(W)$ is isomorphic to Saito's original geometric construction in primitive form theory. An immediate corollary of this comparison result is that the analogue of Caldararu's conjecture holds for the category $\MF(W)$.

研究の動機と目的

• 孤立した超曲面特異点に対するSaitoの原始形式理論のカテゴリカルな類似を確立すること。
• 変形量子化を用いて、行列因子化 $\mathsf{MF}(W)$ の $A_\infty$-圏から非可換VSHSを構成すること。
• Tsyganの形式的同型写像を介して、このカテゴリカルVSHSがSaitoの元来の幾何的VSHSと同型であることを証明すること。
• カテゴリカルな原始形式 $\mathsf{MF}(W)$ がSaitoの幾何的原始形式と全単射に対応することを確認すること。
• 両者の構成から得られるFrobenius多様体が同型であることを示すこと。

提案手法

• Kontsevichの変形量子化を用いて、$\mathsf{MF}(W)$ の循環的最小 $A_\infty$ モデルを構成し、ジャコビ環のコーカル双対代数と特定する。
• Tsyganの形式的同型写像を適用し、$A_\infty$代数のホッホシュィルドチェーン複体とミニバーシャル変形 $\mathscr{W} = W + \sum t_i \varphi_i$ のねじれド・ラーム複体を関連付ける。
• カテゴリカルVSHSを $\mathscr{V}^{\mathsf{MF}(W)} = (HC^{-}_*(A^{\mathscr{W}}), \nabla, \langle -, - \rangle_{\mathsf{hres}})$ として定義し、Getzlerの接続および非可換幾何学からの接続を用いる。
• ゲルステンハーバー括弧と演算子 $T$（外的次数）を用いて $u$-接続を計算し、Tsyganの形式的同型写像を介して幾何的 $u$-接続と関連付ける。
• コホモロジーの還元後に、カテゴリカル側の $u$-接続が幾何的側と一致することを示す。すなわち、$\mathcal{U}^{\mathsf{Sh},\mathscr{W}}_0 \circ 2u\nabla^{\mathsf{NC}}_{\partial_u} = (2u\partial_u + P + \frac{2\iota_\mathscr{W}}{u}) \circ \mathcal{U}^{\mathsf{Sh},\mathscr{W}}_0$ を証明する。ここで $P \equiv N \cdot \mathsf{id}$ はコホモロジー上で成り立つ。
• コホモロジーが最高次数 $N$ に集中していることを利用し、$P$ がスカラー乗法 $N$ として作用することを示し、幾何的正規化項 $-\frac{N \cdot \mathsf{id}}{2u}$ と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 行列因子化のためのカテゴリカルな半無限Hodge構造（VSHS）の構成が、孤立特異点に対してSaitoの幾何的VSHSと一致するか。
• RQ2 Tsyganの形式的同型写像を用いて、$\mathsf{MF}(W)$ の非可換VSHSと $W$ の幾何的VSHSを関連付けることができるか。
• RQ3 カテゴリカルな原始形式 $\mathsf{MF}(W)$ がSaitoの幾何的原始形式と全単射に対応するか。
• RQ4 カテゴリカルおよび幾何的VSHSから得られるFrobenius多様体は同型か。
• RQ5 カテゴリカルな構成がSaitoの元来のVSHSと同一の整合性条件を満たすか。

主な発見

• カテゴリカルVSHS $\mathscr{V}^{\mathsf{MF}(W)}$ は、Tsyganの形式的同型写像を介してSaitoの幾何的VSHS $\mathscr{V}^{\mathsf{Saito}}$ と同型である。
• この同型は、両側の $u$-接続を intertwine する $u$-線形写像 $\mathcal{U}^{\mathsf{Sh},\mathscr{W}}_0$ によって実現される。
• コホモロジーの最高次数集中のため、コホモロジー還元後にカテゴリカル側の $u$-接続が幾何的側と一致する。
• ホッホシュィルドチェーン上の演算子 $P$ はコホモロジー上で $N \cdot \mathsf{id}$ として作用し、幾何的正規化項 $-\frac{N \cdot \mathsf{id}}{2u}$ と一致する。
• カテゴリカル側の $t$-方向の接続はGetzlerの接続と一致し、形式的同型写像の下で全 $\nabla$ 構造が保存される。
• 系として、$\mathsf{MF}(W)$ に対してCãldăraruの予想の類似が成り立ち、カテゴリカルな文脈における標準的原始形式の存在が確認される。