[논문 리뷰] Families of rational curves on holomorphic symplectic varieties and applications to zero-cycles

François Charles, Giovanni Mongardi외 1명|arXiv (Cornell University)|2019. 07. 25.

Algebraic Geometry and Number Theory참고 문헌 40인용 수 18

한 줄 요약

이 논문은 $K3^{[n]}$-유형의 복소 해석적 심플렉틱 다양체 위의 충분히 넉넉한 선형 계열이 원시 클래스를 가진 유리 곡선들로 덮인 유르델드(유르델) 곡면을 포함하기 위한 필수 및 필요조건을 설정한다. 이는 고정된 $n$에 대해 이러한 곡면을 포함하지 못하는 분포 유형의 수가 유한함을 증명하고, 이를 통해 베유빌-보아신의 0-사이클의 차우 군에 대한 결과를 일반화한다.

ABSTRACT

We study families of rational curves on irreducible holomorphic symplectic varieties. We give a necessary and sufficient condition for a sufficiently ample linear system on a holomorphic symplectic variety of $K3^{[n]}$-type to contain a uniruled divisor covered by rational curves of primitive class. In particular, for any fixed $n$, we show that there are only finitely many polarization types of holomorphic symplectic variety of $K3^{[n]}$-type that do not contain such a uniruled divisor. As an application we provide a generalization of a result due to Beauville-Voisin on the Chow group of 0-cycles on such varieties.

연구 동기 및 목표

• K3 표면에서의 유리 곡선에 대한 보고몰로프-맘포드의 결과를 고차원 복소 해석적 심플렉틱 다양체로 일반화하기 위해.
• 특정 $K3^{[n]}$-유형 다양체 위의 충분히 넓은 선형 계열이 원시 클래스를 가진 유리 곡선들로 뒤덮인 유르델드 곡면을 포함하는지 여부를 규명하기 위해.
• K3 표면에서의 베유빌-보아신의 0-사이클의 차우 군에 대한 결과를 고차원 복소 해석적 심플렉틱 다양체로 확장하기 위해.
• 복소 해석적 심플렉틱 기하학의 맥락에서 유리 곡선과 유르델드 곡면의 존재성 및 기하적 성질을 조사하기 위해.
• 이러한 구성이 이러한 다양체에서의 차우 군과 유리 동치의 구조에 미치는 영향을 탐색하기 위해.

제안 방법

• 유리 곡선과 그 이중체들의 코homology 클래스를 $H^2(X,\mathbb{Z})$에서 분석하기 위해 베유빌-보고몰로프 형식을 사용한다.
• 버르비츠키의 글로벌 토렐리 정리와 변형 이론을 적용하여 $K3^{[n]}$-유형 다양체의 모듈리 공간을 연구한다.
• 준사영 기반 위에서의 안정적 종수 0 곡선과 그들의 루핑을 통해 유르델드 곡면을 정의하기 위해 개념적 접근을 사용한다.
• 특히 $CH_0(X)_{hom}$과 $S_1CH_0(X)_{hom}$ 간의 상호작용을 분석하여 0-사이클을 곡선 클래스와 연결한다.
• 차우 군 $CH_0(X)$ 내의 교차 이론적 항등식을 통해 유리 곡선과 0-사이클 간의 기하적 대응을 수립한다.
• 유르델드 곡면 $D$와 루핑 곡선 $R$에 대해 $D \cdot R \neq 0$ 조건을 사용하여 $S_1CH_0(X)_{D,hom} \subset D \cdot CH_1(X)_{hom}$를 증명함으로써, 표준 0-사이클의 구성이 가능해진다.

실험 결과

연구 질문

• RQ1 프로젝티브 복소 해석적 심플렉틱 다양체가 $K3^{[n]}$-유형일 때, 충분히 넓은 선형 계열이 원시 클래스를 가진 유리 곡선들로 뒤덮인 유르델드 곡면을 포함하는가?
• RQ2 고정된 $n$에 대해, 이러한 유르델드 곡면을 포함하지 못하는 $K3^{[n]}$-유형 다양체의 분포 유형은 몇 개인가?
• RQ3 K3 표면에서의 베유빌-보아신의 $CH_0(S)$의 구조에 대한 결과를 고차원 복소 해석적 심플렉틱 다양체로 일반화할 수 있는가?
• RQ4 자기 자신과의 교차수가 0이 아닌 $2n$차원 복소 해석적 심플렉틱 다양체 안에 차원 $n$인 유리 연결 부분다양체가 존재하는가?
• RQ5 도수 1인 표준 0-사이클이 이러한 다양체에서 유리 연결 부분다양체 위의 한 점으로 기하학적으로 실현될 수 있는가?

주요 결과

• 고정된 $n$에 대해, 원시 클래스를 가진 유리 곡선들로 덮인 유르델드 곡면을 포함하지 못하는 $K3^{[n]}$-유형 다양체의 분포 유형은 유한개이다.
• 특정 $K3^{[n]}$-유형 다양체 위의 선형 계열이 이러한 유르델드 곡면을 포함하기 위한 필요 및 충분 조건이 수립되었다.
• 유르델드 곡면 $D$에 대해 $CH_0(D)_{hom}$의 이미지는 $D \cdot CH_1(X)_{hom}$에 포함되며, 적절한 조건 하에 $S_1CH_0(X)_{hom} = D \cdot CH_1(X)_{hom}$임을 의미한다.
• 모든 충분히 넓은 인자 $L$에 대해, $L$이 루핑 곡선과 비자명하게 교차하는 한, 동치류에 대한 0-사이클의 차우 군은 $S_1CH_0(X)_{hom} = L \cdot CH_1(X)_{hom}$를 만족한다.
• 루핑 곡선과 비자명하게 교차하는 유르델드 곡면의 존재는 0-사이클 동치류 $S_1CH_0(X)_{hom}$가 인자와의 교차로 생성됨을 보장한다.
• 결과들은 베유빌이 제안한 바와 같이, $CH_0(X)$ 내의 도수 1 표준 0-사이클이 유리 곡선과 유르델드 곡면을 통해 기하학적으로 실현될 수 있음을 지지한다.