[논문 리뷰] Degree growth for tame automorphisms of an affine quadric threefold

Nguyen-Bac Dang|arXiv (Cornell University)|2018. 10. 22.

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

한 줄 요약

이 논문은 $xt - yz - 1 = 0$로 정의된 아핀 쌍곡면 3차원에서의 티이드 아핀형사상의 차수 성장도를 CAT(0) 정사각형 복합체 위의 기하학적 군 작용을 이용하여 조사한다. 이 논문은 임의의 이러한 형사상에 대해 첫 번째 동역학적 차수 $\lambda_1(f)$가 1 또는 $4/3$ 이상임을 증명하고, 무작위로 생성된 이러한 형사상의 곱이 양의 차수 성장 지수를 가지는 조건을 규명하여, 우렉의 이론적 질문을 이 설정에서 해결한다.

ABSTRACT

In this paper, we consider the degree sequences of the tame automorphisms preserving an affine quadric threefold. Using some valuatives estimates derived from the work of Shestakov-Umirbaev and the action of this group on a CAT(0), Gromov-hyperbolic square complex constructed by Bisi-Furter-Lamy, we prove that the dynamical degrees of tame elements avoid any value strictly between 1 and 4/3. As an application, these methods allow us to characterize when the growth exponent of the degree of a random product of finitely many tame automorphisms is positive.

연구 동기 및 목표

• 대수적으로 닫힌 체에서 특성 0인 필드 위의 아핀 쌍곡면 3차원에서 반복되는 티이드 형사상의 점근적 차수 성장도를 이해하기 위해.
• 이 threefold의 티이드 형사상에 대해 첫 번째 동역학적 차수 $\lambda_1(f)$의 가능한 값을 규명하기 위해.
• 유한 개의 티이드 형사상의 무작위 곱에서 차수 성장 지수 $\lambda$가 양이 되는 조건을 규명하기 위해.
• 우렉(2016)이 제기한 질문을 해결하기 위해: $\lambda_1(f) = 1$인 형사상이 분할 구조나 선형 동치로 변환 가능한지 여부에 대해.

제안 방법

• 세스타코프-우미르바예프 이론에서 유도된 값 측도 추정을 활용하여 형사상의 차수 수열을 분석한다.
• 비시-퓨르터-라미가 구축한 $\operatorname{CAT}(0)$, 과도한 하이퍼볼릭 정사각형 복합체 위에서 티이드 형사상군의 작용을 적용한다.
• 군 작용의 구조를 활용하여 차수 성장 방식에 따라 형사상을 세 가지 유형으로 분류한다: 유계, 선형, 또는 지수적 성장.
• 정사각형 복합체 위의 무작위 걷기의 이동량과 관련된 바스-세르 나무를 활용하여 차수 수열의 성장 지수를 분석한다.
• 군과 나무 위의 무작위 걷기의 대수법칙을 적용하여 무작위 곱의 점근적 차수 성장도를 추정한다.
• 등거리 군 작용과 복합체 내의 거리 추정을 활용하여, 상수 $4/3$를 이용해 차수 성장도를 아래에서 유계화한다.

실험 결과

연구 질문

• RQ1 티이드 형사상에 대해 첫 번째 동역학적 차수 $\lambda_1(f)$는 어떤 값을 가질 수 있는가?
• RQ2 무작위로 생성된 티이드 형사상의 곱이 양의 차수 성장 지수를 가지는 조건은 무엇인가?
• RQ3 $\lambda_1(f) = 1$인 티이드 형사상이 선형 변환으로 변환되거나 분할을 보존하는 조건은 무엇인가?
• RQ4 기하학적 군 작용을 통해 반복되는 티이드 형사상의 차수 성장도를 완전히 분류할 수 있는가?
• RQ5 정사각형 복합체 위의 군 작용의 구조는 점근적 차수 행동과 어떻게 관련되는가?

주요 결과

• 모든 티이드 형사상 $f$에 대해 아핀 쌍곡면 3차원에서의 첫 번째 동역학적 차수 $\lambda_1(f)$는 $\lambda_1(f) \in \{1\} \cup [4/3, \infty)$를 만족하며, 1과 $4\!\!\:/\!\!\!3$ 사이의 값은 존재하지 않는다.
• 임의의 티이드 형사상 $f$에 대해 차수 수열 $\deg(f^n)$과 $\deg(f^{-n})$은 유계이거나, 선형적으로 증가하거나, 최소한 $\left(\frac{4}{3}\right)^n$의 비율로 지수적으로 증가한다.
• $\lambda_1(f) = 1$이면, $f$는 분할을 보존하거나 선형 변환으로 변환되며, $\deg(f^n)$과 $\deg(f^{-n})$은 모두 유계이거나 선형적으로 증가한다.
• 유한 개의 티이드 형사상의 무작위 곱의 차수 성장 지수 $\lambda$는 정사각형 복합체에서 비원시적 또는 관련 바스-세르 나무에서 비가환 하이퍼볼릭 등거리변환이 포함된 군을 생성할 때에만 양이 된다.
• 군이 원시적이거나 모든 원소의 차수가 균일하게 유계이면 성장 지수 $\lambda$는 0이며, 그 외의 경우 양이 되며, 이는 기하학적 복합체 위의 무작위 걷기의 이동량 분석을 통해 입증된다.
• 이 논문은 이 특수한 케이스에서 우렉(2016)의 추측을 확인한다: $\lambda_1(f) = 1$인 형사상은 분할을 보존하거나 선형 변환으로 변환된다.