[論文レビュー] Jacobian syzygies and plane curves with maximal global Tjurina numbers

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|Jan 17, 2019

Commutative Algebra and Its Applications参考文献 27被引用数 7

ひとこと要約

この論文は、分離平面曲線のヤコビアンシンジーキー・モジュールの最小生成元の数に対する鋭い上界を確立し、du PlessisとWallが予想したように、最大のグローバルTjurina数に達する曲線のホモロジー的特徴づけを提示する。さまざまな次数-ランク対 (d,r) に対してそのような曲線の存在を示し、直線配置や有理曲線の明示的構成も与える。さらに、すべての (d,r) に対してその存在を予想し、次数11までで検証済み。

ABSTRACT

First we give a sharp upper bound for the cardinal $m$ of a minimal set of generators for the module of Jacobian syzygies of a complex projective reduced plane curve $C$. Next we discuss the sharpness of an upper bound, given by A. du Plessis and C.T.C. Wall, for the global Tjurina number of such a curve $C$, in terms of its degree $d$ and of the minimal degree $r\leq d-1$ of a Jacobian syzygy. We give a homological characterization of the curves whose global Tjurina number equals the du Plessis-Wall upper bound, which implies in particular that for such curves the upper bound for $m$ is also attained. Finally we prove the existence of curves with maximal global Tjurina numbers for certain pairs $(d,r)$. Moreover, we conjecture that such curves exist for any pair $(d,r)$, and that, in addition, they may be chosen to be line arrangements when $r\leq d-2$. This conjecture is proved for degrees $d \leq 11$.

研究の動機と目的

• 分離平面曲線のヤコビアンシンジーキー・モジュールの最小生成元の数に対する鋭い上界を確立すること。
• du PlessisとWallが定義した最大グローバルTjurina数に達する曲線を特徴づけること。
• 特に r ≥ d/2 の場合に、さまざまな (d,r) 対に対してそのような最大Tjurina曲線の存在を証明すること。
• すべての (d,r) 対に対して最大Tjurina曲線が存在し、r ≤ d-2 の場合には直線配置として選べるとの予想を提示すること。
• 次数 d ≤ 11 に対してその予想を検証し、m = 3, 4, d-1, d-3, d-5 の場合の明示的構成を含むこと。

提案手法

• ヤコビアンシンジーキー・モジュール AR(f) の最小生成元の数 m に対して鋭い上界を導出し、m ≤ d₁ + d₂ − d + 3 ≤ d + 1 が成り立つことを示す。
• ホモロジー代数を用いて、最大Tjurina曲線がすべての指数が r に等しい m-シンジーキー曲線であると特徴づける。ここで m = 2r − d + 3 である。
• du Plessis-WallによるグローバルTjurina数 τ(C) の上界を適用し、r < d/2 と r ≥ d/2 の場合に分けて考察する。
• τ(C) が最大上界に達する明示的族（例えば、ほぼ自由曲線、ほぼ尖頭有理曲線、直線配置など）を構成する。
• 計算代数システム（例：SINGULAR）を用いて、次数20までで具体的な例について mdr(f) = r および τ(C) = τ(d,r)max が成り立つことを検証する。
• ノード曲線および配置に関する既知の結果を活用し、次数 d の最大ノード有理曲線がタイプ (d,d−1) の最大Tjurina曲線であることを示す。

実験結果

リサーチクエスチョン

• RQ1 次数 d の分離平面曲線 C で、du PlessisとWallが d と r = mdr(f) の関数として与えた上界 τ(d,r)max を達成するものはどのようなものか？
• RQ2 ヤコビアンシンジーキー・モジュール AR(f) の最小生成元の数 m に対する鋭い上界は何か？ そして、その上界はいつ達成されるか？
• RQ3 r ≥ d/2 の場合に、タイプ (d,r) の最大Tjurina曲線をすべて明示的に構成できるか？
• RQ4 r ≤ d−2 の場合に、そのような曲線が直線配置として実現可能か？ もしそうなら、どのような条件下で可能か？
• RQ5 すべての (d,r) 対に対して最大Tjurina曲線が存在するという予想は、特に d ≤ 11 の場合に成り立つか？

主な発見

• AR(f) の最小生成元の数 m は、m ≤ d₁ + d₂ − d + 3 ≤ d + 1 を満たし、この上界はすべての d に対して鋭い。
• 曲線が最大グローバルTjurina数 τ(d,r)max に達するのは、すべての指数 d₁ = d₂ = ... = dₘ = r を満たす m-シンジーキー曲線であるとき、かつそのときに限る。ここで m = 2r − d + 3 である。
• m = 3 の場合、タイプ (2r,r) の最大Tjurina曲線が存在し、これはほぼ自由曲線に対応する。これらの曲線は先行研究により既に存在が知られている。
• m = 4 の場合、タイプ (2r−1,r) の最大Tjurina曲線が存在し、これはほぼ尖頭有理曲線に関連する。すべての r ≥ 3 に対して明示的な列が構成される。
• 次数 d の最大ノード有理曲線はタイプ (d,d−1) の最大Tjurina曲線であり、このことは mdr(f) = d−1 であるという既知の事実に基づいて証明される。
• 直線配置の場合、タイプ (d,d−2) の最大Tjurina曲線が存在し、一般配置によって実現される。タイプ (d,d−3) および (d,d−4) に対しても明示的構成が与えられ、d ≤ 20 に対して mdr(f) = d−3 および d−4 が検証済み。