[論文レビュー] Equivariant Primary Decomposition and Toric Sheaves

Markus Perling, Guenther Trautmann|arXiv (Cornell University)|Feb 2, 2008

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

ひとこと要約

この論文は、連結な代数的群作用をもつスキーム上の連接層に対して、等長的プライマリ分解の存在を確立する。特に、トロイカ多様体や同次座標環の文脈において、同次座標環上の次数付きプライマリ分解が群作用が自由である場合に限り、対応する層の等長的プライマリ分解を誘導することを証明し、トロイカ幾何におけるモジュール論的および層論的プライマリ分解の橋渡しを果たす。

ABSTRACT

We study global primary decompositions in the category of sheaves on a scheme which are equivariant under the action of an algebraic group. We show that equivariant primary decompositions exist if the group is connected. As main application we consider the case of varieties which are quotients of a quasi-affine variety by the action of a diagonalizable group and thus admit a homogeneous coordinate ring, such as toric varieties. Comparing these decompositions with primary decompositions of graded modules over the homogeneous coordinate ring, we show that these are equivalent if the action of the diagonalizable group is free. We give some specific examples for the case of toric varieties.

研究の動機と目的

• 連結な代数的群作用をもつスキーム上の連接層に対して、等長的プライマリ分解の存在を確立すること。
• 同次座標環上の次数付きモジュールのプライマリ分解と、それに対応する商多様体上の層のプライマリ分解との関係を調査すること。
• 特にトロイカ多様体の文脈において、モジュールの次数付きプライマリ分解が関連層の適切なプライマリ分解を誘導する条件を明確にすること。
• 群作用が自由である場合にのみ、この降下が成立することを示し、非自由な場合の失敗を明示的な例で示すこと。
• トロイカ多様体上のザリスキ微分層の等長的プライマリ分解を明示的に構成すること。

提案手法

• 特に対角化可能な群に対して、等長的準連接層および線形化の枠組みを用いる。
• 等長的設定における局所コホホロジーおよびギャップ層の結果を応用し、層の補助および深さの性質を分析する。
• 全空間 $Z$ 上の $G$-等長的プライマリ分解と、商 $X = Z//H$ 上の $G/H$-等長的分解との間の対応を確立する。
• 特にトロイカ設定において、graded $S$-モジュールと準連接層の間の関係を、層化関手 $F \mapsto \widetilde{F}$ を用いて分析する。
• イシダ複体および双対性理論を用いて、層 $\widetilde{\Omega}^1_X$ とそのプライマリ分解を分析する。
• 局所セクションの等長的成分および細粒度構造を分析し、核の交差を用いてプライマリ分解を検証する。

実験結果

リサーチクエスチョン

• RQ1 同次座標環上のモジュールの次数付きプライマリ分解が、商多様体上の関連層のプライマリ分解を誘導する条件は何か？
• RQ2 群作用の下で、次数付きモジュールの層化がプライマリ分解構造を保存するのはいつか？特に群作用の下で。
• RQ3 トロイカ多様体および商スタックの文脈において、層の等長的構造とプライマリ分解の関係は何か？
• RQ4 トロイカ多様体の特異点集合と、層 $\widetilde{\Omega}^1_X$ の補助の間の正確な関係は何か？
• RQ5 群作用が自由でない場合、なぜ特定の次数付きモジュール分解が層分解に降下しないのか？

主な発見

• 連結な代数的群作用をもつスキーム上の連接層に対して、等長的プライマリ分解が存在する。
• 同次座標環 $S$ 上のモジュール $F$ の次数付きプライマリ分解が、層 $\widetilde{F}$ の適切なプライマリ分解を誘導するのは、対角化可能な群 $H$ の作用が自由である場合に限る。
• トロイカ多様体上のカハラー微分層 $\widetilde{\Omega}^1_X$ は、すべてのレイト $\rho \in \Delta(1)$ に対して $\mathcal{F}_\rho = \ker(M \otimes \mathcal{O}_X \to \mathcal{O}_{D_\rho})$ の核の交差として与えられる等長的プライマリ分解をもつ。
• イシダ複体の余核 $\mathcal{C}$ の補助は特異点集合 $S'(X)$ に一致し、その codimension は 3 以上である。また、$\widetilde{\Omega}^1_X$ は $S'(X)$ の外側で最大コーン＝マコーレイである。
• 例 7.14 および 7.15 は、群作用が自由でない場合、次数付きモジュール分解が常に層分解に降下しないことを示しており、特に $k^2$ 上の $\mathbb{Z}/2\mathbb{Z}$-作用や、ねじれモジュールをもつ $\mathbb{Z}$-次数付き環の例が該当する。
• 局所セクション $\widetilde{\Omega}^1_X$ の等長的分解は、部分空間 $V(\rho)$ の交差を用いて記述され、これはグレーディング成分におけるプライマリ分解の正当性を確認する。