[논문 리뷰] A computation of invariants of a rational self-map

Ekaterina Amerik|ArXiv.org|2007. 07. 26.

Mathematical Dynamics and Fractals참고 문헌 2인용 수 3

한 줄 요약

이 논문은 일반적인 매끄러운 삼차 4차곡면 $V \subset \mathbb{P}^5$의 선들의 패러미터 스킴인 팔로 포아니 다양체 $X = \mathcal{F}(V)$ 위의 유리 자기사상 $f$의 대수적 안정성을 확립하고, 그 동적 차수를 $\lambda_1 = 7$, $\lambda_2 = 31$, $\lambda_3 = 28$, $\lambda_4 = 16$로 계산하며, $f$가 $\lambda_2$가 주요 차수인 코homological hyperbolicity를 만족함을 증명한다. 계산은 극한이 없는 국소를 블로우업을 통해 해결하고, 교차 이론과 채르니 클래스를 이용하여 코homology 위의 유도된 작용을 분석하는 데 기반한다.

ABSTRACT

I compute the dynamical degrees in C. Voisin's example of a rational self-map of the variety of lines on a cubic fourfold.

연구 동기 및 목표

• 일반적인 매끄러운 삼차 4차곡면 $V \subset \mathbb{P}^5$의 선들의 패러미터 스킴인 팔로 포아니 다양체 $X = \mathcal{F}(V)$ 위의 유리 자기사상 $f$의 대수적 안정성을 확립한다.
• 코homology 위의 $f^*$ 작용을 이용하여 $f$의 동적 차수를 계산하며, 특히 $H^4(X, \mathbb{Z})$에서의 작용을 중심으로 한다.
• 두 번째 종류의 선들로 이루어진 $S \subset X$로 구성된 극한이 없는 국소의 기하학을 분석하고, $S$를 따라 블로우업을 통해 $f$를 해결한다.
• 동적 차수 $\lambda_2 = 31$가 최대임을 증명함으로써, $f$가 코homological hyperbolic임을 증명한다.
• $H$ (초평면 클래스)와 $\Delta$ (두 번째 종류의 선들의 표면의 클래스)가 $f^*$에 의해 보존되는 부분공간을 생성하며, 이 부분공간에서 $f^*$의 고유값을 계산한다.

제안 방법

• 극한이 없는 국소 $S$인 두 번째 종류의 선들의 표면을 블로우업하여, 블로우업된 공간 $\tilde{X}$ 위의 사상 $g$를 얻는다.
• 예외적 인수 $E$가 $S$ 위의 프로젝티브 번들의 구조를 가지므로, 타우토로지컬 라인 번들의 정확한 수열을 이용하여 채르니 클래스와 교차 수를 계산한다.
• 유니버설 가닥의 기하학을 활용하여, 사영 사상 $\pi: \tilde{X} \to X$ 아래에서 $g^*H$의 투영을 통해 $f^*H = 7H$를 계산한다.
• $\pi_*(\pi^*H \cdot E)$와 $\pi_*(E^2)$를 분석함으로써 $f^*H^2 = 4H^2 + 45\Delta$를 유도하며, $E$가 $\mathcal{O}_E(-1)$로 제한되고 $\pi_*E^2 = -S = -(H^2 - \Delta)$임을 이용한다.
• $g^*\Delta = c_2(g^*U_X)$를 두 개의 정확한 수열을 통해 표현하고, 이를 투영함으로써 $f^*\Delta = 31\Delta$를 계산한다.
• $g^*H^3 = (7\pi^*H - 3E)^3$를 전개하고, 프로젝티브 번들의 공식과 채르니 클래스 항등식을 이용하여 $\pi_*(\pi^*H^2 E)$, $\pi_*(\pi^*H E^2)$, $\pi_*(E^3)$를 평가함으로써 $f^*H^3 = 28H^3$를 계산한다.

실험 결과

연구 질문

• RQ1 일반적인 삼차 4차곡면의 팔로 포아니 다양체 $X = \mathcal{F}(V)$ 위의 유리 자기사상 $f$는 대수적으로 안정적인가, 즉 모든 $n$에 대해 $(f^n)^* = (f^*)^n$이 성립하는가?
• RQ2 자기사상 $f$의 동적 차수 $\lambda_l(f)$는 무엇이며, 어떤 차수가 지배적인가?
• RQ3 $f^*$가 $H^4(X, \mathbb{Z})$ 위에 작용할 때의 분해는 어떻게 되며, $H^2$와 $\Delta$가 생성하는 $f^*$에 대한 불변 부분공간에서의 스펙트럼 행동은 어떠한가?
• RQ4 자기사상 $f^*$의 고유값들, 특히 7, 31, 28의 기하학적 기원은 무엇인가?
• RQ5 자기사상 $f$는 부분다양체들의 라그랑주 성질을 보존하는가? 이는 $\Delta$의 코homology 클래스를 통해 어떻게 반영되는가?

주요 결과

• 유리 자기사상 $f$는 $X = \mathcal{F}(V)$ 위에서 대수적으로 안정적이며, 모든 $n$에 대해 $(f^n)^* = (f^*)^n$이 성립함으로써, 동적 차수는 $f^*$의 스펙트럼 반경을 통해 계산 가능하다.
• $f$의 동적 차수는 $\lambda_1 = 7$, $\lambda_2 = 31$, $\lambda_3 = 28$, $\lambda_4 = 16$이며, 이 중 $\lambda_2$가 지배적인 차수이다.
• $f^*$의 코homology 위의 역행사상은 $f^*H = 7H$, $f^*H^2 = 4H^2 + 45\Delta$, $f^*\Delta = 31\Delta$, $f^*H^3 = 28H^3$를 만족하며, 이는 블로우업 $\tilde{X}$ 위의 교차 이론을 통해 계산된다.
• $\Delta$의 코homology 클래스는 $f^*$에 대해 고유벡터이며 고유값 31을 가지며, 이는 $f$가 두 번째 종류의 선들의 라그랑주 표면 $S$를 보존한다는 사실을 반영한다.
• $H^4(X, \mathbb{Z})$의 직교 호지 부분구조로의 분해는 $f^*$가 기약 성분들 위에서 동치 작용을 한다는 것을 의미하며, 이는 $f^*$가 교차 형식에 대해 자기수반임을 뒷받침한다.
• 채르니 클래스와 프로젝티브 번들의 공식을 통해 $\pi_*(E^3)$를 $-\frac{35}{4}H^3$로 계산하는 것은 $f^*H^3 = 28H^3$를 도출하는 데 필수적이다.