하나의 난제, 세 번의 몰입
이야기에서 내 추측까지
난제 이야기는 호기심을 여는 입구이고, 난제 작업실은 그 호기심을 검증 가능한 생각으로 발전시키는 다음 장소입니다.
BSD 추측 — 타원곡선의 정수해는 어떻게 분포하는가
"타원곡선 위의 유리수 점은 유한히 많은가, 무한히 많은가? 그것을 L-함수가 알려준다." 1965년 추측, 60년 미해결.
작은 실험은 가능하지만 완전한 증명은 현대 수학의 가장 높은 벽에 있어요.
시작 난이도는 문제를 이해하고 작은 사례를 탐험하는 기준입니다. 완전한 증명의 난이도와는 다릅니다.
5분 첫 시도로 내려가기클레이 수학 연구소 — 100만 달러 (밀레니엄 7대 문제)
이 난제, 그림으로
BSD 추측은 타원곡선의 유리수 해의 풍부함(rank)이 L-함수가 s=1에서 사라지는 차수와 같다고 말한다. 보라색은 유리점이 유한한 rank 0, 청색은 (−4, ±6)이 생성하는 무한 가족을 가진 rank 1이다.
[y² = x³ - x (rank 0) · y² = x³ - 25x (rank 1)]문제의 진술
타원곡선 E: y² = x³ + ax + b. 그 위의 유리수 점들의 군 E(ℚ)의 랭크가 r이라면 — L-함수 L(E, s)의 s = 1에서의 영점 차수가 정확히 r이다.
이 난제의 이야기
1960년대 초, 케임브리지의 두 수학자 브라이언 버치와 피터 스위너톤-다이어가 EDSAC 2 컴퓨터로 수많은 타원곡선에 대해 유리수 점 개수와 L-함수의 행동을 비교했다. 놀라운 패턴이 보였다 — L-함수가 어떻게 행동하는가가 유리수 점이 얼마나 많은가를 정확히 알려주는 듯했다.
왜 중요한가: BSD가 참이면 타원곡선 위의 정수해 분포가 결정된다. 암호학에서 타원곡선 암호(ECC, 비트코인이 사용)가 안전한지 — 얼마나 큰 곡선이 깨지지 않는지 — 이 추측에 의존. 페르마 마지막 정리도 사실 모듈러성 정리의 일부였고, 그 모듈러성은 BSD의 동지 추측들과 깊이 얽혀있다.
부분적인 진전: 1977년 콜리바긴-그로스-자기에가 랭크 0과 1에 대해 BSD를 증명. 랭크 2 이상은 미해결. 클레이 100만 달러. 이 추측이 매혹적인 이유는 완전히 다른 두 세계(기하와 해석)가 L-함수라는 다리로 연결된다는 것 — 수학의 가장 깊은 통합 중 하나.
직접 시도해보기
직접 타원곡선의 정수해를 찾아보자. y² = x³ - x. 정수해: (-1, 0), (0, 0), (1, 0) — 유한. y² = x³ - 25x. (-5, 0), (-4, 6), (0, 0), (5, 0), (10, ±30), … — 무한히 많다. 왜 첫 번째는 유한이고 두 번째는 무한인가? 답이 BSD다.
MathVoyage 너머로
불러오는 중…