[논문 리뷰] Tame automorphisms with multidegrees in the form of arithmetic progressions

Jiantao Li, Xiankun Du|arXiv (Cornell University)|2011. 12. 28.

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

한 줄 요약

이 논문은 $\mathbb{C}^3$의 티드 애로모피즘으로부터 유도될 수 있는 산술급수 다중도수 $(a, a+d, a+2d)$를 분류한다. 이들 다중도수가 실현 가능할 조건은 $a \mid 2d$이면 충분하고, 유일한 예외적인 가족 $(4i, 4i+ij, 4i+2ij)$ (여기서 $j$는 홀수)를 제외하고는 모두 이를 만족함을 증명한다. 이 예외적 경우의 실현 가능성은 파울슨 브라켓 차수에 관한 한 가설에 의존한다.

ABSTRACT

Let $(a,a+d,a+2d)$ be an arithmetic progression of positive integers. The following statements are proved: (1) If $a\mid 2d$, then $(a, a+d, a+2d)\in\mdeg(\Tame(\mathbb{C}^3))$. (2) If $a mid 2d$, then, except for arithmetic progressions of the form $(4i,4i+ij,4i+2ij)$ with $i,j \in\mathbb{N}$ and $j$ is an odd number, $(a, a+d, a+2d) otin\mdeg(\Tame(\mathbb{C}^3))$. We also related the exceptional unknown case to a conjecture of Jie-tai Yu, which concerns with the lower bound of the degree of the Poisson bracket of two polynomials.

연구 동기 및 목표

• 티드 애로모피즘으로서 $\mathbb{C}^3$에서 실현 가능한 산술급수 다중도수 $(a, a+d, a+2d)$의 조건을 규명하는 것.
• 홀수 $j$를 가진 예외적 경우 $(4i, 4i+ij, 4i+2ij)$의 다중도수 실현 가능성 문제를 해결하는 것.
• 이러한 다중도수의 실현 가능성과 파울슨 브라켓 차수에 대한 하한 추측 간의 연관성을 규명하는 것.
• 특히 대칭적이고 연속된 정수 수열에 대해 이전의 티드 애로모피즘 다중도수 결과를 차원 3에서 확장하는 것.

제안 방법

• 세스타코프와 우미르바에프의 나가타 애로모피즘 연구에서 유도된 $*$-감소 쌍 부등식을 활용하여 다항식 합성의 차수를 제한하는 것.
• 정리 2.1을 적용하여, $F$가 감소 가능할 경우 파울슨 브라켓 $[F_1, F_2]$를 바탕으로 $\deg g(F_1, F_2)$의 하한을 도출하는 것.
• 변수의 순열과 차수 비교를 통한 기본 감소 분석을 통해, $a \nmid 2d$이거나 예외적 경우일 때 모순이 발생함을 보이는 것.
• 특히 $[F_1, F_3]$의 경우를 중심으로 다항식 쌍의 $\deg[F_i, F_j]$ 분석을 통한 감소 가능성 검토.
• 알제브라적으로 독립적이지만 주도항이 의존적인 다항식 $f,g$에 대해 $\deg[f,g]$의 하한에 관한 제이타이 유후의 가설을 활용하는 것.
• 세 가지 유형의 기본 감소(각각 $F_1$, $F_2$, $F_3$에서의 감소)에 대한 체계적 사례 분석을 통해, 가설이 성립하지 않는 한 예외적 경우에서는 어떤 감소도 가능하지 않음을 보이는 것.

실험 결과

연구 질문

• RQ1 양의 정수 $a$와 $d$에 대해 다중도수 $(a, a+d, a+2d)$가 $\mathrm{mdeg}(\mathrm{Tame}(\mathbb{C}^3))$에 속할 조건은 무엇인가?
• RQ2 $a \mid 2d$ 조건이 이러한 다중도수 실현 가능성에 미치는 역할은 무엇인가?
• RQ3 왜 홀수 $j$를 가진 가족 $(4i, 4i+ij, 4i+2ij)$만이 $a \mid 2d$ 기준에서 제외되는 유일한 예외적인 경우인가?
• RQ4 제이타이 유후의 파울슨 브라켓 차수에 대한 가설은 이러한 다중도수의 실현 가능성과 어떻게 관련되는가?
• RQ5 다중도수 $(8,10,12)$는 $\mathbb{C}^3$의 티드 애로모피즘으로 실현 가능한가?

주요 결과

• 만약 $a \mid 2d$이면, 다중도수 $(a, a+d, a+2d)$는 $\mathrm{mdeg}(\mathrm{Tame}(\mathbb{C}^3))$에 속한다.
• 만약 $a \nmid 2d$이면, $(a, a+d, a+2d) \notin \mathrm{mdeg}(\mathrm{Tame}(\mathbb{C}^3))$이지만, $i,j \in \mathbb{N}$이고 $j$가 홀수인 가족 $(4i, 4i+ij, 4i+2ij)$의 경우는 제외된다.
• 홀수 $j$를 가진 예외적 경우 $(4i, 4i+ij, 4i+2ij)$는 제이타이 유후의 파울슨 브라켓 차수에 대한 가설이 성립하지 않는 한 실현될 수 없다.
• 다중도수 $(4,5,6)$는 이전에 카라스에 의해 실현 불가능함이 증명되었으며, 이는 $a \nmid 2d$ 조건과 일치한다.
• 해결되지 않은 유일한 경우는 $i=2$, $j=1$인 $(8,10,12)$로, 이는 예외적 가족의 특수한 경우이다.
• 연속된 홀수 정수에 대해, $d_1=1$일 때만 $(1,3,5)$가 실현 가능하며, 이는 $a \mid 2d$ 조건을 유일하게 만족하는 경우이다.