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

기술적 요약: 복소 투영 3-공간 내 초평면 배열에 대한 퍼디 부등식의 반례

문제 정의
본 논문은 복소 투영 3-공간($\mathbb{P}^3_{\mathbb{C}}$)의 필수적 초평면 배열(essential hyperplane arrangements)에 대해 제안된 수치적 부등식을 다룬다. 저자들은 $\mathcal{A}$를 $n$개의 초평면 배열이라 할 때, $\ell$을 서로 다른 교선(intersection lines)의 수로, $p$를 서로 다른 교점(intersection points, 적어도 세 개의 초평면이 만나는 점)의 수로 정의한다. 핵심 질문은 모든 필수적 배열에 대해 다음 식이 성립하는가이다:
$$p - \ell + n + 2 \geq 0$$
이 부등식은 발생 기하학(incidence geometry)에서의 퍼디의 점-선-평면 문제에 대응하는 투영 배열의 대응물이다.

이 부등식이 특정한 고전적 방해 요소인 "계수 2 + 2 곱(rank 2 + 2 product)" 배열에서 실패한다는 것은 잘 알려져 있다. 쌍대성(duality)에 의해, 이는 두 개의 꼬인 직선(skew lines)의 합집합에 포함된 점들의 구성에 대응한다. 이 특정 방해 요소를 제외하면 부등식이 참이 될 것이라는 정교화된 추측이 이전에 존재했다. 본 논문의 주요 목적은 이러한 정교화된 진술 또한 거짓임을 입증하는 것이다.

방법론
저자들은 쌍대성 사전(duality dictionary)을 사용하여 문제를 초평면 배열에서 $\mathbb{P}^3_{\mathbb{C}}$ 내의 유한 점 구성(finite point configurations)으로 변환한다.

• 쌍대 공식: $n$개의 초평면 배열은 $n$개의 점 집합 $S$에 대응한다. 교선의 수 $\ell$은 두 점에 의해 생성되는 직선의 수($f_1(S)$)에 대응하며, 교점의 수 $p$는 세 개의 비공선적(non-collinear) 점들에 의해 생성되는 평면의 수($f_2(S)$)에 대응한다. 부등식은 $\Delta(S) = f_2(S) - f_1(S) + f_0(S) + 2 \geq 0$이 된다.
• 탐색 전략: 저자들은 복소 반사군(complex reflection groups)에서 유도된 고도로 대칭적인 구성인 반사 배열(reflection arrangements)을 체계적으로 조사한다. 이들은 다음을 검토한다:
  1. 계수 4인 기약 유한 코시 배열($A_4, D_4, B_4, F_4, H_4$).
  2. 기약 단항식 복소 반사 배열($G(m, p, 4)$).
  3. 비기약(imprimitive) 반사 배열의 특정 부분 배열.
• 반례 구축: 탐색 과정에서 저자들은 1과 1의 원시 3제곱근($\zeta$)을 계수로 가지는 완전 이분 그래프 $K_{2,2}$(4-사이클)에 의해 지지되는 "게인-그래픽(gain-graphic)" 구조를 가진 모듈러 단항식 반사 배열 유형 $G(3, 3, 4)$ 내의 특정 부분 배열을 식별하였다.

주요 기여 및 결과
본 논문은 다음과 같이 정의된 $\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$는 원시 3제곱근이다.

1. 비방해 요소 검증: 저자들은 $S$가 $\mathbb{P}^3_{\mathbb{C}}$를 생성하며, 두 개의 꼬인 직선의 합집합에 포함되지 않음을 증명한다. 이는 $S$가 네 개의 서로 다른 직선(좌표 직선 $L_{02}, L_{03}, L_{12}, L_{13}$)을 포함하고 있음을 보여줌으로써 입증된다. 두 꼬인 직선에 포함된 집합은 세 개의 점을 포함하는 그러한 직선을 최대 두 개까지만 가질 수 있기 때문이다.
2. 정확한 열거: 조합적 계산을 통해 저자들은 쌍대 구성에 대한 정확한 값을 결정한다:
   • $f_0(S) = 12$ (점의 수).
   • $f_1(S) = 58$ (생성된 직선의 수). 이는 전체 쌍 $\binom{12}{2}=66$에서 네 개의 공선적 삼중점(collinear triples)에서 중복 계산된 쌍을 빼서 계산된다.
   • $f_2(S) = 43$ (생성된 평면의 수). 이 계산에는 네 개의 좌표 면(coordinate face planes), 하나의 직선과 반대편 직선 위의 한 점으로 형성된 12개의 평면, 그리고 $a+d \equiv b+c \pmod 3$을 만족하는 네 직선의 각 점 하나씩으로 형성된 27개의 "균형 잡힌(balanced)" 평면이 포함된다.
3. 부등식 위배: 이 값들을 쌍대 식에 대입하면 다음과 같다:
   $$\Delta(S) = 43 - 58 + 12 + 2 = -1$$
   결과적으로, 쌍대 배열 $\mathcal{A}_{\mu_3}$에 대하여 $p - \ell + n + 2 = -1$이며, 이는 엄격히 음수이다.

의의 및 주장
본 논문은 퍼디 부등식의 정교화된 버전에 대한 첫 번째 반례를 제공한다고 주장한다. 고전적 방해 요소(두 꼬인 직선 위의 점들)가 부등식을 위반한다는 것은 알려져 있었으나, 수학계는 이 특정 사례를 제외함으로써 부등식의 유효성을 회복할 수 있기를 희망해 왔다.

저자들은 정교화된 진술 또한 거짓임을 입증한다. 이 반례는 다음과 같은 특징을 갖는다:

• 작음: 단 12개의 초평면을 포함한다.
• 구조적임: 유형 $G(3, 3, 4)$의 $\mu_3$-균형 잡힌 부분 배열으로부터 자연스럽게 유도된다.
• 임계적임: 저자들은 3제곱근의 선택이 결정적이라고 언급한다. $m$제곱근을 이용한 일반화는 결함(defect) $\Delta(S_m) = m^3 - 6m^2 + 8m + 2$를 산출한다. 이 식은 $m=3$일 때만 ($-1$을) 음수로 가지며,$m=2, 4$및$m \geq 5$인 경우 결함은 비음수이다. 따라서 이 특정 구성은 이 계열에서 유일한 임계 사례이다.

본 논문은 구성에 의해 생성되는 플랫(flat)의 수에 대한 제약을 시사하는 "탑 헤비(top-heavy)" 원리가, 두 꼬인 직선의 경우 외에 추가적인 제외 없이 낮은 차원의 수치적 정교화에서는 성립하지 않는다는 결론을 내린다.