[論文レビュー] Moduli of framed sheaves on projective surfaces

Ugo Bruzzo, Dimitri Markushevich|arXiv (Cornell University)|Jun 8, 2009

Algebraic Geometry and Number Theory参考文献 16被引用数 20

ひとこと要約

本稿では、滑らかな射影的曲面上のねじれのない層に対して、大きな・フェイブ・除算に沿った『良いフレーミング』を備えた場合、そのような層の細い準射影的モジュライ空間の存在を確立する。HuybrechtsとLehnの意味での安定ペアとしてこのようなフレームド層が安定であることを示すことにより、著者たちは整合性のとれたモジュライ空間を構成し、その滑らかさの障害を計算し、それがトレース写像の核に含まれることを証明する。これは、局所的に自由でない場合へのLübkeの結果の拡張である。

ABSTRACT

We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such framed sheaves may be considered as stable pairs in the sense of Huybrechts and Lehn. We characterize the obstruction to the smoothness of the moduli space, and discuss some examples on rational surfaces.

研究の動機と目的

• 滑らかな射影的曲面上の大きな・フェイブ・除算に沿った『良いフレーミング』を備えたねじれのない層のための細いモジュライ空間を構成すること。
• このようなフレームド層がHuybrechtsとLehnの意味での安定ペアであることを示し、モジュライ空間の構成を可能にすること。
• モジュライ空間の滑らかさの障害空間を特徴づけ、以前の結果を精緻化すること。
• モジュライ空間の構造を詳細に分析し、それが準射影的かつ分離的であることを証明すること。
• ヒルツェブルフ曲面およびℙ²のブローモンとにおける明示的な例を提示し、モジュライ空間の幾何構造を説明すること。

提案手法

• 著者たちは、極化Hとパラメータδに基づく安定性条件を導入することで、フレームド層を安定ペアの枠組みに埋め込む。
• やや弱い条件下で、考察中のすべてのフレームド層が(H,δ)-安定であることを証明し、安定ペアのモジュライ空間の開部分スキームとしてのモジュライ空間の構成を可能にする。
• 安定ペアのモジュライ空間の細かいスキーム構造を活用することで、モジュライ空間が準射影的であることを示す。
• 滑らかさの障害空間がトレース写像の核に含まれることを特定し、Lübkeの結果を局所的に自由でない層への拡張する。
• 特殊な場合においてADHM構成と比較し、安定ペアのアプローチと同等であることを示す。

実験結果

リサーチクエスチョン

• RQ1 射影的曲面上の大きな・フェイブ・除算に沿った良いフレーミングを備えたフレームド層に対して、細い準射影的モジュライ空間が存在するか？
• RQ2 フレームド層は安定ペアのモジュライ空間に埋め込まれるか？ そして、この構成により整合性のあるモジュライ空間が得られるか？
• RQ3 フレームド層のモジュライ空間の滑らかさの障害空間の正確な構造は何か？
• RQ4 ヒルツェブルフ曲面やℙ²のブローモンといった特定の曲面上で、モジュライ空間はどのように振る舞うか？
• RQ5 両者が適用可能な場合、フレームド層のモジュライ空間はADHM構成と同値であるか？

主な発見

• 滑らかな射影的曲面上の大きな・フェイブ・除算に沿った良いフレーミングを備えたフレームド層のモジュライ空間は、細かい準射影的スキームである。
• フレームド層が(H,δ)-安定ペアであることが示され、安定ペアのモジュライ空間を用いた構成が可能になる。
• 滑らかさの障害空間はトレース写像の核に含まれる。これは、局所的に自由でない場合へのLübkeの結果の拡張である。
• p番目のヒルツェブルフ曲面におけるモジュライ空間M(r,k,n)について、n = N = pk(r−k)/(2r)のとき、この空間はグラスマン多様体G(k,r)上のランクk(r−k)(p−1)のベクトル束に同型である。
• ℱ₁上のランク2のバンドルの場合、例外的除算における分解型によるストラティフィケーションが存在し、k番目のストラトムのファイバーはM(n−k)上の次元2k+1の射影空間に同型である。