[논문 리뷰] Cycle class maps and birational invariants

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|2019. 08. 01.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 7

한 줄 요약

이 논문은 중간 아벨 다양체 위의 주 동차공간으로의 사이클 클래스 사상들을 사용하여 기하학적으로 유리인 3차원 다양체에 대한 새로운 비라션 불변량을 도입한다. 또한, $ℝ^5$ 안의 두 쌍곡면의 매끄러운 완전교차가 체 $k$ 상에서 유리임과 동시에 $k$ 상에서 정의된 직선을 가질 때이고, 오직 그 때에만 유리임을 보이며, 이는 곡선의 기하학과 그 피카르 군을 통한 날카로운 기준을 제공한다.

ABSTRACT

We introduce new obstructions to rationality for geometrically rational threefolds arising from the geometry of curves and their cycle maps.

연구 동기 및 목표

• 기하학적으로 유리인 3차원 다양체에 대한 유리성의 새로운 차단 조건을 사이클 클래스 사상과 곡선의 기하학을 통해 개발한다.
• 중간 아벨 다양체 위의 주 동차공간을 연구하여 클레멘스-그리피스 방법을 비폐쇄 체로 확장한다.
• $\mathbb{P}^5$ 안의 두 쌍곡면의 완전교차의 유리성을 기저 체 위에서의 유리 직선의 존재성을 통해 특성화한다.
• 토렐리 정리와 $\ell$-adic 아벨-자코비 사상들을 통해 3차원 다양체의 유리성과 곡선의 피카르 군의 구조를 연결한다.

제안 방법

• 0-사이클에서 중간 아벨 다양체 $J^2(X)$ 위의 주 동차공간으로의 사이클 클래스 사상 정의.
• 비폐쇄 체 상에서 사이클 클래스 사상의 기하학적 실현으로서 $\ell$-adic 아벨-자코비 사상 사용.
• 특히 $\operatorname{Pic}^e(C)$와 같이 $J^1(C)$ 위의 주 동차공간인 곡선의 피카르 스킴 $\operatorname{Pic}^e(C)$ 상에서 사이클 클래스 사상의 상을 연구.
• 토렐리 정리를 적용하여 아벨 다양체로부터 곡선을 유일하게 식별하며, 종수 $\geq 2$일 경우 곡선 $C$의 유일성을 보장한다.
• 직선의 다양체 $F_1(X)$가 $J^1(C)$ 위의 주 동차공간으로서의 행동을 분석하며, 핵심 관계 $2[F_1(X)] = [\operatorname{Pic}^1(C)]$를 유도한다.
• 주 동차공간 $F_1(X)$의 자명성은 $k$ 상에서의 유리 직선 존재를 뜻하므로, 이는 유리성과 주 동차공간 위의 유리점 존재성 간의 연결고리가 된다.

실험 결과

연구 질문

• RQ1 랭크 1인 네로-세베르 군과 분해된 중간 아벨 다양체를 가진 기하학적으로 유리인 3차원 다양체가 유리가 되지 않는 경우는 언제인가?
• RQ2 비폐쇄 체 상에서 $J^2(X)$ 위의 주 동차공간으로의 사이클 클래스 사상이 어떻게 유리성의 장벽이 될 수 있는가?
• RQ3 X 상의 곡선 기하학에 어떤 조건이 사이클 클래스 사상의 상이 비자명한 주 동차공간에 떨어지게 하여 유리성을 방해하는가?
• RQ4 완전교차가 두 쌍곡면으로 이루어진 $\mathbb{P}^5$의 유리성이 기저 체 위에서의 유리 직선 존재성으로 순수하게 특성화될 수 있는가?
• RQ5 X 상의 곡선의 피카르 군은 중간 아벨 다양체의 구조와 유리성과 어떻게 관련되는가?

주요 결과

• 체 $k \subset \mathbb{C}$ 상에서의 두 쌍곡면의 매끄러운 완전교차는 $k$ 상에서 유리임과 동시에 $k$ 상에서 정의된 직선을 가질 때이고, 오직 그 때에만 유리이다.
• 직선의 다양체 $F_1(X)$는 쌍곡면의 붓의 관련된 종수 2 곡선 $C$에 대해 $J^1(C)$ 위의 주 동차공간이다.
• 관계식 $2[F_1(X)] = [\operatorname{Pic}^1(C)]$ 가 성립하며, 유리성은 $F_1(X)$ 가 주 동차공간으로서 자명함을 의미하므로 $F_1(X)(k) \neq \emptyset$ 가 성립한다.
• 토렐리 정리는 종수 $g \geq 2$일 경우 $J^1(C)$ 로부터 곡선 $C$ 가 유일하게 결정됨을 보장하므로, 이 불변량은 잘 정의되어 있다.
• 차수 $d$ 인 곡선에서의 사이클 클래스 사상은 $J^2(X)$ 위의 주 동차공간에 떨어지며, $J^2(X) \simeq J^1(C)$ 일 경우 유리성은 이 주 동차공간이 자명함을 강제한다.
• 불변량 $\tau$ 는 $\operatorname{Pic}^e(C)$ 의 구조를 통해 유리성을 탐지하며, 그 자명성은 유리 직선의 존재성과 동치이다.