A note on varieties of non-negative Kodaira dimension with polarized self maps

기술 요약: 극성 자기 사상을 갖는 비음의 코다이라 차원을 가진 다양체들

문제 정의
본 논문은 양의 코다이라 차원을 가지며 극성 자기 사상(polarized self-map)을 허용하는 체 $k$ 위의 매끄러운 투영 다양체 $X$의 기하학적 구조를 조사한다. 구체적으로, 연구의 대상은 정수 $d > 1$에 대해 $\phi^*L \cong L^{\otimes d}$를 만족하는 극성 자기 사상 $\phi: X \to X$와 아마한 선다발(ample line bundle) $L$의 삼조 $(X, \phi, L)$이다. 특성 0의 경우(특히 Nakayama와 Zhang [2]에 의해) 부분적으로 다루어졌으나, 양의 표수(positive characteristic)에서의 동작과 대수적으로 닫히지 않은 체에서의 동작은 추가적인 규명과 일반화가 필요한 주제로 남아 있다.

방법론
저자는 구조적 결과를 확립하기 위해 대수 기하학, 에탈레 기본군 이론, 그리고 변형 이론(deformation theory)의 조합을 사용한다. 방법론은 다음과 같은 논리적 단계들을 거쳐 진행된다:

1. 아벨 기본군으로의 축소: 증명은 에탈레 기본군 $\pi_1^{\text{et}}(X)$가 유한 지표를 갖는 정규 아벨 부분군을 포함한다는 가설을 활용하는 것으로 시작한다. 보조정리 2.1은 이 조건 하에서, 기본군이 아벨 군인 유한 에탈레 피복 $Z \to X$를 구성할 수 있으며, 극성 사상이 $Z$로 리프트(lift)될 수 있음을 보여준다.
2. 알베르스 사상의 분석: $\pi_1^{\text{et}}(X)$가 아벨 군이라는 가정 하에, 본 논문은 알베르스 사상(Albanese morphism) $\text{alb}_X: X \to \text{Alb}_X$를 분석한다. 논증의 핵심은 이 사상이 유한함을 증명하는 것이다.
   • $k = \mathbb{F}_p$의 경우: 증명은 $\phi$의 주기적 점(periodic points)의 존재(유한체의 성질에 의해 보장됨)를 활용한다. 저자는 주기적 점을 알베르스 다양체로 리프트함으로써, 알베르스 다양체 상의 유도된 사상과 관련된 가환 도식(commutative diagram)을 구성한다. 전역 미분 형식에 대한 풀백(pullback)의 단사성에 관한 결과(Igusa)와 상대 미분의 성질을 사용하여, 알베르스 다양체 상의 유도된 사상이 이소제니(isogeny)임을 보인다. 기본군 상의 사상의 커널을 이용한 모순 논법을 통해 알베르스 사상의 파이버(fiber)가 유한함을 증명한다.
   • 일반적인 표수 $p > 0$의 경우: $k = \mathbb{F}_p$에 대한 결과는 특성이 $p$인 임의의 대수적으로 닫힌 체로 특수화(specialization) 논법을 통해 확장된다. 다양체와 사상은 유한 생성 부분체 위에 정의되며, 이를 통해 낮은 초월 차수의 잉여 체를 갖는 이산 발가치 환(DVR)으로 축소할 수 있다. 초월 차수에 대한 귀납법을 통해 일반적인 경우을 유한체의 경우으로 축소한다.
3. 특성 0으로의 리프팅: 섹션 3에서, 본 논문은 기본군에 대한 조건을 다룬다. 보조정리 3.1은 $X$가 특성 0으로 리프트될 수 있다면, 그 기본군은 반드시 유한 지표를 갖는 정규 아벨 부분군을 포함함을 증명한다. 이를 통해 Hacon–Patakfalvi–Zhang의 심오한 정리 대신 기초적인 결과(구체적으로는 일반 파이버의 구조)에 의존하는 리프팅 케이스에 대한 대안적인 증명을 제공한다.
4. 대수적으로 닫히지 않은 체: 섹션 4는 $k$가 반드시 대수적으로 닫혀 있을 필요는 없는 경우로 결과를 확장한다. 토서(torsor) 이론과 기본군 완전열의 분할(splitting)을 활용하여, $X(k) \neq \emptyset$인 경우 $X$로 유한하고 에탈레하게 사상되는 $k$ 위의 아벨 다양체의 폼(form) $A'$를 구성한다.

주요 기여 및 결과

• 정리 1.1 (주요 결과): 양의 표수 $p > 0$인 대수적으로 닫힌 체 $k$ 위의 비음의 코다이라 차원을 가진 매끄러운 투영 다양체 $X$에 대하여, $X$가 분리 가능한 극성 자기 사상을 허용하고 에탈레 기본군이 유한 지표를 갖는 정규 아벨 부분군을 포함한다면, $X$로의 유한 에탈레 사상을 갖는 아벨 다양체 $A$가 존재한다.
• 비폐쇄 체로의 일반화 (정리 4.3 & 4.4): 본 논문은 임의의 체 $k$(특성 0 또는 $p > 0$)에 대하여, $X$가 $k$-유리점을 가지고 기본군 조건(virtually abelian)을 만족하면, $X$가 $k$ 위에 정의된 아벨 다양체의 유한 자유 몫(finite free quotient)임을 확립한다.
• 리프팅 함의 (보조정리 3.1 & 3.2): 본 논문은 "특성 0으로의 리프팅" 가설이 필요한 기본군 구조를 함의함을 증명함으로써, 특성 0 문헌에서 사용되는 더 고등한 기계 장치들에 의존하지 않고 그러한 다양체들에 대한 주요 구조적 정리를 증명하는 경로를 제공한다.
• Int-amplified 사상으로의 확장: 저자는 칸로니컬 번들의 제1 체르 클래스(first Chern class)의 자명성을 확립할 수 있다면, 논의의 내용이 "int-amplified" 자기 사상($f^*L \otimes L^{-1}$이 아마한인 경우)으로도 적응될 수 있음을 언급한다.

의의 및 주장
본 논문은 극성 엔도모피즘을 가진 다양체들에 관한 Nakayama와 Zhang([2, Theorem 4.2])의 결과에 대한 양의 표수 대응물을 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 특성 간의 간극 해소: 이전에는 추가적인 가설 하에서만 성립한다고 제안되었던 양의 표수 케이스를 명시적으로 다룬다.
2. 기본군 조건: 기본군 내에 유한 지표를 갖는 정규 아벨 부분군이 존재한다는 것이 다양체가 아벨 다양체의 유한 에탈레 몫이 되기 위한 충분조건임을 명확히 한다.
3. 체 독립성: 유리점이 존재하는 경우, 이러한 구조적 결과들을 비폐쇄 체로 일반화한다.
4. 기초적인 증명: 다양체가 특성 0으로 리프트되는 경우, 본 논문은 (보조정리 3.2와 같이) 보다 기초적인 성질의 결과들을 활용하는 증명을 제공하며, 이는 이 영역에서 흔히 요구되는 무거운 기계 장치들과 대조된다.

저자는 자신의 연구를 서론에서 언급된 광범위한 역학적 추측들(Bogomolov 또는 Mordell–Lang 추측 등)을 해결하는 것이 아니라, 특정 구조적 정리들을 증명하고 기존 결과들에 대한 대응물을 제공하는 "노트(note)"라고 겸손하게 규정한다.