[논문 리뷰] On p-torsion of p-adic elliptic curves with additive reduction

René Pannekoek|arXiv (Cornell University)|2012. 11. 26.

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

한 줄 요약

이 논문은 애드티브 감소를 가진 타원곡선의 $ p $-진 점들로 이루어진 군 $ E_0(\bQ_p) $ 의 위상적 구조를 결정하며, $ p = 2, 3, 5, 7 $ 를 제외한 경우에만 $ \bZ_p $ 와 위상적으로 동형임을 보이고, 이 네 가지 특수한 경우에서는 $ p\bZ_p \times \bF_p $ 와 동형임을 보인다. 이 결과는 형식군 법칙과 곡선의 형식군에서의 곱셈-by-$ p $ 사상의 순서 분석을 통해 도출된다.

ABSTRACT

Let E be an elliptic curve with additive reduction over the p-adic numbers, and let G be the group of p-adic points on E that have good reduction. This paper gives necessary and sufficient conditions for G to contain non-trivial p-torsion.

연구 동기 및 목표

• 애드티브 감소를 가진 타원곡선에 대해 $ \bQ_p $ 에서의 $ p $-진 점들 중 감소된 곡선에서 비특이점으로 내림내림되는 점들의 부분군인 $ E_0(\bQ_p) $ 의 위상군 구조를 규명하는 것.
• 최소 웨이어스트라스 방정식의 계수에 대해 $ E_0(\bQ_p) $ 가 $ \bZ_p $ 와 동형이 아니게 되는 정확한 조건을 규명하는 것.
• 형식군 이론을 확장하여 필터링 $ E_0(\bQ_p) \triangleright E_1(\bQ_p) \triangleright \cdots $ 을 분석하고, 몫 $ E_0(\bQ_p)/E_1(\bQ_p) $ 가 비표준적으로 분해되는지 여부를 결정하는 것.
• $ p \neq 2,3,5,7 $ 인 경우 $ \bQ $ 상에서 애드티브 감소를 가진 타원곡선의 구체적 예를 제시하며, 이들에서 $ E_0(\bQ_p) \not\to \bZ_p $ 임을 보이고, 유리수 계수를 가진 $ p $- torsion 점을 가진 곡선을 구성하는 것.
• 기존 문헌의 결과를 일반화하여, 특별히 애드티브 감소를 가진 타원곡선 뿐 아니라 특수한 특이점이 있는 $ \bZ_p $ 상의 웨이어스트라스 곡선까지 고려하는 것.

제안 방법

• 각 몫 $ E_n/E_{n+1} \to \bF_p $ 를 만족하는 표준 필터링 $ E_0(\bQ_p) \triangleright E_1(\bQ_p) \triangleright \cdots $ 을 사용하고, 형식로그를 통해 $ E_2(\bQ_p) $ 를 $ p^2\bZ_p $ 와 동형으로 식별한다.
• $ p > 2 $ 인 경우, $ E_1(\bQ_p) \to p\bZ_p $ 에 대한 자연스러운 동형사상 $ j' $ 가 존재하며, 이를 형식군에서의 곱셈-by-$ p $ 사상의 행동을 분석함으로써 $ E_0(\bQ_p) $ 로 확장한다.
• 형식군 $ \tE $ 에서의 곱셈-by-$ p $ 사상 $[p](T)$ 의 멱급수 전개에 대한 순서 이론적 분석을 적용하여, $[p](z) $ 가 순서 1을 가질 때를 중심으로 분석한다.
• 문제를 $ p^2 $ 모듈로에서의 특정 계수 조건을 점검하는 것으로 환원한다: $ p=2 $ 에서는 $ a_1 + a_3 \not\to 2 \bmod 4 $, $ p=3 $ 에서는 $ a_2 \not\to 6 \bmod 9 $, $ p=5 $ 에서는 $ a_4 \not\to 10 \bmod 25 $, $ p=7 $ 에서는 $ a_6 \not\to 14 \bmod 49 $.
• $ \bZ_p $ 에서 $ z \to z^p \bmod p $ 이므로, 순서 조건 $ v_p([p](z)) = 1 $ 을 계수에 대한 합동식으로 단순화할 수 있다.
• 정확한 수열 $ 0 \to p\bZ_p \to E_0(\bQ_p) \to \bF_p \to 0 $ 에 정리 7 을 적용하여, 확장이 분해되려면 순서 조건이 실패해야 한다는 것을 보인다.

실험 결과

연구 질문

• RQ1 애드티브 감소를 가진 $ \bQ_p $ 상의 타원곡선에서 $ p $-진 점들의 군 $ E_0(\bQ_p) $ 이 위상군으로서 $ \bZ_p $ 와 동형일 조건은 언제인가?
• RQ2 최소 웨이어스트라스 모델의 계수에 대해 $ E_0(\bQ_p) $ 가 $ \bZ_p $ 와 동형이 아니고, 대신 $ p\bZ_p \times \bF_p $ 와 동형이 되는 정확한 조건은 무엇인가?
• RQ3 타원곡선의 형식군 법칙의 구조가 필터링 몫 $ E_0(\bQ_p)/E_1(\bQ_p) $ 의 분해에 어떤 영향을 미치는가?
• RQ4 $ p \neq 2,3,5,7 $ 인 경우 $ E_0(\bQ_p) $ 가 항상 $ \bZ_p $ 와 동형일까? 그리고 특수한 경우가 오직 이 네 소수에서만 발생하는 이유는 무엇인가?
• RQ5 $ \bQ $ 상에서 애드티브 감소를 가진 타원곡선을 구성하여, $ p $-torsion 점이 $ \bQ $ 에 정의되어 있고 $ E_0(\bQ_p) $ 에 속해 있는가?

주요 결과

• $ p > 7 $ 인 경우, 모든 계수 $ a_i \to 0 \bmod p $ 라면 $ E_0(\bQ_p) $ 는 형식로그를 통해 $ \bZ_p $ 와 위상적으로 동형이며, 이 동형은 자연스럽다.
• $ p = 2 $ 인 경우, $ a_1 + a_3 \to 2 \bmod 4 $ 라면 $ E_0(\bQ_2) \not\to \bZ_2 $ 이며, 이 경우 $ 2\bZ_2 \times \bF_2 $ 와 동형이며, 이때 $ \bF_2 $ 는 이산 위상을 가진다.
• $ p = 3 $ 인 경우, $ a_2 \to 6 \bmod 9 $ 라면 $ E_0(\bQ_3) \not\to \bZ_3 $ 이며, 이 경우 $ 3\bZ_3 \times \bF_3 $ 와 동형이다.
• $ p = 5 $ 인 경우, $ a_4 \to 10 \bmod 25 $ 라면 $ E_0(\bQ_5) \not\to \bZ_5 $ 이며, 이 경우 $ 5\bZ_5 \times \bF_5 $ 와 동형이다.
• $ p = 7 $ 인 경우, $ a_6 \to 14 \bmod 49 $ 라면 $ E_0(\bQ_7) \not\to \bZ_7 $ 이며, 이 경우 $ 7\bZ_7 \times \bF_7 $ 와 동형이다.
• 논문은 $ \bQ $ 상에서 애드티브 감소를 가진 타원곡선의 구체적 예를 제시하며, 각각 $ p = 2,3,5,7 $ 에 대해 유리수 $ p $-torsion 점이 $ E_0(\bQ_p) $ 에 속해 있음을 확인하여 특수한 경우를 검증한다.