[논문 리뷰] Fundamental groups of symplectic singularities

Yoshinori Namikawa|arXiv (Cornell University)|2013. 01. 06.

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

한 줄 요약

이 논문은 $\mathbf{C}^*$-행동와 klt 특이점을 가진 아핀 심플렉틱 다양체의 정칙 부분집합의 대수적 기본군이 유한함을 증명한다. 오비폴드 구조와 사영 Fano 다양체의 기하학을 이용하여, 기본군이 임의로 큰 유한 몫을 가질 수 없음을 보이고, 오비폴드 위의 선다발의 나누어떨어짐 성질을 이용한 모순 추론을 통해 유한성을 도출한다.

ABSTRACT

Let (X, ω) be an affine symplectic variety. Assume that X has a C^*-action with positive weights and ωis homogeneous with respect to the C^*-action. We prove that the algebraic fundamental group of the smooth locus X_{reg} is finite. This is a collorary to a more general theorem: If an affine variety X has a C^*action with positive weights and the log pair (X, 0) has klt singularities, then the algebraic fundamental group of X_{reg} is finite.

연구 동기 및 목표

• 아핀 심플렉틱 다양체에서 $\mathbf{C}^*$-행동와 klt 특이점을 가지는 경우, $\pi_1(X_{\text{reg}})$의 기본군이 유한한가라는 열린 문제를 해결하기 위해.
• klt 특이점 조건 하에서 대수적 기본군 $\hat{\pi}_1(X_{\text{reg}})$의 일반적인 유한성 결과를 확립하기 위해.
• Xu의 결과에 대한 대체 증명을 오비폴드 기본군과 선다발 나누어떨어짐에 대한 기하적 제약 조건을 이용하여 제시하기 위해.

제안 방법

• $\mathbf{C}^*$-행동를 이용해 $X_{\text{reg}}$의 기본군을 원점 근처의 작은 이웃의 기본군과 연결한다.
• 다항식환의 그레이딩된 환에 대한 Proj 구성법을 통해 사영 오비폴드 $\mathbf{P}(X)^{\text{orb}}$를 구성하며, klt 조건 하에서 이는 로그 Fano 다양체가 된다.
• 호모토피 정확수열 $\pi_1(\mathbf{C}^*) \to \pi_1(X^\sharp) \to \pi_1^{\text{orb}}(\mathbf{P}(X)^{\text{orb}}) \to 1$을 적용하여 기본군의 구조를 분석한다.
• Xu의 결과에 의해 $\pi_1^{\text{orb}}(\mathbf{P}(X)^{\text{orb}})$가 유한하므로 문제를 $\mathbf{C}^*$-섬세한 성분의 분석으로 환원한다.
• $X^\sharp \to \mathbf{P}(X)^{\text{orb}}$ 위에 오비폴드 $\mathbf{C}^*$-_bundle를 도입하고, 관련된 오비폴드 선다발 $\mathcal{L}$를 연구한다.
• 기본군의 임의로 큰 유한 몫이 존재한다고 가정하면, 이는 $\mathcal{L}$가 임의의 큰 정수로 나누어떨어짐을 의미하게 되며, 이는 옹호된 오비폴드 선다발에 대해 불가능하므로 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 아핀 심플렉틱 다양체에서 $\mathbf{C}^*$-행동와 klt 특이점을 가지는 경우, 대수적 기본군 $\hat{\pi}_1(X_{\text{reg}})$는 유한한가?
• RQ2 오비폴드 기하학과 선다발 나누어떨어짐 제약 조건을 통해 $\hat{\pi}_1(X_{\text{reg}})$의 유한성이 확립될 수 있는가?
• RQ3 오비폴드 기본군이 자명한 유한 에탈 코팅이 존재한다면, 이로부터 $\hat{\pi}_1(X_{\text{reg}})$의 유한성을 유추할 수 있는가?

주요 결과

• 모든 아핀 다양체 $X = \mathrm{Spec}\, R$에 대해, 양의 그레이딩된 환 $R$과 klt 특이점을 가지면, 대수적 기본군 $\hat{\pi}_1(X_{\text{reg}})$는 유한하다.
• $\hat{\pi}_1(X_{\text{reg}})$의 유한성은 로그 Fano 오비폴드에서 옹호된 오비폴드 선다발의 나누어떨어지지 않음 성질에서 유도된다.
• 기하적 제약 조건에 의해 오비폴드 선다발의 나누어떨어짐 성질로 인해, $\pi_1(X_{\text{reg}})$의 유한 몫이 임의로 큰 순서를 가질 수 없음을 보여주는 증거가 된다.
• 유한 에탈 코팅 $Z \to X^\sharp$로 환원하여 $\pi_1^{\text{orb}}(Y^{\text{orb}})$가 자명함을 보장하고, $\mathbf{C}^*$-섬세한 성분의 분석을 가능하게 한다.
• 임의로 큰 $l$에 대해 $\pi_1(Z) \to \mathbf{Z}/l\mathbf{Z}$의 전사 사상이 존재한다고 가정하면, 이는 관련 오비폴드 선다발이 $l$로 나누어떨어짐을 요구하게 되며, 이는 옹호된 오비폴드 선다발에 대해 불가능하다는 모순이 발생한다.
• 따라서 $\hat{\pi}_1(X^\sharp)$는 유한하고, $\hat{\pi}_1(X^\sharp) \to \hat{\pi}_1(X_{\text{reg}})$가 전사이므로 $\hat{\pi}_1(X_{\text{reg}})$ 역시 유한하다.