[논문 리뷰] Salem numbers in dynamics of Kähler threefolds and complex tori

Keiji Oguiso, Tuyen Trung Truong|arXiv (Cornell University)|2013. 09. 19.

Geometry and complex manifolds참고 문헌 12인용 수 13

한 줄 요약

이 논문은 복소 3차 켈러 다양체와 복소 3차 토러스에서의 가짜자기동형사상에 대해, 첫 번째 동역학적 도수(λ₁(f))가 세일름 수인 경우, 동역학적 도수에 특정한 제약 조건이 있음을 규명한다: 3차원에서는 λ₁(f) = λ₂(f), 4차원에서는 λ₁(f) = λ₃(f) 또는 λ₁(f)² = λ₂(f)이다. 주요 기여는 복소 3차 토러스에서 λ₁(f) > 1인 자동형사상이 세일름 수일 때에만 등변적(-equivariant)으로 분할 가능하다는 것을 증명한 것이다. 이는 피카르 수가 0, 3 또는 9이지만 λ₁(f)가 세일름 수가 아닌 경우에 대해 반례가 존재함을 의미한다.

ABSTRACT

Let $X$ be a compact Kähler manifold of dimension $k\leq 4$ and $f:X ightarrow X$ a pseudo-automorphism. If the first dynamical degree $λ_1(f)$ is a Salem number, we show that either $λ_1(f)=λ_{k-1}(f)$ or $λ_1(f)^2=λ_{k-2}(f)$. In particular, if $\mbox{dim}(X)=3$ then $λ_1(f)=λ_2(f)$. We use this to show that if $X$ is a complex 3-torus and $f$ is an automorphism of $X$ with $λ_1(f)>1$, then $f$ has a non-trivial equivariant holomorphic fibration if and only if $λ_1(f)$ is a Salem number. If $X$ is a complex 3-torus having an automorphism $f$ with $λ_1(f)=λ_2(f)>1$ but is not a Salem number, then the Picard number of $X$ must be 0,3 or 9, and all these cases can be realized.

연구 동기 및 목표

• 3차 또는 4차 컴acts Kähler 다양체에서의 가짜자기동형사상이 비자명한 불변 미르코모르피 분할을 갖는 조건을 규명하는 것.
• 복소 3차 토러스에서 자동형사상의 맥락에서 세일름 수의 동역학적 역할을 명확히 하는 것.
• λ₁(f) = λ₂(f) > 1를 만족하지만 비자명한 등변적 분할이 없는 복소 3차 토러스의 피카르 수 제약 조건을 특성화하는 것.
• 3차 토러스에 대해 질문 2(ii)를 긍정적으로 해결하기 위해, λ₁(f)가 세일름 수이면 f-등변적 헬름홀로픽 분할이 존재함을 증명하는 것.

제안 방법

• 동역학적 도수 이론과 f*가 코homology에 유도하는 작용을 이용해 스펙트럼 성질을 분석하는 것.
• Perron-Frobenius 정리를 적용하여 H^{1,1}(X)에서 f*의 λ₁(f)가 지배적 고유값임을 보이는 것.
• f*의 특성다항식에 대한 갈루아 군 분석을 통해 피카르 수를 제약하고 분할이 존재하지 않음을 탐지하는 것.
• 특정 근 분포를 가진 다항식을 사용하여 λ₁(f) = λ₂(f) > 1를 만족하지만 비자명한 등변적 분할이 없는 3차 토러스의 구체적 예를 구성하는 것.
• 특성다항식의 분할체를 이용해 갈루아 군의 구조를 통해 피카르 수를 결정하는 것.
• Voisin 및 Diller-Favre의 동역학적 도수와 분할에 관한 결과를 적용하여 필요 및 충분 조건을 유도하는 것.

실험 결과

연구 질문

• RQ1 λ₁(f) = λ₂(f)인 컴팩트 켈러 3차 다양체에서의 가짜자기동형사상 f가 반드시 비자명한 불변 미르코모르피 분할을 갖는가?
• RQ2 λ₁(f)가 켈러 3차 다양체에서의 가짜자기동형사상 f에 대해 세일름 수일 경우, f가 반드시 비자명한 불변 미르코모르피 분할을 갖는가?
• RQ3 복소 3차 토러스 X에 대해, λ₁(f) > 1인 자동형사상 f가 f-등변적 헬름홀로픽 분할을 갖는 조건은 무엇인가?
• RQ4 λ₁(f) = λ₂(f) > 1를 만족하지만 비자명한 등변적 분할이 없는 자동형사상 f를 갖는 복소 3차 토러스의 가능한 피카르 수는 무엇인가?
• RQ5 3차 토러스에서 분할에 대한 세일름 수 조건의 역을 증명할 수 있는가?

주요 결과

• 컴팩트 켈러 3차 다양체에서의 가짜자기동형사상 f에 대해, λ₁(f)가 세일름 수이면 반드시 λ₁(f) = λ₂(f)임이 보장된다.
• 컴팩트 켈러 4차 다양체에서의 가짜자기동형사상 f에 대해, λ₁(f)가 세일름 수이면 반드시 λ₁(f) = λ₃(f) 또는 λ₁(f)² = λ₂(f)임이 보장된다.
• 복소 3차 토러스에서 λ₁(f) > 1인 자동형사상 f는 f-등변적 헬름홀로픽 분할을 갖는다. 그리고 그 조건은 λ₁(f)가 세일름 수일 때에 한하여 성립한다.
• 피카르 수가 9인 프로젝티브 3차 토러스 중에서 λ₁(f) = λ₂(f) > 1를 만족하지만 비자명한 등변적 분할이 없는 자동형사상 f를 갖는 것이 존재한다.
• 피카르 수가 0 또는 3인 비프로젝티브 3차 토러스 중에서 λ₁(f) = λ₂(f) > 1를 만족하지만 비자명한 등변적 분할이 없는 자동형사상 f를 갖는 것이 존재한다.
• λ₁(f) = λ₂(f) > 1를 만족하지만 비자명한 등변적 분할이 없는 자동형사상 f를 갖는 3차 토러스의 피카르 수는 반드시 0, 3 또는 9여야 하며, 이러한 모든 경우가 실현 가능하다.