Smooth Realizations of Line Configurations

技術要約：線配置の滑らかな実現

問題提起
本論文は、組合せ論的な線配置を、複素射影平面 ($\mathbb{CP}^2$) 内に滑らかに埋め込まれた2球面（2-sphere）の集合として実現する問題に取り組んでいる。具体的には、$(n_k)$-配置（$n$本の直線と、$各点がちょうど$k$本の直線上にあり、かつ各直線がちょうど$k$個の点を含む$n$個の特別な点の集合からなる配置）を調査している。中心となる問いは、$n$および$k$に関する必要条件を決定することである。ここで、「幾何学的$\mathbb{C}$-実現」（実際の複素射影直線によって実現されるもの）に対し、「滑らかな$\mathbb{C}$-実現」（直線が、正の横断的交差を持つライン類を表す滑らかに埋め込まれた2球面に置き換えられたもの）がどのように定義されるかを検討する。

本研究は、RubermanとStarkston [RS19]、およびAcetoとGolla [AG26] による先行する位相幾何学的な結果に基づいている。RubermanとStarktonは、位相幾何学的範疇における有限射影平面の障害を確立し、AcetoとGollaは、その位相幾何学的境界を $k \ge 4$ において $n \ge k^2 - 5$ まで改善したが、本論文は、滑らかな範疇においてより強力な障害を確立することを目指している。

手法
主定理の証明は、Donaldsonの対角化定理 [Don87] から導かれる格子論的な議論に依存している。手法は主に以下の2つの段階で進行する：

1. 多様体の構成と格子の埋め込み：
   仮に滑らかな $\mathbb{C}$-実現が存在すると仮定し、一連のブローアップ（blow-up）とブローダウン（blow-down）を行う：

   • $k$重交点（集合 $K$）において負のブローアップを行う。
   • 球面間の残りの横断的二重点において正のブローアップを行う。
   • 元の球面の正則変換が互いに離れた $(-1)$-球面になるように、追加の正のブローアップを加える。
   • これらの $(-1)$-球面をブローダウンすることで、滑らかで閉じた、正定値な4次元多様体 $X$ を得る。

   Donaldsonの定理により、$X$ の交差格子は標準的な対角格子 $\mathbb{Z}^{b_2(X)}$ と同型でなければならない。ブローアップの過程で導入された例外的な球面の構成は、重み付きグラフ $\Gamma$ を定義する。これらの球面のホモロジー類は、標準的な格子 $\mathbb{Z}^N$ へのグラフ $\Gamma$ の埋め込みに対応する。

2. グラフ理論による組合せ論的障害：
   著者らは「良質な（nice）」重み付きグラフのクラスを定義し、それらが $\mathbb{Z}^N$ に埋め込み可能であるかどうかを分析する。彼らは、頂点の数と特定の交差パターン（重み2および3）に基づき、そのようなグラフを埋め込むために必要な次元 $N$ の下限を確立する一連の補題（補題 3.4–3.10）を証明している。

   • ステップ1（セクション4）： 滑らかな実現が存在する場合、$n \ge k^2 - 1$ であることを証明する。これは、$n \le k^2 - 2$ と仮定すると、構成の包含構造によって規定されるグラフの埋め込みを収容するための格子次元 $N$ が不足するという矛盾が生じることを示すことで達成される。
   • ステップ2（セクション5）： 境界線上のケースである $n = k^2 - 1$ を排除する。このシナリオでは、構成は単位ベクトル $u$ と、直線の残差ペアから導かれる「square-three」ベクトルを含む特定の格子 $M \cong \mathbb{Z}^N$ を生成する。標準的な格子におけるこれらのベクトルのサポートに関する組合せ論的な議論により、$k \ge 5$ の場合には配置の包含構造を満たせないことが示される。$k=4$ のケース（特に $(15_4)$-配置）は、残差ペアと直線の置換に関する特殊な組合せ論的議論を用いて処理される。

主要な貢献と結果
本論文の主要な結果は、定理 1.1 であり、これは滑らかな実現に対する鋭い下限を確立している：

もし $k \ge 4$ である $(n_k)$-配置の滑らかな $\mathbb{C}$-実現が存在するならば、$n \ge k^2$ である。

これは、先行研究の位相幾何学的境界 $n \ge k^2 - 5$ [AG26] を改善するものである。また、本論文は系 1.2 を導出し、$n \le k^2 - k + 3$ の場合、滑らかな $\mathbb{C}$-実現の存在は幾何学的 $\mathbb{C}$-実現の存在と等価であり、それは $k=3$ かつ $n \in \{8, 9\}$ の時にのみ起こることを述べている。

具体的には、本論文は以下の実現可能性を否定している：

• $(15_4)$-配置（唯一の $(15_4)$-配置）。
• $k \ge 4$ かつ $n < k^2$ である任意の $(n_k)$-配置。

著者らは、境界 $n \ge k^2$ は滑らかな実現に適用されるものであるが、幾何学的実現はHirzebruchの不等式やLangerによる改良から導かれるさらに強力な境界（例：$k=4$ では $n \ge 16$）に従うことを注記している。しかし、$k=4$ の場合、滑らかな境界は幾何学的境界と一致する。

意義と主張
本論文は、滑らかな4次元多様体の剛性を利用するためにDonaldsonの対角化定理を用い、位相幾何学的範疇と比較して滑らかな範疇においてより強力な障害を確立したと主張している。著者らは、$(15_4)$-配置が彼らの定理によって排除される特に興味深いケースであることを強調している。

本論文は、問い 1.3 を提示して締めくくっている：滑らかな $\mathbb{C}$-実現は持つが幾何学的なものは持たない、あるいは、位相幾何学的な $\mathbb{C}$-実現は持つが滑らかなものは持たないような $(n_k)$-配置が存在するか？ 著者らは、線配置の中には滑らかだが幾何学的ではないものが存在する一方で、現在、滑らかな $\mathbb{C}$-実現と幾何学的なものを分ける特定の $(n_k)$-配置や、位相幾何学的 $\mathbb{C}$-実現と滑らかなものを分ける配置は知られていないと述べている。本論文はこの問題を解決しようとするものではなく、将来の研究への自然な方向性として提示している。