[論文レビュー] Categories of singularities of invertible polynomials

Oleksandr Kravets|arXiv (Cornell University)|Nov 22, 2019

Algebraic structures and combinatorial models参考文献 22被引用数 6

ひとこと要約

本稿は、次元 $ n \leq 3 $ の可逆多項式の特異性のカテゴリーにおいて、群作用によるずれと変異を用いて、明示的な完全な強く例外的な集合を構成する。また、このような集合が $ n+1 $ 個のブロックに分解可能であるというオルロフの予想を証明し、低次元の場合におけるベルグシュタイン＝フーブシュ鏡像対称性の主要予測を確認する。

ABSTRACT

We study the categories of singularities coming from Landau-Ginzburg models given by the invertible polynomials. Such categories appear on the B-side of the Berglund-Hübsch mirror symmetry. We provide an efficient method of computing morphism spaces in these categories and explicitly construct full strongly exceptional collections in the cases of small dimensions ($n\le 3$). Finally, we use this construction in order to prove Orlov's conjecture stating that such collections can be chosen to have block decompositions of size one more than the number of variables.

研究の動機と目的

• 可逆多項式の特異性の導来カテゴリーにおいて、$ n \leq 3 $ の場合に明示的な完全な強いつよくな例外的集合を構成すること。
• このようなカテゴリーが高々 $ n+1 $ 個のブロックをもつ完全な強いつよくな例外的集合をもつという、オルロフの予想を検証すること。
• ウエダおよびフタキ＝ウエダの手法を一般化し、非ブリースコルン＝ファム型可逆多項式への立方体構成の一般化を試みること。
• 変異と重み付き構造を用いて、高次元における同種の集合を体系的に構成するフレームワークを提供すること。
• 明示的な例外的集合の一致を通じて、ホモロジカル鏡像対称性の代数的側とシンプレクティック側を結ぶ橋渡しをすること。

提案手法

• 可逆多項式の分類を用いて、ブリースコルン＝ファム多項式から一般化された $ n $ 次元立方体構成を他のタイプへ拡張する。
• 最大重み群 $ L_w $ による初期対象の最小集合のずれを用いて、格子のような配置を形成することで例外的集合を構成する。
• 変異を適用して集合をブロック分解形に再編成し、オルロフの予想の検証を可能にする。
• ゴレンスタイン環における重み付き／非重み付き対応と安定化技術を用いて、射空間を明示的に計算する。
• $ \operatorname{Ext}^\bullet $-有限性と双対構造を用いて、変異関手に不可欠な評価および双評価写像を定義する。
• $ A_\infty $-構造と三角カテゴリーの形式的枠組みに依拠し、変異を施した集合が依然として例外的であり、同じ部分カテゴリーを生成することを保証する。

実験結果

リサーチクエスチョン

• RQ1 可逆多項式の特異性カテゴリーにおいて、$ n \leq 3 $ の場合に完全な強いつよくな例外的集合を明示的に構成できるか？
• RQ2 オルロフの予想が示唆するように、これらの集合は $ n+1 $ 個のブロックに分解可能か？
• RQ3 初期対象のずれと変異の手法は、ブリースコルン＝ファム多項式を超えて、すべての可逆多項式へ一般化可能か？
• RQ4 可逆多項式の特異性カテゴリーにおける射空間は、どのようにして効率的に計算できるか？
• RQ5 最大重み群 $ L_w $ は、例外的集合の構造を整理する上で果たす役割は何か？

主な発見

• 本稿は、次元 $ n \leq 3 $ のすべての可逆多項式について、明示的な完全な強いつよくな例外的集合を構成し、非退化ケースへの立方体構成の一般化を達成する。
• このような集合が、互いに直交する $ n+1 $ 個のブロックに分解可能であることを証明し、$ n \leq 3 $ においてオルロフの予想を確認する。
• 構成は、最大重み群 $ L_w $ による生成元の最小集合のずれに依拠し、格子に基づく配置を形成する。
• 変異を用いて初期の集合をブロック分解形に変換し、変異関手が $ \operatorname{Ext}^\bullet $-構造を保存することを示す。
• 重み付きベクトル空間の双対性とテンソル積を用いた効率的なアルゴリズムにより、特異性カテゴリーにおける射空間の計算が可能になる。
• 結果として、代数的側とシンプレクティック側の例外的集合の明示的一致を可能にすることで、ベルグシュタイン＝フーブシュ双対性におけるホモロジカル鏡像対称性の予想を支持する。