[논문 리뷰] Algebraic stability and degree growth of monomial maps and polynomial maps

Jan-Li Lin|arXiv (Cornell University)|2010. 07. 01.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 7

한 줄 요약

이 논문은 토릭 기하학과 행렬 역학을 활용하여 단항 및 다항 사상의 대수적 안정성과 차수 성장에 대해 연구한다. 단항 사상이 $(\mathbb{P}^1)^n$ 위에서 각 성분이 지배적인 단항항을 갖는 경우에 대수적으로 안정적이며, 관련 정수 행렬의 스펙트럴 반경과 조르당 구조를 바탕으로 차수 수열에 대한 정확한 점근적 추정을 제공한다.

ABSTRACT

Given a rational monomial map, we consider the question of finding a toric variety on which it is algebraically stable. We give conditions for when such variety does or does not exist. We also obtain several precise estimates of the degree sequences of monomial maps on $¶^n$. Finally, we characterize polynomial maps which are algebraically stable on $(¶^1)^n$.

연구 동기 및 목표

• 토릭 다양체 위에서 단항 사상이 대수적으로 안정적인 모델을 갖는 조건을 규명하기 위해.
• $(\mathbb{P}^1)^n$ 위에서 다항 사상이 대수적으로 안정적인지 특성화하기 위해.
• $\mathbb{P}^n$ 및 가중 투영 공간 위에서 단항 사상의 차수 성장에 대한 정확한 점근적 추정을 유도하기 위해.
• 디바이저 역상과 스펙트럴 이론을 활용하여 패브레의 토릭 표면 결과를 고차원 토릭 다양체로 일반화하기 위해.
• 지배적인 항을 갖는 다항 사상의 첫 번째 동역학적 차수는 대수적 정수임을 증명하여 벨론과 빌레의 추측을 뒷받침하기 위해.

제안 방법

• 토릭 기하학을 활용하여 단항 사상을 토릭 다양체 위의 등변 사상으로 모델링하고, 궤도-뿔 대응을 이용한다.
• 유리 사상에 의한 디바이저 클래스의 역상 기반 대수적 안정성에 대한 기하 기준을 적용한다.
• 각 성분의 차수를 변수 $z_i$ 에서 $j$-번째 성분의 차수 $\deg_i(f_j)$ 를 추적하는 차수 행렬 $\operatorname{Deg}(f)$ 를 통한 차수 성장의 행렬 표현을 활용한다.
• 관련 정수 행렬 $A$ 의 스펙트럴 반경 $\rho(A)$ 와 조르당 블록 구조를 사용하여 점근적 차수 추정을 유도한다.
• 행렬 $A$ 와 관련된 $\deg(f_A^k)$ 는 $C \cdot k^\ell \cdot \rho(A)^k$ 와 같이 성장함을 증명하며, 여기서 $\ell+1$ 은 최대 모듈러스 고유값에 대응하는 가장 큰 조르당 블록의 크기이다.
• 조건 $\operatorname{Deg}(fg) = \operatorname{Deg}(g)\cdot\operatorname{Deg}(f)$ 를 사용하여 지배적인 단항항을 갖는 사상의 특성과 대수적 안정성의 확립을 도출한다.

실험 결과

연구 질문

• RQ1 단항 사상이 토릭 비라션 모델에서 대수적으로 안정적인가? 이는 어떤 조건에서 성립하는가?
• RQ2 단항 사상 $f_A$ 가 $\mathbb{P}^n$ 위에서 차수 수열 $\deg(f_A^k)$ 의 정확한 점근적 행동은 무엇인가?
• RQ3 $(\mathbb{P}^1)^n$ 위에서 다항 사상이 대수적으로 안정적인가? 첫 번째 동역학적 차수는 차수 행렬과 어떻게 관련이 있는가?
• RQ4 모든 유리 사상의 첫 번째 동역학적 차수가 대수적 정수임이 다항 사상에서 지배적인 단항항을 갖는 경우에도 성립하는가?
• RQ5 가중 투영 공간 위에서 단항 사상의 차수 성장은 어떻게 행동하는가? 표준 차수 추정은 일반화될 수 있는가?

주요 결과

• 모든 $n \times n$ 정수 행렬 $A$ 에 대해 차수 수열 $\deg(f_A^k)$ 는 $C_0 \cdot k^\ell \cdot \rho(A)^k \leq \deg(f_A^k) \leq C_1 \cdot k^\ell \cdot \rho(A)^k$ 를 만족하며, 여기서 $\ell+1$ 은 최대 모듈러스 고유값에 대응하는 가장 큰 조르당 블록의 크기이다.
• 만약 $A$ 가 대각화 가능하고 모든 최대 모듈러스 고유값 $\lambda$ 가 $\lambda/\bar{\lambda}$ 가 단위근이면, $l=0,\dots,p-1$ 에 대해 $\deg(f_A^{pk+l}) = C_l \cdot |\lambda_1|^{pk+l} + O(|\lambda_2|^{pk+l})$ 를 만족하며, 이는 차수 성장에서 주기적 진동을 보임을 나타낸다.
• $(\mathbb{P}^1)^n$ 위에서 모든 단항 다항 사상은 대수적으로 안정적이다. 각 성분이 지배적인 단항항을 갖기 때문이다.
• $(\mathbb{P}^1)^n$ 위에서 다항 사상 $f$ 는 $\operatorname{Deg}(f^k) = \operatorname{Deg}(f)^k$ 를 모든 $k$ 에 대해 만족할 때이고, 그때 딱 그때 각 성분이 지배적인 단항항을 갖을 때에만 대수적으로 안정적이다.
• 지배적인 단항항을 갖는 다항 사상의 첫 번째 동역학적 차수는 그 차수 행렬의 스펙트럴 반경과 같으며, 따라서 대수적 정수이다. 이는 이 경우에서 벨론-비알레 추측을 지지한다.
• 만약 $\operatorname{Deg}(fg) = \operatorname{Deg}(g)\cdot\operatorname{Deg}(f)$ 이고 모든 $\deg_i(g_j) > 0$ 이면, $f$ 의 모든 성분은 지배적인 단항항을 가져야 하며, 이는 차수 성장에서의 행렬 곱셈 행동의 필요충분조건을 제공한다.