[논문 리뷰] Small bandwidth ${\mathbb C}^*$-actions and birational geometry

Gianluca Occhetta, Eleonora A. Romano외 2명|arXiv (Cornell University)|2019. 11. 27.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 5

한 줄 요약

이 논문은 저대역폭을 가진 ${\mathbb{C}}^*$-작용을 가진 매끄럽고 사영적인 다양체를 연구하며, 이러한 작용이 비라테라럴 변환—특히 대역폭 1일 경우 애티야 플립, 대역폭 3일 경우 크레모나 변환—에 의해 지배됨을 보여준다. 주요 기여는 $\rho_X=1$인 팔로 변량에서 대역폭 3 ${\mathbb{C}}^*$-작용을 완전히 분류한 것으로, 이는 $\mathbb{LG}(2,5)$, $\mathbb{G}(2,5)$, $S^{15}$, $E_7(7)$와 같은 유리 동형 공간들과 동형임을 증명하며, 그 기하학은 세베리 다양체 사이의 크레모나 사상의 해소에 의해 완전히 결정됨을 보여준다.

ABSTRACT

In this paper we study smooth projective varieties and polarized pairs with an action of a one dimensional complex torus. As a main tool, we define birational geometric counterparts of these actions, that, under certain assumptions, encode the information necessary to reconstruct them. In particular, we consider some cases of actions of low complexity -- measured in terms of two invariants of the action, called bandwidth and bordism rank -- and discuss how they are determined by well known birational transformations, namely Atiyah flips and Cremona transformations.

연구 동기 및 목표

• 매끄럽고 사영적인 다양체의 비라테라럴 기하학을 이해하기 위해, 작용의 불변량을 알려진 비라테라럴 변환과 연관짓는 것.
• 대역폭이 낮은(1, 2, 3) ${\mathbb{C}}^*$-작용을 $\rho_X=1$인 Fano 다양체에서 분류하는 것.
• 대역폭 3 작용이 세베리 다양체 사이의 크레모나 변환에 의해 결정됨을 보이며, 이러한 다양체에 대한 완전한 분류를 이끌어내는 것.
• 다양체의 기하학이 작용의 소스와 싱크 성분 사이의 비라테라럴 사상에 의해 완전히 암호화되어 있음을 확립하는 것.

제안 방법

• B형 ${\mathbb{C}}^*$-작용의 개념을 도입하며, 여기서 소스와 싱크가 모두 초면이 되고, 모든 불변 초면이 고정 성분과 코디멘션 1에서 만난다는 것을 정의한다.
• 대역폭을 소스와 싱크 성분 위의 선다발에서의 ${\mathbb{C}}^*$-작용의 가중치 차이로 정의한다.
• 일반 궤도에 의해 유도되는 비라테라럴 사상 $\psi: Y_- \dashrightarrow Y_+$ 를 사용하여 작용을 알려진 비라테라럴 변환과 연결한다.
• 대역폭 1의 경우, $\rho_Y=2$이자 두 개의 사영 범주를 가진 매끄러운 다양체 $Y$로부터 작용이 유도됨을 보이며, 플립이 발생함을 보인다.
• 대역폭 3의 경우, 비라테라럴 사상 $\psi$를 세베리 다양체 $Y_1, Y_2$에 대한 블로우업을 통해 해소하며, 공통 해소 $Y$가 $-K_Y = m(H_1 + H_2)$를 만족함을 보인다.
• 코크 링의 구조와 최대 토르스의 작용을 사용하여, 작용이 균형화되고 대역폭 3일 경우 다양체 $X$가 유리 동형 공간임을 보인다.

실험 결과

연구 질문

• RQ1 낮은 대역폭을 가진 ${\mathbb{C}}^*$-작용은 애티야 플립과 크레모나 사상과 같은 표준 비라테라럴 변환과 어떻게 관련이 있는가?
• RQ2 대역폭 1인 ${\mathbb{C}}^*$-작용이 $\rho_X=1$인 Fano 다양체에서 비라테라럴 기하학을 통해 완전히 분류될 수 있는가?
• RQ3 대역폭 3인 ${\mathbb{C}}^*$-작용의 해소 구조는 무엇이며, 세베리 다양체와 어떻게 관련이 있는가?
• RQ4 대역폭 3인 ${\mathbb{C}}^*$-작용을 가진 Fano 다양체가 반드시 유리 동형 공간이 되는 조건은 무엇인가?

주요 결과

• 대역폭 1인 매끄럽고 양의 쌍을 가진 쌍에서 $\rho_X=1$이며 $X \neq \mathbb{P}^n$인 경우, 이는 $\rho_Y=2$이자 두 개의 사영 범주를 가진 매끄러운 사영 다양체 $Y$로부터 유도되며, 플립이 발생함을 완전히 결정한다.
• 대역폭 3의 경우, 비라테라럴 사상 $\psi: Y_- \dashrightarrow Y_+$의 해소는 차원 $2m-2$인 세베리 다양체 $Y_1, Y_2$에 대한 블로우업을 포함하며, $\dim X = 3m$이고 $m \in \{2,3,5,9\}$이다.
• 공통 해소 $Y$의 캐논리컬 디바리언트는 $-K_Y = m(H_1 + H_2)$를 만족하며, 여기서 $H_1, H_2$는 두 블로우업에서의 하이퍼플레인 번들에서의 풀백이다.
• ${\mathbb{P}}^1$-범주 $X'$는 $\mathbb{P}(\mathcal{O} \oplus \mathcal{O}(K_{Y_{-}'} - K_{X'}|_{Y_{-}'})$와 동형이므로, $X$는 크레모나 변환에 의해 결정됨을 보여준다.
• 대역폭 3이고 $\rho_X=1$인 모든 이러한 다양체 $X$는 유리 동형 공간과 동형이다: $\mathbb{LG}(2,5)$, $\mathbb{G}(2,5)$, $S^{15}$, $E_7(7)$.
• 작용은 8.8조의 목록에 나열된 세베리 다양체들 중 고정 성분 $Y_1, Y_2$의 선택에 의해 유일하게 결정되며, $L$은 $\operatorname{Pic}(X)$의 앰플 생성자이다.