On $\mathscr{M}$-arrangements of conics and lines with ordinary singularities

技術要約：通常の特異点を持つ円錐曲線と直線のM配置について

問題設定と背景
本論文は、M曲線として知られる、特定の種類の既約平面曲線に関する組合せ論的およびホモロジー的性質を調査している。JanaszとPokora [10] によって、古典的な「最大化曲線（maximizing curves）」（Persson [17]）の一般化として最近導入されたM曲線は、ADE特異点および単純楕円特異点（通常の4重点および$J_{2,0}$特異点）のみを持ち、ヤコビイデアルの次数に関する特定の数値条件を満たすものとして定義される。

偶数次数の最大化曲線はよく研究されているが、奇数次数のものは稀であり、構成が困難である。著者らは、最大化曲線の主要な数値的・ホモロジー的性質を保持しつつ、より広いクラスの曲線を探索することを目的としている。本研究の具体的な焦点は、最大でも4以下の多重度（2重点、3重点、および4重点）の通常の特異点のみを許容する、円錐曲線と直線（$CL$）のM配置である。この設定は、M曲線の制約の強い性質（例：実数体上の直線のM配置は必然的に単体的である [11]）や、極限的な性質を持つ代数曲面との関連性 [15, 18, 19] に基づいている。

手法
著者らは、組合せ論的な計数、代数幾何学、およびシジジー（syzygy）理論を組み合わせて用いている：

1. 組合せ論的制約： ベズーの定理および全テュジナ数 $\tau(C)$ の定義を用いて、直線（$d$）、円錐曲線（$k$）、および多重度 $r$ の特異点の数（$n_r$）を関連付ける線形方程式を導出する。
2. シジジー理論と自由性： 本研究は、ヤコビイデアルが飽和している自由曲線の概念に大きく依存している。著者らは、最小ヤコビシジジー次数 $mdr(f)$および自由配置の指数$(d_1, d_2)$ を利用する。
3. ポアンカレ多項式： 著者らは、組合せ論的ポアンカレ多項式 $P(CL; t)$を分析する。これは、自由配置の場合、$(1+d_1t)(1+d_2t)$ と因数分解される。また、M配置から滑らかな円錐曲線を削除した際の、この多項式の挙動を調査する。
4. 実幾何学的境界： 実数配置に対しては、メルヒオールの不等式を適用して、このような配置の次数の有界性を導出する。
5. 正則性の計算： 安定性閾値、一致閾値、および自由曲線の指数の関係を用いて、ミルナー代数 $M(f)$ およびヤコビシジジー加群 $AR(f)$ のカステルヌオーヴォ・ムンモ・正則性を計算する。

主要な貢献と結果

• 弱い組合せ論に対する数値的制約（定理 3.1）：
  著者らは、多重度 $\le 4$ の通常の特異点を持つ、$k$ 個の円錐曲線と $d$ 本の直線からなるM配置の弱い組合せ論に対する必要条件を確立した。

  • $d = 2\ell$ （偶数）の場合、カウントは次を満たさなければならない：$n_2 + 2n_3 + 3n_4 = (k + \ell)^2 + \ell - k - 3$。
  • $d = 2\ell + 1$ （奇数）の場合、カウントは次を満たさなければならない：$n_2 + 2n_3 + 3n_4 = (k + \ell)^2 + 2\ell - 1$。
    これらの制約により、存在しない組合せ論的型を排除することが可能となる（例 3.2）。

• 1つの円錐曲線と $d$ 本の直線への特殊化（命題 3.4 および 3.6）：
  $k=1$ のケースに焦点を当て、著者らは $n_2, n_3, n_4$ に関する明示的な方程式系を導出する。さらに、円錐曲線と残りの直線との交点数 $r$ に対する厳格な制約を提示し、$r$ が任意の値を取ることはできず、$\ell$ の特定の関数によって制限されることを示す。

• 組合せ論的ポアンカレ多項式（定理 4.3）：
  本論文は、M配置 $CL$から円錐曲線を削除して得られる直線配置$L$ のポアンカレ多項式に関する明示的な公式を提供している。

  • $d=2\ell$ の場合、$P(L; t) = (\ell^2 + \ell - 2 - r)t^2 + (2\ell - 1)t + 1$。
  • $d=2\ell+1$ の場合、$P(L; t) = (\ell^2 + 2\ell - r)t^2 + 2\ell t + 1$。
    著者らは、M配置から円錐曲線を削除するとしばしば自由な直線配置が得られることを示しているが（例 4.5, 4.6, 4.8）、多項式が有理数体上で分解できない場合があるため（例 4.7）、それが自由配置であることを保証するわけではない。

• 新しい構成（例 4.8）：
  著者らは、1つの円錐曲線と11本の直線からなる新しい明示的なM配置を構成した。この配置は、弱い組合せ論 $C(11, 1; 11, 2, 10)$、全テュジナ数 $\tau = 109$、および指数 $(5, 7)$ を持つ。円錐曲線を削除すると、指数 $(5, 5)$ を持つ11本の直線の自由配置が得られる。

• 実数配置の有界性（定理 5.1）：
  本論文は、1つの円錐曲線と直線からなる実数M配置の次数が有界であることを証明している。

  • $d = 2\ell$ ならば、$\ell \le 9$ （偶数 $d \ge 20$ ではそのような配置は存在しない）。
  • $d = 2\ell + 1$ ならば、$\ell \le 10$ （奇数 $d \ge 23$ ではそのような配置は存在しない）。

• 関連する加群の正則性（命題 6.4）：
  著者らは、次数 $d$ のM曲線に対するミルナー代数 $M(f)$ およびシジジー加群 $AR(f)$ のカステルヌオーヴォ・ムンモ・正則性の正確な値を記録している：

  • $\text{reg}(M(f)) = 3m - 2$ （$d=2m$ の場合）または $3m - 1$ （$d=2m+1$ の場合）。
  • $\text{reg}(AR(f)) = m + 1$。

意義と主張
本論文は、1つの円錐曲線を持つM配置の弱い組合せ論に対する「完全な制約集合」を提供し、それによってそのような曲線の可能な組合せ論的型を特徴付けると主張している。著者らは、M曲線が数値的条件によって幾何学的可能性が厳密に制限される「繊細なクラス」であることを指摘し、その制約の強さを強調している。

著者らは、線形シジジーを持つ配置（Beorchia および Miró-Roig [2]）や、微分方程式によって不変な配置（de Moura Canaan および Coutinho [3]）の既存の分類に対する補完的な研究として、本研究を位置付けている。それらの研究はしばしば非通常の特異性を扱うが、本論文は低多度の通常の特異性に厳密に焦点を当てている。新しい11直線例の構成と実数配置の有界性の証明は、これらの曲線の存在と限界を理解するための具体的な進展として提示されている。正則性の結果は、自由曲線の安定性と一致閾値に関連付け、M曲線のホモロジー的性質の広範な理解への貢献として枠付けられている。