[논문 리뷰] Non-symplectic automorphisms of odd prime order on manifolds of $K3^{[n]}$-type

Chiara Camere, Alberto Cattaneo|arXiv (Cornell University)|2018. 02. 01.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 3

한 줄 요약

이 논문은 $K3^{[n]}$-형태의 비기약 힐버트 스택에 대한 홀수 소수 차수의 비심플렉틱 자기동형사상들을 제2 코homology 라티스 위에서 라티스 이론적 방법을 사용하여 분류한다. $p^2 \nmid 2(n-1)$일 때, 공변 라티스 $S$의 등장사상 클래스는 삼중조 $(p,m,a)$에 의해 유일하게 결정되며, $n=3,4$에 대해 모든 허용 가능한 작용을 실현하는 구체적 예제를 구성한다. 특히, 삼차 4차곡면의 자기동형사상에서 유도된 레인–레인–소르거–반스트라텐 8차원 다각체에 대한 새로운 구성 방법을 포함한다.

ABSTRACT

We classify non-symplectic automorphisms of odd prime order on irreducible holomorphic symplectic manifolds which are deformations of Hilbert schemes of any number n of points on K3 surfaces, extending results already known for n=2. In order to do so, we study the properties of the invariant lattice of the automorphism (and its orthogonal complement) inside the second cohomology lattice of the manifold. We also explain how to construct automorphisms with fixed action on cohomology: in the cases n=3,4 the examples provided allow to realize all admissible actions in our classification. For n=4, we present a construction of non-symplectic automorphisms on the Lehn-Lehn-Sorger-van Straten eightfold, which come from automorphisms of the underlying cubic fourfold.

연구 동기 및 목표

• 제2 코homology 라티스 $H^2(X,\mathbb{Z}) \cong L$ 위에서 라티스 이론적 기법을 사용하여 $K3^{[2]}$-형태에서 일반적인 $K3^{[n]}$-형태의 다각체로 홀수 소수 차수의 비심플렉틱 자기동형사상의 분류를 확장한다.
• 수치적 불변량인 $p$, $m$, $a$를 통해 $H^2(X,\mathbb{Z}) \cong L$ 내부의 불변 라티스 $T$와 공변 라티스 $S$를 특성화한다.
• 니쿨린의 라티스 이론을 적용하여 $p^2 \nmid 2(n-1)$ 조건 하에서 $S$의 등장사상 클래스가 삼중조 $(p,m,a)$에 의해 유일하게 결정되는지 확인한다.
• $n=3$ 및 $n=4$에 대해, 특히 레인–레인–소르거–반스트라텐 8차원 다각체에서의 새로운 구성 방법을 포함하여 모든 허용 가능한 코homological 작용을 실현하는 구체적 자기동형사상을 구성한다.
• 이전 연구에서의 오류를 수정하고 체계적인 접근을 제공함으로써, 특히 비심플렉틱 관계의 분류를 보완하고 정밀화한다.

제안 방법

• 비기본 힐버트 스택에 대한 전역 토렐리 정리의 응용을 통해, 자기동형사상의 분류 문제를 제2 코homology 라티스 $H^2(X,\mathbb{Z}) \cong L = U^{\oplus 3} \oplus E_8^{\oplus 2} \oplus \langle -2(n-1) \rangle$ 위의 등장사상 연구로 환원한다.
• 홀수 소수 차수 $p$의 비심플렉틱 자기동형사상 $\sigma$의 작용을 그 유도된 등장사상 $\sigma^*$를 통해 분석하며, 불변 라티스 $T = H^2(X,\mathbb{Z})^{\sigma^*}$ 와 그 수직보완 $S = T^\perp$ 에 초점을 맞춘다.
• 각 $n$에 대해 허용 가능한 삼중조 $(p,m,a)$를 정의하기 위해 $p$, $m$ (여기서 $\mathrm{rk}(S) = (p-1)m$), $a$ (여기서 $H^2(X,\mathbb{Z})/T \oplus S \cong (\mathbb{Z}/p\mathbb{Z})^{\oplus a}$) 를 이용한다.
• 니쿨린의 라티스 이론과 $O(S) \to O(q_S)$ 의 전성사상 성질을 적용하여, 특히 $p^2 \nmid 2(n-1)$ 조건 하에서 $S$의 등장사상 클래스가 $(p,m,a)$에 의해 유일하게 결정되는지 판단한다.
• 기하적 실현을 통한 구체적 자기동형사상의 구성: $n=3,4$의 경우, $K3$ 표면 위의 왜곡 sheaf의 모듈리 공간을 이용하여 예제를 구성하며, $n=4$의 경우 레인–레인–소르거–반스트라텐 8차원 다각체에서 기저 삼차 4차곡면의 자기동형사상으로부터 유도된 새로운 구성 방법이 등장한다.
• 라티스 이론적 기법을 활용하여 각 허용 가능한 삼중조에 대해 $S$와 $T$의 존재성과 유일성을 검증하고, 베아빌–보고몰로프–후지키 형식과 네론–테이트 쌍형식과의 호환성을 점검한다.

실험 결과

연구 질문

• RQ1 주어진 $n \geq 2$ 에 대해, $K3^{[n]}$-형태의 다각체에서 홀수 소수 차수 $p$, 랭크 $m$, 토피컬 매개변수 $a$로 구성된 삼중조 $(p,m,a)$ 중 어떤 것이 비심플렉틱 자기동형사상에 대해 허용 가능한가?
• RQ2 공변 라티스 $S$의 등장사상 클래스가 삼중조 $(p,m,a)$에 의해 유일하게 결정되는 조건은 무엇인가?
• RQ3 홀수 소수 차수의 비심플렉틱 자기동형사상의 모든 허용 가능한 코homological 작용은 $K3^{[n]}$-형태의 다각체에서 구체적인 기하적 구성에 의해 실현 가능한가?
• RQ4 $n=4$일 때, 기저 삼차 4차곡면의 자기동형사상은 레인–레인–소르거–반스트라텐 8차원 다각체에서 비심플렉틱 자기동형사상을 어떻게 유도하는가?
• RQ5 이전의 비심플렉틱 관계의 분류, 특히 $K3^{[n]}$-형태의 다각체에서의 비심플렉틱 관계에 대한 이전 연구를 수정하고 정밀화하기 위해 필요한 보완 사항은 무엇인가?

주요 결과

• $p^2 \nmid 2(n-1)$ 일 때, 공변 라티스 $S$의 등장사상 클래스는 삼중조 $(p,m,a)$에 의해 유일하게 결정되며, 판별군에 대한 추가 조건이 만족될 경우 불변 라티스 $T$ 역시 $L$의 등장사상에 대해 유일하게 결정된다.
• 허용 가능한 삼중조 $(p,m,a)$의 분류는 라티스 이론적 제약 조건에 의해 완전히 결정되며, $p$는 홀수이고 $n \geq 2$ 이며, $p$가 $2(n-1)$을 나눌 경우 이러한 삼중조의 수가 크게 증가한다.
• $n=3$ 및 $n=4$일 때, 홀수 소수 차수의 비심플렉틱 자기동형사상의 모든 허용 가능한 작용이 기하적 실현을 통해 실현되며, 레인–레인–소르거–반스트라텐 8차원 다각체에서도 포함된다.
• 기저 삼차 4차곡면의 자기동형사상에서 기인하는 레인–레인–소르거–반스트라텐 8차원 다각체에서의 순서 3 비심플렉틱 자기동형사상에 대한 새로운 구성 방법이 제시된다.
• 이 논문은 이전 연구, 특히 [31]에서의 비심플렉틱 관계 분류를 수정하고 정밀화하며, 오류를 식별하고 홀수 소수 차수에 대한 일관된 프레임워크를 제공한다.
• $n=4$, $p=3$에 대한 라티스 표에서는 $S$와 $T$에 대해 총 22개의 서로 다른 구성이 나열되어 있으며, 각각 고유한 허용 가능한 삼중조 $(p,m,a)$에 대응하며, 라티스의 구조와 판별군을 나타내는 레이블이 포함되어 있다.