[논문 리뷰] On the primitivity of birational transformations of irreducible symplectic manifolds

Federico Bianco|arXiv (Cornell University)|2016. 04. 18.

Advanced Algebra and Geometry참고 문헌 12인용 수 5

한 줄 요약

이 논문은 동차형식이 1보다 큰 동적 차수를 적어도 하나 이상 가지는 비분해 가능 심플렉틱 다양체 위의 비메로모르픽 변환이 원시적임을 증명한다. 즉, 이러한 변환은 어떤 불변 피브레이션도 가지지 않으며, 그 일반적인 궤도는 자르스키-밀도성을 가진다. 주요 결과는 코homology 위의 유도된 작용의 역학, 특히 베오유일-보고몰로프 형식과 $ H^2(X,\mathbb{Z}) $ 위의 역행렬 맵의 스펙트럼 성질에 기반한다. 이는 모듈러스가 1보다 큰 고유값이 존재할 경우 불변 피브레이션의 존재를 방지함을 보여준다.

ABSTRACT

Let $f\\colon X\\dashrightarrow X$ be a bimeromorphic transformation of a complex irreducible symplectic manifold $X$. Some important dynamical properties of $f$ are encoded by the induced linear automorphism $f^*$ of $H^2(X,\\mathbb Z)$. Our main result is that a bimeromorphic transformation such that $f^*$ has at least one eigenvalue with modulus $>1$ doesn't admit any invariant fibration (in particular its generic orbit is Zariski-dense).

연구 동기 및 목표

• 비분해 가능 심플렉틱 다양체 위의 비메로모르픽 변환에 대한 원시성의 역학적 기준을 확립하기 위해.
• 유도된 작용의 스펙트럼 성질이 $ H^2(X,\mathbb{Z}) $ 위에서 불변 피브레이션의 부재와 어떻게 연결되는지 밝히기 위해.
• 적어도 하나의 동적 차수가 1을 초과할 경우, 이러한 변환의 일반 궤도가 자르스키-밀도성을 가짐을 증명하기 위해.
• 표면의 동적 결과를 코homological 및 피브레이션 이론적 기법을 사용하여 고차원 비분해 가능 심플렉틱 다양체로 확장하기 위해.

제안 방법

• 비메로모르픽 사상에 의해 불변인 $ H^2(X,\mathbb{Z}) $ 위의 선형 작용 $ f^* $ 를 분석하며, 비메로모르픽 사상에 대해 불변인 베오유일-보고몰로프 형식을 활용한다.
• 코homology 작용의 성장률을 측정하기 위해 동적 차수 $ \lambda_p(f) = \limsup_{n\to\infty} ||(f^n)^*_{|H^{p,p}}||^{1/n} $ 를 사용한다.
• 피브레이션 상승 기법을 적용한다: $ f $ 가 피브레이션 $ \pi: X \dashrightarrow B $ 를 보존하면, $ f $ 는 $ g: B \dashrightarrow B $ 를 유도하며, 상대 동적 차수 $ \lambda_p(f|\pi) $ 를 분석한다.
• 일반적인 섬유가 일반 유형이면, 유한한 에탈 기저 변경 이후 피브레이션이 등장하게 되며, 이는 $ f $ 에서 주기적인 섬유를 유도한다.
• 상대 동적 차수에 대해 $ \lambda_p(f) \geq \max_q \lambda_q(g) $ 를 이용하여 가능한 불변 피브레이션에 대한 제약 조건을 유도한다.
• 결과 [5] 및 [1] 을 적용하여, 불변 피브레이션이 존재하지 않을 경우 원시성과 자르스키 밀도를 유추한다.

실험 결과

연구 질문

• RQ1 비분해 가능 심플렉틱 다양체 위의 비메로모르픽 변환이 어떤 조건에서라도 메로모르픽 피브레이션을 보존하지 않을까?
• RQ2 변환의 동적 차수는 $ H^2(X,\mathbb{Z}) $ 위의 코homological 작용의 스펙트럼 성질과 어떻게 관련이 있을까?
• RQ3 $ f^* $ 가 $ H^2(X,\mathbb{Z}) $ 위에서 모듈러스가 1보다 큰 고유값을 가질 경우, 불변 피브레이션의 존재를 방지할 수 있을까?
• RQ4 일반 궤도의 자르스키 밀도성과 변환의 동적 차수 사이의 관계는 무엇일까?

주요 결과

• 만약 $ f^* $ 가 모듈러스가 1보다 큰 고유값을 가진다면, $ f $ 는 불변 피브레이션을 가지지 않으며, 따라서 원시적이다.
• 동일한 조건 하에서 일반 궤도는 레마 4.6 및 [1, 정리 4.1] 을 통해 자르스키-밀도성을 가진다.
• 주기적인 초곡면의 수는 최대 $ \dim(X) + b_2(X) - 2 $ 개이며, 이는 원시성과 [5, 정리 B] 에 기반한 경계이다.
• 만약 $ f $ 가 로크소드로픽이며 어떤 $ p $ 에 대해 $ \lambda_p(f) > 1 $ 이면, $ f $-불변 피브레이션의 기저 차원은 $ 2n - k $ 이상이어야 한다. 여기서 $ k $ 는 연속적인 동일한 동적 차수의 수이다.
• 자기사상 또는 모든 연속적인 동적 차수가 서로 다를 경우, 기저 차원의 경계로부터 원시성이 직접적으로 유도된다.
• 일반적인 섬유가 일반 유형이면 상대 동적 차수 $ \lambda_p(f|\pi) $ 는 항상 1이며, 이는 $ \lambda_p(f) > 1 $ 와 모순되므로 불변 피브레이션을 배제한다.