Polynomial contractions of $\mathbb C^d$ and degree growth

기술적 요약: $\mathbb{C}^d$ 의 다항식 수축과 차수 성장

문제 제기
본 논문은 복소 공간 $\mathbb{C}^d$ 위의 다항식 수축 자동사상에 대한 Verbitsky 와 Ornea 의 질문을 다룬다. 구체적으로, 원점을 유일한 고정점으로 가지며 모든 $x$에 대해 $\lim_{n\to\infty} \gamma^n(x) = 0$을 만족하는 다항식 수축 $\gamma$(자동사상) 가 존재하되, 반복 적용된 사상 $\gamma^n$의 차수 $\deg(\gamma^n)$가 $n \to \infty$에 따라 무한히 증가하는 경우가 있는지 조사한다.

이 연구는 홀로모픽 수축을 갖춘 복소 다양체에 대한 GAGA 유형의 정리라는 맥락에서 이루어진다. 대수적 성질과 홀로모픽 성질 사이에는 근본적인 긴장 관계가 존재한다. 푸앵카레 - 둘라크 (Poincaré–Dulac) 정리는 특정 수축이 홀로모픽적으로 선형화 가능함을 보장하지만, 그것들이 대수적으로 선형화 가능한지는 명확하지 않다. 차수 성장이 유계라는 성질은 대수적 켤레 불변량이다. 따라서 만약 어떤 사상이 무계인 차수 성장을 가진다면, 그것은 상수 차수를 갖는 선형 사상과 대수적으로 켤레일 수 없다.

방법론 및 정의
저자는 대수적 군 이론과 동역학계 분석을 결합하여 접근한다:

1. 엄격한 대수성 (Strict Algebraicity): 본 논문은 "엄격한 대수적 (strictly algebraic)" 자동사상이라는 개념을 도입한다. 자동사상 $\gamma$가 대수적 군 작용에 속할 때 이를 엄격한 대수적 자동사상이라고 한다. 명제 1 은 $\gamma$의 차수 성장이 유계 ($\sup_n \deg \gamma^n < +\infty$) 일 때에만 $\gamma$가 엄격한 대수적 자동사상임을 증명한다.
2. 차원 분석 ($d=2$): 2 차원 경우에서 저자는 $\mathbb{C}^2$의 자동사상 분류 (Milnor, Friedland) 와 엔트로피 결과 (Smillie) 에 의존한다. 논증은 배제법을 통해 진행된다:
   • 아핀 (affine) 및 기본 (elementary) 자동사상은 일정한 차수 성장을 보인다.
   • 로조드로믹 (loxodromic) 자동사상 (Henon 사상의 유한 합성) 은 지수적 차수 성장을 보이지만 양의 위상 엔트로피를 갖는다.
   • 수축은 원점 외의 주기점을 갖지 않아야 하므로 위상 엔트로피가 0 이어야 한다. 따라서 수축은 로조드로믹일 수 없다.
   • $d=2$에 대한 결론: 무계인 차수 성장을 갖는 다항식 수축은 존재하지 않는다.
3. $d \ge 3$에 대한 구성: 저자는 $\mathbb{C}^3$(및 확장하여 $\mathbb{C}^d$) 위에서 다음과 같이 정의된 특정 아핀 - 삼각형 자동사상을 구성한다:
   $$\gamma(x, y, z) = (\lambda_1(y + xz), \lambda_2 x, \lambda_3 z)$$
   여기서 $0 < \lambda_i < 1/2$이다.
   • 수축 증명: 반복 사상의 재귀적 관계를 분석함으로써 저자는 수열이 0 으로 수렴함을 보여 수축 정의를 만족함을 입증한다.
   • 차수 성장 계산: $\gamma^n$의 성분 다항식 $F_n, G_n, H_n$의 차수를 추적함으로써 저자는 $\deg \gamma_{n+1} = \deg \gamma_n + 1$이라는 재귀식을 유도하며, 이는 선형 차수 성장 ($\deg \gamma_n = n+1$) 을 초래한다.

주요 결과

1. 2 차원에서의 부존재: $\mathbb{C}^2$의 어떤 수축 자동사상도 유계인 차수 성장을 갖는다.
2. 3 차원 이상에서의 존재: 임의의 $d \ge 3$에 대해 무계인 (구체적으로 선형인) 차수 성장을 갖는 다항식 수축이 존재한다.
3. 홀로모픽 선형화 vs 대수적 선형화:
   • $\lambda_i$를 대수적으로 독립적으로 선택함으로써 원점에서의 미분의 고유값이 공명 관계를 피하도록 한다.
   • 푸앵카레 - 둘라크 정리에 따라 그러한 사상은 홀로모픽적으로 선형 사상과 켤레이다.
   • 그러나 차수 성장이 무계이므로, 그 사상은 엄격한 대수적이 아니며 따라서 어떤 선형 사상과도 대수적으로 켤레일 수 없다.

의의 및 주장
본 논문은 $d \ge 3$인 차수에서 다항식 수축에 대한 홀로모픽 선형화와 대수적 선형화 사이의 불일치를 보여주는 간단하고 명시적인 반례를 제공한다고 주장한다.

• 대수적 vs 홀로모픽: 구성된 자동사상들은 홀로모픽적으로 선형화 가능 (홀로모픽 미분동형사상을 통한 선형 사상과의 켤레) 하지만 대수적으로 선형화 가능하지 않다 (다항식 자동사상을 통한 선형 사상과의 켤레가 아님).
• Verbitsky-Ornea 에 대한 답변: 이 연구는 $d \ge 3$에서는 무계인 차수 성장을 갖는 다항식 수축의 존재에 대해 긍정적으로, $d=2$에서는 부정적으로 답변한다.
• 범위: 결과는 대수적 군 이론과 복소 동역학의 표준 도구를 활용하여 제기된 질문에 대한 직접적인 답변으로 제시되며, 추가적인 응용이나 실험적 확장을 제안하지는 않는다. 저자는 구성이 추가 좌표를 확장함으로써 고차원으로 확장됨을 지적한다.