[논문 리뷰] Etude locale des torseurs sous une courbe elliptique

Jilong Tong|arXiv (Cornell University)|2010. 05. 04.

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

한 줄 요약

이 논문은 완비离散가중치체 위의 타원곡선 $ J_K $ 위의 토르서에 대한 최소 정규 완비 모형 $ X $ 에서 $ \mathcal{I} $-adic 및 $ \pi $-adic 필터링과의 호환성을 다룬다. $ q(S) $ 가 이러한 필터링과 호환됨을 증명하고, 국소 클래스체론에서의 것들과 유사한 헤르브란드 유형 함수를 구성하며, 해당 호환된 사상이 $ \mathcal{I} $ 의 거듭제곱을 통해 명시적으로 기술된 핵을 가진 이소지니임을 증명한다.

ABSTRACT

This article concerns the geometry of torsors under an elliptic curve. Let $\OO_K$ be a complete discrete valuation ring with algebraically closed residue field and function field $K$. Let $π$ be a generator of the maximal ideal of $\OO_K$, and $S=\mathrm{Spec}(\OO_K)$. Suppose that we are given $J_K$ an elliptic curve over $K$, with $J$ the connected component of the $S$-N?ron model of $J_K$. Given $X_K/K$ a torsor of order $d$ under $J_K$, let $X$ be the $S$-minimal regular proper model. Then there is an invertible id?al $\mathcal{I}\subset \OO_K$ such that $\mathcal{I}^{d}=π\OO_X\subset \OO_X$. Moreover, there exists a canonical morphism $q:\Pic^{\circ}_{X/S} ightarrow J$ which induces a surjective map $q(S):\Pic^{\circ}(X) ightarrow J(S)$. The purpose of the article is to prove this last morphism $q(S)$ is compatible with respect to the $\mathcal{I}$-adic filtration on $\Pic^{\circ}(X)$, and the $π$-adic filtration on $J(S)$. As a byproduct, we obtain { extquotedblleft Herbrand functions extquotedblright}, similar to those Serre used in his description of local class fields (\cite{Serre})

연구 동기 및 목표

• 완비 이산가중치체 위에서 잔여체가 대수적으로 닫혀 있는 타원곡선 위의 토르서의 구조 이해.
• 최소 정규 완비 모형 $ X $ 에서 코homological flatness 의 실패 분석 및 $ \mathrm{Pic}^\circ_{X/S} $ 의 비표현성 분석.
• $ q: \mathrm{Pic}^\circ_{X/S} \to J $ 의 표준 사상이 $ \mathrm{Pic}^\circ(X) $ 에서의 $ \mathcal{I} $-adic 필터링과 $ J(S) $ 에서의 $ \pi $-adic 필터링과의 호환성 확립.
• 필터링 호환성에 기반한 세르의 국소 클래스체론에서의 것들과 유사한 헤르브란드 유형 함수의 구성.
• 필터링의 각 조각에 유도된 사상이 $ \mathcal{I} $ 의 거듭제곱으로 생성된 핵을 가진 이소지니임을 증명.

제안 방법

• 순서 $ d $ 의 $ J_K $ 위의 토르서 $ X_K $ 의 $ S $-최소 정규 완비 모형 $ X $ 을 사용하고, $ \mathcal{I}^d = \pi \mathcal{O}_X $ 를 만족하는 가환 아이디얼 $ \mathcal{I} \subset \mathcal{O}_X $ 를 식별.
• 강체화 이론 및 그린버그 실현을 적용하여 피카르 함자 $ \mathrm{Pic}^\circ_{X/S} $ 를 스무스 군 스킴의 극한으로 표현.
• $ \mathcal{I} $ 의 거듭제곱을 통한 $ \mathrm{Pic}^\circ(X) $ 에 필터링을 구성하고, $ \pi $ 의 거듭제곱을 통한 $ J(S) $ 에 필터링을 구성하며, 유도된 사상의 조각 분석.
• 군 스킴의 확대를 이용해 순환적으로 스무스 군 스킴 $ G^{[n]'} $ 과 사상 $ \theta^{[n]'}: G^{[n]'} \to J^{[n]} $ 을 구성하며, 확대의 보편성 성질을 활용.
• $ \mathrm{Gr}(\mathrm{Pic}^\circ(X/S)) \to \mathrm{Gr}_n(J) $ 에 유도된 사상 $ q_n $ 이 이소지니임을 증명하고, $ \psi(n) $ 모듈로에서 $ \mathcal{I}^i $ 에 의해 생성된 핵을 가짐을 보임.
• 특히 $ q_n $ 의 핵이 정확히 $ \mathcal{I}^i|_{X_{\psi(n)}} $ 의 이미지로 생성되며, 이 핵 군 스킴이 정규이자 충분히 큰 $ n $ 에서는 스무스임을 증명.

실험 결과

연구 질문

• RQ1 표준 사상 $ q: \mathrm{Pic}^\circ_{X/S} \to J $ 는 $ \mathrm{Pic}^\circ(X) $ 에서의 $ \mathcal{I} $-adic 필터링과 $ J(S) $ 에서의 $ \pi $-adic 필터링과 어떻게 상호작용하는가?
• RQ2 필터링의 조각 구조는 무엇이며, $ \mathrm{Pic}^\circ(X) $ 와 $ J(S) $ 의 조각과 어떻게 관련되는가?
• RQ3 필터링 호환성에서 헤르브란드 유형 함수를 구성할 수 있으며, 이는 세르의 국소 클래스체론에서의 함수와 어떻게 비교되는가?
• RQ4 필터링의 조각에 유도된 사상 $ q_n $ 의 핵은 무엇인가?
• RQ5 $ \theta^{[n]'} $ 의 핵 군 스킴 $ N^{[n]'} = \ker(\theta^{[n]'}) $ 이 어떤 조건에서 스무스 또는 정규가 되는가?

주요 결과

• $ q: \mathrm{Pic}^\circ_{X/S} \to J $ 는 $ \mathcal{I} $-adic 및 $ \pi $-adic 필터링의 조각에 유도된 사상 $ q_n: \mathrm{Gr}(\mathrm{Pic}^\circ(X/S)) \to \mathrm{Gr}_n(J) $ 를 유도하며, 이 사상은 이소지니다.
• $ q_n $ 의 핵은 $ \mathrm{Gr}(\mathrm{Pic}^\circ(X_{\psi(n)})) $ 에서 $ \mathcal{I}^i|_{X_{\psi(n)}} $ 의 이미지들로 생성되며, $ d $ 가 소수일 경우 이 핵은 $ \mathbb{Z}/d\mathbb{Z} $ 와 동형이다.
• $ q_n $ 은 필터링의 구조와 호환되며, $ k $-점에 유도된 사상은 유한한 핵을 가지는 전사 군 준동형사상이다.
• $ N^{[n]'} = \ker(\theta^{[n]'}) $ 는 정규이며, 충분히 큰 $ n $ 에서는 $ S $-위에서 스무스가 된다.
• 필터링 호환성에 기반한 헤르브란드 유형 함수가 구성되며, 이는 세르의 국소 클래스체론에서의 함수와 유사하며, 토르서의 분비 정보를 포함한다.
• $ G^{[n]'} $ 이 $ G^{[n-1]'} $ 의 확대를 통해 구성되며, 이는 $ G^{[n]'} $ 이 스무스 $ S $-군 스킴임을 보장하며, $ \theta^{[n]'} $ 은 충실하게 평탄하다.