[논문 리뷰] Lagrangian constant cycle subvarieties in Lagrangian fibrations

Hsueh-Yung Lin|arXiv (Cornell University)|2015. 10. 06.

Geometry and complex manifolds참고 문헌 12인용 수 5

한 줄 요약

이 논문은 라그랑주 분할을 갖는 초카일러 다양체에서, 부드러운 라그랑주 섬유 위에 약한 앰플리티브인 분할 클래스 $ H $ 를 갖는다. 주요 결과는 $ \dim X = 4 $ 일 때, 그러한 부분다양체 위에 지지된 0-사이클 클래스가 $ H $ 와 분할에 대해 스칼라 배수를 제외하고 독립적이며, 이는 데뷔일-보아신 클래스의 캐논칼 0-사이클 일반화를 제공한다.

ABSTRACT

We show that the image of a dominant meromorphic map from an irreducible compact Calabi-Yau manifold $X$ whose general fiber is of dimension strictly between $0$ and $\dim X$ is rationally connected. Using this result, we construct for any hyper-Kähler manifold $X$ admitting a Lagrangian fibration a Lagrangian constant cycle subvariety $Σ_H$ in $X$ which depends on a divisor class $H$ whose restriction to some smooth Lagrangian fiber is ample. If $\dim X = 4$, we also show that up to a scalar multiple, the class of a zero-cycle supported on $Σ_H$ in $\mathrm{CH}_0(X)$ depend neither on $H$ nor on the Lagrangian fibration (provided $b_2(X) \ge 8$).

연구 동기 및 목표

• K3 표면에서의 데뷔일-보아신 캐논칼 0-사이클을 고차원 초카일러 다양체로 일반화하기 위해.
• 라그랑주 분할을 갖는 초카일러 다양체 $ X $ 에서 분할 클래스 $ H $ 에 따라 의존하는 라그랑주 상수 사이클 부분다양체 $ \Sigma_{H} \subset X $ 를 구성하기 위해.
• $ \dim X = 4 $ 일 때, $ b_2(X) \geq 8 $ 라면, $ \Sigma_H $ 위의 0-사이클 클래스가 $ H $ 와 분할에 대해 스칼라 배수를 제외하고 독립적임을 보여주기 위해.
• 이러한 부분다양체의 존재를 통해 $ \mathrm{CH}_0(X) $ 에 대한 블로크-베일린슨 분할 필터링 추측을 지지하기 위해.

제안 방법

• 기저의 유리 연결성을 보장하는 캄비-예이 다양체에서의 주어진 매끄러운 분할을 갖는 다수의 매끄러운 분할을 통해 기저의 유리 연결성을 보장하기 위해.
• Gysin 사상 을 적용하여 $ \mathrm{CH}_0(\Sigma_H) $ 와 $ \mathrm{CH}_0(X) $ 를 연결함으로써, $ \Sigma_H $ 위의 모든 점이 $ X $ 내에서 유리적으로 동치임을 보여줌.
• 로이트만 정리에 의해 $ \mathrm{CH}_0(X) $ 가 토크션 자유임을 이용하여 사이클의 유리수 배수를 모호하지 않게 정의함.
• 마츠시타의 추측과 [23, 정리 0.8] 을 활용하여 코homological 소멸성을 $ \mathrm{CH}_0(X) $ 내의 유리 동치로 옮김.
• 부드러운 섬유 $ F $ 에 대해 제약 사상 $ j^*: H^2(X,\mathbb{Q}) \to H^2(F,\mathbb{Q}) $ 의 질량 1 성질을 이용하여, $ H|_F $ 가 앰플리티브이거나 그의 음수임을 유추함.
• 비퇴직성의 데뷔일-보고몰로프 형식을 이용하여 $ L^2 \cdot H^2 $ 가 $ \Sigma_H $ 위의 점의 클래스에 비례하고 비영임을 적용함.

실험 결과

연구 질문

• RQ1 라그랑주 상수 사이클 부분다양체를 이용해 고차원 초카일러 다양체에서 캐논칼 0-사이클을 구성할 수 있는가?
• RQ2 차원 4인 경우, 그러한 부분다양체 위에 지지된 0-사이클 클래스가 분할 클래스 $ H $ 나 분할에 따라 달라지는가?
• RQ3 만약 $ b_2(X) \geq 8 $ 라면, 라그랑주 상수 사이클 부분다양체 위의 점의 클래스는 분할의 구조에 대해 독립적인가?
• RQ4 이러한 부분다양체의 존재가 $ \mathrm{CH}_0(X) $ 에 대한 블로크-베일린슨 분할 추측을 지지할 수 있는가?
• RQ5 $ H^n \cdot [F] $ 의 코homological 및 대수적 사이클 이론적 행동은 $ \mathrm{CH}_0(X) $ 내에서 어떻게 되는가?

주요 결과

• 라그랑주 분할 $ \pi: X \to B $ 와 $ F $ 에서 앰플리티브인 분할 클래스 $ H \in \mathrm{Pic}(X) $ 를 갖는 초카일러 다양체 $ X $ 에 대해, 기저 $ B $ 를 지배하는 라그랑주 상수 사이클 부분다양체 $ \Sigma_{\pi,H} \subset X $ 가 존재한다.
• $ \Sigma_{\pi,H} $ 위의 모든 점은 $ X $ 내에서 유리적으로 동치이며, 그 $ \mathrm{CH}_0(X) $ 내의 클래스는 $ \frac{1}{\deg(H^n \cdot [F])} \cdot H^n \cdot [F] $ 와 같다.
• $ \dim X = 4 $ 일 때, $ b_2(X) \geq 8 $ 이면, $ \Sigma_H $ 위의 0-사이클 클래스는 $ H $ 와 분할에 대해 스칼라 배수를 제외하고 독립적이다.
• $ \Sigma_{\pi,H} $ 위의 점의 클래스는 $ \mathrm{CH}_0(X) $ 내에서 $ H^2 \cdot L^2 $ 와 비례한다. 여기서 $ L $ 은 기저에서 올라온 앰플리티브 클래스의 당김이다.
• 두 개의 다른 분할 $ \pi, \pi' $ 에 대해, 각각의 $ \Sigma_H $ 위의 0-사이클 클래스는 $ L^2 \cdot L'^2 $ 와 비례하며, 이는 비영임을 보여준다.
• 이러한 구성은 $ i = n $ 일 때 보신의 추측 1.2를 확인하며, 차원 $ n $ 의 라그랑주 상수 사이클 부분다양체의 존재를 실현한다.