대수적 덧셈 정리

초록

본 논문은 와이어스트라스가 제시한 대수적 덧셈 정리를 체계적으로 정리하고, 해당 정리를 만족하는 단일값·다중값 해석함수들의 전체 구조를 증명한다. 역사적 배경을 검토하고, 주요 정리들의 상세 증명을 제공함으로써 함수론과 대수기하 사이의 깊은 연계를 밝힌다.

상세 분석

대수적 덧셈 정리(AAT)는 함수 f 가 두 변수 u, v에 대해 f(u+v) 가 f(u)와 f(v) 에 대한 대수적 관계, 즉 어떤 다항식 P 이 존재하여 P(f(u), f(v), f(u+v)) ≡ 0을 만족한다는 조건이다. 와이어스트라스는 19세기 말 이 조건을 만족하는 전체 유리함수, 지수함수, 그리고 타원함수(Weierstrass ℘ 함수)만이 존재한다는 강력한 분류 정리를 제시하였다. 논문은 먼저 이러한 함수들의 정의와 기본 성질을 복습하고, AAT를 만족하는 함수들의 최소다항식 P 의 존재와 그 차수에 대한 제약을 분석한다. 최소다항식의 차수가 1이면 함수는 유리함수이며, 차수가 2이면 지수함수 형태(또는 그 역함수)로 귀결된다. 차수가 3 이상이면 복소평면에 주기 격자를 갖는 타원곡선 위의 정규화된 매개변수화가 가능해지며, 이때 f 는 ℘ 함수 혹은 ℘ 함수의 유리함수 조합으로 표현된다.

증명 과정에서는 먼저 지역적 해석 연속성을 이용해 f 의 정규화된 연속적 전개를 얻고, 그 전개가 전역적으로 확장될 수 있는 조건을 조사한다. 여기서 중요한 도구는 모노드로미와 다가공함수 이론이다. 함수가 다중값을 가질 경우, 그 분기점과 모노드로미 군의 작용을 분석하여 최소다항식이 전역적으로 정의됨을 보인다. 이후 미분 방정식 접근법을 도입해 f 가 만족하는 일차 비선형 미분식 f′(z)² = 4f(z)³ − g₂f(z) − g₃ 형태를 도출한다. 이는 바로 타원곡선의 정준형이며, 여기서 g₂, g₃ 는 상수이다. 이 미분식으로부터 ℘ 함수와 그 도함수 ℘′ 가 기본 해가 됨을 확인하고, 모든 AAT 함수는 ℘ 함수와 유리함수의 합성으로 나타낼 수 있음을 증명한다.

또한 논문은 다중값 경우에 대한 세부 사례를 제시한다. 예컨대, 복소평면을 두 번 덮는 이중 피복을 갖는 함수는 ℘ 함수의 제곱근 형태로 나타날 수 있으며, 이는 곧 타원곡선 위의 2‑torsion 점과 연관된다. 이러한 경우에도 AAT는 유지되며, 함수의 대수적 종속성은 곧 그 함수가 정의된 대수곡선의 군구조와 일치한다는 점을 강조한다.

마지막으로, 역사적 맥락에서 와이어스트라스 이전에 베르누이, 가우스, 리만 등이 부분적으로 다루었던 대수적 관계와 비교하며, 현대 대수기하와 복소타원곡선 이론이 이 정리를 어떻게 재해석하고 확장했는지를 논한다. 특히, 현대의 모듈러 형식과 복소다양체 이론에서 AAT가 갖는 의미와, 현재 진행 중인 연구(예: 다변수 대수적 덧셈 정리, 초대수적 함수)의 방향성을 제시한다.