복소 헨온 사상의 곱셈자 강직성

초록

본 논문은 복소 평면 C² 위의 다항 자동사상, 특히 헨온 맵과 그 합성에 대해 “곱셈자 강직성”을 입증한다. 같은 차수(또는 동일한 다중 차수·다중 야코비안)를 갖는 두 맵이 동일한 불안정 곱셈자 스펙트럼(또는 트레이스 스펙트럼)을 가질 경우, 그들은 유한 개의 경우만 남겨두고 서로 동형임을 보인다. 핵심은 안정적인 대수적 가족이 존재하지 않음을 증명하고, 이를 위해 최대 엔트로피 측정의 Lyapunov 지수와 그 발산 행동에 대한 정밀한 상한·하한을 구한 것이다.

상세 분석

논문은 먼저 복소 C² 상의 다항 자동사상 Aut(ℂ²) 을 동역학 차수 λ₁(f) 에 따라 “초정칙(loxodromic)”과 “초기본(elementary)”으로 구분한다. λ₁(f)>1인 경우가 초정칙이며, 이때 가장 대표적인 예가 헨온 맵 h(x,y)=(ay+ p(x), x)이다. Friedland‑Milnor 정규형에 따라 모든 초정칙 사상은 유한 개의 헨온 맵의 합성으로 표현될 수 있으며, 이때 나타나는 다중 차수 (d₁,…,d_k)와 다중 야코비안 (a₁,…,a_k) 는 동형 사상 아래에서 유일하게 정의된다(단, 순열·U_{d-1} 작용에 의한 유한한 자유도가 존재).

다음으로 저자는 “곱셈자 스펙트럼”을 정의한다. 주기점 z 의 n차 정확한 주기에 대해 미분 행렬 Dfⁿ(z) 의 고유값을 λ₁,λ₂라 하고, 이를 트레이스 tr = λ₁+λ₂와 야코비안 Jac = λ₁λ₂로 인코딩한다. 특히 안장 주기점에 대해서는 안정·불안정 고유값 λ_s, λ_u ( |λ_s|<1<|λ_u| )를 구분한다. 논문은 두 종류의 스펙트럼, 즉 전체 트레이스 스펙트럼과 불안정 고유값 스펙트럼을 이용해 강직성을 논한다.

Theorem A는 단일 헨온 맵(차수 d)에서 트레이스 스펙트럼만으로도 사상을 유한 개의 후보 중 하나로 결정한다는 것을 보인다. 여기서 “유한”이라는 수는 차수 d 에만 의존하고, 일반적인 경우는 실제로 하나뿐이다(정밀히는 S_{f₀}=1 for generic f₀). 중요한 점은 야코비안을 전혀 알 필요가 없다는 것이다. 이는 기존의 Friedland‑Milnor 결과(차수 2, 3 에서는 고정점 트레이스와 야코비안이 충분)와 대비된다.

Theorem B는 다중 헨온 맵(합성)으로 일반화한다. 여기서는 다중 차수와 다중 야코비안을 고정한 뒤, 동일한 트레이스(또는 불안정 고유값) 스펙트럼을 갖는 경우에도 사상이 유한 개의 후보로 제한된다. 다중 야코비안이 고정된 이유는, 안정적인 대수적 가족을 논할 때 야코비안이 변하면 Lyapunov 지수가 급격히 변해 안정성 조건을 깨기 때문이다.

Theorem C는 C¹‑동형 강직성을 다룬다. 동일한 차수(또는 동일한 다중 차수·다중 야코비안)를 갖는 두 사상이 J‑집합 근방에서 C¹‑동형이며 충분히 가깝다면 실제로 동일한 사상이다. 이는 “지역적” 강직성뿐 아니라 “전역적” 유한성도 제공한다.

핵심 기술적 도구는 Theorem D와 Theorem E이다. Theorem D는 “안정적인 불가분 대수적 가족은 반드시 자명(즉, 한 점)이다”라는 선언으로, McMullen의 1차원 결과를 고차원으로 확장한다. 이를 증명하기 위해 저자는 가족이 무한히 퍼질 경우 발생하는 ‘퇴화’를 분석한다. 퇴화는 최대 엔트로피 측정 μ_f 의 Lyapunov 지수 χ(μ_f) 와 “극대 탈출률” M(f) (정의 M(f)=max_i M(p_i) where p_i are 구성 헨온 맵) 사이의 정밀한 상·하한 관계를 이용한다.

Theorem E는 바로 그 관계를 제공한다. 다중 차수 d 와 다중 야코비안 a 가 고정된 경우, 존재하는 양의 상수 C₁, C₂ 에 대해
C₁ M(f) ≤ χ(μ_f) ≤ C₂ M(f)
가 모든 f∈H_{k}^{d,a} 에 대해 성립한다(단 M(f)≥1). 이 식은 Lyapunov 지수가 탈출률에 비례한다는 1차원 결과(Manning‑Przytycki 공식)의 2차원 아날로그이며, 불안정 임계점(unstable critical points)의 정밀한 기하학적 분석을 통해 얻어진다. 결과적으로 안정적인 대수적 가족이 무한히 퍼질 경우 M(f) 가 무한히 커지게 되지만, 위 부등식에 의해 χ(μ_f) 도 무한히 커져야 하므로 안정성(특히 주기점 곱셈자의 유한성)과 모순된다. 따라서 가족은 유한 집합, 즉 자명해야 한다.

마지막으로 저자는 이론을 이용해 연결성 영역(connectedness locus)의 콤팩트성을 증명한다. 다중 야코비안이 고정된 경우, M(f)=0 ⇔ J(f) 연결이며, Theorem E와 기존 결과(