[논문 리뷰] The Shafarevich conjecture for hypersurfaces in abelian varieties

Brian Lawrence, Will Sawin|arXiv (Cornell University)|2020. 04. 20.

Algebraic Geometry and Number Theory참고 문헌 43인용 수 14

한 줄 요약

이 논문은 차원이 4 이상인 아벨 다양체에서, 고정된 앰플 클래스를 갖는 부드러운 초곡면이 유한함을 증명한다. 이는 유한한 소수 집합 외부에서 양호한 균열을 가지며, 이동에 대해 정의된 것으로, 네론-세버리 그룹에서의 앰플 클래스를 갖는다. 증명은 $p$-진 호지 구조의 변형과, 층의 컨볼루션에 대한 새로운 탄나키안 접근법을 결합하여 큰 단일화군을 확립함으로써 기하학적 유한성 결과를 이끌어내며, 이는 곡선에 대한 샤파레비치 추측과 유사하다.

ABSTRACT

Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many smooth hypersurfaces in $A$, with good reduction outside $S$, representing a given ample class in the Néron-Severi group of $A$, up to translation, as long as the dimension of $A$ is at least $4$. Our approach builds on the approach of arXiv:1807.02721 which studies $p$-adic variations of Hodge structure to turn finiteness results for $p$-adic Galois representations into geometric finiteness statements. A key new ingredient is an approach to proving big monodromy for the variations of Hodge structure arising from the middle cohomology of these hypersurfaces using the Tannakian theory of sheaf convolution on abelian varieties.

연구 동기 및 목표

• 고정된 유한한 소수 집합 외부에서 양호한 균열을 가지는 아벨 다양체의 부드러운 초곡면에 대한 기하학적 유한성 결과를 확립한다.
• 원래 곡선과 아벨 다양체에서 증명된 샤파레비치 추측을, 아벨 다양체 내의 고차원 초곡면으로 확장한다.
• 아벨 다양체의 차원이 4 이상일 경우, 고정된 앰플 네론-세버리 클래스를 갖는 초곡면이 이동에 대해 정의된 것으로, 이러한 초곡면이 유한함을 증명한다.
• 아벨 다양체 내 초곡면에서 유래하는 호지 구조의 변형에 대해 큰 단일화군을 증명하기 위한 새로운 방법을 개발한다. 이는 탄나키안 형식과 층 컨볼루션을 사용한다.

제안 방법

• 특정 $p$-진 갈루아 표현의 유한성을 기하학적 유한성 진술로 변환하기 위해 $p$-진 호지 구조의 변형을 활용한다.
• 크라머와 바이스너의 층 컨볼루션 체계를 적용하여 아벨 다양체 위의 코homological 구조를 분석한다.
• 중간 코homology의 큰 단일화군을 확립하기 위해 탄나키안 이론을 활용한다. 이는 유한성 증명의 핵심 단계이다.
• 특정 피카르 클래스에 대한 프로젝티브 공간에서 특이 초곡면이 초면을 이룬다는 사실을 활용하여, 판별 다항식을 포함하는 디오판틴 방정식으로 문제를 환원한다.
• 점점 증가하는 차원에 대해 渐近 추정과 사례별 검증을 수행하며, 유한한 검증을 위해 파이썬 코드를 활용한다.
• 강한 단일화군 조건을 통해 준유한 주기 사상(주기 매핑)을 확립하여 기하학적 구조와 산술적 유한성 간의 연결 고리를 형성한다.

실험 결과

연구 질문

• RQ1 차원이 4 이상인 아벨 다양체에서, 고정된 앰플 네론-세버리 클래스를 갖는 부드러운 초곡면이 주어졌을 때, 유한한 소수 집합 외부에서 양호한 균열을 가지며, 이동에 대해 정의된 것으로, 이러한 초곡면이 유한한가?
• RQ2 원래 곡선에 대해 증명된 샤파레비치 추측을, 차원 2를 초월하는 아벨 다양체 내의 초곡면으로 확장할 수 있는가?
• RQ3 큰 단일화군이 이러한 초곡면의 유한성 보장에 어떤 역할을 하는가? 그리고 층 컨볼루션과 탄나키안 형식을 통해 어떻게 이를 확립할 수 있는가?
• RQ4 특이 초곡면의 판별자 집합의 구조는 $S$-단위에서의 디오판틴 유한성과 어떤 관련이 있는가?
• RQ5 차원 3에서의 산술적 장애는 무엇이며, 왜 결과가 교차 수가 빠르게 증가하는 수열 $d(i)$로 나누어지지 않는 조건이 필요할까?

주요 결과

• 차원이 4 이상인 아벨 다양체에서는, 고정된 앰플 네론-세버리 클래스를 갖는 부드러운 초곡면이 유한하며, 이는 유한한 소수 집합 $S$ 외부에서의 양호한 균열 조건을 만족하고, 이동에 대해 정의된 것으로 간주된다.
• 이 결과는 $\mathcal{O}_K[1/S]$ 내의 $S$-단위 $u$를 갖는 판별 다항식 방정식 $\Delta(x_1,\dots,x_N) = u$의 해의 유한성과 동치이며, 샤파레비치 추측을 초곡면으로 일반화한다.
• 차원 3에서는 삼중 교차 수 $\phi \cdot \phi \cdot \phi$ 가 모든 $i \geq 2$ 에 대해 $d(i)$ 로 나누어지지 않을 조건 하에 유한성이 성립한다. 여기서 $d(i)$ 는 초지수적으로 증가한다.
• 선형 재귀를 만족하는 $a(i)$ 를 갖는 수열 $d(i) = \binom{a(i)+a(i+1)}{a(i)}$ 는 매우 빠르게 증가하여, 교차 수의 거의 전부가 제외되는 비율은 극히 미미하다.
• 증명은 아벨 다양체 위의 초곡면 중간 코homology에 대한 호지 구조의 변형에 대해, 층 컨볼루션에 탄나키안 형식을 적용하여 큰 단일화군을 확립한다.
• 이 방법은 팔링스의 원래 정리들과 독립적인 산술적 유한성 결과를 도출하는 데 새로운 길을 열며, 샤파레비치 추측이 많은 다양체의 가닥에 대해 성립할 것이라는 보다 넓은 추측을 뒷받침한다.