[논문 리뷰] Weak del Pezzo surfaces with global vector fields

Gebhard Martin, Claudia Stadlmayr|arXiv (Cornell University)|2020. 07. 07.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 임의의 특성수를 가진 대수적으로 닫힌 체 위에서 매끄럽고 약한 델 페조 표면의 전역 벡터장이 존재하는 경우를 자동화군 스킴의 구조와 $(-1)$- 및 $(-2)$-곡선의 구성에 기반하여 분류한다. 특성수 $p \neq 2,3$, $p=3$, $p=2$ 에서 각각 53, 61, 75개의 서로 다른 가닥을 식별하고, 비단순 자동화군 스킴이 정확히 특성수 2와 3에서 발생함을 보여준다.

ABSTRACT

We classify smooth weak del Pezzo surfaces with global vector fields over an arbitrary algebraically closed field $k$ of arbitrary characteristic $p \geq 0$. We give a complete description of the configuration of $(-1)$- and $(-2)$-curves on these surfaces and calculate the identity component of their automorphism schemes. It turns out that there are $53$ distinct families of such surfaces if $p eq 2,3$, while there are $61$ such families if $p = 3$, and $75$ such families if $p = 2$. Each of these families has at most one moduli. As a byproduct of our classification, it follows that weak del Pezzo surfaces with non-reduced automorphism scheme exist over $k$ if and only if $p \in \{2,3\}$.

연구 동기 및 목표

• 대수적으로 닫힌 체 위에서 전역 벡터장을 갖는 매끄러운 약한 델 페조 표면을 분류하는 것.
• 그러한 표면 위의 $(-1)$- 및 $(-2)$-곡선의 구성 구조를 규명하는 것.
• 각 경우에 대해 자동화군 스킴 $\operatorname{Aut}_X^0$ 의 항등성분을 계산하는 것.
• $\operatorname{Aut}_X^0$ 이 비단순해지는 경우, 특히 양의 특성수에서의 경우를 식별하는 것.
• 각 가닥에 대해 이러한 표면의 모듈리 차원을 결정하는 것.

제안 방법

• Blanchard의 보조정리에 의해 $\operatorname{Aut}_X^0$ 가 최소 모델로 내림내림되며, 이는 $\operatorname{PGL}_3$ 내의 안정자군을 통한 명시적 계산을 가능하게 한다.
• $\mathbb{P}^2$ 에서 최대 8개의 점에 대한 거의 일반 위치에 있는 점들에 대한 블로우업 구성에 대한 $\operatorname{Aut}_X^0$ 의 작용을 분석하는 것.
• $(-1)$-곡선(미세한)과 $(-2)$-곡선(두꺼운)을 구분하여 곡선 구성으로 표면을 분류하고, 교차 상호작용의 차수를 최대 3까지 고려하는 것.
• $\operatorname{Aut}_X^0$ 의 비단순성을 탐지하기 위해 $H^0(X, T_X) = \operatorname{Aut}_X^0(k[\epsilon]/(\epsilon^2))$ 를 계산하는 것.
• 불변량 이론과 $\operatorname{PGL}_3$-등변 기하학을 사용하여 $k$-스킴 $R$ 에 대해 $\operatorname{Aut}_X^0(R)$ 의 구조를 규명하는 것.
• 동형류와 변형 매개변수를 분석함으로써 모듈리 차원을 결정하며, $\{\text{pt}\}$ 는 유일성을 나타낸다.

실험 결과

연구 질문

• RQ1 대수적으로 닫힌 체 위에서 비자명한 전역 벡터장을 갖는 약한 델 페조 표면은 무엇인가?
• RQ2 다양한 특성수에서 이러한 표면들 사이의 $(-1)$- 및 $(-2)$-곡선의 구성은 어떻게 다를까?
• RQ3 어느 특성수에서 항등성분 $\operatorname{Aut}_X^0$ 이 매끄럽지 않게 되는가(즉, 비단순해지는가)?
• RQ4 이 표면들은 몇 개의 모듈리 차원을 가지며, 언제 모듈리 공간이 0차원이 되는가?
• RQ5 $\operatorname{Aut}_X^0$ 의 정확한 구조는 무엇이며, 표면 위에서 어떻게 작용하는가?

주요 결과

• 특성수 $p \neq 2,3$ 일 때 전역 벡터장을 갖는 약한 델 페조 표면의 서로 다른 가닥은 정확히 53개 존재한다.
• 특성수 $p = 3$ 일 때는 61개의 가닥이 존재하고, $p = 2$ 일 때는 75개로, 양의 특성수에서 증가한 복잡성을 반영한다.
• 비단순 자동화군 스킴은 정확히 $p \in \{2,3\}$ 일 때 발생하며, 이 경우 $\operatorname{Aut}_X^0$ 는 비매끄럽다.
• 특성수 2에서는 항등성분 $\operatorname{Aut}_X^0$ 이 $\mu_2$ (단위의 제곱근의 군) 와 동형이며, 그 외의 경우는 자명하다.
• 각 가닥에 대해 모듈리 공간은 기약적이며 차원이 1 이하이며, 차원이 1인 경우는 매개변수 $\alpha$ 에 따라 달라지는 경우에만 해당한다.
• 모든 잭비안 유리(준)타원곡선 표면 중 전역 벡터장을 갖는 것은 데그리 1의 약한 델 페조 표면의 블로우업을 통해 포함된다.