[논문 리뷰] Reduction of Abelian Varieties and Grothendieck's Pairing

Klaus Loerke|ArXiv.org|2009. 09. 24.

Advanced Topology and Set Theory참고 문헌 4인용 수 6

한 줄 요약

이 논문은 잔여체가 완전체인 엄격하게 헨젤화된 이산 평탄 체에 대해 차원 $ g $인 아벨 다양체가 $ 2g + 3 \leq p $일 때, 흐름이 온전한 확장 후에 반안정 환원을 얻는다는 것을 증명한다. 여기서 $ p $는 잔여 특성이다. 이 결과를 바탕으로, 이러한 다양체에 대해 그로텐디크의 쌍대성 쌍대화가 완전함을 입증하여, 산술기하학에서 그로텐디크의 쌍대성 쌍대화 추측의 핵심 케이스를 해결한다.

ABSTRACT

We prove that abelian varieties of small dimension over discrete valuated, stricty henselian ground fields with perfect residue class field obtain semistable reduction after a tamely ramified extension of the ground field. Using this result we obtain perfectness results for Grothendieck's pairing.

연구 동기 및 목표

• 네론 모델의 성분군에 대한 그로텐디크의 쌍대화가 완전해지는 조건을 규명하는 것.
• 잔여체가 완전체인 엄격하게 헨젤화된 이산 평탄 체 위의 낮은 차원 아벨 다양체가 흐름이 온전한 기저 변경 후에 반안정 환원을 얻는다는 것을 증명하는 것.
• 이전에 반안정 환원에 대해 증명된 그로텐디크의 쌍대화의 완전성 결과를 환원 이론을 통해 더 넓은 범주로 확장하는 것.
• 웨일 제한과 갈루아 표현 기법을 사용하여 기저 변경과 흐름이 온전한 확장에서 성분군의 행동을 분석하는 것.

제안 방법

• 논문은 네론 모델과 성분군 이론을 활용하여 쌍대성 쌍대화를 Poincaré 번들의 네론 모델 수준으로의 확장을 연결한다.
• Biext 이론과 그로텐디크의 쌍대화를 $ \operatorname{Biext}^1 $, $ \mathscr{G} $, $ i_*\mathbb{Z} $를 포함하는 정확한 수열을 통해 적용하며, 쌍대화를 Poincaré 번들의 이미지로 식별한다.
• 주요 기술적 도구는 갈루아 확장 $ L/K $에 沿해 $ A_L $의 네론 모델에 대한 웨일 제한을 사용하는 것으로, 웨일 제한된 네론 모델 자체가 네론 모델임을 보여준다.
• 특히 $ 2g + 3 \leq p $ 조건 하에서 $ \ell $-진 타이트 모듈에 대한 갈루아 군의 작용을 분석하며, 프로-$ p $-부분군과 그들의 자명한 작용에 초점을 맞춘다.
• 프로-$ p $-군이 $ T_\ell(A_K) $에 자명하게 작용하면, $ L^{\rm tr}/K $는 흐름이 온전한 확장이며 $ A_{L^{\rm tr}} $는 반안정 환원을 갖는다는 사실을 이용한다.
• 갈루아 기준과 반안정 환원 정리를 적용하여, 성분군이 흐름이 온전한 확장에서 자명해지며, 이는 쌍대화의 완전성을 암시한다.

실험 결과

연구 질문

• RQ1 잔여체가 완전체인 엄격하게 헨젤화된 이산 평탄 체 위의 아벨 다양체가 흐름이 온전한 기저 변경 후에 반안정 환원을 얻는 조건은 무엇인가?
• RQ2 네론 모델의 성분군에 대한 그로텐디크의 쌍대화가 언제 완전한가?
• RQ3 아벨 다양체의 차원과 잔여 특성 $ p $는 반안정 환원의 존재성과 쌍대화의 완전성에 어떤 제약을 끼치는가?
• RQ4 웨일 제한은 갈루아 확장에 따라 네론 모델의 성질를 어떻게 전달하는가?
• RQ5 조건 $ 2g + 3 \leq p $를 사용하여 성분군의 $ p $-부분이 자명해지게 하여 쌍대화의 완전성을 보장할 수 있는가?

주요 결과

• 잔여체 $ k $가 특성 $ p $인 완전체인 엄격하게 헨젤화된 이산 평탄 체 위의 차원 $ g $인 아벨 다양체는 $ 2g + 3 \leq p $일 때, 흐름이 온전한 확장 후에 반안정 환원을 얻는다.
• 이러한 다양체에 대해 네론 모델의 성분군의 $ p $-부분은 자명하며, 이는 유도된 사상 $ \mathfrak{A}' \to \widehat{\mathfrak{A}} $가 동형임을 암시한다.
• 그로텐디크의 쌍대화의 소수 외 부분은 항상 완전하며, [Be01]에서 이미 증명되었고, 전체 쌍대화는 조건 $ 2g + 3 \leq p $ 하에서 완전하다.
• 네론 모델의 성분군 $ \mathfrak{A} $가 $ p $-군이 되는 것은 스킴 $ \mathscr{E}\!xt^1(A, \mathbb{G}_m) $가 연결되어 있음과 동치이며, 이는 쌍대화가 완전함을 의미한다.
• 모든 단순 아벨 다양체 $ B_{K,i} $가 각각 $ 2 \cdot \dim B_{K,i} + 3 \leq p $를 만족하는 경우, $ A_K $가 그들의 곱과 이sov레인지일 때, 그로텐디크의 쌍대화는 완전하다.
• 다음과 같은 조건을 만족하는 최소 흐름이 온전한 확장 $ L/K $에서 $ A_L $가 반안정 환원을 갖는 갈루아 군은 $ 2g + 3 $ 이상의 소수를 약수로 가지 않으며, 이는 분할의 유형을 제한한다.