스윈너턴다이어

[심화 강연] 군론, 수의 개념을 확장하다_by 김민형 / 2024 봄 카오스강연 '세상에 나쁜 수학은 없다' 2강 심화 | 2강

타원 곡선은 일반적으로 평면상에 나타나는 곡선으로, 복잡한 대수 방정식을 통해 정의됩니다. 흔히 y² + a₁xy + a₃y = x³ + a₂x² + a₄x + a₆와 같은 복잡한 형태를 띠기도 하지만, 변수 변환을 거치면 y² = x³ + ax + b라는 훨씬 간결한 표준형으로 정리할 수 있습니다. 이러한 곡선은 계수 a와 b의 값에 따라 하나의 연결된 곡선이 되기도 하고 두 조각으로 나뉘기도 하는 등 다양한 기하학적 형태를 보여줍니다. 수학자들은 이 단순해 보이는 곡선 속에 숨겨진 심오한 수론적 성질을 탐구하며 현대 수학의 중요한 난제들을 해결해 나가고 있습니다. 타원 곡선의 가장 흥미로운 특징 중 하나는 곡선 위의 점들이 '군(Group)'이라는 수학적 구조를 이룬다는 점입니다. 곡선 위의 두 점을 선택해 직선으로 연결하면 그 직선은 곡선과 반드시 또 다른 한 점에서 만나게 됩니다. 이 교점을 x축을 중심으로 대칭 이동시키면 두 점의 합에 해당하는 새로운 점을 얻을 수 있습니다. 이러한 기하학적 연산은 무한히 많은 점 사이에서 조화롭게 정의되며, 점 하나를 자기 자신과 더할 때는 그 점에서의 접선을 활용하는 방식으로 확장됩니다. 이는 단순한 그림 그리기를 넘어 대수학적 연산이 기하학적 형상과 완벽하게 결합된 사례라고 할 수 있습니다. 기하학적으로 정의된 타원 곡선의 연산에서 결합법칙이 성립한다는 사실은 매우 놀랍고도 증명하기 까다로운 주제입니다. 세 점을 어떤 순서로 더하더라도 결과가 항상 같다는 것을 보여주기 위해서는 사영 기하학이라는 고도의 수학적 도구가 필요합니다. 서로 다른 직선들을 복잡하게 그려나가는 과정임에도 불구하고 최종적인 결과가 일치한다는 점은 타원 곡선이 가진 내재적인 질서를 잘 보여줍니다. 이러한 결합법칙의 성립은 타원 곡선이 수학적으로 견고한 군 구조를 갖추게 하는 핵심적인 토대가 되며, 이는 타원 곡선 기초 이론에서 가장 중요하면서도 증명이 어려운 부분 중 하나로 손꼽힙니다. 모델의 정리(Mordell's Theorem)에 따르면 타원 곡선 위의 유리수 점 집합은 유한한 개수의 생성원을 통해 모두 표현될 수 있습니다. 이는 유리수 점이 무수히 많더라도, 적절한 몇 개의 기본 점들만 찾아내면 타원 곡선 연산을 반복하여 모든 점을 체계적으로 찾아낼 수 있음을 의미합니다. 예를 들어 특정 곡선에서 하나의 해를 찾았다면, 이를 계속해서 더해 나가는 과정만으로도 곡선 전체의 유리수 점들을 포착할 수 있는 것입니다. 마구잡이로 흩어져 있을 것 같은 유리수 점들이 이처럼 유한한 생성원에 의해 통제된다는 사실은 정수론에서 타원 곡선이 차지하는 독특한 위상을 잘 보여주는 대목입니다. 현대 수학의 거대한 난제인 '버치-스위너턴 다이어 추측'은 타원 곡선의 생성원을 찾는 알고리즘의 완결성과 깊은 관련이 있습니다. 현재 수학자들은 생성원을 찾는 프로그램을 실제로 사용하고 있으며, 지금까지의 수많은 시도에서 이 알고리즘은 항상 성공적으로 결과를 도출해 왔습니다. 그러나 원칙적으로 이 알고리즘이 모든 경우에 반드시 종료된다는 사실은 아직 증명되지 않았습니다. 만약 이 추측이 참으로 밝혀진다면 우리는 타원 곡선의 유리수 점을 찾는 완벽한 체계를 갖추게 될 것입니다. 클레이 수학 연구소가 100만 달러의 상금을 걸 만큼 이 문제는 정수론의 미래를 결정지을 핵심적인 과제로 남아 있습니다.