[논문 리뷰] Hurwitz Spaces and Moduli Spaces as Ball Quotients via Pull-back

Brent Doran|ArXiv.org|2004. 04. 20.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 3

한 줄 요약

이 논문은 교차 호몰로지와 단형성에 기반한 위상수학적 풀어내기 구축을 통해 델리뉴-모스토 모듈리 공간 $DM(n,\mu)$ 내의 하위볼 몰입을 구성한다. 국소계를 통한 초기하 함수 분석과 교차 쌍대형의 허미트 형식을 이용하여, 비균일 이항형에 대응하는 허리츠 공간이 볼 몰입을 갖는 조건을 규명하며, 기존 결과인 유리 타원 표면 모듈리 공간이 볼 몰입임을 재확인한다.

ABSTRACT

We define hypergeometric functions using intersection homology valued in a local system. Topology is emphasized; analysis enters only once, via the Hodge decomposition. By a pull-back procedure we construct special subsets S_{pi}, derived from Hurwitz spaces, of Deligne-Mostow moduli spaces DM(n,mu). Certain DM(n,mu) are known to be ball quotients, uniformized by hypergeometric functions valued in a complex ball (i.e., complex hyperbolic space). We give sufficient conditions for S_{pi} to be a subball quotient. Analyzing the simplest examples in detail, we describe ball quotient structures attached to some moduli spaces of inhomogeneous binary forms. This recovers in particular the structure on the moduli space of rational elliptic surfaces given by Heckman and Looijenga. We make use of a natural partial ordering on the Deligne-Mostow examples (which gives an easy way to see that the original list of Mostow, eventually corrected by Thurston, is in error), and so highlight two key examples, which we call the Gaussian and Eisenstein ancestral examples.

연구 동기 및 목표

• 브랜치 커브 $\pi$ 에 대응하는 허리츠 공간이 델리뉴-모스토 모듈리 공간 $DM(n,\mu)$ 내에서 하위볼 몰입을 유도하는 조건을 규명하는 것.
• 비균일 이항형의 모듈리 공간 내 볼 몰입의 기하학적 및 위상수학적 기원을 명확히 하는 것.
• 교차 호몰로지와 단형성 불변량을 활용하여 이러한 모듈리 공간이 하위볼 몰입임을 체계적으로 특성화하는 것.
• 아이젠슈타인 조상 예제를 통해 유리 타원 표면 모듈리 공간의 볼 몰입을 재확인하고 재해석하는 것.
• 가우스 및 아이젠슈타인 조상 예제가 풍부한 하위볼 몰입을 지닌 기초 사례임을 부각하는 것.

제안 방법

• 국소계에 값을 갖는 교차 호몰로지를 사용하여 단형성에 의해 보존되는 허미트 형식 $\Psi$ 를 정의하고, 이를 통해 $\Gamma$-작용을 갖는 격자 $\Lambda$ 를 구성한다.
• 브랜치 커브 $\pi: \mathbb{P}^1 \to \mathbb{P}^1$ 를 통한 랭크 1 국소계의 풀어내기 절차를 적용하며, 비자명한 단형성을 갖는 점들에 국한한다.
• 교차 호몰로지의 호지 분해를 활용하여 허영 1형식을 추출하고, 이를 통해 복소 볼로의 초기하 사상 $HG_\mu$ 를 정의한다.
• 이차형식의 비균일 이항형에서 $N$-점 구성으로의 의사판별 사상 $\Delta$ 를 구축한다. 여기서 $N = ad_1 = bd_2$.
• 사상 $\Delta$ 의 차수와 섬유 구조를 분석하여, 특정 조건 하에 일반적으로 $\gcd(a,b)$-to-1 또는 임베딩임을 보인다.
• 차원 수 계산과 모순 추론을 통해 $d_2 > d_1 + 1$ 일 때 $\Delta$ 가 원주근을 제외한 일대일 사상임을 증명하고, 이는 초면체 이미지와 하위볼 몰입을 유도한다.

실험 결과

연구 질문

• RQ1 브랜치 커브 $\pi$ 에 대응하는 허리츠 공간이 언제 델리뉴-모스토 모듈리 공간 $DM(n,\mu)$ 내에서 하위볼 몰입을 유도하는가?
• RQ2 교차 호몰로지와 단형성 불변량을 어떻게 활용하여 하위볼 몰입을 균일화하는 초기하 함수를 구성할 수 있는가?
• RQ3 비균일 이항형에서 $N$-점 모듈리 공간으로의 의사판별 사상 $\Delta$ 의 기하학적 의미는 무엇인가?
• RQ4 왜 가우스 및 아이젠슈타인 조상 예제는 풍부한 하위볼 몰입을 지닌가? 그리고 이들은 고전적 모듈리 공간과 어떻게 관련되어 있는가?
• RQ5 $\Delta$ 가 언제 임베딩 또는 유한-대일 사상이 되며, 이는 모듈리 공간의 구조에 어떤 영향을 미치는가?

주요 결과

• 유리 타원 표면의 모듈리 공간은 유리 위어스트라스 피브레이션으로 기술되며, 아이젠슈타인 조상 예제와 동형인 하이퍼볼 몰입이다.
• 이차형 $(3,2,12)$ 에서 의사판별 사상 $\Delta$ 는 적절한 열린 부분집합에서 임베딩이며, 이로 인해 하위볼 몰입이 유도된다.
• 이차형 $(6,2,6)$ 과 $(4,2,8)$ 에서 사상 $\Delta$ 는 일반적으로 2-to-1 이며, 이미지는 $DM(n,\mu)$ 내에서 codimension 1 초면체이므로 하위볼 몰입이 된다.
• $d_2 > d_1 + 1$ 조건은 $\Delta$ 가 원주근을 제외한 일대일 사상임을 보장하며, $\Delta$ 의 차수는 $\gcd(a,b)$ 이다.
• 속성 $G$ 를 통한 하위볼 몰입의 분류는 정확히 codimension 1 초면체로 나타나는 의사판별 이미지의 분류와 일치한다.
• 논문은 델리뉴-모스토 예제들 사이에 자연스러운 부분순서를 규명하였으며, 이는 모스토의 원래 목록을 보완하고 정리한 것으로, 투르스톤에 의해 최종적으로 보완되었다.