[논문 리뷰] Wall crossing for K-moduli spaces of plane curves

Kenneth Ascher, Kristin DeVleming외 1명|arXiv (Cornell University)|2019. 09. 10.

Geometry and complex manifolds참고 문헌 90인용 수 19

한 줄 요약

이 논문은 평면 대수곡선 $D$가 degree $d \geq 4$인 경우에 대해 로그 팔로우 대상 $(\mathbb{P}^2, cD)$의 K-모듈리 공간을 구축하고, 계수 $c$가 변화함에 따라 벽-교차 구조를 수립한다. 작은 $c$에 대해 K-모듈리 공간은 GIT 모듈리 공간과 동형임을 보이며, 첫 번째 벽-교차는 가중치가 부여된 키르카인 유형의 블로우업에 해당한다. 또한 degree 4, 5, 6에 대해 완전한 벽-교차 기술을 제공하며, 최종 K-모듈리 공간이 하킹의 콪팩티피케이션과 K3 곡면의 모듈리 공간과 관련이 있음을 밝힌다.

ABSTRACT

We construct proper good moduli spaces parametrizing K-polystable $\mathbb{Q}$-Gorenstein smoothable log Fano pairs $(X, cD)$, where $X$ is a Fano variety and $D$ is a rational multiple of the anti-canonical divisor. We then establish a wall-crossing framework of these K-moduli spaces as $c$ varies. The main application in this paper is the case of plane curves of degree $d \geq 4$ as boundary divisors of $\mathbb{P}^2$. In this case, we show that when the coefficient $c$ is small, the K-moduli space of these pairs is isomorphic to the GIT moduli space. We then show that the first wall crossing of these K-moduli spaces are weighted blow-ups of Kirwan type. We also describe all wall crossings for degree 4,5,6, and relate the final K-moduli spaces to Hacking's compactification and the moduli of K3 surfaces.

연구 동기 및 목표

• 고정된 Hilbert 다항식과 $D \sim_\mathbb{Q} -rK_X$ 조건을 만족하는 K-다중안정인 $\mathbb{Q}$-코헨스키에르-스무스어블러 로그 팔로우 대상 $(X, cD)$를 매개변수화하는 적절한 좋은 모듈리 공간을 구성하는 것, 여기서 $X$는 팔로우 다양체이고 $D$는 반표준 분할의 유리 곡선이다.
• 특히 degree $d \geq 4$인 평면 곡선의 경우 계수 $c$의 변화에 따라 이러한 K-모듈리 공간의 벽-교차 프레임워크를 수립하는 것.
• 작은 $c$에 대해 K-모듈리 공간과 고전적 콩팩티피케이션 간의 비교: GIT 몫 $\overline{P}_d^{\mathrm{GIT}}$ 및 하킹의 안정 쌍 콩팩티피케이션 $\overline{P}_d^{\mathrm{H}}$.
• degree 4, 5, 6에 대해 모든 벽-교차를 명시적으로 기술하고, 최종 K-모듈리 공간이 하킹의 콩팩티피케이션과 K3 곡면의 모듈리 공간과 어떻게 관련되어 있는지 기술하는 것.

제안 방법

• 고정된 Hilbert 다항식과 $D \sim_\mathbb{Q} -rK_X$ 조건을 만족하는 K-준안정인 $\mathbb{Q}$-코헨스키에르-스무스어블러 로그 팔로우 대상 $(X, cD)$를 매개변수화하는 유한형의 축소된 아르틴 스택 $\mathcal{K}\mathcal{M}_{\chi_0,r,c}$를 구성한다.
• K-안정성 이론과 로그 스무스한 유타-티엔-도널드슨 추측의 해법을 적용하여, 적절한 좋은 모듈리 공간 $KM_{\chi_0,r,c}$의 존재를 보장한다.
• 특이점에서 K-준안정성 테스트를 위해 불변량 $S_{(X,cD)}(v)$와 로그 불일치도 $A_{(X,cD)}(v)$를 이용한 값매기기 기준을 적용한다.
• 오비폴드 점에 중심을 둔 순열 몫 사상 $\pi: \mathbb{A}^2 \to X$를 사용하여 체적 $\mathrm{vol}_X(\mathcal{O}(1) - tv)$를 계산하고, 순열점에 대한 안정성 임계값 $S_{(X,cD)}(v)$를 유도한다.
• K-(다중)안정성 조건이 변화하는 임계값 $c_i$를 식별하여 벽-교차를 분석하며, 전이가 가중치가 부여된 블로우업으로 모델링된다.
• 특정 가중치가 부여된 프로젝티브 평면 $\mathbb{P}(1,1,4)$, $\mathbb{P}(1,4,25)$ 등에서의 곡선 특이점에 대한 로그 최소 임계값과 체적 함수의 명시적 계산에 의존한다.

실험 결과

연구 질문

• RQ1 계수 $c$가 변화함에 따라, degree $d \geq 4$인 평면 곡선 $D$를 가진 로그 팔로우 대상 $(\mathbb{P}^2, cD)$의 K-모듈리 공간은 어떻게 변화하는가?
• RQ2 작은 $c$에 대해 K-모듈리 공간과 고전적 GIT 모듈리 공간 $\overline{P}_d^{\mathrm{GIT}}$ 사이의 관계는 무엇인가?
• RQ3 계수 $c$가 증가함에 따라 K-모듈리 공간의 첫 번째 벽-교차는 어떤 성질을 가지며, 키르카인 스타일의 블로우업과 어떻게 관련되어 있는가?
• RQ4 degree 4, 5, 6에 대해 최종 K-모듈리 공간은 하킹의 콩팩티피케이션과 K3 곡면의 모듈리 공간과 어떻게 관련되어 있는가?
• RQ5 특정 $c$ 값에서 K-모듈리 스택에 나타나는 특이 표면과 곡선은 무엇이며, 어떤 조건에서 K-안정성이 성립하는가?

주요 결과

• 모든 $c < \frac{3}{d}$에 대해, $(\mathbb{P}^2, cD)$의 K-모듈리 공간은 GIT 모듈리 공간 $\overline{P}_d^{\mathrm{GIT}}$와 동형이 되며, 작은 $c$에 대해 K-안정성과 GIT 간의 직접적 연결을 확립한다.
• degree $d \geq 4$인 평면 곡선에 대해 K-모듈리 공간의 첫 번째 벽-교차는 K-안정성 조건이 임계 $c$-값에서 변화하는 가중치가 부여된 키르카인 유형의 블로우업이다.
• degree 4에 대해 최종 K-모듈리 공간은 하킹의 콩팩티피케이션 $\overline{P}_4^{\mathrm{H}}$와 동형이며, 최종 벽에서 차수 2인 K3 곡면의 모듈리 공간이 구성 성분으로 나타난다.
• degree 5에 대해 K-모듈리 공간은 다수의 벽-교차를 겪으며, 최종 공간은 하킹의 콩팩티피케이션 $\overline{P}_5^{\mathrm{H}}$와 동형이다. 이때 표면 $\mathbb{P}(1,4,25)$는 $c \geq \frac{63}{115}$일 때만 나타난다.
• degree 6에 대해 최종 K-모듈리 공간은 하킹의 콩팩티피케이션 $\overline{P}_6^{\mathrm{H}}$와 동형이며, 표면 $\mathbb{P}(1,1,4)$는 $c \geq \frac{1}{3}$일 때만 나타난다.
• 표면 $\mathbb{P}(1,4,25)$는 $c < \frac{3}{7}$일 때 K-모듈리 스택에 나타나지 않으며, $c < \frac{3}{5}$일 때는 그 위의 곡선은 K-불안정하다. K-준안정성에 필요한 $c$의 하한은 곡선의 방정식에 따라 구체적으로 달라진다.