[論文レビュー] Maximally-graded matrix factorizations for an invertible polynomial of chain type

Daisuke Aramaki, Atsushi Takahashi|arXiv (Cornell University)|Mar 7, 2019

Algebraic structures and combinatorial models参考文献 24被引用数 4

ひとこと要約

この論文は、鎖型の可逆多項式について、最大階付き行列因子化の三角圏における完全例外的集合を構成することにより、オルリック–ランデル予想の代数的双対を証明する。極化に関するリーマン分解を用いて、集合のオイラー行列が逆極化のゼータ関数によって決定されることを示し、Grothendieck群とオイラー形式、および中間ホモロジー群と交差形式の間の同型を通じて、ラティスレベルでのホモロジカルミラー対称性を確立する。

ABSTRACT

In 1977, Orlik--Randell construct a nice integral basis of the middle homology group of the Milnor fiber associated to an invertible polynomial of chain type and they conjectured that it is represented by a distinguished basis of vanishing cycles. The purpose of this paper is to prove the algebraic counterpart of the Orlik--Randell conjecture. Under the homological mirror symmetry, we may expect that the triangulated category of maximally-graded matrix factorizations for the Berglund--Hübsch transposed polynomial admits a full exceptional collection with a nice numerical property. Indeed, we show that the category admits a Lefschetz decomposition with respect to a polarization in the sense of Kuznetsov--Smirnov, whose Euler matrix are calculated in terms of the "zeta function" of the inverse of the polarization. As a corollary, it turns out that the homological mirror symmetry holds at the level of lattices, namely, the Grothendieck group of the category with the Euler form is isomorphic to the middle homology group with the intersection form (with a suitable sign).

研究の動機と目的

• 鎖型可逆多項式の消失サイクルに関するオルリック–ランデル予想の代数的双対を証明すること。
• このような多項式の最大階付き行列因子化の三角圏に完全例外的集合を構成すること。
• Grothendieck群とオイラー形式、および中間ホモロジー群と交差形式の間の同型を示すことにより、ラティスレベルでのホモロジカルミラー対称性を確立すること。
• 完全例外的集合のオイラー行列が、逆極化のゼータ関数で表現可能であることを示すこと。

提案手法

• 最大階付き行列因子化の圏における指数 μ̃n の極化自己同値 τ を構成する。
• クズネツォフ–スミルノフのリーマン分解フレームワークを用いて、例外的集合を整理する。
• オルリック–ランデルの整数基底からの候補に基づいて、例外的対象 E を定義する。
• N を正則冪零行列とする積分公式 ∏_{i=0}^{n} (1 - N^{d_i})^{(-1)^{n-i+1}} を用いて、集合のオイラー行列を計算する。
• 帰納法と半直交分解の技法を用いて、階数シフトに関する例外的集合の閉包性を検証する。
• 安定化スクリープターシェーブの関係を含む正確な三角形を用いて、部分圏がすべての安定対象を含むことを示し、完全性の証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 鎖型可逆多項式の最大階付き行列因子化の三角圏は、数値的に制御されたオイラー行列を持つリーマン分解を有するか？
• RQ2 オルリック–ランデルの整数基底にインspiredされた、この圏に明示的な完全例外的集合を構成可能か？
• RQ3 例外的集合のオイラー行列は、逆極化のゼータ関数で表現可能か？
• RQ4 ホモロジカルミラー対称性はラティスレベルで成立するか、すなわち、Grothendieck群とオイラー形式、および中間ホモロジー群と交差形式の間の同型が存在するか？

主な発見

• 圏 HMF^{L_f}_S(f) は、指数 μ̃n の自己同値 τ に関するリーマン分解を有し、ある k ∈ ℤ に対して T^{-n-2k}S = τ^{-μ̃_n} を満たす。
• 完全例外的集合は (E, τE, ..., τ^{μ̃_n - 1}E) として構成され、E は HMF^{L_f}_S(f) 内の例外的対象である。
• 集合のオイラー行列は ∏_{i=0}^{n} (1 - N^{d_i})^{(-1)^{n-i+1}} で与えられ、N はサイズ μ̃_n の正則冪零行列である。
• バーグスタイン–フーブシュ転置 ˜f のミルナー数は μ̃_n = d_n - d_{n-1} + ... + (-1)^{n-1}d_1 + (-1)^n で与えられ、ここで d_i = a_1...a_i である。
• HMF^{L_f}_S(f) のGroーディック群とオイラー形式は、符号の違いを除いて、˜f のミルナー多様体の中間ホモロジー群と交差形式の間の同型である。
• この構成により、ラティスレベルでのホモロジカルミラー対称性が確認され、オルリック–ランデル予想の代数的双対が裏付けられる。