[논문 리뷰] Redundant blow-ups of rational surfaces with big anticanonical divisor

DongSeon Hwang, Jinhyung Park|arXiv (Cornell University)|2014. 11. 14.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 큰 반대변수를 가진 유리 표면에서 부족한 블로우업을 분류하며, 이러한 표면이 유리 특이점을 가진 델 페초 표면의 최소 해상이 아닐 수도 있음을 증명한다. 피카르 수가 ≥10인 명시적 예를 통해 저자들은 테스타, 바리요 알바르라도, 벨라스코가 제기한 질문에 대해 부정적인 답변을 제시한다. 반대변수 모델의 특이점들을 통해 자리즈키 분해와 불일치 분석을 사용하여 부족한 점을 식별한다.

ABSTRACT

We completely classify redundant blow-ups appearing in the theory of rational surfaces with big anticanonical divisor due to Sakai. In particular, we construct a rational surface with big anticanonical divisor which is not a minimal resolution of a del Pezzo surface with only rational singularities, which gives a negative answer to a question raised in a paper by Testa, Várilly-Alvarado, and Velasco.

연구 동기 및 목표

• 테스타, 바리요 알바르라도, 벨라스코가 제기한 추측을 해결하는 것: 모든 큰 반대변수를 가진 유리 표면이 유리 특이점을 가진 델 페초 표면의 최소 해상이어야 하는지 여부.
• 사카이가 도입한 큰 반대변수를 가진 유리 표면의 맥락에서 부족한 블로우업을 분류하는 것.
• 노말 유리 표면의 최소 해상에서 부족한 점을 체계적으로 식별하는 방법을 설정하는 것.
• 유리 특이점을 가진 델 페초 표면의 최소 해상이 아니며, 큰 반대변수를 가진 명시적 예를 구성하는 것.

제안 방법

• 부드러운 유리 표면에서 반대변수 $-K_S = P + N$의 자리즈키 분해를 사용하며, 여기서 $P$는 네프이고 $N$은 효과적이고 음의 정부호 행렬을 가진다.
• 점 $p$가 $\operatorname{mult}_p N \geq 1$ 를 만족하면 부족한 점으로 정의하고, 그러한 점에서의 블로우업을 부족한 블로우업으로 간주한다.
• 반대변수 모델 $\bar{S}$의 특이점과의 상대적 위치를 불일치 계산과 특이점의 딜 고리 분석을 통해 분석한다.
• 히르체브루흐 표면과 유리 타원 표면의 적절한 점에서의 블로우업을 통해 명시적 예를 구성하며, $\operatorname{mult}_p N \geq 1$ 가 되도록 보장한다.
• 반대변수의 크기와 피카르 수를 확인하기 위해 검증을 수행하며, 예가 요구하는 불변량을 만족하는지 확인한다.
• 로그 단절 및 극단 특이점 분류 결과를 적용하여 부족한 점이 존재하거나 존재하지 않는 조건을 결정한다.

실험 결과

연구 질문

• RQ1 모든 큰 반대변수를 가진 유리 표면이 유리 특이점만을 가진 델 페초 표면의 최소 해상으로서 실현될 수 있는가?
• RQ2 반대변수 모델 $\bar{S}$의 특이점 조건이 무엇이면 그 최소 해상에서 부족한 점이 존재하는가?
• RQ3 자리즈키 분해와 특이점 유형에 기반한 부족한 점의 정확한 기하학적 및 수치적 특성은 무엇인가?
• RQ4 피카르 수가 임의로 높은 큰 반대변수를 가진 유리 표면을 구성할 수 있으며, 이는 델 페초 표면의 최소 해상이 아니게 되는가?

주요 결과

• 논문은 매 $n \geq 10$ 에 대해 피카르 수가 $n$ 인 큰 반대변수를 가진 유리 표면을 구성하며, 이는 테스타, 바리요 알바르라도, 벨라스코의 질문에 대해 부정적인 답변을 제시한다.
• 노말 프로젝티브 유리 표면 $\bar{S}$의 최소 해상에서 부족한 점이 존재하는 것은 $\bar{S}$가 비-로그 단절 특이점을 포함하거나, 지정된 딜 고리 유형이 아닌 로그 단절 특이점을 포함할 때에만 성립한다.
• 만약 $\bar{S}$가 최대한 로그 단절 특이점을 가진다면, 모든 부족한 점은 사상 $h: \widetilde{S} \to \bar{S}$에 의해 수축되는 곡선의 교점에 위치한다.
• 만약 $\bar{S}$가 비-로그 단절 특이점을 포함한다면, 그 특이점에 수축되는 곡선 위의 모든 점이 부족한 점이 된다.
• 최소 해상에서의 서로 다른 부족한 블로우업 순서의 수가 유한한 것은 $\bar{S}$가 최대한 로그 단절 특이점을 가질 때에만 성립한다.
• 명시적 예는 $\mathbb{P}^2$와 히르체브루흐 표면의 블로우업을 통해 구성되며, 자리즈키 분해를 사용하여 특정 점에서 $\operatorname{mult}_p N \geq 1$ 를 확인함으로써 부족한 블로우업임을 확인한다.