Jacobian 추측 반례에 대한 소화
Jacobian 추측 반례에 대한 소화
Jacobian 추측 및 그 반례 개요
복소수 체계 위의 Jacobian 추측은 다항식 사상 F : Cⁿ → Cⁿ 의 Jacobian 행렬식이 영이 아닌 상수일 경우, 그 사상이 다항식 역함수를 갖는 가역 사상이어야 한다고 주장한다. Jacobian 행렬식이 영이 아니면 역함수 정리를 통해 국소적으로 가역임을 알 수 있으며, 이 추측은 그 국소적 성질이 전역적인 가역성을 의미한다고 가정한다.
최근 Fable AI 시스템을 이용해 3차원에서 반례가 발견되었다. 다음 사상은
F(z₁, z₂, z₃) = ((1+z₁z₂)³ z₃ + z₂² (1+z₁z₂)(4+3z₁z₂),
z₂ + 3z₁(1+z₁z₂)² z₃ + 3z₁z₂²(4+3z₁z₂),
2z₁ − 3z₁²z₂ − z₁³z₃)
Jacobian 행렬식 det DF = −2 로, 영이 아닌 상수이지만 가역이 아니다. 다음 세 점이 서로 다른데도 모두 같은 값 (-1/4, 0, 0) 으로 사상된다.
(0, 0, −1/4)(1, −3/2, 13/2)(-1, 3/2, 13/2)
따라서 Jacobian 추측은 n = 3 (그리고 그보다 높은 차원)에서 성립하지 않는다.
명시적인 반례 다항식
위 사상은 전체 차수가 7이다. 차수만 따지면 Jacobian 은 차수가 최대 3 × 6 = 18 인 다항식이 될 수 있으며, 가능한 계수는 1 299 개가 된다. 모든 비상수 계수가 사라지는 사실은 방정식 시스템이 매우 크다는 것을 의미한다. 이는 일반적인 차수‑7 다항식(세 변수)의 자유도 120 을 훨씬 초과하므로, 무차별 대입으로는 반례를 찾기 어렵다.
대칭곱을 통한 기하학적 소화
왜 이런 사상이 존재하는지를 이해하기 위해 저자는 문제를 다시 정리한다. Symᵏ(V) 를 벡터 공간 V 의 k‑번째 대칭곱이라고 하자. 다음 곱셈 사상을 고려한다.
F : Sym¹(C²) × Sym²(C²) → Sym³(C²),
F(L, Q) = LQ
여기서 L 은 2변수에 대한 1차식, Q 는 2변수에 대한 2차식이다. 좌표로 쓰면 L(z,w)=az+bw, Q(z,w)=cz²+dz+ew 이고, 사상은
F((a,b),(c,d,e)) = (ac, ad+bc, ae+bd, be).
정의역은 5차원, 공역은 4차원이라 F 는 전단사일 수 없다. 두 가지 대칭이 존재한다.
- 스케일링:
(L, Q) ↦ (λL, λ⁻¹Q)(λ ∈ Cˣ). 곱LQ는 변하지 않는다. - 자연스러운
SL₂(C)작용: 변수(z,w)에 대한 변환이L과Q에 동시에 작용해 곱을 보존한다.
스케일링 대칭을 결과식 Res(L,Q) = a²e − abd + cb² 로 나눠 Res(L,Q)=1 로 정규화할 수 있다. 이렇게 하면 4차원 다양체
X = { (L,Q) ∈ Sym¹(C²)×Sym²(C²) : Res(L,Q)=1 }.
위에서 F 는 여전히 다항식이며 3대1 성질을 가진다: 일반적인 3차식 C = L₁L₂L₃ 은 스케일링 대칭과 관계없는 세 개의 서로 다른 전이미지 (L₁, L₂L₃), (L₂, L₁L₃), (L₃, L₁L₂) 를 갖는다.
X 에서 F 의 국소적 단사성은 결과식이 영이 아니므로 따라온다. Res(L,Q)=1 ≠ 0 이면 L 과 Q 의 근이 서로 다르다. SL₂(C) 작용을 이용해 L 의 근을 무한대로 옮기면 L(z,w)=bw, Q(z,w)=c(z−β₁w)(z−β₂w) 로 쓸 수 있고 cb²=1 이다. 계수를 약간 변형하면 L 의 근은 크게 이동하고 Q 의 근은 제한된 범위에 머문다; 곱 F(L,Q)=LQ 로부터 어느 근이 L 에 속하는지 알 수 있어 L 과 Q 를 유일하게 복원한다. 따라서 F 는 X 에서 에틸(국소 가역)이다.
이렇게 우리는 국소적으로는 단사이지만 전역적으로는 단사되지 않는 사상을 얻는다. 이는 재구성된 반례의 조건 (a)와 (b)를 만족한다.
3차원 반례 얻기
다양체 X 는 C⁴ 와 동형이 아니지만, Sym³(C²) 안의 3차원 아핀 평면 V 로 슬라이스할 수 있다. 여기서 V 는 선형 미분 연산자 D 로 정의된다. D = ∂_z² ∂_w 를 선택하면 (SL₂ 변환 후) 삼차식 C(z,w)=fz³+gz²w+hzw²+iw³ 에서 계수 g=1 을 고정하는 슬라이스가 된다.
V = { C ∈ Sym³(C²) : g = 1 }.
조건 F(L,Q) ∈ V 를 만족하도록 X 와 교집합하면 다음과 같은 5차원 다양체가 얻어진다.
X_V = { (a,b,c,d,e) ∈ C⁵ : a²e − abd + cb² = 1, ad + bc = 1 }.
a ≠ 0 일 때 두 식을 d 와 e 에 대해 풀면 a,b,c 에 대한 유리함수로 표현할 수 있다. 따라서
{ (a,b,c,d,e) : a²e−abd+cb²=1, ad+bc=1, a≠0 } ≅ { (a,b,c) ∈ C³ : a≠0 }.
a = 0 인 경우는 식이 cb²=1 와 bc=1 로 축소되고, 이는 유일한 해 b=c=1 을 주며 d 와 e 는 자유롭게 남는다. 따라서 a=0 섬유는 아핀 직선이다.
두 부분을 하나로 붙이기 위해 새로운 좌표 (a,y,z) 를 도입한다.
a = a
b = 1 + a y
c = 1 − (3/2) a y + a² z
d = (1−bc)/a = ½ y − a z + (3/2) a y² − a² y z
e = (1+abd−cb²)/a² = −2z + 4y² − 4a y z + 3a y³ − 2a² y² z
이 식들은 a, y, z 에 대한 다항식이며 X_V 전역 좌표 차트를 제공한다. 따라서 X_V 는 아핀 C³ 와 동형이며 조건 (c)를 만족한다.
좌표 변환 아래에서 사상 F 는
(a,y,z) ↦ ( G₁(a,y,z), G₂(a,y,z), G₃(a,y,z) )
이며
G₁ = a − (3/2)a²y + a³z
G₂ = ½ y − 3a z + 6a y² − 6a² y z + (9/2)a² y³ − 3a³ y² z
G₃ = −2z + 4y² − 6a y z + 7a y³ − 6a² y² z + 3a² y⁴ − 2a³ y³ z
이 사상의 Jacobian 행렬식은 −1 (원래 스케일링을 적용하면 −2) 이다. 좌표 변환의 역함수와 합성하면 서두에 제시된 차수‑7 다항식 F(z₁,z₂,z₃) 를 복원한다. 따라서 기하학적 구성은 “기적적인” 소거에 의존하지 않고 반례를 설명한다. 남은 특수성은 이중근을 갖는 미분 연산자 D 를 선택한 것뿐이다.
의견 및 반응
Hacker News 독자들은 AI의 역할에 대해 놀라움, 혼란, 호기심을 섞어 반응했다:
"While this is an extremely quick verification, the construction presented in this fashion appears like a massive miracle. The polynomial {F} has degree seven, so a priori the Jacobian {\mathrm{det} DF} ought to be a polynomial in three variables of degree as large as {3 \times 6 = 18}, so the fact that all non-constant coefficients of this polynomial vanish looks like a massive cancellation involving {\binom{18+3}{3}-1 = 1299} equations..." — @vanderZwan
"The introduction to this piece was easy to follow, but as soon as he got into recapitulating it with algebra he lost me (because I’m bad at math). But he includes the GPT5 prompts for his conversation..." — @tptacek
"After reading a quarter of the article I started wondering, is this what non coders feel when vibe coding software?" — @aayushdutt
"Okay. So what does this overturn, intuitively? Can we no longer assume that functions are differentiable at certain points, or something?" — @hyperhello
"Finding a different way of thinking about a problem often leads to a breakthrough. This is what an ecosystem in nature shows us, that diversity matters in finding hard solutions..." — @jmward01
"reading through this I eventually realized a situation similar to my experience of it is what my dog sees if I attempt to explain Python programming to him." — @zzzeek
"Can we audit the CoT and work the AI did to generate such a remarkable cancellation?" — @drivebyhooting
"Related: Claude Fable produced a counterexample to the Jacobian Conjecture..." — @ChrisArchitect
"Guys, this guy is so brilliant that his mathematical expressions are embedded as images on his Wordpress blog. Truly amazing. This guy should be everywhere and get nothing but praise." — @richard_chase
"I don’t understand math but it was amusing seeing Terrence Tao’s chat with chatGPT. Everything Tao said was constantly followed by praise... Seems like sycophancy is still an issue lol." — @sashank_1509
"Also, from the fundamental theorem of algebra, once the Jacobian polynomial {\mathrm{det} DF} is non-zero, it must be constant. I wouldn’t have guessed this is true. I’m wondering what the proof looks like!" — @jeremyscanvic
"What’s a chance the counterexample was in the training?" — @dumpstate
이러한 의견들은 대수적 소거의 놀라움, AI‑지원 발견에 대한 관심, 상세한 기하학을 따라가기 어려움, 그리고 국소적으로는 가역이지만 전역적으로는 가역이 아닐 수 있다는 직관적 이해를 강조한다.
요약:
세 변수에 대한 다항식 사상이 상수이며 영이 아닌 Jacobian을 가지고 있음이 제시되어, 차원 3에서 Jacobian 추측이 반증되었으며 국소 가역성이 전역 가역성을 보장하지 않음을 보여준다.
제목:
Jacobian 추측 반례에 대한 소화