[論文レビュー] Freeness of Conic-Line Arrangements in $\mathbb P^2$

Hal Schenck, Ştefan Tohǎneanu|arXiv (Cornell University)|Sep 12, 2007

Geometric and Algebraic Topology参考文献 11被引用数 3

ひとこと要約

この論文は、$\mathbb{P}^2$ 内の円錐曲線-直線（CL）配置へ加法削除定理を拡張し、対数微分1形式のモジュールの自由性を決定する帰納的技法を提供する。自由性がCL配置において組合せ論的に決定されないことが示され、この文脈におけるTerao予想の類似が反証された。

ABSTRACT

Let ${\mathcal C}= \bigcup_{i=1}^n C_i \subseteq \mathbb{P}^2$ be a collection of smooth rational plane curves. We prove that the addition-deletion operation used in the study of hyperplane arrangements has an extension which works for a large class of arrangements of smooth rational curves, giving an inductive tool for understanding the freeness of the module $Ω^1({\mathcal C})$ of logarithmic differential forms with pole along ${\mathcal C}$. We also show that the analog of Terao's conjecture (freeness of $Ω^1({\mathcal C})$ is combinatorially determined if ${\mathcal C}$ is a union of lines) is false in this setting.

研究の動機と目的

• ハイパーレイントの配置理論で用いられる加法削除操作を、$\mathbb{P}^2$ 内の滑らかな有理曲線の配置、特に円錐曲線-直線（CL）配置へ拡張すること。
• 対数微分形式のモジュール $\Omega^1(\mathcal{C})$ の自由性を分析するための帰納的ツールを構築すること。
• Teraoが直線配置に対して提起した予想に類するものとして、$\Omega^1(\mathcal{C})$ の自由性が配置の組合せ型によって決定されるかどうかを調査すること。
• 特異点が通常または準同次的であっても、自由性が組合せ論的に決定されない具体例を構成し、それが自由でないことを示すこと。

提案手法

• ハイパーレイント配置からの加法削除技法をCL配置へ適応し、導来モジュール $D(\mathcal{C})$ とそのオイラー導来とシジージモジュール $D_0(\mathcal{C})$ への分解を用いる。
• 理想層の自由分解を通じたヒルベルト系列の計算を適用し、特に $Ext^1$ と双対性を用いて $D_0^\vee$ のヒルベルト系列を計算する。
• ヤコビアン理想とそのシジージを用いて $D_0(\mathcal{C})$ の構造を分析し、$D_0(\mathcal{C})$ が $S$-代数上の次数付きモジュールであることに着目する。
• Macaulay2 を用いて分解と不変量の計算的検証を行い、特に自由性のテストとベッチ数の計算に用いる。
• 定義方程式を変更しながら組合せ論を保ったまま、交差ポセットが同型であるが自由性の性質が異なるCL配置を構成する。
• クリーモナ変換を用いて、組合せ的に同型な配置の補集合が位相的に同相であることを示し、位相的および組合せ論的不変性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ハイパーレイント配置における加法削除操作は、$\mathbb{P}^2$ 内の滑らかな有理曲線の配置へ一般化可能か？
• RQ2 CL配置におけるモジュール $\Omega^1(\mathcal{C})$ の自由性は、組合せ論的に決定されるか、すなわち交差ポセット $L(\mathcal{C})$ のみに依存するか？
• RQ3 交差ポセットが同型で、特異点型も同一であるが、一方は自由で他方は自由でないようなCL配置の反例が存在するか？
• RQ4 組合せ的に同型な配置の補集合が位相的に同相であるならば、CL配置における自由性は位相的不変量か？
• RQ5 準同次性と高次のコホモロジーは、CL配置における加法削除定理の有効性にどのような役割を果たすか？

主な発見

• CL配置へ加法削除操作が成功裏に拡張され、$D_0(\mathcal{C})$ の自由性を決定する帰納的技法が得られた。
• CL配置においてTerao予想の類似は成立しない：自由性は配置の組合せ論的性質によって決定されない。
• 2つの円錐曲線に共通の点で接する直線と、その接点を通る直線を含むCL配置は自由であり、$D_0(\mathcal{C}) \simeq S(-2)\oplus S(-3)$ である。
• 同様の組合せ論的構造を持つが、異なる接線を用いた配置では自由でなく、$D_0(\mathcal{C}')$ は非分解型の分解を持つ：$0 \to S(-9) \to S(-8)^3 \to D_0(\mathcal{C}') \to 0$。
• 五重特異点を持つ5つの円錐曲線の配置では、ある配置では $D_0(\mathcal{C}) \simeq S(-6)^2$ が自由であるが、組合せ的に同型な別の配置では $D_0(\mathcal{C}')$ は分解 $0 \to S(-8)^2 \to S(-7)^4 \to D_0(\mathcal{C}') \to 0$ を持つ。
• 組合せ的に同型なCL配置の補集合はクリーモナ変換により同相であることが示され、自由性が位相的不変量でもないことがわかった。