[논문 리뷰] On multidegrees of polynomial automorphisms of C^3

Jakub Zygadło|ArXiv.org|2009. 03. 31.

Advanced Differential Equations and Dynamical Systems참고 문헌 3인용 수 5

한 줄 요약

이 논문은 임의의 양의 정수 $a$와 $b$에 대해, 모든 $c \geq c_0$이면 $ℂ^3$에서 다항형사상의 다중도가 $(a,b,c)$인 온전한 다항형사상이 존재함을 증명한다. 이 구성은 재귀적 다항식 교란과 기본 및 선형 사상의 복합을 통해 세 번째 좌표에서 임의로 높은 차수를 유지하면서도 온전함을 보존한다.

ABSTRACT

We prove that for every pair of positive integers a, b there exists a number c_0 such that for every c>=c_0 one can find a tame polynomial automorphism of C^3 with multidegree equal to (a,b,c).

연구 동기 및 목표

• 다항형사상 $ℂ^3 \to \u2102^3$의 다중도로써 임의의 양의 정수 트리플 $(a,b,c)$가 실현 가능한지 여부를 해결하는 것.
• 고정된 $a$와 $b$에 대해, 다중도 $(a,b,c)$를 가진 온전한 사상이 존재하도록 보장하는 $c$에 대한 충분조건을 설정하는 것.
• 기본 및 선형 사상의 복합을 통해 명시적인 온전한 사상을 구성하고, 다항식 교란에서 계수를 재귀적으로 선택하는 기법을 사용하는 것.
• 이전에 $n=2$인 경우에만 알려진 차수의 나눗셈 조건을 $n=3$으로 확장하여, 이 경우 그러한 제약 조건이 존재하지 않는다는 것을 밝혀내는 것.

제안 방법

• 다항형사상 $F: \mathbb{C}^3 \to \mathbb{C}^3$에 대해 다중도를 $ \operatorname{mdeg}F = (\deg F_1, \deg F_2, \deg F_3) $로 정의한다.
• 기본 사상의 복합을 사용: $ F = F_2 \circ F_1 $, 여기서 $F_1$은 $z^a$와 $z^b$의 단항식을 추가하고, $F_2$는 $x^{e/a} - y^{e/b}$를 포함하는 항을 추가하며, $e = \operatorname{lcm}(a,b)$이다.
• 세 번째 좌표의 저차수 항을 상쇄시키기 위해 차수 $b$ 이하인 보정 다항식 $u(x,z)$를 도입하고, 이를 재귀적으로 정의한다.
• 이차항의 계수를 이전 단계의 $u_k$를 사용하여 재귀적으로 설정함으로써, 세 번째 좌표의 주요 항의 차수가 $c$가 되도록 보장한다.
• 다양한 항의 기여를 분석하여 세 번째 좌표의 최대 차수를 유계화한다: $ x^i z^{d-ia} $, $ y^j z^{d-jb} $, $ (y + z^m + u)^j $ 항들로부터 유도된 결과로, 최대 차수는 $ \max\{c, d - r\} $이며, 여기서 $ r = \min\{b-1, (a-1)(\lfloor b/a \rfloor + 1)\} $이다.
• 최소 필요 조건으로 $ c_0 = \operatorname{lcm}(a,b) - r $를 설정하여, $ c \geq c_0 $이면 원하는 다중도 $(a,b,c)$를 확보할 수 있음을 보장한다.

실험 결과

연구 질문

• RQ1 어느 트리플 $(a,b,c)$에 대해 $ℂ^3$에서 다중도가 $(a,b,c)$인 온전한 다항형사상이 존재하는가?
• RQ2 만약 $\gcd(a,b) > 1$이어도, 충분히 큰 $c$에 대해 임의의 트리플 $(a,b,c)$가 온전한 사상의 다중도로 실현 가능한가?
• RQ3 모든 $c \geq c_0$에 대해 그러한 사상을 실현할 수 있도록 보장하는, $a$와 $b$에만 의존하는 균일한 상한 $c_0$이 존재하는가?
• RQ4 기본 및 선형 사상만을 사용하여 재귀적이고 명시적인 구성이 가능하여, 온전함을 유지할 수 있는가?

주요 결과

• 고정된 $ a, b > 2 $에 대해, $ c_0 = \operatorname{lcm}(a,b) - r $이며, $ r = \min\{b-1, (a-1)(\lfloor b/a \rfloor + 1)\} $이면, 모든 $ c \geq c_0 $에 대해 다중도 $(a,b,c)$인 온전한 사상이 존재한다.
• 이 구성은 기본 및 선형 사상의 복합을 통해 명시적으로 그러한 사상을 구축하며, 세 번째 좌표의 차수를 정확히 $c$로 유지한다. 이는 보정 다항식 $u(x,z)$에서 계수를 재귀적으로 선택함으로써 달성된다.
• $\gcd(a,b) = 1$일 경우, $c_0 = (a-1)(b-1)$로 충분하며, 이는 고전적인 프로베누스 동전 문제 결과를 복원한다.
• $a=2$인 경우, 모든 $b > 2$에 대해 결과가 성립하며, 특히 $(2n, 3n)$ 및 $(2n, 5n)$ 형태의 쌍은 모든 $n \geq 1$에 대해 온전하다.
• 구성은 $c_0$ 이하의 유한한 수의 $c$에 대해서만 실패하며, 나머지 경우는 $u(x,z)$에서 계수를 재귀적으로 조정함으로써 커버된다.
• 논문은 $(a,b)$가 $a \mid b$ 또는 $a \leq 2$이거나, $c$가 $a$와 $b$의 음이 아닌 정수 조합인 경우, 그러한 사상이 존재함을 확인하며, 이는 이전 결과를 확장한다.