[논문 리뷰] Stable pair compactifications of the moduli space of degree one del pezzo surfaces via elliptic fibrations

Kenneth Ascher, Dori Bejleri|arXiv (Cornell University)|2018. 02. 02.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 6

한 줄 요약

이 논문은 유리 타원 표면에 안정 쌍 이론을 적용하여, 1차 del Pezzo 표면의 모듈리 공간의 기하적 컴팩티피케이션을 구축한다. 가중치가 부여된 안정 타원 표면의 KSBA 컴팩티피케이션에서의 벽 교차 분석을 통해 저자들은 $ρ(a)$라는 모듈리 공간의 일족을 정의하며, $ρ(1/12 + \epsilon)$가 유니버설 패밀리가 연장되는 최소 컴팩티피케이션임을 보여주어, GIT 및 Baily-Borel 컴팩티피케이션에서 발생하는 핵심 문제를 해결한다.

ABSTRACT

A degree one del Pezzo surface is the blowup of P^2 at 8 general points. By the classical Cayley-Bacharach Theorem, there is a unique 9th point whose blowup produces a rational elliptic surface with a section. Via this relationship, we construct a stable pair compactification of the moduli space of anti-canonically polarized degree one del Pezzo surfaces.

연구 동기 및 목표

• 1차 del Pezzo 표면의 모듈리 공간에 대해 가능한 열화된 표면을 포함하는 유니버설 패밀리가 존재하는 기하적 컴팩티피케이션을 구축하는 것.
• 기존의 컴팩티피케이션인 GIT 및 Baily-Borel 컴팩티피케이션에서 유니버설 패밀리가 경계에서 연장되지 않는 문제를 해결하는 것.
• 가중치가 부여된 표면을 갖는 유리 타원 표면의 안정 쌍 컴팩티피케이션을 통해 경계 스트라타의 모odular 해석을 수립하는 것.
• 벽 교차 기법을 사용하여 GIT, KSBA, Baily-Borel 컴팩티피케이션 간의 비라시onal 관계를 명확히 하는 것.

제안 방법

• 1차 del Pezzo 표면의 반자연선의 기저점을 블로잉업하여 얻는 유리 타원 표면의 구조를 활용한다.
• KSBA (Kollár-Shepherd-Barron-Alexeev) 이론을 적용하여, 표면에 섹션과 가중치가 부여된 표면을 갖는 유리 타원 표면의 모듈리 공간을 컴팩티피케이션한다.
• 가중치가 부여된 안정 타원 표면에서의 안정성 조건의 변화를 통해 $1/12 < a \leq 1$인 $ρ(a)$라는 일자리 모듈리 공간의 가족을 구성한다.
• 가중치가 부여된 안정 타원 표면의 모듈리 공간에서의 벽 교차를 분석하며, $a = 1/12 + \epsilon$ 및 $a = 1/6$과 같은 임계 값을 식별한다.
• KSBA 컴팩티피케이션 $ρ(1/12 + \epsilon)$에서 Miranda의 GIT 컴팩티피케이션 $W$로의 사상이 존재함을 보이며, 이 사상이 Miranda의 GIT 컴팩티피케이션의 엄격하게 반정적일 영역에서의 블로우업임을 보여준다.
• 공간 $ρ(1/6)$가 판별자 위치 $π^*$로 전형적으로 사상되며, Baily-Borel 컴팩티피케이션 $(_{\Gamma_0}\backslash\mathbb{B}_0)^*$와 동형임을 보이며, 유니버설 패밀리 연장 문제를 해결한다.

실험 결과

연구 질문

• RQ1 어떻게 1차 del Pezzo 표면의 열화된 표면을 포함하는, 유니버설 패밀리가 존재하는 적절한 Deligne-Mumford 스택을 구성할 수 있는가?
• RQ2 KSBA 컴팩티피케이션 $ρ(1/12 + \epsilon)$와 Miranda의 GIT 컴팩티피케이션 $W$ 사이의 정확한 비라시onal 관계는 무엇인가?
• RQ3 1차 del Pezzo 표면의 유니버설 패밀리가 모듈러 방식으로 경계에서 연장될 수 있는가?
• RQ4 KSBA 컴팩티피케이션 $ρ(a)$의 경계 스트라타는 유리 타원 표면의 기하학과 그 특이 섹션과 어떻게 관련이 있는가?
• RQ5 KSBA 컴팩티피케이션은 어떤 정도까지 유리 타원 표면의 맥락에서 GIT과 Baily-Borel 컴팩티피케이션 사이를 보간하는가?

주요 결과

• 모듈리 공간 $ρ(1/12 + \epsilon)$는 내부에서 최대한의 유리 이중점 특이성을 갖는 1차 del Pezzo 표면의 공간을 컴팩티피케이션하며, 적절한 Deligne-Mumford 스택이다.
• 공간 $ρ(1/12 + \epsilon)$의 경계는 두 개의 성분을 갖는 $2$-Gorenstein 준-로그 캐논리컬 표면을 매개변수화하는 단일 딜로버로 이루어져 있으며, 각 성분은 정규이고, 항등자성 다항식이 앰플하다.
• $R(1/12 + \epsilon) \to W$ 사상은 Miranda의 GIT 컴팩티피케이션의 엄격하게 반정적 영역에서의 블로우업이며, 경계는 이중 경로의 $j$-불변량으로 사상된다.
• 공간 $ρ(1/6)$는 판별자 위치 $π^*$로 전형적으로 사상되며, Baily-Borel 컴팩티피케이션 $(_{\Gamma_0}\backslash\mathbb{B}_0)^*$와 동형이며, 유니버설 패밀리 연장 문제를 해결한다.
• 공간 $ρ(1/6)$는 1차 del Pezzo 표면의 유니버설 패밀리가 연장되는 최소 컴팩티피케이션이며, 비-코어스 영역을 제외한 곳에서는 $W^*$와 동형이다.
• 저자들은 가변 계수를 갖는 KSBA 컴팩티피케이션들이 GIT과 Baily-Borel 컴팩티피케이션 사이를 보간하는 일반적 프레임워크를 제공하며, 모듈러적이고 기하학적으로 의미 있는 다리를 제공한다고 제안한다.