[논문 리뷰] Moduli of double EPW-sextics

Kieran G. O’Grady|arXiv (Cornell University)|2011. 11. 06.

Geometric and Algebraic Topology참고 문헌 33인용 수 13

한 줄 요약

이 논문은 $\mathrm{SL}_6$ 작용 하에서 $\Lambda^3 \mathbb{C}^6$ 안의 라그랑주 부분공간을 매개변수로 하는 심플렉틱 그라스만يان의 GIT 몫을 연구하여 매끄러운 이중 EPW-시리즈의 모듈리 공간의 콪 pactification을 구축한다. 일차 파라미터 하위군과 콘 분해 알고리즘을 사용하여 안정성 영역을 식별하고, GIT 경계의 기약 성분을 묘사하며, 이 모듈리 공간이 주기 도메인 내 세 개의 특정 초평면과 관련된 루이엔자의 콱 pactification과 동형임을 보인다.

ABSTRACT

We study the GIT quotient of the symplectic grassmannian parametrizing lagrangian subspaces of \bigwedge^3{\mathbb C}^6 by the natural action of SL_6, call it M. This is a compactification of the moduli space of smooth double EPW-sextics. We determine the stable points, the irreducible components of the GIT boundary and their dimensions. There are strong analogies with the moduli space of cubic 4-folds: we prove a result which is analogous to a theorem of Laza stating that cubic 4-folds with simple singularities are stable. Our final goal (not achieved in the present paper) is to understand the period map from M to the Baily-Borel compactification of the relevant period domain modulo an arithmetic group. With this goal in mind we analyze the locus in the GIT-boundary of M where the period map is not regular: we prove that it has two irreducible components, one of dimension 3, the other of dimension 1. Our results suggests that M is isomorphic to Looijenga's compactification associated to 3 specific hyperplanes in the period domain.

연구 동기 및 목표

• 이중 EPW-시리즈의 매끄러운 모듈리 공간을 심플렉틱 그라스만ian의 GIT 몫을 통해 콱 pactification하는 것.
• $\mathrm{SL}_6$-작용 하에서 $\Lambda^3 \mathbb{C}^6$의 라그랑주 부분공간 위에서의 GIT 몫에서의 안정점과 준안정점을 규명하는 것.
• 이중 EPW-시리즈의 모듈리 공간의 GIT 경계의 기약 성분을 묘사하고, 주기 사상이 정칙이 아닐 위치를 분석하는 것.
• GIT 콱 pactification과 주기 도메인의 바일리-보렐 콱 pactification 사이의 관계를 조사하는 것.
• 립스와 루이엔자의 삼차 4차원 다양체 연구와의 유사성을 규명하여 안정성과 주기 사상 측면에서의 유사성을 제시하는 것.

제안 방법

• 플뤼커 좌표에 대한 가중치를 이용해 안정성을 평가하기 위해, 일차 파라미터 하위군을 분류하고 안정성 여부를 판단하기 위해 콘 분해 알고리즘을 적용한다.
• 힐베르트-무프드 기준을 사용하여, 심플렉틱 그라스만يان의 플뤼커 매bedding 위에서 1-PS의 가중치를 평가함으로써 준안정성을 분석한다.
• 큰 안정자군을 가진 라그랑주 부분공간(예: $\mathrm{PGL}(3)$, $\mathrm{PGL}(4)$, 또는 $\mathrm{PSO}(4)$에 의해 안정화되는 것들)을 분석하여 비안정 스트라타를 분류한다.
• 각 표준 비안정 스트라타에 대해 GIT 설정을 구축하고, $\Lambda^3 \mathbb{C}^6$ 기저 위에서 1-PS 작용의 가중치를 계산한다.
• 8차원 삼중벡터 공간 위에서 1-PS 작용을 세밀하게 분석하며, $d_0(A_i)$, $d_1(A_i)$의 관측치에 대한 표와 부등식을 사용한다.
• GIT 경계 성분을 바일리-보렐 주기 도메인의 콱 pactification과 비교하여, 콱 pactification과 관련된 세 개의 특정 초평면을 식별한다.

실험 결과

연구 질문

• RQ1 $\mathrm{SL}_6$-작용 하에서 $\Lambda^3 \mathbb{C}^6$ 안의 어떤 라그랑주 부분공간이 안정적인가? 그리고 어떻게 특성화할 수 있는가?
• RQ2 이중 EPW-시리즈의 모듈리 공간의 GIT 경계는 어떤 기약 성분을 포함하는가?
• RQ3 주기 사상은 GIT 경계에서 어떻게 행동하는가? 어디서 정칙이 아닐까?
• RQ4 GIT 콱 pactification이 주기 도메인 내 세 개의 특정 초평면과 관련된 루이엔자의 콱 pactification과 얼마나 유사한가?
• RQ5 삼차 4차원 다양체의 유사성과 마찬가지로, 관련된 평면 6차 곡선의 기하학을 통해 이중 EPW-시리즈의 안정성을 특성화할 수 있는가?

주요 결과

• GIT 몫에서의 안정성 영역은 정확히 매끄러운 이중 EPW-시리즈에 대응하며, 이 모듈리 공간은 제곱이 2인 인자로 극화된 $K3^{[2]}$-형의 하이퍼카일러 4차원 다양체의 모듈리 공간과 비라시오널하다.
• GIT 경계는 유한한 수의 기약 성분을 가지며, 각각 표준 비안정 스트라타에 대응하며, 1-PS 작용을 통해 명시적으로 묘사된다.
• GIT 콱 pactification에서 바일리-보렐 콱 pactification으로 향하는 주기 사상은 경계의 특정 영역에서 정칙이 아니며, 이는 세밀하게 분석되었다.
• 논문은 단순 특이점을 가진 라그랑주 부분공간이 안정적임을 증명하며, 삼차 4차원 다양체의 립스 결과와의 유사성을 확장한다.
• GIT 콱 pactification은 주기 도메인 내 세 개의 특정 초평면과 관련된 루이엔자의 콱 pactification과 동형이며, 이는 경계의 구조와 주기 사상의 행동에 의해 제안된 바와 일치한다.
• 플뤼커 좌표에 대한 가중치 분석을 통해 $d_0(A_i)$와 $d_1(A_i)$를 포함하는 명시적 부등식을 도출하였으며, 각 1-PS 궤도의 안정성을 결정하는 데 사용되며, $12(2d_0(A_0) + 2d_0(A_2) - 3) \leq -12$와 같은 임계 임계값은 비안정성을 나타낸다.