[논문 리뷰] Free algebras arising from positive-entropy automorphisms of surfaces

S. Paul Smith|arXiv (Cornell University)|2013. 08. 18.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 4

한 줄 요약

이 논문은 매끄러운 프로젝티브 표면 위의 함수체에 대한 스칼라 라우렌트 확장에서 자유 부분대수의 존재에 대한 정확한 역학적 기준을 수립한다. $ k(X)[t^{\pm 1};\sigma] $ 가 두 개 이상의 생성자를 가진 자유 부분대수를 포함하는 것은 $ \sigma^* $ 가 네론-세베르 그룹에 작용할 때의 스펙트럴 반경이 1을 초월할 때이고, 이는 동역학적 차수와 엔트로피를 통해 비가환 대수기하학과 복소 동역학을 연결한다.

ABSTRACT

Let X be a smooth projective surface defined over an uncountable algebraically closed field k and let k(X) be its field of rational functions. Let s be an automorphism of X. This paper proves there is a non-negative integer n and elements a and b in k(X) such that the subalgebra of the skew Laurent extension k(X)[t, t^{-1};s] generated by at^n and bt^n is a free algebra if and only if the spectral radius for the action of s^* on the Neron-Severi group of X is >1. Thus, when s is an automorphism of a smooth complex projective surface X, C(X)[t,t^{-1};s] has a free subalgebra on >1 variables if and only if the topological entropy of s is positive. Furthermore, if s is an automorphism of k(X), then k(X)[t,t^{-1};s] contains a free subalgebra if and only if the dynamical degree of s is >1; in this situation, s might not be induced by an automorphism of any smooth projective surface. These results are used to show that certain twisted homogeneous coordinate rings of smooth projective surfaces contain free subalgebras.

연구 동기 및 목표

• 스칼라 라우렌트 확장 $ k(X)[t^{\pm 1};\sigma] $ 가 두 개 이상의 생성자를 가진 자유 부분대수를 포함하는 조건을 규명하는 것.
• 해당 자유 부분대수의 존재를 $ \mathrm{NS}(X)_{\mathbb{R}} $ 위에서 $ \sigma^* $ 의 스펙트럴 반경과 연결하는 것.
• 표면의 자동형사상에 의해 유도되지 않는 함수체의 자동형사상에 대해서도 이 기준을 확장하는 것.
• 결과를 왜곡된 동차 좌표환에 적용하여, 동역학적 차수가 1을 초월할 경우 이러한 환들이 자유 부분대수를 포함함을 보이는 것.

제안 방법

• 유도된 작용의 스펙트럴 반경 $ \rho(\sigma^*) $ 를 $ \mathrm{NS}(X)_{\mathbb{R}} $ 상의 중심 불변량으로 사용하는 것.
• 아르틴-반던 베르그, 키플러, 로갈스키-전의 결과를 활용하여 스칼라 라우렌트 확장에서의 자유성 분석에 비가환 대수기하학 기법을 적용하는 것.
• $ ab^{-1} $ 가 매우 망원적 영점 divisor를 가질 경우, $ k\{at^n, bt^n\} $ 의 자유성을 보장하는 충분조건을 $ \rho(\sigma^*)^n \geq 5 + 2\sqrt{6} $ 로 설정하는 것.
• 네론-세베르 그룹의 실수 확장에서의 교차 이론과 허지 인덱스 정리를 활용하여 $ \sigma^* $ 에 의한 나눔류의 성장 분석하는 것.
• $ a,b \in k(X) $ 인 원소 $ at^n, bt^n $ 를 이용해 $ \sigma $ 가 나눔류 위에서 작용하는 동역학을 활용하여 명시적인 자유 부분대수를 구성하는 것.
• 기저 확장을 통한 업그레이드 기법을 적용하여, 기저가 불가측 대수적으로 닫힌 체에서의 결과를 임의의 체로 확장하는 것.

실험 결과

연구 질문

• RQ1 표면 자동형사상 $ \sigma $ 에 대해 스칼라 라우렌트 확장 $ k(X)[t^{\pm 1};\sigma] $ 가 두 개 이상의 생성자를 가진 자유 부분대수를 포함하는가?
• RQ2 자유 부분대수의 존재를 보장하는 $ \sigma $ 의 정확한 역학적 조건은 무엇인가?
• RQ3 $ \mathrm{NS}(X)_{\mathbb{R}} $ 상에서 $ \sigma^* $ 의 스펙트럴 반경은 $ \sigma $ 의 위상적 엔트로피와 동역학적 차수와 어떻게 관련이 있는가?
• RQ4 자기 부분대수의 자유성 기준을 표면 자동형사상에 의해 유도되지 않는 함수체의 자동형사상으로까지 확장할 수 있는가?
• RQ5 왜곡된 동차 좌표환 $ B(X,\mathcal{L},\sigma) $ 가 자유 부분대수를 포함하는 조건은 무엇인가?

주요 결과

• $ k(X)[t^{\pm 1};\sigma] $ 가 두 개 이상의 생성자를 가진 자유 부분대수를 포함하는 것은 $ \rho(\sigma^*) > 1 $ 이면 충분하고 필요하다.
• $ \rho(\sigma^*) > 1 $ 이면 충분히 큰 $ n $ 에 대해 $ \rho(\sigma^*)^n \geq 5 + 2\sqrt{6} $ 를 만족할 경우, $ \operatorname{div}(ab^{-1}) $ 가 매우 망원적일 때 모든 $ a,b \in k(X) $ 에 대해 $ k\{at^n, bt^n\} $ 는 자유이다.
• $ \dim \mathrm{NS}(X)_{\mathbb{R}} = 2 $ 이면 임계 조건을 $ \rho(\sigma^*)^n \geq 2 + \sqrt{3} $ 으로 약화시킬 수 있다.
• 표면 자동형사상에 의해 유도되지 않는 $ k(X) $ 의 자동형사상에 대해서는 $ k(X)[t^{\pm 1};\sigma] $ 가 자유 부분대수를 포함하는 것이 동역학적 차수 $ \lambda(\sigma) > 1 $ 이면 충분하고 필요하다.
• 결과는 $ \rho(\sigma^*) > 1 $ 이면 특정 왜곡된 동차 좌표환 $ B(X,\mathcal{L},\sigma) $ 가 자유 부분대수를 포함함을 시사한다.
• 헤논 사상 $ \sigma(x,y) = (1+y-ax^2, bx) $ 는 $ \lambda(\sigma) = 2 $ 이며, $ n=4 $ 에서 자유성 조건을 만족하므로 $ k\{xt^4, yt^4\} $ 는 자유이며, 이는 이전 연구에서 $ k\{xt, yt\} $ 도 자유임을 보여주었다.