[논문 리뷰] A desingularization of Kontsevich's compactification of twisted cubics in $V_5$

Kiryong Chung|arXiv (Cornell University)|2019. 02. 05.

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

한 줄 요약

이 논문은 심슨 모듈리 공간에서 시작하여 가중치가 부여된 블로잉업의 순서를 통해 콘테브니치의 $V_5$에서의 비틀린 세차 곡선의 콪팩티피케이션을 정규화한다. 주요 결과는 얻어진 공간이 콘테브니치 원래 공간의 교차 호모로지(cohomology)를 유도하며, 명시적인 푸앵카르에 다항식 $1+3t^2+8t^4+10t^6+8t^8+3t^{10}+t^{12}$를 가짐으로써, 이가 유리 특이점을 지닌 최소 해소임을 확인한다.

ABSTRACT

By definition, the del Pezzo $3$-fold $V_5$ is the intersection of $\\mathrm{Gr}(2,5)$ with three hyperplanes in $\\mathbb{P}^9$ under the Pl\\"ucker embedding. Rational curves in $V_5$ have been studied in various contents of Fano geometry. In this paper, we propose an explicit birational relation of the Kontsevich and Simpson compactifications of twisted cubic curves in $V_5$. As a direct corollary, we obtain a desingularized model of Kontsevich compactification which induces the intersection cohomology group of Kontsevich's space.

연구 동기 및 목표

• 표준 비교 조건을 만족하지 못하는 델 페초 3차 곡면 $V_5$에서의 비틀린 세차 곡선의 콘테브니치 콱팩티피케이션의 특이점을 해결하기 위해.
• 일반적인 기하 조건이 성립하지 않는 상황에서 심슨과 콘테브니치 콱팩티피케이션 사이의 밀도적 동치를 확립하기 위해.
• 콘테브니치 공간의 교차 호모로지(cohomology)를 실현하는 작은 해소를 통한 정규화 모델을 구축하기 위해.
• 모티빅 및 밀도적 기법을 사용하여 콘테브니치 모듈리 공간의 교차 호모로지 푸앵카르에 다항식을 계산하기 위해.

제안 방법

• 기본 심슨 모듈리 공간 $\mathbf{S}(V_5,3)$에서 출발하여, 기저층의 역 푸시다운을 통해 콘테브니치 공간 $\mathbf{M}(V_5,3)$로의 밀도적 사상 구축.
• 두 번의 가중치 블로잉업을 통해 정규화를 달성: 먼저 $\bar{\Theta}_1$ 에서, 그 다음 $\bar{\Theta}_2$ 에서, 여기서 $\bar{\Theta}_1 \subset \bar{\Theta}_2$.
• $\bar{\Theta}_1$ 과 $\bar{\Theta}_2$ 는 둘 다 매끄럽고, $\bar{\Theta}_1 \cong \mathbb{P}^1$ 이며 $\bar{\Theta}_2 \cong \mathrm{Fl}(1,2;\mathbb{C}^3)$ 이다.
• 예외적 열거는 가중치가 부여된 프로젝티브 다발로 기술되며, $\mathbb{P}_{(1,2,2)}^2$-다발은 $\mathrm{bl}_{\mathbb{P}^1}\mathrm{Fl}(1,2;\mathbb{C}^3)$ 위에, $\mathbb{P}_{(1,2,2,3,3)}^4$-다발은 $\bar{\Theta}_1$ 위에 있다.
• 밀도적 사상 $\widetilde{\Psi}^I$ 는 작다(영역이 작은)는 것이 입증되어, 해소의 가상의 푸앵카르에 다항식이 대상의 교차 푸앵카르에 다항식과 일치함을 보장한다.
• 최종 푸앵카르에 다항식은 모티빅 성질과 기존의 그라스만다이어그램 및 가중치가 부여된 프로젝티브 공간의 공식을 사용하여 계산된다.

실험 결과

연구 질문

• RQ1 표준 비교 조건이 성립하지 않을 경우, $V_5$에서의 비틀린 세차 곡선에 대한 콘테브니치 콱팩티피케이션의 정규화를 구성할 수 있는가?
• RQ2 심슨과 콘테브니치 모듈리 공간 사이에 특이점을 해결하는 밀도적 사상이 존재하는가?
• RQ3 얻어진 해소가 원래 콘테브니치 공간의 교차 호모로지(cohomology)를 유도하는가?
• RQ4 $\mathbf{M}(V_5,3)$ 의 명시적 교차 호모로지 푸앵카르에 다항식은 무엇인가?

주요 결과

• $\mathbf{M}(V_5,3)$ 은 기약적이지 않으며, 두 개의 성분을 가진다: 매끄러운 비틀린 세차 곡선의 폐포와 선의 하이르베르트 스킴 위에 대한 상대적 안정 사상 공간.
• 심슨 공간 $\mathbf{S}(V_5,3)$ 는 기약적이며 $\mathrm{Gr}(2,5)$ 와 동형이며, $V_5$ 의 이차 정의 방정식으로 인해 $\mathcal{H}(V_5,3) \cong \mathcal{S}(V_5,3)$ 이다.
• $\bar{\Theta}_1$ 은 쌍곡면 콘 위의 삼중 직선의 집합으로서 $\mathbb{P}^1$ 과 동형이며, $\bar{\Theta}_2$ 는 직선의 쌍의 집합으로서 플라그 다양체 $\mathrm{Fl}(1,2;\mathbb{C}^3)$ 과 동형이다.
• 첫 번째 블로잉업의 예외적 다발은 $\bar{\Theta}_1$ 위에 $\mathrm{bl}_{\mathbb{P}^1}\mathbb{P}_{(1,2,2,3,3)}^4$-다발이며, 두 번째 블로잉업은 $\bar{\Theta}_1$ 에서 $\bar{\Theta}_2$ 를 블로잉업한 공간 위에 $\mathbb{P}_{(1,2,2)}^2$-다발이다.
• 밀도적 사상 $\widetilde{\Psi}^I$ 는 작다. 따라서 해소의 가상의 푸앵카르에 다항식은 $\mathbf{M}(V_5,3)$ 의 교차 푸앵카르에 다항식과 같다.
• 콘테브니치 모듈리 공간 $\mathbf{M}(V_5,3)$ 의 교차 호모로지 푸앵카르에 다항식은 $1+3t^2+8t^4+10t^6+8t^8+3t^{10}+t^{12}$ 이다.