[논문 리뷰] Tits alternative for automorphism groups of compact Kaehler manifolds

Tien‐Cuong Dinh|arXiv (Cornell University)|2012. 10. 13.

Geometry and complex manifolds참고 문헌 31인용 수 3

한 줄 요약

이 논문은 컴acts Kähler 다양체의 자기동형군에 대해 Tits 대안를 확립하며, 이러한 군이 자유롭고 비아벨인 부분군을 포함하거나 유한지수의 해어진 부분군을 가진다고 증명한다. 핵심 결과는 영 엔트로피 자리를 형성하는 군이 정규부분군을 이룬다는 것으로, 몫은 복소차원 $k$와 코다이라 차원에 따라 결정되는 $κ$에 대해 최대 $k - \kappa - 1$의 계수를 가진 자유 아벨 군이다. 증명은 혼합 Hodge-Riemann 정리와 역학적 차수 분석에 기반한다.

ABSTRACT

We survey some properties of the automorphism groups of compact Kaehler manifolds. In particular, we present recent results by Keum, Oguiso and Zhang on the structure of these groups from the Tits alternative point of view. Several other related results will be also discussed. This paper is written for the VIASM Annual Meeting 2012.

연구 동기 및 목표

• 컴acts Kähler 다양체의 자기동형군에 대해 Tits 대안를 확립하여 Keum-Oguiso-Zhang의 추측을 확인한다.
• 자유롭고 비아벨인 부분군을 포함하지 않는다고 가정할 때 자기동형군의 구조를 분석한다.
• 영 엔트로피 자리를 형성하는 부분군을 특성화하고, 유한지수의 해어진 부분군의 몫군의 계수를 결정한다.
• 자리의 역학적 엔트로피를 동역학적 차수와 코homological 작용과 같은 대수적 불변량과 연결한다.

제안 방법

• 자기동형군의 코homological 작용을 분석하기 위해 Hodge-Riemann 정리의 혼합형을 활용한다.
• Kähler 콘 내의 불변 클래스에 Perron-Frobenius 정리를 적용하여 군 작용 하에서 불변하는 코homology 클래스를 구성한다.
• 약한 Hodge-Riemann (wHR) 클래스 개념을 도입하여 자리를 작용 하에서의 양성과 불변성을 보장한다.
• 코homology 클래스에 대한 작용의 로그 특성치를 정의하는 군 준동형사상 $\phi: G' \to \mathbb{R}^{k-\kappa-1}$ 을 도입한다.
• 이미지의 이산성을 보장하기 위해 $\|\phi(g)\| \geq \frac{1}{2} \log d_{k-1}(g)$ 부등식을 사용하여, 이는 몫군이 자유 아벨 군임을 보장한다.
• Yomdin-Gromov 이론에 기반하여 최상위 엔트로피를 동역학적 차수와 동일시함으로써, 역학과 대수기하학을 연결한다.

실험 결과

연구 질문

• RQ1 컴acts Kähler 다양체의 자기동형군은 Tits 대안를 만족하는가, 즉 자유롭고 비아벨인 부분군을 포함하거나 유한지수의 해어진 부분군을 가져야 하는가?
• RQ2 양의 엔트로피를 가진 자리를 형성하는 자유 아벨 군의 최대 계수는 얼마인가?
• RQ3 자리의 동역학적 차수 $d_{k-1}(g)$ 는 $g^*$ 가 Kähler 콘에 작용하는 코homological 작용과 어떻게 관련이 있는가?
• RQ4 영 엔트로피 자리를 형성하는 부분군은 유한지수의 해어진 부분군 내에서 정규부분군으로 특성화될 수 있는가?
• RQ5 몫군 $G'/N'$ 의 계수에 대한 정확한 상한은 무엇이며, 이는 최적인가?

주요 결과

• 차원 $k$ 의 컴acts Kähler 다양체 $X$ 의 자기동형군 $\mathrm{Aut}(X)$ 는 Tits 대안를 만족한다: 자유롭고 비아벨인 부분군을 포함하지 않는 임의의 부분군은 유한지수의 해어진 부분군을 가진다.
• 모든 이러한 군 $G$ 에 대해, 유한지수의 해어진 부분군 $G'$ 가 존재하며, 영 엔트로피 원소들은 정규부분군 $N'$ 을 이룬다.
• 몫군 $G'/N'$ 은 복소차원 $k$ 와 $\kappa = \max(\kappa_X, 0)$ 이며, $\kappa_X < k$ 이면 $\kappa = k - \kappa - 1$ 이고, 그렇지 않으면 $\kappa = k-1$ 이다. 이에 따라 계수는 최대 $k - \kappa - 1$ 이다.
• 예를 들어 $\mathrm{SL}(k,\mathbb{Z})$ 가 복소 토러스에 작용할 때, 계수 $k-1$ 의 자유 아벨 군을 생성하며 양의 엔트로피를 가지므로, 계수 상한이 최적임을 보여준다.
• 자리 $g$ 의 위상적 엔트로피가 0임과 $\phi(g) = 0$ 이며, $\phi$ 는 코homology 작용의 로그 고유값을 코딩하는 준동형사상이다.
• 이미지 $\phi(G')$ 는 $\mathbb{R}^{k-\kappa-1}$ 내에서 이산적이며, 이는 $G'/N'$ 이 유한계수의 자유 아벨 군임을 보장한다.