[論文レビュー] Nearly free divisors and rational cuspidal curves

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|May 4, 2015

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

ひとこと要約

本稿では、ヤコビアン代数の局所コホモロジーと分解構造において自由除算式に非常に近いが、わずかに複雑性の高い「ほぼ自由除算式」と呼ばれる平面曲線の新しいクラスを導入し、偶数次、素数の冪次、またはアーベル型基本群をもつすべての有理的カスピダル曲線が、自由またはほぼ自由であることを証明する。ウォルターの最近の局所コホモロジーに関する結果を用いて、これらの曲線に対する強い構造的分類を確立し、従来の自由性に関する結果を拡張するとともに、有理的カスピダル曲線の自由性クラスに関するより広範な予想を支持する。

ABSTRACT

We define a class of plane curves which are close to the free divisors and such that conjecturally it contains the class of rational cuspidal curves. Using a recent result by U. Walther we show that any unicuspidal rational curve with a unique Puiseux pair is either free or belongs to this class.

研究の動機と目的

• ヤコビアン代数の局所コホモロジーと分解構造において、自由除算式に非常に近い「ほぼ自由除算式」と呼ばれる平面曲線の新しいクラスを定義すること。
• 偶数次、素数の冪次、またはアーベル型基本群をもつすべての有理的カスピダル曲線が、自由またはほぼ自由であることを証明し、それらの分類に関するより広範な予想を支持すること。
• ミルナー代数の成分の次元とその最大イデアルに関する飽和を分析することにより、有理的カスピダル曲線における自由性の性質をより深く理解すること。
• 指数と分解型を用いたほぼ自由曲線の構造的特徴付けを提供し、既知の自由曲線に関する結果を一般化すること。

提案手法

• 局所コホモロジー加群 $ N(f) = I_f / J_f $ がすべての $ k $ に対して $ \dim N(f)_k \leq 1 $ を満たすという条件により、ほぼ自由除算式を定義し、自由性の条件 $ N(f) = 0 $ を一般化する。
• ミルナー代数 $ M(f) = S / J_f $ の次数付き次元 $ m(f)_k = \dim M(f)_k $ を用いて、自由性およびほぼ自由性を特徴付ける。
• ウリ・ウォルターの局所コホモロジー加群の構造に関する最近の結果を応用し、偶数次または素数の冪次の有理的カスピダル曲線が自由またはほぼ自由であることを証明する。
• 三つの生成元 $ r_1, r_2, r_3 $（次数 $ d_1, d_2, d_3 $、$ d_2 = d_3 $）とそのシンジーキー $ R $ を用いて、ほぼ自由曲線の明示的分解を構成する。
• 指数 $ (d_1, d_2) $ を用いて、ティュリーナ数 $ \tau(C) $、総ティュリーナ数、その他の不変量を分析し、特定の族では $ d_1 + d_2 = d $ および $ \tau(C) = 3d(d-2)/4 $ が成り立つことを示す。
• サカイ＝トノ分類に従う既知の有理的カスピダル曲線（例：$ f = (y^k z + x^{k+1})^2 - x y^{2k+1} $）のほぼ自由性を、その分解型を計算し、$ \dim N(f)_k \leq 1 $ を満たすかを確認することで検証する。

実験結果

リサーチクエスチョン

• RQ1 平面上のすべての有理的カスピダル曲線は、予想されるように自由またはほぼ自由であるか？
• RQ2 ミルナー代数の次元 $ m(f)_k $ のみを用いて、有理的カスピダル曲線の自由性またはほぼ自由性を特定できるか？
• RQ3 局所コホモロジー加群 $ N(f) = I_f / J_f $ の構造が、ほぼ自由性を完全に特徴付けることができるか？
• RQ4 どの次数や基本群の型に対して、有理的カスピダル曲線が自由またはほぼ自由であるという予想を証明できるか？
• RQ5 分解の指数 $ (d_1, d_2, d_3) $ と、$ \tau(C) $、$ ct $、$ st $ などの幾何的不変量との正確な関係は何か？

主な発見

• 偶数次のすべての有理的カスピダル曲線は、ウォルターの局所コホモロジーに関する結果を用いて、自由またはほぼ自由であることが証明された。
• 素数の冪次またはアーベル型基本群をもつ有理的カスピダル曲線について、この予想はコロナリー4.2で示された。
• 単一のプアゾウ対をもつユニキスピダル曲線については、1つの奇数次の場合を除き、すべてのケースで予想が成り立つが、その場合、位相的仮定が成立しない。
• 偶数次 $ d = 2k+2 $ の曲線族 $ C_d: f_d = (y^k z + x^{k+1})^2 - x y^{2k+1} $ は、指数 $ (k+1, k+1, k+1) $ と $ \tau = 3k(k+1) $ をもち、ほぼ自由である。
• 偶数次 $ d = 2(k+j)+2 $ の曲線族 $ C_{j,k}: f = (y^{k+j} z + x^{k+j+1})^2 - x^{2j+1} y^{2k+1} $ は、$ d_1 = d_2 = d_3 = k+j+1 $、$ \tau = 3d(d-2)/4 $、$ ct = st = (3d-4)/2 $ をもち、ほぼ自由である。
• ほぼ自由曲線のミルナー代数の分解は、$ 0 \to S(-d_1 - d) \oplus S(-d_2 - d)^2 \to S^3(-d+1) \to S \to 0 $ の形をとり、$ d_2 = d_3 $ である。これは自由の場合の結果を一般化する。