[논문 리뷰] A motivic global Torelli theorem for isogenous K3 surfaces

Lie Fu, Charles Vial|arXiv (Cornell University)|2019. 07. 25.

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

한 줄 요약

이 논문은 이소지어스한 K3 표면에 대해 동치인 와인드된 유도 등가인 K3 표면이 체계적 동치인 차우 모티브를 갖는다는 것을 증명함으로써, 동치인 K3 표면에 대한 모티브적 글로벌 토렐리 정리 수립한다. 이는 체계적 동치인 K3 표면이 체계적 동치인 차우 모티브를 갖는다는 것을 보여주며, 이는 단지 대수 구조뿐만 아니라 프로베누스 대수 구조로서도 성립한다. 핵심 결과는 두 복소수 프로젝티브 K3 표면이 이소지어스할 때이고, 뿐만 아니라 그들의 차우 모티브가 프로베누스 대수 구조로서 동치일 때, 이는 이소지어스성의 더 정교한 모티브적 특성화를 제공한다.

ABSTRACT

We prove that the Chow motives of twisted derived equivalent K3 surfaces are isomorphic, not only as Chow motives (due to Huybrechts), but also as Frobenius algebra objects. Combined with a recent result of Huybrechts, we conclude that two complex projective K3 surfaces are isogenous (i.e. their second rational cohomology groups are Hodge isometric) if and only if their Chow motives are isomorphic as Frobenius algebra objects; this can be regarded as a motivic Torelli-type theorem. We ask whether, more generally, twisted derived equivalent hyper-Kaehler varieties have isomorphic Chow motives as (Frobenius) algebra objects and in particular isomorphic graded rational cohomology algebras. In the appendix, we justify introducing the notion of "Frobenius algebra object" by showing the existence of an infinite family of K3 surfaces whose Chow motives are pairwise non-isomorphic as Frobenius algebra objects but isomorphic as algebra objects. In particular, K3 surfaces in that family are pairwise non-isogenous but have isomorphic rational Hodge algebras.

연구 동기 및 목표

• 이소지어스한 K3 표면의 모티브적 특성화를 유리 허드 스트럭처를 초월하여 제공하기 위해.
• 왜곡된 유도 등가인 K3 표면에 대해 차우 모티브가 동치임을 보여주는 히브레흐트의 결과를 강화하기 위해, 이에 추가로 프로베누스 대수 구조를 부여하기 위해.
• 왜곡된 유도 등가인 하이퍼카일러 다양체가 프로베누스 대수 구조로서 동치인 차우 모티브를 갖는지 조사하기 위해.
• 차우 모티브가 대수 구조로서 동치이지만 프로베누스 대수 구조로서는 동치가 아닌 K3 표면의 구체적 예를 구성하여, 이소지어스성은 대수 구조만으로는 캐치되지 않음을 보여주기 위해.

제안 방법

• 왜곡된 유도 등가인 K3 표면이 유리 차우 모티브의 범주에서 프로베누스 대수 구조로서 동치인 차우 모티브를 갖는다는 것을 증명하기 위해.
• 각 왜곡된 유도 등가의 푸리에–무카이 커널을 사용하여 CH²(S×S′)에 있는 대응 Γ를 구성하고, 이가 프로베누스 대수 구조의 공리들을 만족시킴을 보여주기 위해.
• 대응 Γ가 (Γ⊗Γ)∗ΔS = ΔS′ 및 (Γ⊗Γ⊗Γ)∗δS = δS′를 만족하는 모티브의 동치를 유도함으로써, 프로베누스 대수 구조를 코딩함을 보여주기 위해.
• 유리 제곱수의 합에 대한 수론적 조건을 사용하여, 대수 구조로서 동치이지만 프로베누스 대수 구조로서는 동치가 아닌 K3 표면의 무한한 가족을 구성하기 위해.
• 디오판틴 방정식의 해가 존재하는지 여부와 복소수 프로젝티브 K3 표면의 이소지어스성의 관계를 설정하기 위해 K3 표면의 글로벌 토렐리 정리를 활용하기 위해.
• 2mj⁴+1이 두 유리 제곱수의 합이 아니며, 서로 다른 항들 간의 비율 역시 두 유리 제곱수의 합이 아니게 되는 정수 {mj}의 귀납적 구성 방법을 사용하여 프로베누스 대수의 동치성의 부재를 보장하기 위해.

실험 결과

연구 질문

• RQ1 K3 표면의 이소지어스 클래스는 프로베누스 대수 구조로서의 그들의 차우 모티브를 통해 모티브적으로 특성화될 수 있는가?
• RQ2 왜곡된 유도 등가인 하이퍼카일러 다양체는 프로베누스 대수 구조로서 동치인 차우 모티브를 갖는가?
• RQ3 대수 구조로서 동치이지만 프로베누스 대수 구조로서는 동치가 아닌 K3 표면가 존재하는가?
• RQ4 서로 다른 이소지어스성이지만 유리 허드 대수에서 동치인 K3 표면의 무한한 가족을 구성할 수 있는가?
• RQ5 차우 모티브에 부여된 프로베누스 대수 구조는 유리 허드 동치성 이외의 이소지어스성을 감지하는가?

주요 결과

• 왜곡된 유도 등가인 K3 표면은 프로베누스 대수 구조로서 동치인 차우 모티브를 갖는다. 이는 히브레흐트의 결과를 대수 동치성 이외의 구조로 확장한다.
• 두 복소수 프로젝티브 K3 표면이 이소지어스할 때이고, 뿐만 아니라 그들의 차우 모티브가 프로베누스 대수 구조로서 동치일 때, 이는 모티브적 토렐리 유형 정리를 수립한다.
• 대수 구조로서는 동치이지만 프로베누스 대수 구조로서는 동치가 아닌 차우 모티브를 갖는 K3 표면의 무한한 가족이 존재한다.
• 이 가족에 속한 K3 표면들은 상호 이소지어스성이 없지만, 유리 허드 대수가 동치이다. 이는 프로베누스 대수 구조가 유리 허드 구조보다 더 정교함을 보여준다.
• 이러한 구성은 수론적 조건에 의존한다: 무한한 수열 {mj}에 대해, 2mj⁴+1은 두 유리 제곱수의 합이 아니며, 서로 다른 항들 간의 비율 역시 두 유리 제곱수의 합이 아니다.
• 차우 모티브에 부여된 프로베누스 대수 구조는 이소지어스성을 감지하지만, 기초적인 대수 구조만으로는 감지하지 못한다. 이는 추가적인 호환 조건의 필요성을 보여준다.