[論文レビュー] Orbifold Jacobian algebras for invertible polynomials

Alexey Basalaev, Atsushi Takahashi+1 more|arXiv (Cornell University)|Aug 31, 2016

Nonlinear Waves and Solitons参考文献 12被引用数 8

ひとこと要約

本稿は、$f$ が可逆多項式で $G$ が対角的対称性の有限群であるような対 $(f,G)$ に対して、${\mathbb{Z}}/2{\mathbb{Z}}$-次数付きの軌道ジュコビアン代数を導入し、公理化する。この代数の存在と一意性は、$G$-捩れのホロモルフィック体形式と残差ペアリングを用いて確立され、ADE型特異点の場合、軌道ジュコビアン代数が鏡のランダウ＝ジンブルグ模型のジュコビアン代数と同型であることを証明する。

ABSTRACT

An important invariant of a polynomial $f$ is its Jacobian algebra defined by its partial derivatives. Let $f$ be invariant with respect to the action of a finite group of diagonal symmetries $G$. We axiomatically define an orbifold Jacobian $\mathbb{Z}/2\mathbb{Z}$-graded algebra for the pair $(f,G)$ and show its existence and uniqueness in the case, when $f$ is an invertible polynomial. In case when $f$ defines an ADE singularity, we illustrate its geometric meaning.

研究の動機と目的

• ランダウ＝ジンブルグ軌道空間 $(f,G)$ に対して、古典的ジュコビアン代数の自然な $G$-不変一般化を定義すること。ここで $f$ は可逆多項式であり、$G$ は対角的対称性の有限アーベル群である。
• カフマンとクラヴィッツの先行研究における制限を克服すること。彼らの手法は任意の選択（例えばコサイクル）を必要としたり、重み付き同次性を仮定していたが、本稿では積を事前に定義しない公理的定義に基づく代数を導入する。
• 軌道ジュコビアン代数に自然な ${\mathbb{Z}}/2{\mathbb{Z}}$-次数と非退化な軌道残差ペアリングを導入し、ホッジ理論的構造を反映する。
• ADE型特異点の場合に、軌道ジュコビアン代数の幾何的解釈を確立し、鏡のモデルのジュコビアン代数と同型であることを示す。
• プリミティブ形式の概念と正規化された双線形ペアリングとの整合性を保証することで、フォーベニウス多様体のレベルにおけるミラー対称性の基礎的構造を提供すること。

提案手法

• ホロモルフィック $N$-形式の空間を $df \wedge \Omega^{N-1}$ で割った $G$-捩れ版 $\Omega'_{f,G}$ を定義し、$G$-次数と非退化な軌道残差ペアリングを備える。
• 軌道ジュコビアン代数 $\mathrm{Jac}'(f,G)$ を、$G$-次数付きで ${\mathbb{Z}}/2{\mathbb{Z}}$-次数付きであり、非退化な双線形形式を備え、$\Omega'_{f,G}$ に同型であるが積を事前に固定しない公理的定義により定義する。
• $\mathrm{Jac}'(f,G)$ の $G$-不変部分代数として軌道ジュコビアン代数 $\mathrm{Jac}(f,G)$ を構成し、対 $(f,G)$ の自己同型と整合性を保つようにする。
• $\Omega'_{f,G}$ 上の残差ペアリングを用いて、$\mathrm{Jac}(f,G)$ にフォーベニウス代数構造を誘導し、コーシー積分によるペアリング値の明示的計算を行う。
• 特定の可逆多項式 $f$ と群 $G$ に対して、$\mathrm{Jac}(f,G)$ を明示的に計算し、鏡多項式 $\overline{f}$ のジュコビアン代数と比較し、フォーベニウス代数としての同型を証明する。
• 基底元の対応の下でペアリング値が一致することを検証することで、同型がフォーベニウス代数構造を保存することを確認する。

実験結果

リサーチクエスチョン

• RQ1 可逆多項式 $f$ と対角的対称性群 $G$ を持つランダウ＝ジンブルグ軌道空間 $(f,G)$ に対して、任意の選択を必要とせず、$G$-不変かつ ${\mathbb{Z}}/2{\mathbb{Z}}$-次数付きの自然な代数を定義できるか？
• RQ2 この代数は、$\Omega'_{f,G}$ のホッジ理論的構造から自然な非退化な双線形形式（軌道残差ペアリング）を引き継ぐか？
• RQ3 ADEの場合に、得られた軌道ジュコビアン代数は鏡のランダウ＝ジンブルグ模型のジュコビアン代数と同型か？
• RQ4 重み付き同次多項式を超えて、例えばカスプ特異点のような場合にも、この構成を拡張でき、フォーベニウス多様体のレベルにおけるミラー対称性を支持できるか？
• RQ5 ${\mathbb{Z}}/2{\mathbb{Z}}$-次数が下位の幾何からどのように生じるのか、そしてミラー対称性の文脈でのその意義は何か？

主な発見

• 任意の可逆多項式 $f$ と対角的対称性の有限アーベル群 $G$ に対して、軌道ジュコビアン代数 $\mathrm{Jac}(f,G)$ は公理によって一意に定まり、存在することが保証される。
• $D_k$-型特異点に対して、$f = z_1^2 + z_2^{k-1} + z_2 z_3^2$ および $G = \langle g \rangle$, $g = \frac{1}{2}(1,0,1)$ のとき、代数 $\mathrm{Jac}(f,G)$ の次元は $2k-3$ であり、$[z_2]^{k-2} \circ e_g = 0$, $e_g^2 = -[z_2]$ を満たす。
• 軌道ジュコビアン代数 $\mathrm{Jac}(f,G)$ は鏡多項式 $\overline{f} = y_1^{k-1} + y_1 y_2 + y_2 y_3^2$ のジュコビアン代数と同型であり、同型は $[y_1] \mapsto [z_2]$, $[y_2] \mapsto -(k-1)[z_2]^{k-2}$, $[y_3] \mapsto e_g$ で与えられ、ペアリング値として $J_{\overline{f},\{1\}}([dy_1 \wedge dy_2 \wedge dy_3], [y_1^{k-2} dy_1 \wedge dy_2 \wedge dy_3]) = \frac{1}{2(k-1)}$ が成り立つ。
• $E_6$-型特異点に対して、$f = z_1^2 + z_2^3 + z_2 z_3^2$ および $G = \langle g \rangle$, $g = \frac{1}{2}(1,0,1)$ のとき、代数 $\mathrm{Jac}(f,G)$ の次元は 9 であり、$2[z_2 z_3] + [z_3^2]^2 = 0$, $[z_3^2] \circ e_g = 0$, $e_g^2 = -\frac{3}{2}[z_2 z_3][z_3^2]$ を満たす。
• $\mathrm{Jac}(f,G)$ と $\mathrm{Jac}(\overline{f},\{1\})$ の間の同型は、残差ペアリング値の一致によりフォーベニウス代数としての同型であることが確認され、$J_{\overline{f},\{1\}}([dy_1 \wedge dy_2 \wedge dy_3], [y_2 y_3^2 dy_1 \wedge dy_2 \wedge dy_3]) = \frac{1}{6}$ が成り立つ。
• この構成は重み付き同次多項式を超えて、例えばカスプ特異点のような場合にも一般化可能であり、Saito理論におけるプリミティブ形式の存在と整合する自然な枠組みを提供し、フォーベニウス多様体のレベルにおけるミラー対称性を実現する。