[論文レビュー] Stable tensors and moduli space of orthogonal sheaves

Tomás L. Gómez, Ignacio Sols|ArXiv.org|Mar 24, 2001

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

ひとこと要約

本稿は、複素数体上の滑らかな射影的代数多様体上のテンソルの一般化された安定性の概念を導入し、幾何的不変量理論（GIT）を用いてその射影的モジュライ空間を構成する。この枠組みを応用して、直交型、特殊直交型、およびシミプレクティック型の層の射影的モジュライ空間を構成する。これは、捩れのない層を許容することで、従来のバンドルのモジュライをコンパクト化する。主な貢献は、これらの幾何的構造のための、GITに基づく一貫性のある粗モジュライ空間の構成であり、特にGL(r,ℂ)-表現的ペアのモジュライ空間も含む。

ABSTRACT

Let X be a smooth projective variety over C. We find the natural notion of semistable orthogonal bundle and construct the moduli space, which we compactify by considering also orthogonal sheaves, i.e. pairs (E,ϕ), where E is a torsion free sheaf on X and ϕis a symmetric nondegenerate (in the open set where E is locally free) bilinear form on E. We also consider special orthogonal sheaves, by adding a trivialization ψof the determinant of E such that det(ϕ)=ψ^2 ; and symplectic sheaves, by considering a form which is skewsymmetric. More generally, we consider semistable tensors, i.e. multilinear forms on a torsion free sheaf, and construct their projective moduli space using GIT.

研究の動機と目的

• 滑らかな射影的代数多様体上の直交型、特殊直交型、およびシミプレクティック型の層に対して、自然な半安定性の概念を定義すること。
• 捩れのない層と局所自由な部分にのみ非退化形式が定義される状況に限定して、これらの層の射影的モジュライ空間を構成すること。
• 幾何的不変量理論（GIT）を用いて、捩れのない層上の多重線形形式（テンソル）の一般化された半安定性の概念を定式化すること。
• テンソルのモジュライ空間の構成を応用し、直交型およびシミプレクティック型の層のモジュライ空間を構成すること。
• GL(r,ℂ)-表現的ペアのモジュライ空間が、安定性条件の下でテンソルのモジュライ空間の閉部分スキームとして実現されることを示すこと。
• 特殊直交型層の半安定なS同値類の粗モジュライ空間を確立すること。

提案手法

• 直交型、シミプレクティック型、特殊直交型の層の半安定性を、同相部分層とその直交補空間に関するヒルベルト多項式の不等式を用いて定義する。
• テンソルへの一般化：φ が (E^⊗s)^⊕c から (det E)^⊗b ⊗ D_u への準同型である三重組 (E, φ, u) を定義し、D_u はスキーム R によってパラメトライズされる固定された族からとる。
• シンプソンおよびフイブレヒト＝レーンの手法に従い、GITを用いて半安定テンソルの射影的モジュライ空間を構成する。
• テンソルのモジュライ空間を基盤として、直交型・シミプレクティック型の層のような古典的幾何的構造のモジュライ空間を構成する。
• GL(r,ℂ)-表現的ペアのモジュライ空間が、安定性条件の下でテンソルのモジュライ空間の閉部分スキームとして得られることを示す。
• テンソルの安定性条件が勾配-τ安定性に対応し、バンフィールドやムンデットの定義と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 E がベクトルバンドルではなく捩れのない層である場合、直交型、シミプレクティック型、特殊直交型の層に対して適切な半安定性の概念は何か？
• RQ2 捩れのない層を含む形でコンパクト化を施した場合、このような層の射影的モジュライ空間をどのように構成できるか？
• RQ3 層上の多重線形形式（テンソル）のモジュライ空間をGITを用いて構成可能か？また、それによってさまざまな幾何的構造がどのように統一されるか？
• RQ4 直交型／シミプレクティック型の層のモジュライ空間とGL(r,ℂ)-表現的ペアのモジュライ空間の関係は何か？
• RQ5 GITによる構成が、半安定な特殊直交型層のS同値類の粗モジュライ空間をもたらすか？

主な発見

• 半安定テンソルのモジュライ空間はGITを用いて構成され、複素数体上の滑らかな射影的代数多様体上のさまざまな幾何的構造を統一的に扱う枠組みを提供する。
• 半安定直交型層の射影的モジュライ空間が存在し、バンドルの空間を捩れのない層に含む非退化対称形式を許容することでコンパクト化された形で構成される。
• S同値類の半安定特殊直交型層の粗モジュライ空間 𝔐_SO(r) が構成され、その開部分集合はバンドルをパラメトライズする。
• GL(r,ℂ)-表現的ペアのモジュライ空間は、安定性条件の下でテンソルのモジュライ空間の閉部分スキームとして実現される。
• テンソルの安定性条件は勾配-τ安定性に対応し、バンフィールドやムンデットの定義と整合しており、この枠組みの妥当性が裏付けられる。
• 従来の円錐バンドル、装飾されたベクトルバンドル、フレームド加群に関する結果が、任意の次元および直交型／シミプレクティック型構造へと一般化される。