[論文レビュー] On 2d-4d motivic wall-crossing formulas

Gabriel Kerr, Yan Soibelman|arXiv (Cornell University)|Nov 10, 2017

Advanced Combinatorial Mathematics参考文献 11被引用数 4

ひとこと要約

本稿は、Fukaya-Seidel圏におけるスペクトルネットワークおよびラグランジュ的ブレーンを含むように安定性データおよびモチーフ的ホール代数を一般化することにより、2次元〜4次元のモチーフ的壁越え公式のカテゴリー的枠組みを提案する。スペクトルネットワークを通じてランドー＝ジンブルグモデル内の幾何的構造とモチーフ的不変量の間のリンクを確立し、適切なスペクトルネットワークから得られるラグランジュ部分多様体が前スライシングを定義し、β-安定性条件を支持することを証明することで、2次元〜4次元の壁越え現象のカテゴリー的起源を提供する。

ABSTRACT

In this paper we propose definitions and examples of categorical enhancements of the data involved in the $2d$-$4d$ wall-crossing formulas which generalize both Cecotti-Vafa and Kontsevich-Soibelman motivic wall-crossing formulas.

研究の動機と目的

• 2次元〜4次元の壁越え公式のカテゴリー的かつモチーフ的枠組みを提供すること。これは、従来、厳密な代数的または幾何的基盤が欠けていた。
• モチーフ的ホール代数および安定性データの形式的枠組みを、スペクトルネットワークおよびラグランジュ的ブレーンを介して2次元〜4次元系に一般化すること。
• Fukaya-Seidel圏における前スライシングの構成を通じて、幾何的データ（スペクトル曲線、WKB曲線）とモチーフ的不変量の間のリンクを確立すること。
• 適切なスペクトルネットワークから得られるラグランジュ部分多様体がβ-安定性条件を形成することを予想し、これによりカテゴリー的設定における壁越えを実現すること。

提案手法

• [9]の枠組みを一般化し、群コホーショングラフおよび次数付きリー代数に安定性データを拡張し、2次元〜4次元系を含むようにする。
• リーマン面 $C$ 上の基点 $z$ に対して、表面 $X$ 上の超電位 $f$ を持つランドー＝ジンブルグモデルを構成し、メラノモーフィック微分形式によって定義されるスペクトル曲線 $Σ_u$ を用いる。
• リーマン面 $C$ 上の基点 $z$ に対して関連する $β$-コレクション $υ_{σ}$ を持つFukaya-Seidel圏 $φ_z(f)$ を定義する。
• WKB曲線およびスペクトルネットワークを用いて、消失トゥーブルとマッチングサイクルを通じてラグランジュ的ブレーンを定義し、3価頂点および臨界点における適切な条件を満たすようにする。
• $φ_z(f)$ の部分圏 $π_{ij}(\theta)$ を、$z$ における辺のラベルが $ij$ で位相 $\theta$ のネットワークからのラグランジュ的ブレーンの完全部分圏として定義する。
• コレクション $\mathcal{P} = \{\mathcal{P}_{ij}(\theta)\}$ が前スライシングを形成し、$(Z, \mathcal{P})$ が $β$-コレクション上に $β$-安定性条件を定義することを予想する。

実験結果

リサーチクエスチョン

• RQ1 2次元〜4次元の壁越え公式に対して、4次元の場合のモチーフ的ホール代数の方法に類似したカテゴリー的枠組みを構築できるか？
• RQ2 リーマン面上のスペクトルネットワークおよびWKB曲線が、どのようにして $β$-コレクションの前スライシングに組織化されるラグランジュ的ブレーンを生じるか？
• RQ3 スペクトルネットワークからのラグランジュ部分多様体が特別であり、安定性条件を支持するための条件は何か？
• RQ4 スペクトルネットワークからのサイクル上での中心的係数 $Z_\gamma = \frac{1}{\pi} \int_\gamma \lambda$ は一貫して定義可能か？また、スライシングとどのように関係するか？
• RQ5 $\mathcal{P}_{ij}(\theta)$ の部分圏のコレクションが拡張に関して閉じており、次数構造と整合的であるか？これにより安定性構造が支持されるか？

主な発見

• 適切なスペクトルネットワークから得られるラグランジュ部分多様体の構成は、Fukaya-Seidel圏 $\mathcal{F}_z(f)$ 内に一意に定義された対象の集合をもたらす。
• $\mathcal{P}_{ij}(\theta)$ は、位相 $\theta$ のネットワークからのラグランジュ的ブレーンによって形成される完全部分圏であり、$\mathcal{C}_{ij}$ の完全部分圏として示されている。
• 著者らは、コレクション $\mathcal{P} = \{\mathcal{P}_{ij}(\theta)\}$ が標準的 $\mathbb{V}_{\mathcal{S}}$-コレクションの前スライシングを形成し、安定性条件の公理を満たすと予想している。
• 中心的係数 $Z_\gamma = \frac{1}{\pi} \int_\gamma \lambda$ は、スペクトルネットワークからのサイクル上での1形式 $\lambda$ の積分により定義され、中心的係数の幾何的実現を提供する。
• スペクトルネットワークにおける適切さ条件（4）および（5）は、消失サイクルおよびマッチングサイクルが一貫して定義可能であることを保証し、3価頂点における接続を通じてラグランジュ部分多様体の構成を可能にする。
• 本稿は、スペクトルネットワークと安定性データの形式的枠組みを通じて、2次元〜4次元の壁越えを幾何的かつカテゴリー的に実現し、モチーフ的不変量と結びつける。