[論文レビュー] A criterion for left-orthogonality of an effective divisor on a surface

Alexey Elagin|arXiv (Cornell University)|Oct 7, 2016

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

ひとこと要約

この論文は、滑らかな曲面上の有効除算因子 $D$ が左直交的または強く左直交的であるかどうかを特定する明示的な幾何学的・組合せ論的基準を確立する。すなわち、ペア $(\mathcal{O}_X, \mathcal{O}_X(D))$ が例外的または強く例外的ペアをなす条件を定める。主な結果は、このような因子が、制御された算術 genus と交差性質を持つ有理曲線の木構造をなさねばならないこと、特に $h^1(X,\mathcal{O}_X) = h^2(X,\mathcal{O}_X) = 0$ の仮定の下で成り立つことである。基準は、部分因子の算術 genus と自己交差数に関する条件として表現される。

ABSTRACT

We find a criterion for an effective divisor $D$ on a smooth surface to be left-orthogonal or strongly left-orthogonal (i.e. for the pair of line bundles $(\mathcal O,\mathcal O(D))$ to be exceptional or strong exceptional).

研究の動機と目的

• 滑らかな曲面上の有効除算因子 $D$ が左直交的または強く左直交的である、すなわちペア $(\mathcal{O}_X, \mathcal{O}_X(D))$ が例外的または強く例外的ペアである条件を同定すること。
• 特に $h^1(X,\mathcal{O}_X) = h^2(X,\mathcal{O}_X) = 0$ の仮定の下で、因子の成分の幾何学的・組合せ論的性質に基づく基準を提供すること。
• 特に有理曲面とその全強例外的集合合における役割に関連して、このような因子の構造を明確にすること。
• 有理曲面が全強例外的集合合を有するための条件を特定する未解決問題に取り組み、個々の因子に必要な条件を分析すること。

提案手法

• 論文は、曲面上の連接層の導来カテゴリ−における例外的および強く例外的集合合の理論を用いる。
• Riemann–Roch 公式とコhomology の消滅条件を用いて、線束 $\mathcal{O}_X$ と $\mathcal{O}_X(D)$ 間の Ext-代数を分析する。
• 基準は、$i > 0$ に対して $\operatorname{Ext}^i(\mathcal{O}_X(D), \mathcal{O}_X)$ の消滅（左直交性）および $\operatorname{Ext}^i(\mathcal{O}_X, \mathcal{O}_X(D))$ の消滅（強く左直交性）から導出される。
• 部分因子 $D'$ の算術 genus $p_a(D')$ と交差数 $D \cdot D'$ を用いて、必要十分条件を定式化する。
• Hodge の指数定理を用いて、正の自己交差を持つ成分の可能な配置を制限する。
• 特に $E^2 = r$ である $D = kE$ のような多重度付きの複数成分を持つ因子について、場合ごとの検討を行う。

実験結果

リサーチクエスチョン

• RQ1 曲面上の有効除算因子 $D$ が左直交的であるための幾何学的・組合せ論的条件は何か？
• RQ2 $D$ が強く左直交的であるためには、さらにどのような条件が必要か？
• RQ3 与えられた自己交差を持つ有理曲線成分の配置は、どのようなものであれば左直交的因子を支えることができるか？
• RQ4 算術 genus $p_a(D')$ と交差数 $D \cdot D'$ は、このような因子の構造をどのように制約するか？
• RQ5 多重度 $>1$ で正の自己交差を持つ成分を含む因子が、左直交性のもとで存在しうるか？

主な発見

• 曲面 $X$ に対して $h^1(X,\mathcal{O}_X) = h^2(X,\mathcal{O}_X) = 0$ が成り立つとき、有効除算因子 $D$ が左直交的であるための必要十分条件は、$D$ が算術 genus が 0 で、すべての連結な $0 < D' \leq D$ に対して $p_a(D') \leq 0$ である有理曲線の木構造であることである。
• 同じ条件が強く左直交的であるための必要十分条件を特徴づけるが、さらにすべての such $D'$ に対して $p_a(D') \leq 1 + D \cdot D'$ が成り立つ必要がある。
• 左直交的因子は、正の自己交差を持つ成分を高々2つまで含むことができ、これは $D = E_1 + E_2$ で $E_i^2 = 1$ かつ $D^2 = 4$ の場合に限る。
• 因子 $D$ の成分 $E$ が多重度 $k > 1$ で $E^2 > 0$ を満たすならば、$D = 2E$ かつ $E^2 = 1$ でなければならない。
• 例として、自己交差が $-2$ である $A_n$ 型の有理曲線の鎖が左直交的であるが、ある部分因子で $D \cdot D' \geq -1$ の条件が満たされないため、強く左直交的ではないことが示されている。
• Hodge の指数定理により、正の自己交差を持つ成分の配置は、$E_i^2 = 1$ であるような高々2つの成分に限られることが排除される。