[論文レビュー] Generalized Donaldson-Thomas theory over fields K $ eq$ C

Vittoria Bussi|arXiv (Cornell University)|Mar 10, 2014

Algebraic Geometry and Number Theory参考文献 28被引用数 10

ひとこと要約

この論文は、複素解析的手法に依存せずに、代数的閉体の標数0の分野への一般化されたドナルドソン–トーマス（DT）理論を、代数幾何学とd-臨界的局所的構造を用いて拡張する。DT不変量の変形不変性は、数的グローバー・グローバー群の代数的特徴付けにより証明され、非コンパクトおよび導来カテゴリカルな設定への理論の拡張が予想される。

ABSTRACT

Generalized Donaldson-Thomas invariants defined by Joyce and Song arXiv:0810.5645 are rational numbers which `count' both $τ$-stable and $τ$-semistable coherent sheaves with Chern character $α$ on a Calabi-Yau 3-fold $X$, where $τ$ denotes Gieseker stability for some ample line bundle on $X$. These invariants are defined for all classes $α$, and are equal to the classical Donaldson-Thomas invariant defined by Thomas arXiv:math/9806111 when it is defined. They are unchanged under deformations of $X$, and transform by a wall-crossing formula under change of stability condition $τ$. Joyce and Song use gauge theory and transcendental complex analytic methods, so that their theory of generalized Donaldson-Thomas invariants is valid only in the complex case. This paper will propose a new algebraic method extending the theory to algebraically closed fields K of characteristic zero, and partly to triangulated categories and for non necessarily compact Calabi-Yau 3-folds under some hypothesis.

研究の動機と目的

• 複素解析的手法に依存せずに、ジョイスとソンの一般化されたDT不変量を代数的閉体の標数0の分野に拡張すること。
• ピックの群による数的グローバー・グローバー群の特徴付けを用いて、DT不変量の変形不変性を代数的に証明すること。
• 一貫した層のモジュライスタックの局所的構造を、GL(n,K)-不変なd-臨界的局所的構造として確立すること。
• 適切な仮定の下で、非コンパクトなカーバイ–ヤウ3次元多様体および三角化されたカテゴリに理論を一般化すること。
• 代数的閉体の標数0の分野上での導来カテゴリカル枠組みにおける一般化されたDT不変量の有効性を予想すること。

提案手法

• 一貫した層のモジュライスタックを、接空間内のエタール近傍上での正則関数によって局所的に定義されるGL(n,K)-不変なd-臨界的局所的構造として記述するd-臨界的幾何学を用いる。
• 導来シンプレクティック構造および臨界的局所の理論を適用し、コンパクトに台を持つ完全複体のモジュライ空間に(2−m)-シンプレクティック構造を構成する。
• ベイレンド関数およびその恒等式を用いて、微小局所幾何学とモチーフ的積分を介してDT不変量と関連付ける。
• 複素数の場合の整数ホッジ予想（ヴォジン）を用いて、数的グローバー・グローバー群が変形不変であることを証明し、この事実の代数的証明を与える。
• 正確な列の代わりに区別された三角形を用い、モジュライスタックのための導来代数的幾何学を用いて、ジョイスの枠組みを三角化されたカテゴリに適応する。
• トーエンの導来ハル代数のアプローチが、三角化カテゴリにおける非標準的コーン構成を解消し、ハル代数枠組みにおける結合性を回復できることを提案する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたDT不変量は、複素解析的またはゲージ理論的手法に依存せずに、代数的閉体の標数0の分野に定義可能か？
• RQ2 カーバイ–ヤウ3次元多様体の数的グローバー・グローバー群は変形に対して不変か？ そして、この事実を代数的に証明可能か？
• RQ3 カーバイ–ヤウ3次元多様体上の一貫した層のモジュライスタックは、GL(n,K)-不変性と整合するd-臨界的構造を持つか？
• RQ4 一般化されたDT不変量の理論は、非コンパクトなカーバイ–ヤウ3次元多様体に拡張可能か？ また、このような一般化においても何らかの不変量が保存されるか？
• RQ5 ジョイスとソンの枠組みは、非標準的コーン構成があるにもかかわらず、特に導来ハル代数を介して三角化カテゴリに一般化可能か？

主な発見

• カーバイ–ヤウ3次元多様体上の一貫した層のモジュライスタックは、GL(n,K)-不変なd-臨界的局所的構造を持つ。これにより、任意の標数0の代数的閉体上でのDT不変量の代数的構成が可能になる。
• モジュライスタック上のベイレンド関数は、d-臨界的構造から導かれる恒等式を満たし、安定層の仮想的数え上げと関連づけられる。
• ピックの群による代数的特徴付けにより、カーバイ–ヤウ3次元多様体の数的グローバー・グローバー群が証明され、複素解析的道具を用いずに変形不変性が示される。
• 非コンパクトな準射影的カーバイ–ヤウ3次元多様体に対しては、一般化されたDT不変量を定義可能であるが、変形不変性は成立せず、モジュライ空間は一般にはコンパクトでない。
• 一般化されたDT不変量のウォールクロッシング公式は代数的設定でも有効であり、適切な条件下で理論は導来カテゴリに拡張可能である。
• 代数的閉体の標数0の分野上での導来カテゴリカル枠組みにおける一般化されたDT不変量の存在が、導来ハル代数が有効な代数的基盤を提供するという点で、予想が支持される。