A counterexample to Purdy's inequality for hyperplane arrangements in projective three-space

技術的要約：射影3空間におけるハイパープレーン配置に関するPurdyの不等式の反例

問題提起
本論文は、複素射影3空間（$\mathbb{P}^3_{\mathbb{C}}$）における本質的なハイパープレーン配置に対して提案された数値的不等式を取り上げている。配置 $\mathcal{A}$ を $n$ 個のハイパープレーンの集合とする。著者らは、異なる交差線 $\ell$ を、異なる交差点 $p$ （少なくとも3つのハイパープレーンが交わる点）を以下のように定義する。
$$p - \ell + n + 2 \geq 0$$
この不等式は、インシデンス幾何学におけるPurdyの点・直線・平面問題の射影配置版である。

この不等式が、特定の古典的な障害である「ランク2 + 2の積」配置において成立しないことは既に確立されている。双対的に、これは2本のねじれ線の和集合に含まれる点の構成に対応する。この特定の障害を除外すれば、不等式が真になると以前は予想されていた。本論文の主な目的は、この洗練された命題もまた偽であることを示すことである。

手法
著者らは、双対辞書を用いて、問題をハイパープレーン配置から有限点配置へと翻訳する。

• 双対定式化: $n$ 個のハイパープレーンの配置は、$n$ 個の点集合 $S$ に対応する。交差線 $\ell$ の数は、点対によって張られる直線の数（$f_1(S)$）に対応し、交差点 $p$ の数は、非共線的な3点によって張られる平面の数（$f_2(S)$）に対応する。不等式は $\Delta(S) = f_2(S) - f_1(S) + f_0(S) + 2 \geq 0$ となる。
• 探索戦略: 著者らは、高度に対称的な構成である反射配置（複素反射群から導かれる）を体系的に調査する。具体的には以下の検討を行う：
  1. ランク4の既約有限コックスター配置（$A_4, D_4, B_4, F_4, H_4$）。
  2. 既約単項式複素反射配置（$G(m, p, 4)$）。
  3. 非原始的反射配置の部分配置。
• 反例の構築: 探索の結果、単項式反射配置の型 $G(3, 3, 4)$ 内の特定の、完全二部グラフ $K_{2,2}$（4角形）上に支持された「ゲイン・グラフィック（gain-graphic）」構造を持つ部分配置を特定した。この構造には、1の原始3乗根（$\zeta$）を含む係数が関わっている。

主要な貢献と結果
著者らは、$\mathbb{P}^3_{\mathbb{C}}$ 内の以下の特定の12個の点 $S$ を用いて、明示的な反例を構築している：
$$S = \{ [e_i - \zeta^a e_j] \mid i \in \{0, 1\}, j \in \{2, 3\}, a \in \mathbb{Z}/3\mathbb{Z} \}$$
ここで $\zeta$ は1の原始3乗根である。

1. 非障害性の検証: 著者らは、$S$ が $\mathbb{P}^3_{\mathbb{C}}$ を張ること、および $S$ が2本のねじれ線の和集合に含まれていないことを証明する。これは、$S$ が4つの異なる直線（座標直線 $L_{02}, L_{03}, L_{12}, L_{13}$）を含むことを示すことで確立される。なぜなら、2本のねじれ線に含まれる集合は、3個の点を含むこのような直線を最大2本しか持つことができないからである。
2. 正確な計数: 組合せ論的な計数を通じて、双対構成の正確な値を決定する：
   • $f_0(S) = 12$ （点の数）。
   • $f_1(S) = 58$ （張られる直線の数）。これは全ペア $\binom{12}{2}=66$ から、4つの共線的な3点組による重複分を差し引くことで計算される。
   • $f_2(S) = 43$ （張られる平面の数）。このカウントには、4つの座標面、1つの直線と反対側の直線上の1点によって形成される12個の平面、および $a+d \equiv b+c \pmod 3$ を満たす4つの直線からそれぞれ1点ずつ選ばれた点によって形成される27個の「バランスの取れた」平面が含まれる。
3. 不等式の違反: これらの値を双対式に代入すると：
   $$\Delta(S) = 43 - 58 + 12 + 2 = -1$$
   したがって、双対配置 $\mathcal{A}_{\mu_3}$ に対しては、$p - \ell + n + 2 = -1$ となり、厳密に負となる。

意義と主張
本論文は、Purdyの不等式の「洗練された」バージョンに対する最初の反例を提供したと主張している。古典的な障害（2本のねじれ線上の点）が不等式を破ることが知られていた一方で、数学界はこの特定のケースを除外することで、不等式の妥当性が回復することを期待していた。

著者らは、この洗練された命題が偽であることを示した。この反例は以下の特徴を持つ：

• 小規模: わずか12個のハイパープレーンで構成されている。
• 構造的: 反射配置の理論、具体的には型 $G(3, 3, 4)$ の $\mu_3$-バランス配置から自然に生じている。
• 臨界的: 著者らは、1の原始3乗根の選択が極めて重要であると指摘している。$m$ 乗根への一般化は、欠損値 $\Delta(S_m) = m^3 - 6m^2 + 8m + 2$ を与える。この式が負となるのは $m=3$ の場合（$-1$を与える）のみである。$m=2, 4$および$m \geq 5$ の場合、欠損値は非負となる。したがって、この特定の構成は、この族における唯一の臨界的なケースである。

本論文は、「トップヘビー（top-heavy）」の原理（構成によって張られるフラットの数に制約があることを示唆するもの）が、2本のねじれ線のケースを超えたさらなる除外なしには、この特定の低次元の数値的洗練においては成立しないことを結論づけている。