[論文レビュー] Schubert varieties are log Fano over the integers

Dave Anderson, Alan Stapledon|arXiv (Cornell University)|Mar 29, 2012

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

ひとこと要約

この論文は、すべての特徴において、シューベルト多様体が整数環上でも対数ファノであることを示している。これは、ℤ 上に定義された canonical divisor Δ を構成することで達成され、対 (X_w, Δ) がすべての特徴において対数ファノであることを保証する。ボット＝サマエルソン解体と、canonical divisor およびラインバンド次数の明示的公式を用いて、−(K_{X_w} + Δ) が ample であり、かつ対がカワマタ 対数終票的であることを示した。これは、特徴にわたる一様な境界 divisor に関する疑問を解決する。

ABSTRACT

Given a Schubert variety X_w, we exhibit a divisor Δ, defined over the integers, such that the pair (X_w,Δ) is log Fano in all characteristics.

研究の動機と目的

• シュウェーデとスミスが提起した疑問、すなわちシューベルト多様体が、すべての特徴において (X_w, Δ) が対数ファノであるような、単一の境界 divisor Δ を持つかどうかを解決すること。
• ℤ 上に定義された divisor Δ を構成し、対 (X_w, Δ) がカワマタ 対数終票的であり、かつ −(K_{X_w} + Δ) が ample であるようにすること。
• 幾何学的および表現論的道具を用いて、すべての代数的特徴にわたる一様な対数ファノ性を確立すること。
• 境界 divisor Δ = ∑(1 − a_i/M)∂_i（M > max a_i）が、well-defined で、有効的かつ大域的に定義された対数ファノ対をもたらすことを証明すること。

提案手法

• w に対する簡約語のボット＝サマエルソン解体 φ: ˜X_w → X_w を用い、滑らかで、双有理的で、単純な正規交叉 divisor ˜∂ を持つモデルを提供する。
• Δ = ∑c_i∂_i と定義し、c_i = 1 − a_i/M とする。ここで a_i は X_w 上のラインバンド L(ρ) からの係数で、M はすべての a_i よりも大きい整数である。
• チェバレーの公式を用いて、b_i = ⟨ρ, γ_i^∨⟩ = ht(γ_i) を計算する。ここで γ_i = s_ℓ⋯s_{i+1}(α_i) は正根であり、T-固定曲線における φ^*L(ρ) の次数を与える。
• 射影公式と T-固定曲線の交点を用いて、(φ^*L(ρ) · C_i) = (L(ρ) · φ(C_i)) = ⟨ρ, γ_i^∨⟩ = b_i > 0 を示す。
• φ^*(K_{X_w} + Δ) = K_{˜X_w} + ˜Δ であり、˜Δ = ∑(1 − b_i/M)˜∂_i であることを確立し、b_i > 0 であることから、lemma を用いて ⌊˜Δ⌋ ≤ 0 を示す。
• φ が有理的解体であることと、[2, Lemma 2.30 および Corollary 2.31] の結果を応用することで、(X_w, Δ) が klt かつ対数ファノであると結論づける。

実験結果

リサーチクエスチョン

• RQ1 ℤ 上に定義された単一の境界 divisor Δ が、すべての特徴においてシューベルト多様体を対数ファノにすることができるか？
• RQ2 すべての特徴にわたって、−(K_{X_w} + Δ) が ample であり、(X_w, Δ) がカワマタ 対数終票的であるような、一様な Δ の構成が可能か？
• RQ3 Weyl 群と基本重みの表現論的データを用いた、Δ の係数の正確な式は何か？
• RQ4 ラインバンド L(ρ) からの係数 a_i と b_i は、ボット＝サマエルソン解体の幾何にどのように関係するか？
• RQ5 非簡約語に対しても、˜X_w 上の canonical divisor 公式 −K_{˜X_w} = ∑(⟨ρ, γ_i^∨⟩ + 1)˜∂_i が成り立つか？その対数ファノ性への影響は何か？

主な発見

• 対 (X_w, Δ) は ℤ 上で対数ファノであり、Δ = ∑(1 − a_i/M)∂_i で与えられる。ここで M > max a_i であり、a_i はラインバンド L(ρ) からの正の整数である。
• 係数 b_i = ⟨ρ, γ_i^∨⟩ = ht(γ_i) は正の値をとり、φ^*L(ρ) が T-固定曲線上で正の次数を持つことを保証する。
• ボット＝サマエルソン解体上の canonical divisor 公式は K_{˜X_w} = −∑(b_i + 1)˜∂_i であり、これは非簡約語に対しても成り立つが、γ_i が正でない場合には係数が負になる可能性がある。
• φ_*K_{˜X_w} = K_{X_w} であり、⌊φ^*(K_{X_w} + Δ)⌋ = K_{˜X_w} + ⌊˜Δ⌋ かつ ⌊˜Δ⌋ ≤ 0 であることから、対 (X_w, Δ) はカワマタ 対数終票的である。
• divisor Δ は有効的であり、ℤ 上に定義されており、底面の体の特徴に依存しない。これは一様性の疑問に肯定的に答えている。
• MK_{X_w} + MΔ = −(M+1)∑a_i∂_i が L(−ρ)^{⊗(M+1)} の切断であるため、anticanonical divisor −K_{X_w} は Δ で twisted された際に反アーリアムである。