[논문 리뷰] On $μ_{n}$-actions on K3 surfaces in positive characteristic

Yuya Matsumoto|arXiv (Cornell University)|2017. 10. 19.

Advanced Algebra and Geometry참고 문헌 13인용 수 4

한 줄 요약

이 논문은 양의 특성 $p$에서 $p$가 $n$을 나누는 경우에도, $\mu_n$의 군 스킴이 유리 면점 특이점(RDP)을 가진 K3 곡면 위에서 심플렉틱 작용을 정의한다. 심플렉틱 $\mu_n$-작용은 특성 0에서의 심플렉틱 자기동형사상과 유사하게 행동함을 보이며, 심플렉틱일 경우 몫은 RDP K3 곡면이 되고, 아닐 경우 RDP 엔리케스 곡면 또는 유리 곡면이 된다. RDP K3 곡면 위에서 심플렉틱 $\mu_n$-작용의 최대 차수는 $n \leq 8$이며, $n = p$일 때는 존재가 가능하려면 $p \leq 19$여야 한다. 이 결과들은 RDP 및 평탄한 점에서의 $\mu_n$-작용의 국소 분류를 통해 증명되며, 심플렉틱 국소 작용의 완전한 분류가 제공된다.

ABSTRACT

In characteristic $0$, symplectic automorphisms of K3 surfaces (i.e.\ automorphisms preserving the global $2$-form) and non-symplectic ones behave differently. In this paper we consider the actions of the group schemes $μ_{n}$ on K3 surfaces (possibly with rational double point singularities) in characteristic $p$, where $n$ may be divisible by $p$. We introduce the notion of symplecticness of such actions, and we show that symplectic $μ_{n}$-actions have similar properties, such as possible orders, fixed loci, and quotients, to symplectic automorphisms of order $n$ in characteristic $0$. We also study local $μ_n$-actions on rational double points.

연구 동기 및 목표

• 특성 0에서의 K3 곡면 위 심플렉틱 자기동형사상 이론을 특성이 0이 아닌 경우로 확장함. 특히 군의 차수가 특성으로 나누어떨어지는 경우를 다룬다.
• RDP K3 곡면 위에서 $\mu_n$-작용의 심플렉틱성의 정의와 연구를 수행하며, 이는 스무스 K3 곡면이 $\mu_p$-작용을 갖지 못함을 고려한 것이다.
• RDP 및 평탄한 점에서의 국소 $\mu_n$-작용을 분류하며, 특히 $\mu_p$ 및 $\mu_{p^e}$의 경우에 대해 고정점과 몫 특이점의 성질을 규명한다.
• RDP K3 곡면 위에서의 심플렉틱 $\mu_n$-작용의 최대 가능 차수를 규명하고, 이러한 작용이 존재하는 조건을 기술한다.
• 특성 0에서의 고전적 결과들(예: 니쿨린의 몫 정리)을 특성 0이 아닌 경우에도, 특히 야생 작용의 경우에 대해 일반화한다.

제안 방법

• 표면의 평탄한 점과 RDP에서의 국소 환의 $\mu_n$-작용에 대해 심플렉틱성의 개념을 도입하며, 고전적 심플렉틱 자기동형사상 조건을 일반화한다.
• 형식적 멱급수와 불변량 이론을 이용해 국소 $\mu_n$-작용을 분석하고, 가중 좌표와 접합 자료를 사용해 동형사상에 대해 가능한 작용을 분류한다.
• 고정점의 상의 이미지에서 특이점의 성격을 연구하기 위해 몫 사상 $\pi: X \to X/\mu_n$을 사용하며, RDP와 비RDP를 구분한다.
• 특성 2, 3, 5에서 이중 그래프가 완전히 분류하지 못하는 바에 따라, 아르틴의 RDP 분류와 그 형식적 동형류 분류를 적용한다.
• 특성 0의 대수적으로 닫힌 체 위에서의 명시적 예제를 사용해 다양한 $\mu_n$-작용을 K3 곡면 위에 실현하며, 이는 타원곡선, 이중 6차, 4차 모델을 포함한다.
• 특히 $n = p^e$일 경우에 군 스킴 이론과 $\mu_n$의 표현 이론을 응용하여 고정점의 구조와 몫 특이점을 분석한다.

실험 결과

연구 질문

• RQ1 특성 $p$에서 $p \mid n$일 경우, K3 곡면 위의 $\mu_n$-작용이 심플렉틱이 되는 조건은 무엇인가?
• RQ2 심플렉틱 및 비심플렉틱 $\mu_n$-작용 하에서의 몫 $X/\mu_n$은 어떻게 행동하며, 어떤 특이점을 보이는가?
• RQ3 특성 $p$에서 RDP K3 곡면 위에 심플렉틱 $\mu_n$-작용이 존재할 수 있는 최대 차수 $n$는 무엇인가?
• RQ4 어떤 소수 $p$와 정수 $n$에 대해 RDP K3 곡면 위에 $\mu_n$-작용이 존재하며, 고정점은 몫에 어떤 영향을 미치는가?
• RQ5 RDP에서의 $\mu_n$-작용의 국소 구조는 완전히 분류될 수 있는가? 이러한 분류는 K3 곡면 위의 전반적 행동을 어떻게 결정하는가?

주요 결과

• RDP K3 곡면 위의 심플렉틱 $\mu_n$-작용에 의한 몫은 다시 RDP K3 곡면이 되며, 이는 특성 0에서 니쿨린의 결과를 일반화한 것이다.
• $n = p$일 때 비심플렉틱 $\mu_p$-작용은 고정점이 없는 경우에만 RDP 엔리케스 곡면을 얻으며, 이는 $p = 2$일 때에만 가능하다. 그렇지 않으면 유리 곡면이 된다.
• RDP K3 곡면은 $p \leq 19$일 때에만 $\mu_p$-작용을 갖는다. 이러한 작용은 $p$에 따라 특정한 $n$에 대해서만 존재한다.
• RDP K3 곡면 위에서 심플렉틱 $\mu_n$-작용의 최대 차수는 $n = 8$이며, 이러한 작용은 $n \leq 8$일 때에만 존재한다.
• 심플렉틱 $\mu_n$-작용의 고정점 수는 결정된다: $n = 8$일 경우 8개의 고립된 고정점, $n = 4$일 경우 4개의 고정점 등.
• RDP에서의 국소 심플렉틱 $\mu_n$-작용에 대한 완전한 분류가 제공되며, $\mu_p$-작용의 경우 표본 3과 4에 명시된 정규형이 제시된다.