[論文レビュー] A conjecture on special linear systems of P^3

Antonio Laface, Luca Ugaglia|ArXiv.org|Sep 8, 2004

Polynomial and algebraic computation参考文献 5被引用数 3

ひとこと要約

本稿では、与えられた重複度の固定点をもつ $\mathbb{P}^3$ 内の超曲面の線型系の特殊性を分類する予想を提示する。立方体-立方体クリーモナ変換を用いて、系を標準形に還元し、特殊系の2つの異なるクラスを同定する。主な貢献は、交線数の負の条件を満たす固定された二次曲面成分をもつ系、および少なくとも1組の点の重複度の和が次数より2以上大きい系（固定された直線成分をもつ）の2つに特殊系が分類されることを特定することにある。

ABSTRACT

In this note we consider the behavior of linear systems of P^3 through fat points under a cubo-cubic Cremona transformation. This allows us to produce a class of special systems which we conjecture to be the only ones.

研究の動機と目的

• 指定された固定点と重複度をもつ $\mathbb{P}^3$ 内の超曲面の線型系をすべて分類すること。
• 立方体-立方体クリーモナ変換によるその系の振る舞いを分析することで、その構造を理解すること。
• このような系が特殊（次元が期待次元を上回る）になるための完全な条件集合を同定すること。
• 交線的および組合せ論的基準に基づき、固定成分（固定された二次曲面または固定された直線）を用いた特殊系の予想的分類を提示すること。

提案手法

• 著者たちは、次元を保ちつつ次数と重複度を最小化する標準形に線型系を変換するために、立方体-立方体クリーモナ変換を用いる。
• 次数より少なくとも2大きい重複度の和を持つ点のペアに関連する1次元サイクル $\Gamma({\mathcal{L}})$ を定義し、固定された直線成分を示唆する。
• 基点での blown-up 空間 $X$ におけるリーマン・ロッホの公式を用いて、系の仮想次元を計算する。
• 変換則 $\mathrm{Cr}({\mathcal{L}}) = {\mathcal{L}}_{3}(d+k, m_1+k, \ldots, m_4+k, m_5, \ldots, m_r)$ を適用し、$k = 2d - \sum_{i=1}^4 m_i$ とすることで、系を簡約化する。
• クリーモナ変換による仮想次元の差は、公式 $v(\mathrm{Cr}({\mathcal{L}})) - v({\mathcal{L}}) = \sum_{t_{ij} \geq 2} \binom{1+t_{ij}}{3} - \sum_{t_{ij} \leq -2} \binom{1-t_{ij}}{3}$ で計算され、ここで $t_{ij} = m_i + m_j - d$ である。
• 予想は、特殊系が、固定された二次曲面 $Q$ が存在して $Q({\mathcal{L}}-Q)({\mathcal{L}}-K) < 0$ を満たす、または1次サイクル $\Gamma({\mathcal{L}})$ の係数 $t_{ij} \geq 2$ をもつ場合にのみ生じると仮定している。

実験結果

リサーチクエスチョン

• RQ1 指定された固定点と重複度をもつ $\mathbb{P}^3$ 内の超曲面線型系が特殊（次元が期待次元を上回る）であるための必要十分条件は何か？
• RQ2 立方体-立方体クリーモナ変換は、このような線型系の仮想次元および実際の次元にどのように影響するか？
• RQ3 すべての特殊線型系が、固定された二次曲面成分をもつ系と、高重複度の点のペアから生じる固定された直線成分をもつ系の2つの異なる族に分類可能か？
• RQ4 固定成分を除いた残差系の次元が仮想次元に等しくなる条件は何か？また、補正項 $\sum \binom{t_{ij}+1}{3}$ が特殊性を説明するにはどのような場合か？
• RQ5 ハーブーン＝ヒルシュヴィッツ予想は、10点をもつ系における固定された二次曲面成分の存在を検証するために果たす役割は何か？

主な発見

• 標準形に置かれた線型系 ${\mathcal{L}}$ は、次のいずれかの条件を満たすときかつそのときに限り特殊である：(i) $Q({\mathcal{L}}-Q)({\mathcal{L}}-K) < 0$ を満たす二次曲面 $Q$ が存在する、または (ii) 1次サイクル $\Gamma({\mathcal{L}})$ の係数のうち少なくとも1つが $t_{ij} = m_i + m_j - d \geq 2$ である。
• $r \geq 8$ かつ $d \leq 2m-1$ の同次系では、系が空集合であることが示され、この範囲では予想に基づき特殊系は存在しない。
• $r = 9$ かつ $d \geq 2m$ のとき、系は $2m \leq d < \left[-1 + \frac{3}{2}\sqrt{2m^2 + 2m}\right]$ の範囲にあるときかつそのときに限り特殊である。これは特殊性が現れる有限の次数範囲を定義する。
• $r \leq 7$ かつ $d \geq 2m$ のとき、予想およびハーブーン＝ヒルシュヴィッツ予想により、系は特殊にはなりえない。
• 有限回のクリーモナ変換を施すことで、任意の系は標準形に還元可能であり、元の系の次元は $\dim{\mathcal{L}} = v({\mathcal{L}}') + \sum_{t'_{ij} \geq 2} \binom{t'_{ij}+1}{3}$ で与えられる（ただし $h^2({\mathcal{L}}' \otimes {\mathcal{I}}_{\Gamma}) = 0$ を仮定）。
• 予想により、すべての特殊系は、固定された二次曲面または重複度が2以上の固定された直線に起因し、それ以外の構成はあり得ない。