K3 표면 거리모듈리 공간의 대수적 컴팩트화

초록

본 논문은 Odaka‑Oshima의 추측을 증명하여, K3 표면의 단위 직경 하이퍼켈러 계량들의 Gromov‑Hausdorff 컴팩트화를 대수기하학적 Satake 컴팩트화와 동일시한다. 이를 통해 고정 복소 구조 혹은 고정 편극을 가진 K3 표면들의 GH 극한을 완전히 분류한다.

상세 분석

이 연구는 K3 표면의 메트릭 모듈리 공간 M을 Gromov‑Hausdorff 위상에서 완비화한 뒤, 그 경계점을 대수기하학적으로 설명하려는 시도이다. 기존에 M은 하이퍼켈러 삼중체(ω₁,ω₂,ω₃)로 정의된 단위 직경 리치‑플랫 계량들의 동형류 집합으로, Gromov의 사전 콤팩트성 정리에 의해 GH 폐쇄인 (\overline{M})가 존재한다. 저자들은 (\overline{M})의 원소들을 전부 분류한 선행 결과(