On Ziegler pairs of line arrangements: from non-existence to abundance

技術要約：直線配置のツィグレ双対（Ziegler Pairs）について：非存在から豊富さへ

問題設定
本論文は、複素射影平面 $\mathbb{P}^2$ における直線配置の組合せ構造が、その代数的な不変量、具体的にはヤコビアン・シジジー（Jacobian syzygies）の加群および関連するミルノル代数の最小次数付き自由分解をどの程度決定するかを調査している。研究の中心となる対象は、**ツィグレ双対（Ziegler pair）**である。これは、共通の交差格子 $L(A) \cong L(A')$ を持つが、ヤコビアン・シジジーのデータによって区別される一対の直線配置 $(A, A')$ のことである。

著者らは、以下の2つの補完的な観点に取り組んでいる：

1. 数値的観点： 交差格子は、ヤコビアン・シジジーの加群の指数（最小生成元の次数）をどの程度決定するか？
2. ホモロジー的観点： 同じ交差格子と、同じヤコビアン関係の最小次数 ($mdr$) を持ちながら、異なる最小次数付き自由分解を持つ配置のペアを構成できるか？

手法
著者らは、組合せ論的解析、代数幾何学、および計算代数（SINGULARシステムを使用）を組み合わせて用いている。

• 理論的境界： 本研究は、直線の数 $d$、交点の最大多重度 $m$、およびヤコビアン関係の最小次数 $r = mdr(f)$を関連付ける確立された境界に依拠している。主要なツールには、不等式$r \ge \frac{2d}{m-2}$や、特定の次数におけるヤコビアン加群の次元と多重点の数 ($n_k$) との関係が含まれる。
• 小規模な $d$ に対するケース分析： $d < 9$ 本の直線を持つ配置に対し、すべての可能な $(d, m)$ ペアを系統的に分析している。著者らは、自由（free）、準自由（nearly free）、およびプラスワン生成（plus-one generated, POG）配置に関する定理を利用して、交差格子が指数のデータを一意に決定するかどうかを判定している。
• 族の構成： $d \ge 10$ の場合、実現行列 $A(a, b)$ によって定義される11本の直線の2パラメータ族を構成している。著者らは、最小生成元の数の「跳ね上がり（jump）」を検出するために、乗法写像 $\mu_m: S_1 \otimes AR(f)_m \to AR(f)_{m+1}$ のランクを分析している。
• 削除技法（Deletion Technique）： より少ない本数の例を生成するために、11本の直線からなる族の「生成的（generic）」なメンバーと「特殊な（special）」メンバーの両方から、特定の直線を取り除く削除技法を適用している。このプロセスにより、交差格子を保持したまま、ホモロジー的性質を変化させている。

主要な貢献と結果

1. $d < 9$ における非存在：
   本論文は、$d < 9$ 本の直線を持つ配置において、交差格子が関連する指数データを決定することを証明している。具体的には、自明なケース（$2m > d$ または $m=2$）を除外した後、残りのケース $(d, m) \in \{(6,3), (7,3), (8,3), (8,4)\}$ が定理3.1、3.3、4.1、および4.3によって分析されている。これらのすべての事例において、格子から導かれる数値的不変量（$\tau$ および多重点の数 $n_k$ など）は、最小次数 $r$ および指数の列を一意に決定する。したがって、$d < 9$ ではツィグレ双対は存在しない。

2. $d \ge 10$ における豊富さとホモロジー的区別：
   著者らは、$d \ge 10$ でツィグレ双対が豊富になることを示している。彼らは、特定の開集合において交差格子が一定となる、11本の直線による2パラメータ族を構成した。

   • 生成的ケース： 一般的なパラメータ値（例：$(31, 17)$）において、ヤコビアン・シジジーの次数列は $(6, 7, 7, 8)$ である。
   • 特殊ケース： 特定のパラメータ点 $p = (3/10, 2/7)$ において、乗法写像のランクが低下し、追加の最小生成元が生じる。次数列は $(6, 7, 7, 8, 8)$ となる。
   • ヒルベルト関数の不変性： 生成元の数の違いにもかかわらず、両方のケースのミルノル代数の最小次数付き自由分解が同じヒルベルト関数を与えることを著者らは示している。その区別は純粋にホモロジー的なものである（異なるベッティ数）。

3. 新たな10本線のツィグレ双対：
   11本の直線による生成的および特殊な配置の両方から適切な直線 ($\ell_1$) を削除することで、著者らは $B_{gen}$ と $B_p$ と表記される10本の直線のツィグレ双対を生成した。

   • 両方の配置は、同一の交差格子および弱い組合せ特性 $(n_2, n_3) = (15, 10)$ を共有している。
   • 両者は同一のヤコビアン関係の最小次数 $mdr = 6$ を共有している。
   • 両者は同一のヒルベルト関数を共有している。
   • これらは、次数列がそれぞれ $(6, 6, 6, 7)$ および $(6, 6, 6, 7, 7)$ であることによってのみ区別される。

4. 既知の例の分類：
   本論文は、これらの新しい知見を、$d=9$ および $d=10$ における既知のツィグレ双対のレビューを通じて文脈化している。著者らは、既存の例を、その差異の性質に基づいて以下のように分類している：

   • MDRの差異： 古典的な例（例：ツィグレの9本線のペア）では、$mdr$ の値が異なる。
   • ホモロジー的差異： $mdr$は同一であるが、分解が異なる例（例：$T_{10}$-matroid の例、およびここで構成された新たな10本線のペア）。

意義
本論文は、ツィグレ双対の存在に関する鋭い閾値を確立している。すなわち、これらは $d < 9$ では存在しないが、$d \ge 10$ では豊富である。本研究の主要な貢献は、ヤコビアン関係の最小次数 ($mdr$) やミルノル代数のヒルベルト関数によって区別できないツィグレ双対を構成したことにある。これらの例は、交差格子が$mdr$ 不変量と組み合わされても、配置の完全なホモロジー構造（最小自由分解）を決定するには不十分であることを浮き彫りにしている。本研究は、直線配置の研究における焦点を、数値的不変量からホモロジー的な微細構造へと移行させるものである。