[논문 리뷰] Constantes de Seshadri du diviseur anticanonique des surfaces de del Pezzo

Amaël Broustet|arXiv (Cornell University)|2006. 01. 10.

Algebraic Geometry and Number Theory인용 수 13

한 줄 요약

이 논문은 매끄러운 델 페조 표면에서 모든 점에서 반카논적 배율의 세샤드리 상수를 계산하며, 이 상수가 유리 곡선에 대한 점의 위치에 따라 달라진다는 것을 보여준다. $ r \leq 5 $일 경우 일반적인 점에서는 상수가 2이고, 그 외에는 1이다; $ r = 6 $일 경우 각각 $ 3/2 $와 1이다; $ r = 7 $일 경우 각각 $ 4/3 $와 1이다; $ r = 8 $일 경우 최대 12개의 특수 점에서는 $ 1/2 $이며, 나머지 점에서는 1이다. 이 계산은 유리 곡선에 의존하지만, 논문은 또한 유리 곡선만으로는 반카논적 배율의 양의성을 항상 감지할 수 없음을 보여준다.

ABSTRACT

We compute in this note the Seshadri constants of the anticanonical bundle at every point of Del Pezzo surfaces. During the proof, we enlight the role of rational curves in our computations. We present then two exemples where the positivity of the anticanonical bundle cannot be detected using rational curves.

연구 동기 및 목표

• 매끄러운 델 페조 표면에서 반카논적 배율의 모든 점에서의 세샤드리 상수를 계산하는 것.
• 이 표면에서 세샤드리 상수를 계산하는 데 있어 유리 곡선의 역할을 명확히 하는 것.
• 반카논적 배율의 전체적인 양의성을 유리 곡선이 항상 감지하지 못할 수 있음을 보여주는 것.
• 블로운된 점들의 구성에 따라 세샤드리 상수의 명시적 값을 제공하는 것.
• 반카논적 배율이 모든 유리 곡선과 양의로만 교차하나, 비-내림 또는 비-효용적일 수 있는 표면에 대한 반례를 제시하는 것.

제안 방법

• 점을 통과하는 기약 곡선에 대한 세샤드리 상수의 정의를 사용: $ \varepsilon(D;x) = \inf_{x\in C} \frac{D\cdot C}{\operatorname{mult}_x C} $.
• 델 페조 표면에서 $ r \leq 8 $일 경우 반카논적 배율이 매우 항등적이라는 사실을 활용하여 $ \varepsilon(-K_S;x) \geq 1 $임을 보장한다.
• 선형 계열 $ V(d;r_1x_1,\dots,r_nx_n) $ 의 차원 추정을 적용하여 주어진 다중성을 갖는 곡선의 존재를 보장한다.
• 데마주르의 정리를 적용하여 일반적인 위치 조건 하에서 여덟 점을 통과하는 매끄러운 삼차 곡선의 존재를 보장한다.
• 점근적 행동을 분석하기 위해 선형 계열 $ |3mE_0 - mE_1 - \cdots - mE_8 - (m-1)E_9| $ 을 통해 유리 곡선을 구성한다.
• 논문 [GLS]의 보조정리를 활용하여 세샤드리 상수가 특정 유리 곡선의 수열을 따라 비율의 극한으로서 접근될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 매끄러운 델 페조 표면에서 반카논적 배율의 모든 점에서의 세샤드리 상수의 정확한 값은 무엇인가?
• RQ2 점의 위치(일반적 vs. 특수)가 반카논적 배율의 세샤드리 상수에 어떻게 영향을 미치는가?
• RQ3 델 페조 표면에서 유리 곡선은 반카논적 배율의 양의성을 어느 정도 감지할 수 있는가?
• RQ4 반카논적 배율이 비-내림 또는 비-효용적이지만, 모든 유리 곡선과 양의로 교차하는 표면가 존재하는가?
• RQ5 특정 곡선에 의해 도달되지 않더라도, 세샤드리 상수는 유리 곡선의 수열을 따라 비율의 극한으로 근사할 수 있는가?

주요 결과

• For $ r \leq 5 $, $ \varepsilon(-K_{X_r};x) = 2 $ at general points and $ 1 $ otherwise.
• For $ r = 6 $, $ \varepsilon(-K_{X_6};x) = 3/2 $ at general points and $ 1 $ otherwise.
• For $ r = 7 $, $ \varepsilon(-K_{X_7};x) = 4/3 $ at general points and $ 1 $ otherwise.
• For $ r = 8 $, $ \varepsilon(-K_{X_8};x) = 1/2 $ at up to 12 special points and $ 1 $ elsewhere.
• The Seshadri constant is not always achieved by a single rational curve when $ r = 8 $, but can be approached as a limit over rational curves.
• There exist rational surfaces where $ -K_X $ is not nef or pseudoeffective, yet $ -K_X \cdot C > 0 $ for all rational curves $ C $.