[논문 리뷰] Density of orbits of endomorphisms of commutative linear algebraic groups

Dragos Ghioca, Fei Hu|arXiv (Cornell University)|2018. 03. 11.

Advanced Differential Equations and Dynamical Systems참고 문헌 15인용 수 8

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 연결 가환 선형 대수적 군의 자기형사상에 대해 Medvedev–Scanlon 추측을 증명한다. 복소대수기하학이 아닌 수론적 도구를 사용하여, 주어진 자기형사상이 비상수 유리 함수를 보존하거나 어떤 점이 자리키 밀도가 높은 전방 궤도를 갖는다는 두 가지 경우 중 하나가 성립함을 보인다.

ABSTRACT

We prove a conjecture of Medvedev and Scanlon for endomorphisms of connected commutative linear algebraic groups $G$ defined over an algebraically closed field $\mathbb{k}$ of characteristic $0$. That is, if $Φ\colon G\longrightarrow G$ is a dominant endomorphism, we prove that one of the following holds: either there exists a non-constant rational function $f\in \mathbb{k}(G)$ preserved by $Φ$ (i.e., $f\circ Φ= f$), or there exists a point $x\in G(\mathbb{k})$ whose $Φ$-orbit is Zariski dense in $G$.

연구 동기 및 목표

• 특성 0인 대수적으로 닫힌 체 위의 연결 가환 선형 대수적 군의 자기형사상에 대해 Medvedev–Scanlon 추측을 해결하는 것.
• 그러한 군의 전행성 자기형사상이 비상수 유리 함수를 보존하거나, 자리키 밀도가 높은 전방 궤도를 갖는 점을 포함하는지 확인하는 것.
• 이러한 군에 대해 대수적 동역학에서 이분법 결과를 확립하여 이전의 원형군과 단순군 결과를 일반화하는 것.
• 복잡한 대수기하학을 피하고 수론적 기법을 사용하여 증명을 제공하는 것.

제안 방법

• 가환 선형 대수적 군의 구조 정리에 기반하여 자기형사상의 유니포텐트 및 원형 성분으로 분해하는 것.
• 지수 벡터에 대한 분할 기반 분석을 통해 곱셈적 및加법적 특성의 선형 종속 관계를 탐지하는 것.
• 로그 기반 추정을 통해 행렬 거듭제곱의 원소를 유계로 제한하여, 반복 행렬의 원소 성장률이 n에 대해 다항식임을 보이는 것.
• 반복 행렬 곱에 의해 벡터의 절댓값이 유계로 유지될 경우, 그 행렬이 단위근을 고유값으로 가져야 한다는 사실을 이용하는 것.
• 비상수 유리 함수가 보존되지 않는다고 가정하여 모순을 도출하고, 이는 관련 행렬의 고유값이 단위근이어야 한다는 결론을 이끌어내는 것.
• Diophantine 근사와 매개변수의 곱셈적 독립성을 활용하여 고급 대수기하학을 피하는 것.

실험 결과

연구 질문

• RQ1 특성 0인 대수적으로 닫힌 체 위의 연결 가환 선형 대수적 군의 전행성 자기형사상은 반드시 비상수 유리 함수를 보존하거나, 자리키 밀도가 높은 궤도를 갖는 점을 포함하는가?
• RQ2 복잡한 대수기하학을 피하고 수론적 도구를 사용하여 Medvedev–Scanlon 추측을 가환 선형 대수적 군에 대해 증명할 수 있는가?
• RQ3 자기형사상에 어떤 조건이 성립하면 어떤 점의 궤도가 군 전체에서 자리키 밀도가 높아지는가?
• RQ4 유리 함수가 보존되지 않으며 궤도가 자리키 밀도가 높지 않다고 가정할 경우, 행렬 거듭제곱과 고유값을 분석하여 모순을 이끌어낼 수 있는가?

주요 결과

• 논문은 특성 0인 대수적으로 닫힌 체 위의 연결 가환 선형 대수적 군 G의 임의의 전행성 자기형사상 Φ에 대해, 비상수 유리 함수 f ∈ k(G)가 f∘Φ = f 를 만족하거나, 어떤 점 x ∈ G(k)가 자리키 밀도가 높은 Φ-궤도를 갖는다고 증명한다.
• 유리 함수가 보존되지 않는다고 가정할 경우, 관련 행렬의 고유값이 단위근이어야 하며, 이는 보존 함수가 없다는 가정 하에 모순을 유도함을 보여준다.
• 행렬 거듭제곱 An의 원소 성장률이 n에 대해 선형 함수로 유계임을 보이며, 이는 궤도가 밀도가 높지 않다면 행렬이 단위근을 고유값으로 가져야 한다는 것을 의미한다.
• 매개변수 λ1,…,λk−1,β1,…,βℓ의 곱셈적 독립성을 이용하여 고유값 제약 조건을 유도하는 방정식계를 유도하는 것.
• 결과적으로 G = G_a^k × G_m^ℓ 를 포함하는 군의 클래스에 대해 추측을 확인한다. 이 군은 단순군과 원형군 성분을 모두 포함한다.
• 수론적 유계와 Diophantine 근사 기법을 활용하여 고급 대수기하학을 피한 증명을 제공한다.