타원곡선

수학노트
http://bomber0.myid.net/ (토론)님의 2011년 3월 23일 (수) 13:47 판
둘러보기로 가기 검색하러 가기
이 항목의 스프링노트 원문주소

 

 

개요

 

 

 

격자와 타원곡선
  • 타원곡선 \(y^2=4x^3-g_2(\tau)x-g_3(\tau)\)
    \(g_2(\tau) = 60G_4=60\sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{4}}\)
    \(g_3(\tau) = 140G_6=140\sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{6}}\)

 

 

주기
  • 타원곡선 \(y^2=(x-e_1)(x-e_2)(x-e_3)\)의 주기는 다음과 같이 정의된다
    \(\omega_1=2\int_{\infty}^{e_1}\frac{dx}{\sqrt{(x-e_1)(x-e_2)(x-e_3)}}\)
    \(\omega_2=2\int_{e_1}^{e_2}\frac{dx}{\sqrt{(x-e_1)(x-e_2)(x-e_3)}}\)
  • 타원곡선의 주기

 

 

군의 구조
  • chord-tangent method
  • 유리수해에 대한 Mordell theorem
    • 유리수체 위에 정의된 타원의 유리수해는 유한생성아벨군의 구조를 가짐
    • \(E(\mathbb{Q})=\mathbb{Z}^r \oplus E(\mathbb{Q})_{\operatorname{Tor}}\)
    • 여기서 \(E(\mathbb{Q})_{\operatorname{Tor}}\)는 \(E(\mathbb{Q})\)의 원소 중에서 order가 유한이 되는 원소들로 이루어진 유한군

 

 

덧셈공식
  • \(y^2=x^3+ax^2+bx+c\)위의 점 \(P=(x,y)\)에 대하여,
    \(2P\)의 \(x\)좌표는\(\frac{x^4-2bx^2-8cx-4ac+b^2}{4y^2}\) 로 주어진다

 

 

rank와 torsion
  • \(E(\mathbb{Q})_{\operatorname{Tor}}\)는 오직 다음 열다섯가지 경우만이 가능하다
    크기가 1,2,3,4,5,6,7,8,9,10,12 (11은 불가)인 순환군 또는 \(\frac{\mathbb Z}{2\mathbb Z}\oplus \frac{\mathbb Z}{n\mathbb Z}\) for n=1,2,3,4
  • 예) \(E_n : y^2=x^3-n^2x\)의 torsion은 \(\{(\infty,\infty), (0,0),(n,0),(-n,0)\}\)임

 

 

Hasse-Weil 정리
  • \(|\#E(\mathbb{F}_p)-p-1|\leq 2\sqrt{p}\)

 

 

 

타원곡선의 L-함수
  • http://cgd.best.vwh.net/home/flt/flt06.htm#intro
  • Hasse-Weil 제타함수라고도 함
  • 타원 곡선 E의 conductor가 N일 때, 다음과 같이 정의됨
    \(L(s,E)=\prod_pL_p(s,E)^{-1}\)
    여기서 
    \(L_p(s,E)=\left\{\begin{array}{ll} (1-a_pp^{-s}+p^{1-2s}), & \mbox{if }p\nmid N \\ (1-a_pp^{-s}), & \mbox{if }p||N \\ 1, & \mbox{if }p^2|N \end{array}\right\)
  • 여기서 \(a_p\)는 유한체위에서의 해의 개수와 관련된 정수
  • Birch and Swinnerton-Dyer 추측 항목 참조

 

 

타니야마-시무라 추측(정리)

 

 

Birch and Swinnerton-Dyer 추측

 

 

타원곡선의 예

 

재미있는 사실

 

 

역사

 

 

 

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

expository articles

 

 

관련논문

 

 

관련도서 및 추천도서

 

 

관련기사

 

 

블로그