Computing Jet Differentials and the Green-Griffiths-Lang Conjecture for Complements of Smooth Plane Curves

기술 요약: 평면 곡선의 보집합에 대한 제트 미분 형식 계산 및 그린-그리피스-랭(Green-Griffiths-Lang) 추측

문제 정의
본 논문은 매끄러운 평면 곡선의 보집합(complement)의 맥락에서 그린-그리피스-랭(GGL) 추측을 다룬다. 이 추측은 매끄러운 사영 다양체 $X$와 단순 노멀 교차(simple normal crossing) 디바이저 $D$에 대해 $K_X + D$가 비(big)일 때, 모든 비상수 전체 곡선(nonconstant entire curve) $\gamma: \mathbb{C} \to X \setminus D$의 상(image)을 포함하는 적절한 부분 다양체 $Z \subset X$가 존재한다고 가정한다. 특정 사례(예: $X=\mathbb{P}^2$와 특정 디바이저)에 대해서는 상당한 진전이 이루어졌으나, $X = \mathbb{P}^2$이고 $D = C$가 매끄러운 평면 곡수인 일반적인 경우에는 여전히 미해결 상태로 남아 있다. 주요 과제는 전체 곡선을 제한하는 대수적 도구인 불변 제트 미분 형식(invariant jet differentials)의 공간을 효과적으로 계산하고 분석하는 것이다.

방법론
저자들은 제2 로그 제트 공간(second logarithmic jet space) $X_2$의 선다발 $\mathcal{O}_{X_2}(\xi_2 + b\xi_1 - aH)$의 단면(sections)인, 음의 트위스트를 가진 불변 로그 2-제트 미분 형식의 공간을 분석하기 위한 효과적인 계산 프레임워크를 개발한다.

1. 기하학적 실현: 저자들은 제1 로그 제트 공간 $X_1 = \mathbb{P}T\mathbb{P}^2(-\log C)$를 $\mathbb{P}^2 \times \mathbb{P}^2$ 내의 초곡면(hypersurface)으로 실현한다. 이는 $f$가 곡선 $C$를 정의하고 $a_i$가 파이버 좌표일 때, 방정식 $g = \sum a_i \frac{\partial f}{\partial x_i} = 0$을 통해 $X_1$을 임베딩함으로써 달성된다.
2. 모듈 이론적 인코딩: 테우토로지컬 선다발(tautological line bundle) $\mathcal{O}_{X_2}(\xi_2)$를 $X_1$으로 푸시다운(push down)함으로써, 저자들은 관심 있는 전역 단면들을 $X_1$의 이중 동차 링(bihomogeneous coordinate ring) 위의 유한 생성 비그레이디드 모듈(finitely generated bigraded module) $M_V$로 인코딩한다. 이 모듈은 모든 $a, b > 0$에 대하여 단면들의 가계(family) $H^0(X_2, \mathcal{O}_{X_2}(\xi_2 + b\xi_1 - aH))$를 포착한다.
3. 알고리즘 계산: 저자들은 $M_V$의 최소 생성 집합을 계산하기 위한 명시적인 알고리즘(Macaulay2로 구현됨)을 제공한다. 이를 통해 제트 미분 형식의 소멸 로커스(vanishing loci)를 명시적으로 결정할 수 있다.
4. 이론적 기준: 저자들은 El Goul과 Demailly의 결과를 응용하여, $M_V$ 내 특정 단면의 존재가 GGL 추측을 함의하는 기준을 확립한다. 이 기준은 이 단면들의 안정적 기저 로커스(stable base locus)의 차원에 의존한다.

주요 기여 임의의 매끄러운 평면 곡선에 대해 2-제트 미분 형식 $\mathcal{O}_{X_2}(\xi_2 + b\xi_1 - aH)$의 가계를 계산하는 최초의 효과적인 방법을 제공하며, 이를 기하학적 문제를 계산 가능한 대수적 모듈 문제로 변환한다.

• 제트 미분 형식의 명시적 계산: 저자들은 임의의 매끄러운 평면 곡선에 대해 특정 가계의 2-제트 미분 형식을 계산하는 최초의 효과적인 방법을 제공하며, 제트 공간을 $\mathbb{P}^2 \times \mathbb{P}^2$로 임베딩하고 비그레이디드 모듈을 활용하여 제트 미분 형식의 기하학을 직접적인 대수적 계산이 가능하도록 만든다. 이는 GGL 추측을 특정, 비일반적(non-generic) 가계의 곡선들에 대해 검증할 수 있게 한다.
• 검증 기준: 저자들은 $\mathbb{P}^2 \setminus C$에 대해 GGL 추측을 검증하기 위한 세 가지 계산적 기준(정리 1.1)을 확립한다:
  • (I) $d \ge 15$이고 그러한 단면이 존재하지 않는 경우.
  • (II) $d \ge 11$이고, $d, a, b$를 포함하는 특정 수치적 부등식을 만족하는 기약 소멸 로커스를 가진 단면이 단 하나 존재하는 경우.
  • (III) $d \ge 4$이고, 공통 소멸 로커스의 코차원이 2인 두 개 이상의 단면이 존재하는 경우.
• 명시적 예외 로커스: 기준 (III)을 만족하는 경우, 저자들은 단순히 존재성을 증명하는 데 그치지 않고 예외 로커스를 명시적으로 특징짓는다. 그들은 $\mathbb{P}^2$ 상의 연관된 멀티폴리에이션(multifoliation)의 리프(leaves)를 기술하여, 예외 집합을 구성하는 특정 직선이나 곡선을 식별한다.

결과
저자들은 자신의 계산 테스트를 다양한 매끄러운 평면 곡선 가계에 적용하여 세 가지 뚜렷한 결과를 얻었다:

1. 소멸을 통한 검증: $d \ge 15$인 여러 곡선(예: 페르마 곡선의 특정 섭동)에 대해 모듈 $M_V$는 해당 차수에서 생성자를 갖지 않는다. 이는 필요한 제트 미분 형식이 없음을 의미하며, 정리 1.1(I)에 의해 보집합은 GGL 추측을 만족한다.
2. 단일 단면을 통한 검증: 다른 곡선들(예: $x_{13}^0 + x_0^6 x_1^7 + \dots$)의 경우, 수치적 부등식을 만족하는 단일 생성자가 존재한다. 이는 해당 사례들에 대해 GGL 추측을 확인해주지만, 예외 로커스는 명시적으로 기술되지 않는다.
3. 명시적 예외 로커스: $x_0^{2n} + x_0^n x_1^n + x_1^{2n} + \dots$ 형태의 다항식으로 정의된 일련의 곡선들에 대해, 모듈 $M_V$는 적어도 두 개의 독립적인 저차 생성자를 가진다. 저자들은 공통 소멸 로커스를 명시적으로 계산하여, 예외 로커스가 특정 직선의 합집합(예: $\lambda$가 특정 다항식 방정식을 만족하는 $\lambda x_0 - x_1 = 0$)으로 구성됨을 결정하였다.
4. 결론 불능 사례: 저자들은 $7 \le d \le 20$ 범위의 페르마 곡선($x_0^d + x_1^d + x_2^d$)을 포함한 몇몇 곡선 가계에서 테스트 결과가 정확히 하나의 생성자를 갖지만 수치적 부등식을 만족하지 못함을 확인하였다. 이러한 경우 방법론은 결론을 내지 못하지만, 저자들은 페르마 곡선의 경우 다른 방법(Tod71)을 통해 GGL 추측이 성립함이 알려져 있다고 언급하였다.

의의
본 논문은 존재성 증명을 넘어 명시적 계산으로 나아가는 실용적이고 계산적인 프레임워크를 개발했다는 점에서 그 의의를 주장한다. 제트 공간을 $\mathbb{P}^2 \times \mathbb{P}^2$로 임베딩하고 비그레이디드 모듈을 활용함으로써, 저자들은 제트 미분 형식의 기하학을 직접적인 대수적 계산에 접근 가능하게 만들었다. 이를 통해 비일반적인 가계의 곡선들에 대해 GGL 추측을 검증할 수 있으며, 결정적으로 여러 독립적인 제트 미분 형식이 발견되는 경우 예외 로커스를 명시적으로 결정할 수 있다. 저자들은 자신들의 도구가 다른 곡선들에 대해 추측을 테스트하는 데 유용하기를 바라며, 이 프레임워크가 큰 차수의 매끄러운 평면 곡립의 보집합에 대한 GGL 추측에 대한 더 넓은 이해에 기여하기를 희망한다. 본 연구는 단면들을 이중 동차 다항식으로 전역적으로 표현하여 제로 로커스(zero loci)의 분석을 용이하게 함으로써, 최근의 컴퓨터 보조 방법들(예: Hou 등)과 구별되는 특징을 갖는다.