[논문 리뷰] Invariant hypersurfaces of endomorphisms of projective varieties

De‐Qi Zhang|arXiv (Cornell University)|2013. 10. 22.

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

한 줄 요약

이 논문은 로그 캐논리컬 특이성을 가진 프로젝티브 다양체 위의 극화된 엔도모르피즘에 대해 $f^{-1}$-안정인 소수 위상의 수에 대한 날카로운 상계를 확립한다. 이러한 위상들이 유리 사슬 연결임을 증명하고 최적의 상계를 제시한다: $c \leq n + \rho(X)$이며, 등호가 성립할 경우 $X$는 유리 연결이거나 타원 곡선 위로의 피브리레이션임을 의미하며, $c = n + \rho(X)$일 때는 $K_X + \sum V_i \sim_\mathbb{Q} 0$임을 보인다. 결과는 $\mathbb{Q}$-팩터리얼이고 카와마타 로그 단순한 다양체로 일반화되며, $\mathbb{P}^n$의 경우 최적임을 입증한다. 주요 기여는 브이르라션 기하학과 동역계 시스템 기법을 통해 엔도모르피즘에 대한 불변 초위상의 분류이다.

ABSTRACT

We consider surjective endomorphisms f of degree > 1 on projective manifolds X of Picard number one and their f^{-1}-stable hypersurfaces V, and show that V is rationally chain connected. Also given is an optimal upper bound for the number of f^{-1}-stable prime divisors on (not necessarily smooth) projective varieties.

연구 동기 및 목표

• 차수 $>1$인 극화된 엔도모르피즘에 대한 프로젝티브 다양체 위에서 $f^{-1}$-안정인 소수 위상의 최대 수를 결정하는 것.
• 이러한 불변 위상의 기약 성분들이 유리 사슬 연결이 되는 조건을 설정하여, 특이성이 있는 다양체로의 유리 연결성의 일반화를 이루는 것.
• 안정 위상의 수가 이론적 상한선에 도달했을 때 다양체의 구조를 분류하는 것.
• 상한선 $n + \rho(X)$가 날카로운지 증명하고 등호가 성립하는 경우를 특성화하는 것, 특히 $\mathbb{P}^n$의 좌표 초평면과 함께 성립하는 경우를 포함하여.
• 최소한의 특이성을 가진 $\mathbb{Q}$-팩터리얼이고 카와마타 로그 단순한 다양체로 부드러운 다양체의 결과를 확장하는 것.

제안 방법

• 선형 동치와 수치 조건을 통해 $f^{-1}$-안정인 소수 위상의 수를 유계하는 데 Néron-Severi 군과 피카르 수 $\rho(X)$를 사용하는 것.
• 특이성이 있는 다양체를 다루고 상한선의 타당성을 보장하기 위해 조정의 역전과 로그 캐논리컬 특이성 이론을 적용하는 것.
• 낮은 차원의 경우로 문제를 축소하기 위해 피브리레이션과 정규화 사상에 대한 귀납법을 사용하는 것.
• $\mathbb{Q}$-선형 동치와 캐논리컬 위상 조건($K_X + \sum V_i \sim_\mathbb{Q} 0$)을 사용하여 등호가 성립하는 경우를 특성화하는 것.
• 특히 $f^*H \sim qH$를 통해 $\operatorname{Pic}(X)$와 $N^1(X)$ 위에서의 $f$의 동역학을 활용하여 불변성과 유한성을 도출하는 것.
• 정규화 사상에 의한 분지 위상과 역상 분석을 통해 특정 위상 $\Delta$가 소멸함을 보여 $K_X + \sum V_i \sim_\mathbb{Q} 0$를 이끌어내는 것.

실험 결과

연구 질문

• RQ1 차수 $>1$인 극화된 엔도모르피즘을 가진 프로젝티브 다양체 위에서 $f^{-1}$-안정인 소수 위상의 최대 수는 무엇인가?
• RQ2 이러한 불변 위상의 기약 성분들이 유리 사슬 연결이 되는 조건은 무엇인가?
• RQ3 안정 위상의 수가 상한선 $n + \rho(X)$에 도달할 때, 그 경우 다양체는 어떤 구조를 지니는가?
• RQ4 상한선는 오직 $X = \mathbb{P}^n$에서 좌표 초평면과 $f$가 $[X_1,\dots,X_{n+1}] \mapsto [X_1^q,\dots,X_{n+1}^q]$로 주어질 때에만 달성 가능한가?
• RQ5 안정 위상의 수가 $n + \rho(X) - 1$ 또는 $n + \rho(X) - 2$ 이상일 경우 어떤 일이 발생하는가? 이는 유리 연결성 또는 타원 곡선 위로의 피브리레이션을 강제하는가?

주요 결과

• 차원 $n$인 프로젝티브 다양체 $X$와 차수 $>1$인 극화된 엔도모르피즘 $f$를 가진 경우, $f^{-1}$-안정인 소수 위상의 수 $c$는 $c \leq n + \rho(X)$를 만족하며, 이 상한선은 최적임을 보인다.
• 등호 $c = n + \rho(X)$가 성립하는 것은 $K_X + \sum V_i \sim_\mathbb{Q} 0$, $(f^t)^* = q^t \cdot \mathrm{id}$ on $\mathrm{Pic}(X)$, 그리고 $f$가 특이점의 집합과 $V_i$의 합집합 외부에서 에탈임과 동치이다.
• 만약 $c \geq n + \rho(X) - 1$이면, $X$는 유리 연결이다.
• 만약 $c \geq n + \rho(X) - 2$이면, $X$는 유리 연결이거나, 타원 곡선 $E$ 위로의 피브리레이션 $X \to E$가 존재하며, $f^k$는 $E$ 위에 차수 $q$의 엔도모르피즘으로 내림내림되며, 그 피브리케이션은 유리 연결이다.
• 정리 1.2의 조건 하에서 각 기약 성분 $V_i$와 그 정규화는 모두 유리 사슬 연결이다. 특히 $-K_X \sim_\mathbb{Q} rH$ 이고 $X$가 로그 캐논리컬 특이성을 가질 경우에 해당된다.
• 상한선 $c \leq n + \rho(X)$는 날카로우며, 정확히 $X = \mathbb{P}^n$, $V_i$가 좌표 초평면이며, $f$가 $q$-승 맵인 경우에만 달성된다.