[논문 리뷰] Trace formula for component groups of Néron models

Johannes Nicaise|ArXiv.org|2009. 01. 13.

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

한 줄 요약

이 논문은 완비 이산적으로 값이 매겨진 체 위의 온화하게 분할된 아벨 다양체의 네론 모델의 성분군에 대한 추적 공식을 증명한다. 특수 섹션의 오일러 특성과 $\omega$-adic 코hom로의 온화한 단일화 연산자의 추적 사이의 관계를 보여주며, 이 추적 공식이 정확히 아벨 다양체가 순수하게 애드티브 감소를 가질 때 성립함을 밝힌다. 이 경우 양변은 모두 성분군 $\phi_A$ 의 순서와 같다. 증명은 범주적 다양체의 코homological 기법과 모티빅 통합을 사용한다.

ABSTRACT

We study a trace formula for tamely ramified abelian varieties $A$ over a complete discretely valued field, which expresses the Euler characteristic of the special fiber of the Néron model of $A$ in terms of the Galois action on the $\ell$-adic cohomology of $A$. If $A$ has purely additive reduction, the trace formula yields a cohomological interpretation for the number of connected components of the special fiber of the Néron model.

연구 동기 및 목표

• 완비 이산적으로 값이 매겨진 체 위의 아벨 다양체의 네론 모델의 성분군에 대한 코homological 추적 공식을 수립하기 위해.
• 모든 온화하게 분할된 아벨 다양체에 대해 추적 공식이 성립함을 증명하여 저자가 제기한 추측을 확인하기 위해.
• 순수하게 애드티브 감소인 경우에 네론 모델의 특수 섹션의 연결 성분 수에 대한 코homological 해석을 제공하기 위해.
• 부드럽고 완전한 다양체에서의 추적 공식을 아벨 다양체로 확장하기 위해, 모티빅 및 갈루아 이론적 기법을 사용하기 위해.

제안 방법

• 체 $k$-다양체의 그로텐디크 링과 네론 모델의 특수 섹션의 유니포텐트, 토릭, 아벨 부분으로의 셰바리에 분해를 사용한다.
• 모티빅 통합과 인접 사이클 이론을 적용하여 아벨 다양체의 모델의 제타 함수를 계산한다.
• 온화한 단일화 연산자 $\varphi$ 와 $\ell$-adic 코hom로에서의 작용을 이용하여 추적 공식을 정의한다.
• 사이다의 기하학적 온화성 기준과 코다이라-네론 감소 표를 활용하여 성분군을 분석한다.
• 모티빅 세르 불변량과 특수화 불변량을 사용하여 특수 섹션의 오일러 특성과 코homological 자료를 연결한다.
• 공식 $\chi_{\acute{e}t}(\mathcal{A}_s) = \mathrm{Trace}(\varphi \mid H(A \times_K K^t, \mathbb{Q}_\ell))$ 를 적용하고, 온화성과 순수하게 애드티브 감소 조건 하에서 이것이 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 완비 이산적으로 값이 매겨진 체 위의 모든 온화하게 분할된 아벨 다양체에 대해 추적 공식 $\chi_{\acute{e}t}(\mathcal{A}_s) = \mathrm{Trace}(\varphi \mid H(A \times_K K^t, \mathbb{Q}_\ell))$ 이 성립하는가?
• RQ2 아벨 다양체 $A$ 가 순수하게 애드티브 감소를 가질 때, 네론 모델의 성분군 $\Phi_A$ 의 코homological 해석은 무엇인가?
• RQ3 온화하게 분할된 경우에 네론 모델의 특수 섹션의 오일러 특성은 $\ell$-adic 코hom로에서 갈루아 작용과 어떻게 관련되는가?
• RQ4 기하학적 온화성 조건을 가정하지 않고, 코homological 온화성에 기반하여 추적 공식을 아벨 다양체에 대해 수립할 수 있는가?

주요 결과

• 추적 공식은 완비 이산적으로 값이 매겨진 체 위의 모든 온화하게 분할된 아벨 다양체에 대해 성립하며, 추측 1.1을 확인한다.
• 아벨 다양체가 순수하게 애드티브 감소를 하지 않는 한, 추적 공식의 양변은 모두 0이 된다.
• 아벨 다양체가 순수하게 애드티브 감소를 할 경우, 추적 공식의 양변은 모두 $\phi_A$ 와 같으며, 이는 네론 모델의 성분군의 순서이다.
• 성분군 $\phi_A$ 의 $p$ 외부 부분 $\phi_A'$ 는 $P_\varphi(1)$ 과 같으며, 이는 제타 함수의 $T=1$ 에서의 값이다.
• 아벨 다양체가 온화하게 분할되고 순수하게 애드티브 감소를 할 경우, $\phi_A = \phi_A'$ 이므로 성분군의 순서는 $p$ 와 서로소이다.
• 증명은 특이점의 해소 기법의 대안으로서 모티빅 및 코homological 기법을 제공하며, 추적 공식에 대한 새로운 관점을 제시한다.