A nine-line counterexample to a conjecture on the minimal degree of Jacobian relations

기술적 요약: 야코비안 관계식의 최소 차수에 관한 추측에 대한 9-선 카운터예제

문제 정의
본 논문은 복소 사영 평면 $\mathbb{P}^2$ 상의 선 배열(line arrangement)과 관련된 대수적 불변량의 조합론적 결정 문제를 다룬다. 구체적으로, 본 논문은 $d$ 차수의 선 배열 $A$에 대하여, 야코비안 관계식의 최소 차수를 $mdr(f)$라고 할 때, 만약$mdr(f) < d/2$라는 엄격한 부등식을 만족하면$mdr(f)$가 배열의 조합론(즉, 그 교차 격자, intersection lattice)에 의해서만 결정된다는 일반화된 테라오 추측(Generalized Terao Conjecture, [4]에서 제1저자에 의해 공식화됨)을 조사한다.

Ziegler과 Yuzvinsky의 고전적인 예시들은 동일한 교차 격자를 가지면서도 서로 다른 야코비안 시지지(syzygy) 거동을 보일 수 있는 배열들을 보여주었으나, 이러한 예시들은 일반적으로 이중점(double points)과 삼중점(triple points)만을 포함하는 배열들을 다룬다. 본 추측은 $mdr(f) < d/2$라는 범위가 조합론적 결정을 강제하는 강성(rigidity)을 부여한다고 제안한다. 저자들은 고차 다중점(higher multiplicity points)을 가진 배열들의 "경계선" 사례에서 이 추측의 타당성을 검증하고자 한다.

방법론
저자들은 유리수체 $\mathbb{Q}$ 상에서 정의된 두 개의 서로 다른 9선 배열 $A$(다항식 $f$로 정의됨)와 $B$(다항식 $g$로 정의됨)를 구성한다.

1. 조합론적 검증: 선 벡터들의 행렬식 계산(linear algebra)을 사용하여, 저자들은 $A$와 $B$가 동형의 교차 격자를 가짐을 검증한다. 두 배열은 모두 하나의 사중점($n_4=1$), 7개의 삼중점($n_3=7$), 그리고 9개의 이중점($n_2=9$)을 가지며, 총 튜리나 수(Tjurina number) $\tau = 46$을 공유하는 동일한 약한 조합론(weak combinatorics)을 가진다. 이는 고전적인 Ziegler–Yuzvinsky 쌍이 서로 다른 조합론을 가진다는 점과 구별되는 지점이다.
2. 계산 대수학: 야코비안 관계식의 최소 차수 $mdr(f)$는 선형 사상$\Phi_{f,q}: S^3_q \to S_{q+d-1}$의 커널(kernel)이 자명하지 않은 가장 작은 정수 $q$로 정의된다. 저자들은 두 다항식 $f$와 $g$에 대해 $q = 0, \dots, 7$인 경우의 사상 랭크(rank)를 계산한다.
3. 호몰로지 분석: $mdr$을 계산하는 것을 넘어, 저자들은 로그 미분 형식의 모듈$D_0(f)$와$D_0(g)$(동치적으로 밀너 대수$M(f)$와$M(g)$)의 최소 등급 자유 분해(minimal graded free resolutions)를 결정한다. 이들은 [2]에서 도입된 호몰로지 유형 계층에 따라 배열을 분류하며, 특히 "유형" $t(C) = d_1 + d_2 + 1 - d$ (여기서 $d_i$는 최소 생성원의 차수)를 살펴본다.

주요 결과
계산 결과는 다음과 같은 확정적인 결과를 도출한다:

• 서로 다른 최소 차수: 배열 $A$의 경우 $mdr(f) = 4$이다. 배열$B$의 경우$mdr(g) = 5$이다.
• 조합론적 동일성: $mdr(f) \neq mdr(g)$임에도 불구하고, $A$와 $B$의 교차 격자는 동형이다.
• 추측의 위반: 배열의 차수가 $d=9$이므로, $mdr(f) < d/2$(즉,$4 < 4.5$)라는 조건이 배열$A$에 대해 만족된다. 그러나 배열$B$는 동일한 조합론을 공유하면서도$mdr(g) = 5$를 갖는다. 이는 추측 1.1 (추측 3.5 in [4])에 직접적으로 반한다.
• 호몰로지적 구별: 두 배열은 그들의 호몰로지 구조에서 현저히 차이가 난다:
  • 배열 $A$는 지수 $(4, 5, 6)$을 갖는 Type 1(plus-one generated)이다.
  • 배열 $B$는 지수 $(5, 5, 5, 5)$를 갖는 Type 2B(four-syzygy curve)이다.
  • 결과적으로, 이들의 밀너 대수는 서로 다른 최소 등급 자유 분해와 서로 다른 힐베르트 함수를 가지지만, 동일한 튜리나 수로 수렴한다.
• 자유성 결함(Freeness Defect): 저자들은 두 배열의 자유성 결함 $\nu$가 동일함($\nu(A) = \nu(B) = 2$)을 언급한다. 따라서 이 카운터예제는 자유성 결함이 아니라, 지정된 범위 내에서의 $mdr$의 조합론적 성질을 구체적으로 겨냥한다.

의의 및 주장
본 논문은 $mdr(f) < d/2$ 범위에서 일반화된 테라오 추측에 대한 최초의 명시적인 카운터예제를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 강성의 부정: $mdr(f)$가 조합론적으로 강성할 것으로 예상되는 범위(차수의 절반보다 엄격히 작은 범위)에서도, 해당 불변량이 교차 격자만으로는 결정되지 않음을 입증하였다.
2. 예제의 참신성: 이 예시는 고전적인 Ziegler–Yuzvinsky 쌍과 구별되며, 사중점을 가진 구성과 특정 약한 조합론 $(9, 7, 1)$을 활용하여 "경계선"에 있는 9선 사례를 나타낸다.
3. 호몰로지적 날카로움: 이 카운터예제는 매우 견고하다. 두 배열은 $mdr$이라는 수치적 불변수뿐만 아니라, 전체 호몰로지 유형과 최소 분해에서도 차이를 보이기 때문이다.

저자들은 $d_1 \geq (d-2)/2$인 전이 영역(transition range)이 $mdr$의 비조합론적 거동을 허용한다는 점을 강조하며, 해당 추측이 제시된 형태로는 거짓이라고 결론짓는다.