[논문 리뷰] Moduli spaces of hyperelliptic curves with A and D singularities

Maksym Fedorchuk|arXiv (Cornell University)|2010. 07. 27.

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

한 줄 요약

이 논문은 최대한 $A$ 및 $D$ 특이점만을 가진 준가역적 초타원형 쌍대 덮개의 모듈리 공간을 두 개의 안정성 매개변수로 매개변수화하여 제시한다. 이 매개변수들을 변화시킴으로써, 안정한 극한 스택 $\mathcal{T}_{A_n}$ 및 $\mathcal{T}_{D_n}$와 그들의 $\mathbb{G}_m$-몫 스택 사이를 연결하는 로그 캐논리컬 모델을 구성하며, 중간 공간들이 안정한 극한 스택의 로그 캐논리컬 모델임을 증명한다.

ABSTRACT

We introduce moduli spaces of quasi-admissible hyperelliptic covers with at worst A and D singularities. The stability conditions for these moduli spaces depend on two parameters describing allowable singularities. By varying these parameters, we interpolate between the stacks of stable limits of A and D singularities and the quotients of the versal deformation spaces of A and D singularities by a natural $\mathbb{G}_m$ action.

연구 동기 및 목표

• 특이점 $A$ 및 $D$의 국소적 변형 공간의 기하학과 그 안정한 극한 스택의 전역 기하학 간의 상호작용을 연구하는 것.
• $\mathcal{T}_{A_n}$ 및 $\mathcal{T}_{D_n}$ 스택과 그들의 $\mathbb{G}_m$-몫 사이를 연결하는 모듈리 공간의 가 Families 를 구성하는 것.
• $A$ 및 $D$ 특이점을 가진 곡선에 대해 $(A_k, D_\ell)$-안정 환원의 함수적 동시 환원을 제공하는 것.
• 매개변수 범위 내의 중간 모듈리 공간들이 $\mathcal{T}_{A_n}$ 및 $\mathcal{T}_{D_n}$의 로그 캐논리컬 모델임을 확립하는 것.

제안 방법

• 두 안정성 매개변수를 사용하여 $A$ 및 $D$ 특이점을 가진 곡선을 매개변수화하기 위해 준가역적 초타원형 덮개의 개념을 도입한다.
• 꼬리의 기하학을 분석하기 위해 분할 마킹된 유리곡선 및 짝수 유리 오르비곡선 이론을 사용한다.
• 안정성 매개변수를 변화시켜 스택 $\mathcal{T}_{A_n}$ 및 $\mathcal{T}_{D_n}$에 대해 로그 최소 모델 프로그램(LMMP)을 적용하고, 로그 캐논리컬 모델을 생성한다.
• 중간 공간의 비유계 기하학을 묘사하기 위해 모듈리 공간 간의 환원 사상(reduction morphisms)을 구성한다.
• 전체 공간의 특이점을 해결하기 위해 순환 덮개와 붕괴를 사용하여 $D$ 특이점의 변형을 분석한다.
• 교란 이론과 형식 함수 정리(formal functions theorem)를 활용하여, 안정한 환원이 변형 공간의 적절한 수정을 통해 해결될 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 $A_n$ 및 $D_n$ 특이점의 안정한 극한의 모듈리 공간을 연속적인 안정성 조건의 가 Families 로 매개변수화할 수 있는가?
• RQ2 스택 $\mathcal{T}_{A_n}$ 및 $\mathcal{T}_{D_n}$의 비유계 기하학은 어떠한가? 이 맥락에서 로그 캐논리컬 모델은 어떻게 발생하는가?
• RQ3 혼합된 $A$ 및 $D$ 특이점을 가진 곡선에 대해 동시 $(A_k, D_\ell)$-안정 환원을 구성할 수 있는가?
• RQ4 왜 $A_{2k}$ 특이점의 변형 공간에서의 모듈리 사상 $\operatorname{Def}(C) \dashrightarrow \overline{\mathcal{M}}_g$ 는 적절한 비에르비에이션 수정을 거쳐도 확장되지 않는가?
• RQ5 웨일 덮개와 교란 이론은 안정한 극한의 맥락에서 모듈리 사상의 불확실성(indeterminacy)을 어느 정도 해결하는가?

주요 결과

• 두 안정성 매개변수를 변화시켜 얻는 중간 모듈리 공간들은 스택 $\mathcal{T}_{A_n}$ 및 $\mathcal{T}_{D_n}$의 로그 캐논리컬 모델이며, 로그 캐논리컬 모델의 연속적인 가 Families 를 제공한다.
• $A_n$ 특이점의 안정한 극한의 꼬리는 $\lfloor n/2 \rfloor$의 계수를 가진 초타원형 곡선이며, $n$ 이 짝수이면 웨이어스타인 점으로 표시되고, 홀수이면 두 쌍대 점으로 표시된다.
• $D_n$ 특이점의 경우, 꼬리는 $\lfloor (n-1)/2 \rfloor$의 계수를 가진 초타원형 곡선이며, $n$ 이 짝수이면 세 점으로 표시되며, 그 중 두 점은 쌍대 점이며, 홀수이면 한 점이 웨이어스타인 점일 때 두 점으로 표시된다.
• $A_{2k}$ 특이점에 대해 모듈리 사상 $\operatorname{Def}(C) \dashrightarrow \overline{\mathcal{M}}_g$ 는 조건부로 웨일 덮개에 제한된 경우조차도 변형 공간의 적절한 비에르비에이션 수정을 통해 해결될 수 없다.
• 이 구성은 혼합된 $A$ 및 $D$ 특이점을 가진 곡선에 대해 함수적 동시 $(A_k, D_\ell)$-안정 환원을 제공하며, 이는 이전의 ADE 경우의 결과를 일반화한다.
• $A_{2k}$ 특이점의 모듈리 사상의 불확실성은 본질적이며, 특이점의 분열 위치 외부에서 웨일 덮개와 동형인 교란을 통해도 해결될 수 없다.