[논문 리뷰] Logarithmic good reduction and the index

Kentaro Mitsui, Arne Smeets|arXiv (Cornell University)|2017. 11. 30.

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

한 줄 요약

이 논문은 로그 양호한 감마를 가진 매끄럽고 완전한 다양체의 인덱스를 디스크리트로 값진 필드 위에서 조사한다. $\varepsilon$-adic 오일러 특성이 0이 아닐 경우, 이 인덱스는 잔여 특성 $p$ 와 서로소임을 증명하지만, 종수 1 곡선의 일반적인 경우에서는 실패함을 보이며, 갈루아 작용과 코homological flatness 조건을 통해 이러한 경우를 완전히 특성화한다.

ABSTRACT

Let $K$ be the fraction field of a complete discrete valuation ring, with algebraically closed residue field of characteristic $p > 0$. This paper studies the index of a smooth, proper $K$-variety $X$ with logarithmic good reduction. We prove that it is prime to $p$ in `most' cases, for example if the Euler number of $X$ does not vanish, but (perhaps surprisingly) not always. We also fully characterise curves of genus $1$ with logarithmic good reduction, thereby completing classical results of T. Saito and Stix valid for curves of genus at least $2$.

연구 동기 및 목표

• 로그 양호한 감마를 가진 매끄럽고 완전한 $K$-다양체의 인덱스가 항상 잔여 특성 $p$ 와 서로소인지 결정하는 것.
• 종수 $\geq 2$ 인 곡선에 대한 고전적 양호한 감마 결과를 종수 1 곡선의 경우로 확장하는 것.
• 특히 인덱스가 $p$ 로 나누어떨어질 때, 어떤 종수 1 곡선이 로그 양호한 감마를 가질 수 있는지 정확히 특성화하는 것.
• 헤젤의 보조정리에서의 기대와 실제 양의 특성에서의 행동 간의 갈등을 해결하는 것, 특히 유리점이 없는 경우에 대해.
• 갈루아 표현의 흐름성과 코homological flatness 조건을 사용하여 종수 1 곡선의 로그 양호한 감마에 대한 완전한 기준을 제공하는 것.

제안 방법

• $K^t$-유리점의 존재를 탐지하기 위해 핵심 불변량으로서 $\ell$-adic 오일러 특성 $\chi(X) = \sum_{i\geq 0}(-1)^i \dim_{\mathbb{Q}_\ell} H^i(X_{K^s}, \mathbb{Q}_\ell)$ 를 사용한다.
• 최소 정규 모델 $\mathcal{C}$ 의 구조를 분석하기 위해 로그 기하학과 로그 정규 모델의 결과를 적용한다.
• 주기(등가로 인덱스)를 감마 유형과 갈루아 작용과 연결하기 위해 네로 모델 이론과 곡선 $C$ 의 아벨 다양체 $J$ 를 활용한다.
• 로그 양호한 감마를 위한 필수 조건으로서 $H^1(C_{K^s}, \mathbb{Q}_\ell)$ 위의 갈루아 작용의 흐름성 분석.
• $p$ 가 주기 $m$ 을 나누는 경우, $\mathcal{C}$ 가 $S$ 위에서 코homological flat 이라는 핵심 기술 조건을 도입한다.
• 특성 $p$ 에서 야생 섬유를 가진 타원 곡면의 알려진 구성(예: 카츠라–우에노, 하브른–랭)을 이용해 반례를 생성한다.

실험 결과

연구 질문

• RQ1 로그 양호한 감마를 가진 매끄럽고 완전한 $K$-다양체의 인덱스는 항상 잔여 특성 $p$ 와 서로소인가?
• RQ2 종수 1 곡선이 로그 양호한 감마를 가지기 위해 필요한 필수 조건과 충분 조건은 갈루아 작용과 코homological 구조에 대해 무엇인가?
• RQ3 로그 양호한 감마를 가진 곡선의 인덱스가 $p$ 로 나누어떨어질 수 있는가, 만약 그렇다면 어떤 조건에서 가능한가?
• RQ4 주기, 아벨 다양체의 감마 유형, 최소 모델의 코homological flatness 간의 상호작용이 $K^t$-유리점의 존재에 어떤 영향을 미치는가?
• RQ5 종수 $\geq 2$ 인 곡선에 대한 고전적 양호한 감마 결과가 유리점이 없는 경우 종수 1 곡선으로 얼마나 일반화되는가?

주요 결과

• $\ell$-adic 오일러 특성 $\chi(X)$ 가 매끄럽고 완전한 $K$-다양체 $X$ 에 대해 로그 양호한 감마를 가지며 0이 아닐 경우, $X(K^t) \neq \emptyset$ 이므로 $\iota(X)$ 는 $p$ 와 서로소이다.
• 종수 1 곡선의 경우, 로그 양호한 감마가 성립하는 것은 (a) $H^1(C_{K^s}, \mathbb{Q}_\ell)$ 위의 갈루아 작용이 흐름성일 때이고, (b) $p$ 가 주기 $m$ 을 나누는 경우, 아벨 다양체가 양호한 감마를 가지며 최소 모델 $\mathcal{C}$ 가 $S$ 위에서 코homological flat 이어야 한다.
• 로그 양호한 감마를 가진 종수 1 곡선 중에서 $C(K^t) = \emptyset$ 인 경우가 존재하므로, $p$ 가 인덱스를 나눌 수 있음을 보여, 일반적으로 인덱스가 $p$ 와 서로소일 필요는 없다.
• 종수 1 곡선의 주기는 $K$ 의 브라우어 군이 0이므로 라이히텐바움의 결과에 의해 인덱스와 같다.
• 반례는 카츠라–우에노 및 다른 이들이 구성한 특성 $p$ 에서 야생 섬유를 가진 타원 곡면에서 유래한다.
• 이 결과는 곡선에 대한 로그 양호한 감마의 분류를 완성하며, 종수 1 경우를 이전에 알려진 종수 $\geq 2$ 의 결과들과 통합한다.