Counterexamples to the Jacobian conjecture in dimensions greater than two

기술 요약: 2차원보다 큰 차원에서의 야코비안 추측에 대한 반례

문제 정의
1939년 켈러(Keller)가 제기한 야코비안 추측은, 상수인 0이 아닌 야코비안 행렬식(켈러 맵)을 갖는 임의의 다항식 사상 $F: \mathbb{C}^n \to \mathbb{C}^n$은 반드시 다항식 자기동형사상(즉, 다항식 역함수를 가짐)이어야 한다고 주장한다. 이 추 conjecture는 $n=2$인 경우에 대해서는 여전히 미해결 상태로 남아 있으나, 본 논문은 $n > 2$인 차원에서의 추측의 상태를 다룬다. 본 연구는 알포주(Alpöge, 2026년 7월 19일 발표)에 의해 발표된 3차원에서의 추측 반증을 토대로 하며, 해당 연구가 제공한 구체적인 반례와 그 이후 갤러거(Gallagher)가 구축한 무한한 반례 군(family)을 기반으로 한다. 여기서 다루는 핵심 문제는 이러한 반례들의 메커니즘을 모든 차원 $n > 2$로 일반화하고, 임의로 큰 기하학적 차수를 갖는 명시적인 예시들을 구축하는 것이다.

방법론
본 논문은 스페이어(Speyer)에 의해 처음 분리된 "접선 휩쓸기(tangent sweep)" 메커니즘에 기반한 기하학적 구성을 채택한다. 방법론은 다음과 같은 세 가지 주요 단계로 진행된다:

1. 접선 휩쓸기 (Tangent Sweeping): 저자는 매개화된 초곡면 위로 다항식 접방향 장(tangent direction field)을 휩쓸어 다항식 사상을 구축한다. 매개화된 초곡면 $X: \mathbb{C}^{n-2} \to \mathbb{C}^{n-1}$과 다항식 접방향 장 $\Delta$에 대하여, "패딩된 휩쓸기(padded sweep)" 맵 $F_0$가 정의된다. 이 휩쓸기의 야코비안 행렬식은 곱셈 변수 $\gamma$에 대한 다항식, 구체적으로 $\det J(F_0) = \sum L_k \gamma^{k+1}$의 형태를 가짐이 증명된다.
2. 분지 선택 및 정규화 (Branch Selection and Normalization): 이 구성은 야코비안 행렬식이 단항식 항 $c \gamma^{k+1}$로 단순화되는 특정 "분지(branches)"를 선택하는 것에 의존한다. 이를 위해서는 접성 기준($\det(\Delta, J(X)) \equiv 0$)을 만족해야 하며, 특정 계수 $L_k$가 소거되거나 상수가 되는 정규화 조건을 충족해야 한다. 본 논문은 다양한 차원에서 사용 가능한 분지들을 결정하기 위해 서로 다른 유형의 방향 장(곡선형, 자직형(tautological), 혼합형)을 분석한다.
3. 단항식 트위스트 (Monomial Twist): 휩쓸기(비상수 야코비안을 가짐)를 켈러 맵(상수 야코비안)으로 변환하기 위해, 저자는 "단항식 트위스트"를 적용한다. 이는 휩씨의 야코비안에서 $\gamma$ 인자를 상쇄하기 위해 휩쓸기를 단항식 맵 및 아핀 단계와 합성하는 과정을 포함한다. 이 과정은 초곡면을 정의하는 다항식의 계수들에 대한 "부수 조건(side conditions, 가분성 제약)"을 도입한다. 결정적으로, 이 트위스트는 분기 궤적(ramification locus, 맵이 단사성을 잃는 지점)을 무한대로 밀어내어, 결과적으로 맵을 도처에서 비분기적(unramified/étale)이지만 적절하지는 않은(not proper) 상태로 만든다.

주요 기여 및 결과

• 일반적 프레임워크: 본 논문은 모든 차원 $n > 2$에서 유효한 일반적인 구성을 확립한다. 저자는 매개화된 초곡면 위에서 다항식 접방향 장을 휩쓸고 단항식 트위스트를 적용함으로써, 모든 차원 $n \ge 3$에서 켈러 반례를 생성할 수 있음을 입증한다.
• 임의의 기하학적 차수: 이 구성은 임의로 큰 기하학적 차수(일반적인 파이버의 점의 개수)를 갖는 반례를 생성한다. $n=3$의 경우, 갤러거의 군을 재현한다. $n \ge 4$의 경우, 곡선형 방향 장을 통해 고차수의 데이터를 선택함으로써 기하학적 차수를 임의로 높일 수 있다.
• 다섯 가지 명시적 반례: 저자는 다섯 가지 새로운 명시적 다항식 사상을 도출하였다:
  • 차원 3: 두 개의 컵(cusp)과 하나의 노드(node)를 가진 유리 사차 곡선을 기반으로 하며, 성분 차수가 4, 11, 12인 맵 $G$ (기하학적 차수 4).
  • 차원 4:
    • $F_4$: 비원통형 룰드 곡면(non-cylindrical ruled surface)에서 유도되었으며, 성분 차수가 4, 11, 12, 21인 맵 (기하학적 차수 5).
    • $F_5$: 혼합형 방향 장의 "M-분지"에서 유도되었으며, 성분 차수가 3, 12, 14, 16인 맵 (기하학적 차수 10).
  • 차원 5:
    • $F_6$: 혼합형 방향 장 $\Delta = (1, w_1, w_1^2, w_2)^T$의 "바텀 브랜치(bottom branch)"에서 유도되었으며, 성분 차수가 7, 38, 40, 42, 44인 맵 (기하학적 차수 6).
    • $F_7$: 횡단적 켈러형 데이터를 활용한 "곡선형" 방향 장에서 유도되었으며, 성분 차수가 7, 86, 89, 92, 95인 맵 (기하학적 차수 12).
• 파이버 구조 분석: 본 논문은 이 맵들에 대한 상세한 파이버 구조를 제공한다. 일반적인 파이버의 크기가 기하학적 차수와 같음을 증명하며, 특정 파이버들이 특정 궤적(예: 옐로넥크(Jelonek) 초곡면) 위에서 더 작은 크기로 퇴화하거나(또는 빈 집합이 됨을) 보여준다. 예를 들어, 맵 $G$는 $\{4, 3, 2, 1, 0\}$의 모든 파이버 크기를 달성한다.
• 강직성 현상 (Rigidity Phenomenon): 차원 5에서 혼합형 방향 장의 "미들 브랜치(middle branch)"를 분석한 결과, 강직성 현상이 드러난다. 이 브랜치를 지배하는 방정식은 특성 불변 궤적(characteristic-invariance locus) 상의 선형 수송 방정식으로 퇴화하며, 이는 진정한 5차원 데이터가 이 브랜치를 실현할 수 없음을 시사한다. 즉, 해들은 4차원 휩쓸기의 현수(suspension)처럼 보인다.

의의 및 주장
본 논문은 평면 곡선에서 초곡면 위의 방향 장으로 확장된 접선 휩쓸기 메커니즘에 대한 자기 완결적인 설명을 제공한다고 주장한다. 본 연구의 주요 의의는 다음과 같다:

1. 반증의 완성: 본 연구는 모든 차원 $n > 2$에서 야코비안 추측이 거짓임을 확인하며, 이러한 모든 차원에서 작동하는 통일된 반례 메커니즘을 제공한다.
2. 명시성: 추상적인 존재 증명과 달리, 본 연구는 검증된 야코비안 행렬식과 파이버 구조를 갖는 다섯 가지의 완전히 명시적인 다항식 맵을 제공한다.
3. 기하학적 통찰: 반례들의 기하학적 본질을 명확히 한다. 이들은 $\mathbb{C}^n \to \mathbb{C}^n$에 대한 에탈 피복(étale covering)이며, 유한한 지점에서 충돌하는 것이 아니라 서로 다른 전사(preimage)들이 무한대로 탈출하기 때문에 단사성을 잃는다.
4. 전파 (Propagation): 이 구성은 $n \mapsto n+3$ 순서에 따른 반례의 전파를 허용하며, 이는 낮은 차원의 반례가 높은 차원의 반례를 구축하기 위한 데이터로 사용될 수 있음을 시사한다.

저자는 모든 다항식 항등식과 파이버 계산이 정확한 유리수 산술 및 가능한 경우 그로브너 기저(Gröbner bases)를 사용하여 검증되었음을 밝힌다. 또한 고차원 맵($F_4$ ~ $F_7$)에 대한 완전한 파이버 층화(stratification)는 향후 과제로 남아 있으나, 일반적인 파이버 개수는 엄밀하게 확립되었음을 언급한다.