[논문 리뷰] Algebraic degrees for iterates of meromorphic self-maps of $¶^k$

Viêt‐Anh Nguyên|arXiv (Cornell University)|2006. 03. 22.

Mathematical Dynamics and Fractals참고 문헌 4인용 수 16

한 줄 요약

이 논문은 $ℚ^k$의 준대수적으로 안정적(quasi-algebraically stable, QAS)인 유리형 자기사상의 새로운 클래스를 도입하며, 이는 대수적으로 안정적인 사상보다 더 넓은 클래스이며, 그들의 반복 사상이 재귀적 리프팅 구조를 갖는다는 것을 증명한다. 이는 반복 사상의 대수적 차수를 정확히 계산할 수 있게 하며, 첫 번째 동적 차수(first dynamical degree)가 항상 대수적 정수임을 보여준다.

ABSTRACT

We first introduce the class of quasi-algebraically stable meromorphic maps of $¶^k.$ This class is strictly larger than that of algebraically stable meromorphic self-maps of $¶^k.$ Then we prove that all maps in the new class enjoy a recurrent property. In particular, the algebraic degrees for iterates of these maps can be computed and their first dynamical degrees are always algebraic integers.

연구 동기 및 목표

• 대수적으로 안정적인 사상보다 더 넓은 유리형 자기사상의 새로운 클래스인 준대수적으로 안정적인(QAS) 사상의 정의와 연구.
• 대수적으로 안정적이지 않은 사상의 반복 사상에 대한 대수적 차수를 계산하는 데 도전하는 문제를 다루며, 이는 단순한 차수 성장 법칙 $ \operatorname{d}(f^n) = \operatorname{d}(f)^n$을 갖지 못하기 때문이다.
• QAS 사상에 대해 재귀적 리프팅 법칙을 확립하여 $ \operatorname{d}(f^n)$의 정확한 계산이 가능하게 하고, 첫 번째 동적 차수 $ \lambda_1(f)$가 항상 대수적 정수임을 증명한다.
• 대수적으로 안정적이지 않은 사상에 대해서도 녹색 코어 이론의 프레임워크를 확장하기 위해, 차수 수열이 다룰 수 있는 클래스를 식별한다.

제안 방법

• QAS 사상은 반복 리프팅 $F_n$이 지연 $n_0$ 이후에 동차 다항식 $H_0$로 나누는 재귀 관계를 만족하는 $ℚ^k$의 유리형 자기사상으로 정의된다.
• 표준적인 대수적으로 안정적인 사상의 복합 법칙을 일반화하여, $n > n_0$일 때 $F_n = \frac{F_1 \circ F_{n-1}}{H_0 \circ F_{n-n_0-1}}$을 통해 리프팅 수열 $F_n$을 구성한다.
• 리프팅 법칙에서 유도된 재귀관계의 특성다항식을 이용하여 대수적 차수 수열 $ \operatorname{d}(f^n)$을 분석한다.
• 첫 번째 동적 차수 $ \lambda_1(f)$가 재귀관계의 특성다항식의 스펙트럼 반경과 같음을 증명하며, 특성다항식의 근 분석을 통해 이것이 실수 대수적 정수임을 보인다.
• 복소다이나믹스 도구를 사용하여, 리프팅 법칙이 차수의 점근적 성장과 어떻게 관련되는지 분석한다. 이는 전파 작용의 작용과 동적 차수 이론을 포함한다.
• 주요 정리를 특정 예시에 적용하여, 선형 재귀 해를 통해 $ \operatorname{d}(f^n)$의 닫힌 형식 표현과 $ \lambda_1(f)$의 정확한 값을 도출한다.

실험 결과

연구 질문

• RQ1 대수적으로 안정적인 사상보다 더 넓은 유리형 자기사상의 클래스를 $ℚ^k$에서 정의할 수 있는가? 이 경우 반복 사상의 대수적 차수를 계산할 수 있는가?
• RQ2 대수적으로 안정적이지 않은 사상의 반복 리프팅에 대해, 다룰 수 있는 차수 성장에 영향을 주는 재귀적 구조는 무엇인가?
• RQ3 대수적으로 안정적인 클래스 외부의 사상에 대해서도 첫 번째 동적 차수 $ \lambda_1(f)$가 여전히 대수적 정수인가?
• RQ4 대수적 차수 수열이 선형 재귀를 만족하지만 $ \operatorname{d}(f^n) \neq \operatorname{d}(f)^n$인 사상에 대해서도 녹색 코어 구성법을 확장할 수 있는가?
• RQ5 QAS 사상에 대해 $ \operatorname{d}(f^n)$의 점근적 행동을 지배하는 특성다항식의 정확한 형태와 그 근은 무엇인가?

주요 결과

• 준대수적으로 안정적인(QAS) 유리형 자기사상의 클래스는 대수적으로 안정적인 사상의 클래스를 엄격히 포함한다.
• QAS 사상의 경우, 대수적 차수 $ \operatorname{d}(f^n)$는 동차 다항식으로 나누는 수정된 리프팅 법칙에서 유도된 선형 재귀관계를 만족한다.
• 첫 번째 동적 차수 $ \lambda_1(f)$는 항상 대수적 정수이며, 이는 재귀관계의 특성다항식의 스펙트럼 반경과 동일하다.
• 예제 3.5에서 $ \operatorname{d}(f^n) = n+1$이고 $ \lambda_1(f) = 1$이며, 차수 수열은 $ \operatorname{d}(f^n) - 2\operatorname{d}(f^{n-1}) + \operatorname{d}(f^{n-2}) = 0$을 만족한다.
• 예제 3.7에서 $ \operatorname{d}(f^n) = \frac{1}{\sqrt{29}}\left(\left(\frac{7+\sqrt{29}}{2}\right)^{n+1} - \left(\frac{7-\sqrt{29}}{2}\right)^{n+1}\right)$이고 $ \lambda_1(f) = \frac{7+\sqrt{29}}{2}$이다.
• 증명 과정에서 $ \lambda_1(f)$가 특성다항식의 주도 근임을 보였으며, 대칭성과 근의 지배성에 기반하여 실수성과 대수성도 유도되었다.