[論文レビュー] Essential bases and toric degenerations arising from birational sequences

Xin Fang, Ghislain Fourier+1 more|arXiv (Cornell University)|Oct 8, 2015

Algebraic structures and combinatorial models参考文献 20被引用数 10

ひとこと要約

本稿では、双有理列と単項式順序を用いて、旗多様体および球多様体の T-不変かつ平坦なトーリック退化を統一的に構成するフレームワークを提案する。双有理列 S と単項式順序 > に対して、有限生成かつ飽和したモノイド Γ を定義し、C[G//U] のベクトル空間基底 BΓ を構成する。この基底は、双対正規基底に類似した乗法的性質を有し、モーメント多面体の交差を通じて、正規トーリック多様体への退化を可能にする。これは、PBWフィルトレーション、ニュートン・オクウンコフ体、正規基底からの先行研究を一般化する。

ABSTRACT

We present a new approach to construct $T$-equivariant flat toric degenerations of flag varieties and spherical varieties, combining ideas coming from the theory of Newton-Okounkov bodies with ideas originally stemming from PBW-filtrations. For each pair $(S,>)$ consisting of a birational sequence and a monomial order, we attach to the affine variety $G/\hskip -3.5pt/U$ a monoid $Γ=Γ(S,>)$. As a side effect we get a vector space basis $\mathbb B_Γ$ of $\mathbb C[G/\hskip -3.5pt/U]$, the elements being indexed by $Γ$. The basis $\mathbb B_Γ$ has multiplicative properties very similar to those of the dual canonical basis. This makes it possible to transfer the methods of Alexeev and Brion \cite{AB} to this more general setting, once one knows that the monoid $Γ$ is finitely generated and saturated.

研究の動機と目的

• PBWフィルトレーション、ニュートン・オクウンコフ体、正規基底からの既存の手法を統合し、旗多様体および球多様体の T-不変かつ平坦なトーリック退化の構成を統一すること。
• 双有理列と単項式順序を用いた、このような退化の一般化された構成法を確立すること。
• モノイド Γ によって添字づけられる、C[G//U] の新しい基底 BΓ を定義し、双対正規基底に類似した乗法的性質を有すること。
• Γ が有限生成かつ飽和であるとき、関連する多様体が正規トーリック多様体であることを示し、平坦な退化を可能にすること。

提案手法

• ユニポテンツ部分群 U⁻ の正根 β₁,…,βN からなる双有理列 S = (β₁,…,βN) を固定し、積写像 π: U₋β₁ × ⋯ × U₋βN → U⁻ が双有理的であることを保証する。
• 重み関数 Ψ: ℕᴺ → ℕ を導入し、誘導される半順序 >Ψ を、ℕᴺ 上の全単項式順序 > に refine する。
• 双有理写像 π と単項式順序 > による次数写像の像として、Γ = Γ(S,>) ⊂ Λ × ℤᴺ を構成する。
• 極化 G-多様体 (Y,ℒ) の切断環 R(Y,ℒ) に単項式順序を用いてフィルトレーションを定義し、graded algebra gr R(Y,ℒ) を得る。
• graded algebra の Proj として得られる Y₀ = Proj(gr R(Y,ℒ)) が、Y から T-不変かつ平坦な退化であり、正規トーリック多様体であることを示す。
• Y₀ のモーメント多面体が、有理的多面体錐 ℂ ⊂ Λℝ × ℝᴺ と Y の重み錐の交差であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 PBWフィルトレーション、ニュートン・オクウンコフ体、正規基底といった異なる手法からの T-不変かつ平坦なトーリック退化の構成を統一する単一のフレームワークが可能か？
• RQ2 双有理列 S と単項式順序 > に対して、関連するモノイド Γ が有限生成かつ飽和であるための条件は何か？
• RQ3 (S,>) から構成された C[G//U] の基底 BΓ は、双対正規基底に類似した乗法的性質を有するか？
• RQ4 退化 Y₀ の幾何的性質は、元の多様体 Y のモーメント多面体とどのように関係するか？
• RQ5 退化 Y₀ が平坦かつ T-不変であり、正規トーリック多様体であるための条件は何か？

主な発見

• モノイド Γ = Γ(S,>) が有限生成かつ飽和であるとき、Γ は有理的多面体錐 ℂ ⊂ Λℝ × ℝᴺ の整数点の集合である。
• Γ のスペクトル Spec Γ は、トーラス T × (ℂ*)ᴺ についての正規トーリック多様体である。
• 任意のアフィン球 G-多様体 Y に対して、T × (ℂ*)ᴺ-正規トーリック多様体 Y₀ への平坦かつ T-不変な退化が存在する。ここで、Y₀ に関連する錐は ℂ ∩ (𝒲 × ℝᴺ) であり、𝒲 は Y の重み錐である。
• 退化は、一般化されたファイバーが Y に同型で、特別化されたファイバーが Y₀ に同型である平坦族 ψ: 𝒴 → 𝔸¹ によって誘導され、線分束構造を保存する。
• C[G//U] の基底 BΓ は Γ によって添字づけられ、双対正規基底に類似した乗法的性質を有する。
• 本手法は、Caldero や Alexeev-Brion、Kirichenko、Feigin-Fourier-Littelmann の先行研究を、双有理列と単項式順序に基づく一様なフレームワークに統合・一般化する。