A Counterexample to the Global Injectivity of a Jacobian Mapping in \mathbb{C}^5 and Its Analytical Roots

기술 요약: $\mathbb{C}^5$에서의 야코비안 사상의 전역적 단사성에 대한 반례

문제 정의
본 논문은 모든 다항식 사상 $F: \mathbb{C}^n \to \mathbb{C}^n$가 상수인 0이 아닌 야코비안 행렬식을 가질 때 전역적으로 가역적이라는 야코비안 추측(Jacobian Conjecture)을 다룬다. Bass, Connell, Wright, 그리고 Drużkowski의 축소 정리들은 이 추측의 범위를 세제곱-선형(cubic-linear, Drużkrowski) 사상으로 좁혀 놓았으나, 본 연구는 유니포텐트(unipotent) 야코비안 조건 하에서 전역적 단사성의 한계를 시험하기 위해 $\mathbb{C}^5$ 내의 특정한 다항식 구조를 조사한다.

방법론
저자는 6차 동차 다항식 $F$에 의해 정의되는 다항식 사상 $G(x) = x - \nabla F(x)$를 구성한다. 다항식 $F$는 $(u+iv)^6$의 실수부를 통해 유도된 실수부와 허수부를 포함하는 네 개의 "삼중 대각 조화 블록(tridiagonal harmonic blocks)"으로 구성된다.

방법론은 세 단계로 진행된다:

1. 야코비안 분석: 저자는 정의된 다항식 $F$의 헤세 행렬(Hessian matrix) $H_F(x)$가 엄격한 삼중 대각 구조임을 입증한다. 계수의 대수적 구조를 분석함으로써, $H_F(x)$의 모든 거듭제곱의 트레이스(trace)가 항등적으로 0임($\text{Tr}(H_F^k) = 0$ for $k=1,\dots,5$)을 보여준다. 이는 $H_F(x)$가 모든 곳에서 멱영(nilpotent)임을 증명하며, 결과적으로 사상 $G$의 야코비안 행렬식이 전역적으로 상수이며 1임을 보장한다($\det(I - H_F) \equiv 1$).
2. 단사성 테스트: $F$가 짝수 차수의 단항식들로 구성되어 있다는 사실을 활용하여, 저자는 서로 다른 두 점 $a \neq b$에 대해 $G(a) = G(b)$가 되는 문제를 방정식 $\nabla F(a) = a$ (즉, $G(a) = \vec{0}$)의 비자명한 해를 찾는 문제로 환원한다.
3. 해석적 분류: 본 논문은 영집합(zero-set) $G(x) = \vec{0}$에 대한 포괄적인 유도를 수행한다. 변수를 고립시키고 특정 부분계에 비례 관계 안사츠(proportionality ansatzes, $x_i = k x_j$)를 적용함으로써, 저자는 결과적인 대수 방정식을 풀어 여러 개의 구별된 해의 가계(families of solutions)를 식별한다.

주요 기여 및 결과
본 논문의 주요 기여는 유니포텐트 다항식 사상에 대한 전역적 단사성의 반례를 구축한 것이다.

• 명시적 반례: 저자는 두 개의 구별된 희소 벡터 $a = (c, 0, 0, 0, 0)$와 $b = (-c, 0, 0, 0, 0)$를 구성하며, 여기서 $c = 6^{-1/4}$이다. $G(a) = G(b) = \vec{0}$임을 엄밀하게 증명함으로써, 이 사상이 모든 곳에서 야코비안 행렬식이 1임에도 불구하고 전역적으로 단사적이지 않음을 입증한다.
• 영집합의 분류: 본 논문은 그래디언트 장(gradient field)의 해석적 해들을 상세히 분류하여, 총 6개의 구별된 기하학적 급수로 조직된 37개의 정밀한 복소수 해를 식별한다:
  1. 급수 1: 첫 번째 좌표만 0이 아닌 네 개의 고립된 해 ($x_1^4 = 1/6$).
  2. 급수 2: 마지막 좌표만 0이 아닌 네 개의 해 ($x_5^4 = i/6$).
  3. 급수 3: 중앙 좌표만 0이 아닌 네 개의 해 ($x_3^4 = 1/6$).
  4. 급수 4: 첫 번째 좌표와 세 번째 좌표의 독립적인 선형 결합으로 형성된 16개의 해.
  5. 급수 5: 결합된 변수 $x_4$와 $x_5$를 포함하며, 스케일링 계수 $k_R$에 대한 이차 방정식에 의해 결정되는 우측 경계 상의 해 가계.
  6. 급수 6: 결합된 변수 $x_1$과 $x_2$를 포함하며, 스케일링 계수 $k_L$에 대한 이차 방정식에 의해 결정되는 좌측 경계 상의 대칭적 해 가계.

의의
본 논문은 이러한 결과들이 야코비안 추측의 틀 안에서 안정성 및 단사성 조건의 복잡한 성격을 부각시킨다고 주장한다. 유니포텐트 사상이 고차원에서도 전역적 단사성을 갖지 못함을 보여줌으로써, 본 연구는 야코비안 행렬식이 자명하게 상수일 때조차 대수적 해 공간이 얼마나 풍부할 수 있는지, 그리고 이 추측이 얼마나 어려운 과제인지를 강조한다. 본 연구의 결과는 이 특정 부류의 사상들에 대한 비단사성을 검증하는 것으로 제시되며, 상수 야코비안 행렬식이 전역적 가역성을 보장한다는 가설에 도전하는 정밀한 해석적 복소수 해의 가계들을 제공한다.