論文「Some lower bounds for the maximal number of A-singularities in algebraic surfaces. II」の技術的概要

1. 研究の背景と問題設定

複素射影空間 $\mathbb{P}^3(\mathbb{C})$ 内の代数曲面（次数 $d$）において、特定のタイプの特異点（ここでは $A_\nu$ 型特異点）が最大いくつ存在し得るかは、代数幾何学の古典的な問題です。

• 現状: 次数 $d$ の曲面における $A$ 型特異点の最大数に関する上限は一部で知られていますが、下限（実際に構成可能な特異点の数）は、特に次数が高い場合や特定の $A_\nu$ 型に対して不十分でした。
• 先行研究: 著者らは以前、次数 $d=3q$ の曲面において多数の $A$ 型特異点を持つ構成を提案しました（論文 [14]）。
• 本研究の目的: 先行研究 [14] の構成法を拡張し、それまで考慮されていなかった追加のケースに対して、$A$ 型特異点の最大数に関するより良い下限を導出することです。

2. 手法と理論的枠組み

本研究は、単変数多項式（Belyi 多項式）の性質と平面木（Plane Trees）の組み合わせ論的変形を組み合わせるアプローチを採用しています。

2.1. 多項式と平面木の関係

• Belyi 多項式: 高々 2 つの異なる臨界値（Critical Values）を持つ単変数多項式は、頂点の二色塗り分け（黒と白）がなされた平面木で表現できます。
  • 黒の頂点：臨界値 $\zeta = -1$
  • 白の頂点：臨界値 $\zeta = 1$
  • 頂点の次数（辺の数）から、臨界点の重複度が決定されます。
• 初期多項式: 先行研究 [14] で用いられた多項式 $B^{(t)}_{d,\nu,\epsilon}(w)$ ($t=1,2,3$) を出発点とします。これらは特定の条件（条件 (E)）を満たし、2 つの臨界値を持ちます。

2.2. 木の系列変形と言語 $L_E$

本研究では、初期の木から出発して、特定の置換規則（変換）を適用することで新しい多項式 $G^{(t)}_{d,\nu,\epsilon}(w)$ を生成する系列を構築します。

• 変換規則: 文字集合 $\Sigma = \{\alpha, \beta, \gamma, \delta, \bar{\delta}\}$ を用いた変換を定義します。
  • $t=1, 3$ の場合：$\alpha, \beta$ の 2 種類の変換（図 1 参照）。これらは木の次数 $d$ と臨界点の数を増大させます。
  • $t=2$ の場合：$\alpha, \beta, \gamma, \delta, \bar{\delta}$ の 5 種類の変換（図 3 参照）。より複雑な木構造の生成を可能にします。
• 許容語（Admissible Words）: 変換を適用した結果、得られる多項式が「条件 (E)」（次数 $d$ と臨界点の数 $N_{-1}, N_1$ の間に特定の整数関係が成り立つこと）を満たすような変換の列（単語）を $L_E$（許容言語）と呼びます。
• 無限系列の存在: 特に次数 $\nu=2$ の場合、許容言語 $L_E$ は無限であることが示され、任意に高い次数の曲面に対して構成が可能であることを意味します。

2.3. 曲面の構成

生成された多項式 $G^{(t)}$ を用いて、以下の形式の代数曲面を定義します。
$$J_d(u, v) + U^{(t)}_{d,\nu,\epsilon}(w) = 0$$
ここで、$J_d(u, v)$ は先行研究で定義された多項式（臨界点の構造が明確なもの）であり、$U^{(t)}$ は $G^{(t)}$ から導出された多項式です。
この曲面の $A_\nu$ 型特異点の数は、$J_d$ の臨界点の数と $G^{(t)}$ の臨界点の数の積和として計算されます。

3. 主要な結果

3.1. 特異点数の下限公式

次数 $d=3q$ の曲面 $S_J$ について、$A_\nu$ 型特異点の最大数 $\mu_{A_\nu}(d)$ に対する以下の下限が得られました。

• $\nu > 2$ の場合:
  $$N(S_J, A_\nu) = \frac{d(d-1)}{2} \left\lfloor \frac{d}{\nu+1} \right\rfloor + \frac{d(d-3)}{3} + 1$$
  この式は、$G^{(t)}$ が条件 (E) を満たし、$N_1(G, \nu)=1$ となる場合に成立します。

• $\nu = 2$ の場合:
  $$N(S_J, A_2) = \frac{3(h+3)^2(3h+8)}{2} + (3(h+3)(h+2)+1)\left(1 + \left\lfloor \frac{h}{2} \right\rfloor\right)$$
  ここで $d = 3(h+3)$ です。

3.2. 既存の結果との比較

• 本研究で構成された曲面 $S_J$ は、以前に研究された曲面 $S_F$（折りたたみ多項式を用いたもの）よりも、より多くの特異点を持ちます。
• 具体的には、$A_1$ 型（カスプ）が $\lfloor h/2 \rfloor + 1$ 個多く、$\nu > 2$ の $A_\nu$ 型特異点が 1 つ多く存在します。
• これにより、次数 $d$ に対する $A_\nu$ 型特異点の最大数の下限が改善されました。

3.3. 具体的な多項式の系列

Lemma 2.3 と Lemma 2.4 において、初期多項式 $B^{(t)}$ から出発し、変換 $\alpha, \beta$ などを反復適用することで、無限に多くの異なる次数と特異点配置を持つ多項式系列 $G^{(t)}$ が存在することが証明されました。特に、$n, m$ などのパラメータを調整することで、多様な次数 $d$ に対応する構成が可能であることが示されています。

4. 意義と結論

• 理論的貢献: 代数曲面の $A$ 型特異点の最大数に関する下限を、単一の構成法（Belyi 多項式と平面木の変形）の一般化によって体系的に拡張しました。
• 手法の汎用性: 平面木に対する組み合わせ論的変換規則を定義し、それを代数多項式の生成に適用する手法は、他の特異点タイプやより高次元の多様体への拡張可能性を示唆しています。
• 結果の精度: 特定の次数（特に $d=3q$）において、既知の下限よりも高い値を持つ具体的な曲面の存在を証明しました。これは、特異点の上限と下限のギャップを埋める重要な一歩です。

総じて、本論文は代数幾何学における特異点の分類と構成問題において、新しい構成手法を導入し、既存の下限を改善する重要な成果を提供しています。