[논문 리뷰] Dynamics on supersingular K3 surfaces

Matthias Schuett|arXiv (Cornell University)|2015. 02. 24.

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

한 줄 요약

이 논문은 홀수 특성 $p \equiv 2 \mod 3$ 에서 아르틴 불변량 1인 초특이 K3 표면에 대해, 타원적 필러레이션과 모델-베이 유한체 구조를 이용하여 코homology 위에 작용하는 명시적 자기동형사상을 구성한다. 이 자기동형사상은 차수 22인 세일름 다항식을 가지며, 이는 그것이 어떤 특성 0 모델로도 올라가지 않음을 보여주고, 최대 역학적 복잡도를 가지는 첫 번째 체계적인 무한 가족의 비상승 자기동형사상임을 증명한다.

ABSTRACT

For any odd characteristic p=2 mod 3, we exhibit an explicit automorphism on the supersingular K3 surface of Artin invariant one which does not lift to any characteristic zero model. Our construction builds on elliptic fibrations to produce a closed formula for the automorphism's characteristic polynomial on second cohomology, which turns out to be an irreducible Salem polynomial of degree 22 with coefficients varying with p.

연구 동기 및 목표

• 특성 0 으로의 상승이 불가능한 초특이 K3 표면에 대해 특성 0 이외의 특성에서 명시적 자기동형사상을 구성하는 것.
• 이전의 산발적인 예제를 넘어서, $p \equiv 2 \mod 3$ 에 대해 이러한 자기동형사상의 시스템적이고 무한한 가족을 제공하는 것.
• 타원적 필러레이션과 모델-베이 유한체 구조를 이용하여 자기동형사상의 제2 cohomology 위에 작용하는 특성 다항식을 계산하는 것.
• 자기동형사상이 세일름 차수 22를 가지며, 이는 최대 역학적 복잡도임을 증명하는 것.
• 아르틴 불변량 1인 초특이 K3 표면이 무한히 많은 특성에서 비상승 자기동형사상이 존재함을 증명하는 것.

제안 방법

• 아르틴 불변량 1인 초특이 K3 표면에 대해 특정한 타원적 필러레이션 구조를 이용하며, 그 기하학적 구조가 잘 알려져 있음을 활용한다.
• 자기동형사상은 일반 섹션의 유리점에 의한 이동과 일반 섹션의 초타원형 포함사상의 병합으로 구성된다.
• 코homology 위에 작용하는 동작은 모델-베이 유한체 구조를 통해 계산되며, 등장관계 $\mathop{\rm MW}(X) \cong \mathop{\rm NS}(X)/\mathop{\rm Triv}(X)$ 를 사용한다.
• 자기동형사상이 $\mathop{\rm NS}(X)$ 위에 작용할 때의 특성 다항식은 $\mu(g^*) = x^{11} \phi(x + 1/x)$ 로 유도되며, 여기서 $\phi(x)$ 는 $n$ 에 따라 달라지는 계수를 가진 차수 11의 다항식이며, $p = 3n + 2$ 이다.
• 모듈로 산술을 이용하여 순환 다항식 인수를 배제함으로써 이 다항식이 $\mathbb{Z}$ 위에서 기약임을 검증한다.
• 비상승 성격은 모순에 의한 증명으로 증명된다: 만약 $g$ 가 상승된다면, 그 코homology 작용은 $\rho = 22$ 가 필요하며, 이는 복소수 K3 표면에서의 레프셰츠 경계 $\rho \leq 20$ 와 모순된다.

실험 결과

연구 질문

• RQ1 특성 0 으로의 상승이 불가능한 세일름 차수 22인 자기동형사상은 홀수 특성에서 초특이 K3 표면에 대해 명시적이고 체계적으로 구성될 수 있는가?
• RQ2 이러한 자기동형사상의 코homology 작용은 무엇이며, 타원적 필러레이션과 모델-베이 유한체 구조를 통해 계산될 수 있는가?
• RQ3 자기동형사상의 코homology 위에 작용하는 특성 다항식은 무한히 많은 소수 $p \equiv 2 \mod 3$ 에서도 여전히 기약이고 세일름 유형인가?
• RQ4 코homology 제약 조건과 호지 지수 정리에 의해 비상승 성격이 엄밀하게 증명될 수 있는가?
• RQ5 상승에 실패하는 더 단순한 자기동형사상(차수 20 이하)이 존재하는가? 그리고 그 특성 다항식은 어떻게 비교되는가?

주요 결과

• 구성된 자기동형사상 $g \in \mathop{\rm Aut}(X(p))$ 는 $\mathop{\rm NS}(X(p))$ 위에서 특성 다항식 $\mu(g^*) = x^{11} \phi(x + 1/x)$ 를 가지며, 여기서 $\phi(x)$ 는 $n$ 에 따라 달라지는 계수를 가진 차수 11의 다항식이며, $p = 3n + 2$ 이다.
• $\phi(x)$ 는 모든 $n \in \mathbb{N}$ 에 대해 기약이며, $3n + 2$ 가 소수일 경우에 해당하며, 이는 자기동형사상의 세일름 차수 22를 보장한다.
• 자기동형사상 $g$ 는 $X(p)$ 의 어떤 특성 0 모델로도 상승되지 않으며, 그 코homology 작용은 $\rho = 22$ 가 필요하여, 복소수 K3 표면에서의 레프셰츠 경계 $\rho \leq 20$ 와 모순된다.
• 0이 아닌 거듭제곱 $g^r$ 역시 특성 0 으로 상승되지 않으며, 각각의 거듭제곱도 기약 세일름 다항식을 차수 22로 가지기 때문이다.
• 차수 20인 더 단순한 자기동형사상 $g'$ 는 $\mu(g^{\prime*}) = (x-1)(x+1)\psi(x)$ 를 만족하며, 여기서 $\psi(x)$ 는 차수 20인 세일름 다항식이며, 코homology 제약 조건으로 인해 여전히 비상승적이다.
• 이 구성은 명시적이고 체계적이며, 초특이 K3 표면에서 최대 역학적 복잡도를 가지는 비상승 자기동형사상의 첫 번째 무한 가족을 제공한다.