[논문 리뷰] A lifting of an automorphism of a K3 surface over odd characteristic

Junmyeong Jang|arXiv (Cornell University)|2014. 07. 22.

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

한 줄 요약

이 논문은 홀수 표수의 대수적으로 닫힌 체 위의 K3 표면의 자기동형사상에 대해 올림 정리들을 수립한다. 유한 높이 K3 표면의 약하게 티에이트된 자기동형사상과 초특수 K3 표면의 특정 비심플렉틱 또는 심플렉틱 자기동형사상은 윌트의 정수환 위로 올릴 수 있음을 증명한다. 주요 기여는 약하게 티에이트된 유한 높이 K3 표면의 전체 자기동형사상군이 윌트 환 위로 전역적으로 올릴 수 있음을 보이고, 특정 순서를 가진 순수 비심플렉틱 자기동형사상이 있는 K3 표면의 유일성을 밝혀내는 데 있다.

ABSTRACT

In this paper, we prove that, over an algebraically closed field of odd characteristic, a weakly tame automorphism of a K3 surface of finite height can be lifted over the ring of Witt vectors of the base field. Also we prove that a non-symplectic tame automorphism of a supersingular K3 surface or a symplectic tame automorphism of a supersingular K3 surface of Artin-invariant at least 2 can be lifted over the ring of Witt vectors. Using these results, we prove, for a weakly tame K3 surface of finite height, there is a lifting over the ring of Witt vectors to which whole the automorphism group of the K3 surface can be lifted. Also we prove a K3 surface equipped with a purely non-symplectic automorphism of a certain order is unique up to isomorphism.

연구 동기 및 목표

• 홀수 표수 체 위의 유한 높이 K3 표면의 약하게 티에이트된 자기동형사상이 기저 체의 윌트 정수환 위로 올릴 수 있음을 증명하는 것.
• 이 올림 결과를 초특수 K3 표면의 비심플렉틱 및 심플렉틱 티에이트된 자기동형사상으로 확장하는 것.
• 약하게 티에이트된 유한 높이 K3 표면의 경우 전체 자기동형사상군이 윌트 환 위로 전역적으로 올릴 수 있음을 보이는 것.
• 홀수 표수의 대수적으로 닫힌 체 위에서 특정 순서를 가진 순수 비심플렉틱 자기동형사상이 있는 K3 표면의 유일성을 확립하는 것.

제안 방법

• K3 표면의 두 번째 크리스탈린 코homology에 대한 자기동형사상의 작용을 분석하기 위해 크리스탈린 코homology와 기울기 분해를 사용하는 것.
• 자기동형사상 작용에 대한 안정 부분모듈을 이용해 윌트 정수환 위에서 K3 표면의 네로-세버리 그룹을 유지하는 올림을 구성하는 것.
• 양의 표수에서의 K3 표면에 대한 토렐리 유형 정리를 적용하여 코homology 위의 자기동형사상 작용과 기하학적 자기동형사상 간의 관계를 규명하는 것.
• 전이성 래티스 위의 표현과 해석적 두 차원 형식 위의 표현 간의 호환성을 활용하여 선형 작용의 호환되는 올림을 통한 자기동형사상의 올림을 수행하는 것.
• 디유돈느 모듈의 구조를 이용해 높이와 크리스탈린 코homology 분해를 분석하는 것.
• 기저 체를 복소수로의 전환을 통해 복소 기하학으로 환원하여 알려진 복소 K3 표면의 순수 비심플렉틱 자기동형사상에 대한 유일성 결과를 활용하는 것.

실험 결과

연구 질문

• RQ1 홀수 표수에서 유한 높이 K3 표면의 약하게 티에이트된 자기동형사상은 기저 체의 윌트 정수환 위로 올릴 수 있는가?
• RQ2 초특수 K3 표면의 비심플렉틱 또는 심플렉틱 티에이트된 자기동형사상은 윌트 정수환 위로 올릴 수 있는가?
• RQ3 약하게 티에이트된 유한 높이 K3 표면의 전체 자기동형사상군은 윌트 환 위로 전역적으로 올릴 수 있는가?
• RQ4 주어진 순서 $ N \in \Sigma = \{13,17,19,25,27,32,33,40,44,50,66\} $ 에 대해, $ 2N $ 을 나누지 않는 홀수 표수의 대수적으로 닫힌 체 위에서 순수 비심플렉틱 자기동형사상의 순서가 $ N $ 인 K3 표면이 유일한가?
• RQ5 자기동형사상의 올림 존재성이 기저 체 위에서 K3 표면의 유일성으로 이어지는가?

주요 결과

• 홀수 표수의 대수적으로 닫힌 체 위의 유한 높이 K3 표면의 약하게 티에이트된 자기동형사상은 기저 체의 윌트 정수환 위로 올릴 수 있다.
• 초특수 K3 표면의 비심플렉틱 티에이트된 자기동형사상 또는 아르틴-변량이 2 이상인 초특수 K3 표면의 심플렉틱 티에이트된 자기동형사상은 윌트 정수환 위로 올릴 수 있다.
• 약하게 티에이트된 유한 높이 K3 표면의 경우, 전체 자기동형사상군이 일반 섹션으로 올라가는 윌트 환 위의 올림이 존재한다.
• 홀수 표수에서 정의된 K3 표면의 크리스탈린 전이성 래티스의 계수는 $ \phi(N) $ 으로 나누어진다. 여기서 $ N $ 은 자기동형사상의 해석적 두 차원 형식 위의 표현에서의 이미지의 순서이다.
• 주어진 $ N \in \Sigma $ 에 대해, 순수 비심플렉틱 자기동형사상의 순서가 $ N $ 인 K3 표면은 $ 2N $ 을 나누지 않는 홀수 표수의 대수적으로 닫힌 체 위에서 동형사상에 대해 유일하다.
• 순수 비심플렉틱 자기동형사상의 순서가 $ N \in \Sigma $ 인 유일한 K3 표면은 유한체 위에 모델을 가지며, 그 환원은 해당하는 복소 K3 표면의 양호한 환원과 동형이다.