[論文レビュー] On the geometry of normal horospherical G-varieties of complexity one

Kevin Langlois, Ronan Terpereau|arXiv (Cornell University)|Nov 10, 2014

Algebraic Geometry and Number Theory参考文献 6被引用数 9

ひとこと要約

本稿は、Timashevの組合せ的枠組みを用いて、複雑性1の通常の水平球的G多様体について、包括的な幾何学的および組合せ的解析を提供する。滑らかさ、有理的および対数終末的特異点の明示的基準を確立し、生成元と関係式を用いたクラス群の計算を行い、正規化クラスの明示的代表元を提示することで、この代数的多様体のクラスに対する完全な分類ツールを提供する。

ABSTRACT

Let G be a connected simply-connected reductive algebraic group. In this article, we consider the normal algebraic varieties equipped with a horospherical G-action such that the quotient of a G-stable open subset is a curve. Let X be such a G-variety. Using the combinatorial description of Timashev, we describe the class group of X by generators and relations and we give a representative of the canonical class. Moreover, we obtain a smoothness criterion for X and a criterion to determine whether the singularities of X are rational or log-terminal respectively.

研究の動機と目的

• 球的多様体の次に自然な段階として、複雑性1の通常の水平球的G多様体の幾何的性質を特徴づけること。
• この多様体クラスにおける滑らかさ、有理的特異点、対数終末的特異点の明示的基準を提供すること。
• 生成元と関係式を用いたクラス群の計算および正規化クラスの代表元の特定。
• G多様体の文脈において、特異点および正規化除算子に関する既存の結果を一般化・精緻化すること。

提案手法

• 滑らかな射影的曲線上の色付き多面体的除算子による水平球的G多様体のTimashevの組合せ的記述を用いる。
• Gのレヴィ部分群LのアフィンL多様体から単純Gモデルをパラボリック誘導を用いて構成する。
• 色付き除算子および値の理論を用いて、G安定な素因数をパrametrizeし、それらの交差性を分析する。
• トロイダル化および部分的特異点解消を用いて特異点を研究し、色付き除算子データの幾何と関連付ける。
• PL関数およびキャリアエール除算子の理論を用いて正規化クラスを計算し、その有理的性または対数終末的性を検証する。
• Pauer、Pasquier、およびBatyrev–Moreauの結果を活用し、多面体的データに基づいた明示的な滑らかさおよび有理的特異点基準を導出する。

実験結果

リサーチクエスチョン

• RQ1 複雑性1の通常の水平球的G多様体が滑らかであるための必要十分条件は何か？
• RQ2 このような多様体の特異点が有理的または対数終末的であるのはいつか？
• RQ3 このような多様体のクラス群は、生成元と関係式を用いてどのように明示的に記述できるか？
• RQ4 色付き多面体的除算子の組合せ的データに関して、正規化クラスの代表元はどのように表されるか？
• RQ5 基本曲線および除算子データにどのような条件下で、多様体が対数終末的特異点を持つのか？

主な発見

• 複雑性1の通常の水平球的G多様体のクラス群は、G安定な素因数によって生成され、関係式は色付き多面体的除算子データから導かれる。
• 滑らかさの基準は、色付き除算子および関連する多面体的データの構造に基づき、PauerおよびPasquierの結果に依拠する。
• 多様体が有理的特異点を持つのは、関連する色付き除算子が除算子の台とファイナー構造に関して特定の条件を満たすときであり、かつそのときに限る。
• 多様体が対数終末的特異点を持つのは、基本曲線がアフィンまたはP¹に同型であり、かつ∑(1 - 1/μ_z) < 2を満たすときであり、かつそのときに限る。ここでμ_zは除算子内の頂点の最小分母によって定義される。
• 正規化クラスの代表元は、色付き多面体的除算子上の区分的線形関数θ∈PL(𝒟)を用いた式D_θとして明示的に構成される。
• 部分的特異点解消における例外的除算子は、除算子の台の像に含まれないレースおよび頂点に対応するものであり、特異点の幾何的解釈を提供する。