[논문 리뷰] The generalized Franchetta conjecture for some hyper-Kähler varieties

Lie Fu, Robert Laterveer외 2명|arXiv (Cornell University)|2017. 08. 09.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 10

한 줄 요약

이 논문은 힐베르트 제곱, 쿠빅 4차 초곡면의 라인 Fano 다양체, 그리고 레른–레른–소르거–반스트라텐 초곡면 8차원 다양체를 포함한 여러 종류의 하이퍼카일러 다양체에 대해 일반화된 프랑체타 추측을 확립한다. 이는 일반적인 섬유에서 동치로 동치인 대수적 사이클이 유리적으로 0과 동치임을 증명하며, 이는 추측에 대한 강력한 증거를 제공하고 빈스–보아신 및 보아신 추측에 대한 결과를 이끌어낸다.

ABSTRACT

The generalized Franchetta conjecture for hyper-Kähler varieties predicts that an algebraic cycle on the universal family of certain polarized hyper-Kähler varieties is fiberwise rationally equivalent to zero if and only if it vanishes in cohomology fiberwise. We establish Franchetta-type results for certain low (Hilbert) powers of low degree K3 surfaces, for the Beauville--Donagi family of Fano varieties of lines on cubic fourfolds and its relative square, and for $0$-cycles and codimension-$2$ cycles for the Lehn--Lehn--Sorger--van Straten family of hyper-Kähler eightfolds. We also draw many consequences in the direction of the Beauville--Voisin conjecture as well as Voisin's refinement involving coisotropic subvarieties. In the appendix, we establish a new relation among tautological cycles on the square of the Fano variety of lines of a smooth cubic fourfold and provide some applications.

연구 동기 및 목표

• 일부 하이퍼카일러 다양체의 가닥에 대해 일반화된 프랑체타 추측을 검증하는 것: 일반 섬유에서 동치로 동치인 사이클이 유리적으로 0과 동치임을 입증하는 것.
• 프랑체타 성질을 통해 공이소트로픽 부분다양체를 포함한 빈스–보아신 추측의 개선된 형태에 대한 증거를 제공하는 것.
• 특히 그 자체의 곱에서의 경우에 대해, 쿠빅 4차 초곡면의 라인 Fano 다양체의 카우프 링에서 새로운 타우토로지적 관계를 확립하는 것.
• 카우프–쿨렌트 프로젝터와 소형 대각선 대응관계를 통해 카우프 링의 승법적 구조를 탐색하는 것.
• 특히 유니버설 가닥의 맥락에서, 기존의 타우토로지적 사이클 결과를 상대적 하이퍼카일러 다양체의 가닥으로 확장하는 것.

제안 방법

• 델리뉴–무드포드 스택의 맥락에서 유리 계수를 갖는 카우프 군 이론과 유니버설 사이클의 개념을 사용하는 것.
• 프랑체타 성질의 개념을 적용: 어떤 사이클이 매우 일반적인 섬유에서 동치로 동치이면, 모든 섬유에서 유리적으로 0과 동치임을 의미한다.
• 빈스–보아신 클래스와 레프셰츠 분해를 통해 카우프 링을 이중첨수 조각으로 분해하는 것.
• 이미 알려진 빈스–보아신 추측의 경우와 Fano 다양체의 카우프 링에서의 타우토로지적 관계를 활용하는 것.
• 항상 정의된 사이클의 개념을 적용하고, 일반화된 프랑체타 추측을 통해 동치로 동치인 항상 정의된 사이클이 유리적으로 0과 동치임을 보이는 것.
• 소형 대각선 대응관계와 카우프–쿨렌트 프로젝터의 상호작용을 활용하여 카우프 링 분해의 승법적 성질을 증명하는 것.

실험 결과

연구 질문

• RQ1 낮은 차수의 완전교차 K3 표면의 힐베르트 제곱에 대해 일반화된 프랑체타 추측이 성립하는가?
• RQ2 쿠빅 4차 초곡면의 라인 Fano 다양체에 대해, 카우프 링의 이중첨수 조각 분해가 승법적인가?
• RQ3 쿠빅 4차 초곡면의 유니버설 라인 Fano 다양체의 상대적 제곱과 세제곱에 대해 프랑체타 성질을 확립할 수 있는가?
• RQ4 일반화된 프랑체타 추측이 하이퍼카일러 다양체에 대해 빈스–보아신 추측을 함의하는가?
• RQ5 쿠빅 4차 초곡면의 라인 Fano 다양체의 카우프 링에서 새로운 타우토로지적 관계는 무엇이며, 이는 승법적 구조에 어떤 영향을 미치는가?

주요 결과

• 차수 2, 4 또는 6인 완전교차 K3 표면의 힐베르트 제곱에 대해 일반화된 프랑체타 추측이 성립한다.
• 매우 일반적인 쿠빅 4차 초곡면의 라인 Fano 다양체 F에 대해, 카우프 링은 승법적인 이중첨수 조각 분해를 갖는다. 특히 포함관계 $\mathop{\rm CH}\nolimits^{1}(F)\cdot\mathop{\rm CH}\nolimits^{2}(F)_{(0)} \subseteq \mathop{\rm CH}\nolimits^{3}(F)_{(0)}$ 가 이제 증명되었다.
• 하이퍼플레인 절단과 관련된 대응관계의 자기교차에서 기인하는, $\mathop{\rm CH}\nolimits^{5}(F\times F)$ 에서 새로운 타우토로지적 관계가 확립되었다.
• 쿠빅 4차 초곡면의 유니버설 라인 Fano 다양체의 상대적 제곱에 대해 프랑체타 성질이 확립되었으며, 이는 특정 사이클의 유리적 영성(0과 동치)을 함의한다.
• 일반화된 프랑체타 추측은 하이퍼카일러 다양체에 대해 빈스–보아신 추측의 부분 중, 코homology 클래스와 극화만을 포함하는 부분을 함의한다.
• 쿠빅 4차 초곡면의 라인 Fano 다양체의 카우프 링의 승법적 구조는 부분적으로 이해되었으며, 아직 미해결인 관계 (18)이 남아 있다.