[論文レビュー] Spin structure on moduli space of sheaves on Calabi-Yau threefold

Zheng Hua|arXiv (Cornell University)|Dec 16, 2012

Algebraic structures and combinatorial models被引用数 5

ひとこと要約

本稿では、射影的で単連結かつねじれがないカルラヤ三様体上の連接層のモジュライ空間に、方向付けデータ（同値的に一貫したスピン構造）の存在を確立する。コンツェビッチとソイベルマンの枠組みに基づき、このようなスピン構造が存在することを証明することで、この幾何的設定におけるドナルドソン＝トーマス不変量の基礎的整合性条件が得られる。

ABSTRACT

Kontsevich and Soibelman introduced a notion of orientation data on Calabi-Yau category. It can be viewed as a consistent choice of spin structure on moduli space of objects in the given category. The orientation data plays an important role in Donaldson-Thomas theory. Let X be a projective, simply connected and torsion free CY 3-fold. We prove the existence of orientation data for the moduli space of coherent sheaves on X.

研究の動機と目的

• 抽象的カルラヤ圏からの方向付けデータの概念を、カルラヤ三様体上の連接層の具体的なモジュライ空間へと拡張すること。
• 層のモジュライ空間へのグローバルなスピン構造の定義における幾何的整合性問題を扱うこと。
• 自然な幾何的仮定（射影的で単連結かつねじれのないカルラヤ三様体）の下で、このようなスピン構造が存在することを確立すること。
• 代数幾何とドナルドソン＝トーマス理論の文脈において、コンツェビッチとソイベルマンの抽象的方向付けデータの幾何的実現を提供すること。

提案手法

• カルラヤ圏における対象のモジュライ空間に一貫したスピン構造をとるという、コンツェビッチとソイベルマンの方向付けデータの概念を採用する。
• カルラヤ三様体の幾何的性質（射影的、単連結、自明な正則バンドル）を活用して、連接層のモジュライ空間を分析する。
• 障害理論的技法を用いて、モジュライ空間への一貫したスピン構造の存在を検証する。
• モジュライ空間がグローバル商スタックであるという事実を活用し、問題を安定化子上の局所的整合性条件に還元する。
• 正則バンドルの自明性と X の単連結性を用いて、スピン構造の存在に起因する位相的障害が存在しないことを保証する。
• モジュライスタック上の必要なコycle条件を検証することで、方向付けデータが適切に定義され、グローバルに整合的であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 射影的で単連結かつねじれのないカルラヤ三様体上で、連接層のモジュライ空間に一貫したスピン構造が存在するか？
• RQ2 コンツェビッチとソイベルマンの抽象的方ほうつけデータの概念は、層のモジュライ空間上で幾何的に実現可能か？
• RQ3 カルラヤ三様体にどのような位相的・幾何的条件が、このようなスピン構造の存在を保証するか？
• RQ4 モジュライ空間のグローバル幾何が、ドナルドソン＝トーマス理論における方向つけデータの整合性にどのように影響するか？
• RQ5 ねじれのない単連結カルラヤ三様体上の連接層のモジュライ空間は、自然にスピン構造を備えているか？

主な発見

• 射影的で単連結かつねじれのないカルラヤ三様体上の連接層のモジュライ空間は、一貫したスピン構造を備える。
• 方向つけデータの存在は、特にその単連結性とねじれのなさに起因する、三様体の幾何的制約の結果として確立される。
• スピン構造はグローバルに適切に定義されており、モジュライ空間のスタック的性質に起因する可能性のある障害を解消する。
• この結果により、モジュライ空間は標準的な方向つけデータを備えていることが確認され、符号付きドナルドソン＝トーマス不変量を定義する上で不可欠である。
• この構成はカルラヤ圏のカテゴリカル枠組みと整合的であり、コンツェビッチとソイベルマンの公理の幾何的関連性を裏付ける。
• 証明により、三様体の幾何的構造と連接層の圏に加えて、追加のデータや選択肢は必要でないことが示された。