[論文レビュー] Factorial algebraic group actions and categorical quotients

Ivan Arzhantsev, Devrim Celik+1 more|arXiv (Cornell University)|Aug 4, 2009

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

ひとこと要約

この論文は、因子的群作用の下で代数幾何におけるカテゴリー的商の存在条件を確立し、古典的な多様体圏の制限を克服するために構成可能空間を用いる新しい枠組みを導入する。因子的作用を施された正則多様体上のアフィン代数的群に対して、カテゴリー的商が構成可能空間の圏に存在するための必要十分条件は、不変環がコディメンジョン条件を満たすことであることが示され、これはコクス環が有限生成である完全多様体に対するGIT型構成を一般化する。

ABSTRACT

Given an action of an affine algebraic group with only trivial characters on a factorial variety, we ask for categorical quotients. We characterize existence in the category of algebraic varieties. Moreover, allowing constructible sets as quotients, we obtain a more general existence result which, for example, settles the case of a finitely generated algebra of invariants. As an application, we provide a combinatorial GIT-type construction of categorial quotients for actions on, e.g. complete varieties with finitely generated Cox ring via lifting to the characteristic space.

研究の動機と目的

• 再帰的でない群や非アフィン多様体の場合、代数的多様体の圏におけるカテゴリー的商が存在しないという問題に対処すること。
• 再帰的ケースに限らないカテゴリー的商の理論を拡張するために、より柔軟な商の圏として構成可能空間を導入すること。
• コクス環が有限生成である完全多様体への作用に対して、特徴的空間への上昇を用いて、組合せ論的でGIT型のカテゴリー的商の構成を行うこと。
• 不変関数の有限生成分離部分代数が像を開集合に持つことを用いて、多様体の圏におけるカテゴリー的商の存在を特徴づけること。

提案手法

• すべての不変超曲面が不変関数の零点集合であるような因子的群作用の概念を導入し、再帰的ケースを一般化すること。
• 構成可能空間の圏で作業し、商がアフィン多様体の構成可能部分集合であることを許容することで、商が多様体でなければならないという制約を緩和すること。
• 写像 π:X→Y が構成可能圏における強いカテゴリー的商であるための必要十分条件として、π∗:Γ(Y,𝒪)→Γ(X,𝒪)G が同型であること、すなわち pullback が同型であることを証明すること。
• 多様体の圏におけるカテゴリー的商の存在に関する基準を確立する：ある有限生成正則部分代数 A⊆Γ(X,𝒪)G に対して、その分数体が 𝕂(X)G であるとき、写像 X→Spec(A) が像を開集合に持つこと。
• Derksen と Kemper の不変関数の分離部分代数の存在を活用し、適切な条件下でその像が開集合となるように A を構成すること。
• コクス環が有限生成である完全多様体に対して理論を適用する。G作用を特徴的空間に上昇させ、トーラス作用とGITファインを用いて半安定集合と商を計算すること。

実験結果

リサーチクエスチョン

• RQ1 アフィン代数的群の因子的作用に対して、代数的多様体の圏におけるカテゴリー的商が存在する条件は何か？
• RQ2 不変環が有限生成でない場合、カテゴリー的商を多様体の圏よりも広い圏で構成できるか？
• RQ3 コクス環が有限生成である完全多様体への作用に対して、カテゴリー的商を体系的に構成する方法は何か？
• RQ4 分離部分代数が不変関数に与える役割は、カテゴリー的商の存在を保証するためにどのようなものか？
• RQ5 特徴的空間におけるトーラス作用のGITファインの組合せ論は、カテゴリー的商の変動とどのように関係するか？

主な発見

• カテゴリー的商が構成可能空間の圏に存在するための必要十分条件は、pullback π∗:Γ(Y,𝒪)→Γ(X,𝒪)G が同型であることである。これは、X→Spec(A) の像が開集合であり、その補集合のコディメンジョンが2以上であるときに限り成立する。
• 不変環 Γ(X,𝒪)G が有限生成であるとき、Y=π′(X) とおくと、写像 X→Y は構成可能空間の圏における強いカテゴリー的商である。
• 因子的作用の下では、多様体の圏におけるカテゴリー的商の存在は、X→Spec(A) が像を開集合に持つような有限生成正則分離部分代数 A⊆Γ(X,𝒪)G の存在と同値である。
• 理論により、特徴的空間へのG作用の上昇とそれに伴うトーラス作用の解析を通じて、コクス環が有限生成である完全多様体に対して、組合せ論的でGIT型のカテゴリー的商の構成が可能になる。
• P¹×P¹ に加法群が作用する例では、2つの半安定集合 U₁ と U₂ がそれぞれ強カテゴリー的商 Uᵢ→P¹ を持ち、これはGITファインの2つのフル次元のチャネルに対応する。
• 任意の豊富な因子 D に対して、特徴的空間における半安定集合がコディメンジョン条件を満たす限り、商 X^{ss}(D)→V が強いカテゴリー的商として得られる。