5.1 타원곡선(Elliptic Curves) & 모델 정리
유리수체 위에서 정의된 타원곡선 $E(\mathbb{Q})$는 기하학적 덧셈을 통해 유한 생성 아벨 군을 형성하며, 이는 정수론에서 가장 깊이 있는 연구 대상 중 하나입니다.
1. 타원곡선의 정의와 바이어슈트라스 표준형
일반적으로 타원곡선은 다음과 같은 형태의 방정식을 만족하는 점들의 집합으로 정의됩니다.
$$y^2 = x^3 + ax + b$$
여기서 판별식 $\Delta = -16(4a^3 + 27b^2) \neq 0$ 이어야 곡선이 매끄럽고(non-singular), 특이점이 존재하지 않습니다. 또한 무한대점 $\mathcal{O}$를 포함합니다.
2. 군 구조 (Group Structure)
타원곡선 위의 두 점 $P, Q$를 더해 새로운 점 $R$을 만드는 'Chord-and-Tangent' 법칙을 통해 군 구조를 이룹니다.
- 덧셈 법칙: 두 점 $P, Q$를 잇는 직선이 곡선과 만나는 제3의 점을 구하고, 이를 $x$축에 대칭시킨 점을 $P+Q$라 정의합니다.
- 항등원: 무한대점 $\mathcal{O}$가 군의 항등원 역할을 합니다.
- 결합법칙: 기하학적으로 자명하지 않으나, 타원곡선 위의 점들은 덧셈에 대해 아벨 군(Abelian Group)을 형성합니다.
3. 모델 정리 (Mordell's Theorem)
1922년 루이스 모델은 유리수체 위에서 정의된 타원곡선의 해의 구조에 대한 기념비적인 정리를 발표했습니다.
The Theorem
$$E(\mathbb{Q}) \cong E(\mathbb{Q})_{\text{tors}} \times \mathbb{Z}^r$$
즉, 유리수점들의 군 $E(\mathbb{Q})$는 유한 생성 아벨 군입니다.
- 비틀림 부분군($E_{\text{tors}}$): 유한한 위수를 가진 점들의 집합 (Mazur의 정리에 의해 15가지 형태만 가능).
- 랭크($r$): 무한한 위수를 가진 독립적인 점들의 개수. 이 랭크를 계산하는 것이 현대 수론의 핵심 난제 중 하나입니다.
4. 수론적 응용
- 페르마의 마지막 정리: 와일즈는 타원곡선과 모듈러 형식 사이의 관계(모듈러성 정리)를 이용해 이 난제를 해결했습니다.
- 타원곡선 암호(ECC): 유한체 위의 타원곡선 군에서 이산 로그 문제를 푸는 것이 어렵다는 점을 이용합니다.
- BSD 추측: 타원곡선의 랭크 $r$과 L-함수의 $s=1$에서의 거동을 연결하는 밀레니엄 난제입니다.