대수기하학 (Algebraic Geometry)

대수기하학(Algebraic Geometry)은 다항식(polynomial)으로 정의되는 도형(다양체)을 연구하는 수학 분야입니다. 대수학과 기하학이 만나는 교차점에 위치하며, 방정식의 해집합이 만드는 기하학적 형태를 탐구합니다.

중학교 수학과의 연결: 중학교에서 $y = 2x + 3$ 같은 일차방정식의 그래프가 직선이 된다는 것을 배웠습니다. $x^2 + y^2 = 1$은 원이 됩니다. 대수기하학은 바로 이 아이디어를 확장합니다 — "방정식이 주어지면, 그 해들이 어떤 도형을 이루는가?"를 체계적으로 연구하는 학문입니다.

비유로 이해하기: 조각가가 대리석 덩어리에서 불필요한 부분을 깎아내어 형상을 만드는 것을 생각해 보십시오. 대수기하학에서는 "전체 공간"이라는 큰 덩어리에서 "다항식 = 0"이라는 조건으로 잘라내어 도형을 만듭니다. 다항식이 칼이고, 잘린 부분이 다양체(variety)입니다.

선수 지식: 추상대수학, 선형대수학

난이도: ★★★★★ (대학교 심화/대학원)

아핀 대수다양체 (Affine Algebraic Variety)

정의

체(field) $k$ 위의 아핀 $n$-공간(affine $n$-space)이란 $k$의 원소로 이루어진 $n$-튜플의 집합입니다.

$$\mathbb{A}^n_k = \{(a_1, a_2, \ldots, a_n) \mid a_i \in k\}$$

다항식 환(polynomial ring) $k[x_1, x_2, \ldots, x_n]$의 부분집합 $S$가 주어졌을 때, $S$에 속하는 모든 다항식의 공통 영점(zero)의 집합을 아핀 대수다양체(affine algebraic variety)라 합니다.

$$V(S) = \{(a_1, \ldots, a_n) \in \mathbb{A}^n_k \mid f(a_1, \ldots, a_n) = 0, \; \forall f \in S\}$$

쉬운 설명: 아핀 대수다양체란 "여러 다항식을 동시에 만족하는 점들의 모임"입니다. 예를 들어, $x^2 + y^2 = 1$을 만족하는 점들의 집합은 원이고, 이것이 바로 아핀 대수다양체의 한 예입니다.

성질

유한 개의 다양체의 합집합은 다양체입니다: $V(S_1) \cup V(S_2) = V(S_1 \cdot S_2)$
임의 개의 다양체의 교집합도 다양체입니다: $\bigcap_\alpha V(S_\alpha) = V(\bigcup_\alpha S_\alpha)$
$\mathbb{A}^n_k$ 자체와 공집합도 다양체입니다: $\mathbb{A}^n_k = V(0)$, $\varnothing = V(1)$

예시

대수적 평면곡선(algebraic plane curve)은 $\mathbb{A}^2_k$ 위의 다양체 중 가장 직관적인 예시입니다.

위 그림에서 보듯이, 다항식의 차수(degree)와 형태에 따라 매우 다양한 기하학적 도형이 만들어집니다.

좌표환

다양체 $V = V(I) \subseteq \mathbb{A}^n_k$에 대하여, 좌표환(coordinate ring)은 다항식 환을 이상(ideal)으로 나눈 몫환입니다.

$$k[V] = k[x_1, \ldots, x_n] / I(V)$$

여기서 $I(V) = \{f \in k[x_1, \ldots, x_n] \mid f(P) = 0, \; \forall P \in V\}$는 $V$ 위에서 사라지는 모든 다항식의 이상입니다. 좌표환은 다양체 위에서 정의된 "다항식 함수"들의 환이라 이해할 수 있습니다.

힐베르트 영점정리 (Hilbert's Nullstellensatz)

힐베르트 영점정리(Hilbert's Nullstellensatz)는 대수기하학의 초석이 되는 정리입니다. 대수(다항식)와 기하(영점 집합) 사이의 정확한 대응을 확립합니다.

약한 형태 (Weak Form)

정리: $k$가 대수적으로 닫힌 체(algebraically closed field)일 때, $k[x_1, \ldots, x_n]$의 극대 이상(maximal ideal)은 모두 $(x_1 - a_1, \ldots, x_n - a_n)$ ($a_i \in k$) 꼴입니다.

이것은 아핀 공간 $\mathbb{A}^n_k$의 점과 극대 이상 사이에 일대일 대응이 있다는 뜻입니다.

강한 형태 (Strong Form)

정리: $k$가 대수적으로 닫힌 체이고 $I$가 $k[x_1, \ldots, x_n]$의 이상일 때, $$I(V(I)) = \sqrt{I}$$ 여기서 $\sqrt{I} = \{f \mid f^r \in I \text{ (어떤 양의 정수 } r \text{에 대하여)}\}$는 $I$의 근기(radical)입니다.

직관적 이해: 영점정리는 "대수적 조건(이상)"과 "기하학적 조건(다양체)" 사이에 사전(dictionary)이 존재한다고 말합니다. 다항식의 집합(이상) → 해의 집합(다양체) → 그 위에서 사라지는 다항식의 집합(이상)으로 왕복하면, 원래의 이상이 근기로 바뀝니다. 즉, $V$와 $I$는 서로의 "번역"이며, 근기를 취하면 정보 손실 없이 완벽하게 대응합니다.

대수-기하 대응 사전

대수 (환론)	기하 (다양체)
근기 이상 $\sqrt{I}$	다양체 $V(I)$
극대 이상	점
소 이상(prime ideal)	기약 다양체(irreducible variety)
이상의 합 $I + J$	교집합 $V(I) \cap V(J)$
이상의 곱 $I \cdot J$	합집합 $V(I) \cup V(J)$
몫환 $k[x_1,\ldots,x_n]/I$	좌표환 $k[V]$

자리스키 위상 (Zariski Topology)

정의

아핀 공간 $\mathbb{A}^n_k$ 위에 자리스키 위상(Zariski topology)을 다음과 같이 정의합니다.

닫힌 집합(closed set): 대수다양체 $V(S)$ 꼴의 집합
열린 집합(open set): 닫힌 집합의 여집합

앞서 살펴본 다양체의 성질(유한 합집합과 임의 교집합이 다시 다양체)로부터, 이것이 실제로 위상(topology)의 공리를 만족하는 것을 확인할 수 있습니다.

성질

핵심 성질: 자리스키 위상은 우리가 일상에서 경험하는 "유클리드 위상"과 매우 다릅니다. 열린 집합이 매우 크고, 닫힌 집합이 매우 작습니다.

비분리 공간(non-Hausdorff): 서로 다른 두 점을 분리하는 열린 집합이 항상 존재하지는 않습니다.
준콤팩트(quasi-compact): 모든 열린 덮개에서 유한 부분덮개를 뽑을 수 있습니다.
기약성(irreducibility): 다양체가 두 개의 진부분 닫힌 집합의 합집합으로 분해되지 않을 때, 기약(irreducible)이라 합니다. 기약 다양체는 소 이상에 대응합니다.

비유: 일반적인 위상(유클리드 위상)에서 닫힌 집합은 "경계까지 포함한 도형"입니다. 자리스키 위상에서는 "다항식 방정식의 해"만이 닫힌 집합이므로, 직선 위에서 닫힌 집합은 유한 개의 점뿐입니다. 나머지(점 몇 개를 뺀 직선 전체)는 모두 열린 집합이 됩니다. 이 "성긴(coarse)" 위상이 대수기하학의 특징입니다.

사영 공간과 사영 다양체

사영 공간의 정의

사영 $n$-공간(projective $n$-space) $\mathbb{P}^n_k$는 $k^{n+1} \setminus \{0\}$에서 스칼라 배수(scalar multiple) 관계로 동치류를 만든 공간입니다.

$$\mathbb{P}^n_k = (k^{n+1} \setminus \{0\}) / {\sim}, \quad (a_0, \ldots, a_n) \sim (\lambda a_0, \ldots, \lambda a_n) \;\; (\lambda \in k^*)$$

점 $(a_0 : a_1 : \cdots : a_n)$을 동차 좌표(homogeneous coordinates)라 합니다.

쉬운 설명: 원점을 지나는 직선을 하나의 "점"으로 취급하는 것이 사영 공간입니다. 예를 들어, $\mathbb{P}^1_k$에서 $(1:2)$와 $(2:4)$는 같은 점입니다. 사영 공간은 "무한 원점(point at infinity)"이 추가된 공간으로, 평행선이 만나는 세계를 기술합니다.

사영 다양체

동차 다항식(homogeneous polynomial) $F \in k[x_0, x_1, \ldots, x_n]$에 대하여, 사영 다양체는 다음과 같이 정의됩니다.

$$V(F) = \{(a_0 : \cdots : a_n) \in \mathbb{P}^n_k \mid F(a_0, \ldots, a_n) = 0\}$$

동차 다항식의 경우 $F(\lambda a_0, \ldots, \lambda a_n) = \lambda^d F(a_0, \ldots, a_n)$이므로, 한 대표원에서 $0$이면 모든 대표원에서 $0$이 됩니다. 따라서 사영 다양체는 잘 정의됩니다.

아핀과 사영의 관계

아핀 공간은 사영 공간의 열린 부분집합으로 자연스럽게 포함됩니다. $\mathbb{A}^n_k$를 $\mathbb{P}^n_k$에 매장하려면, $(a_1, \ldots, a_n) \mapsto (1 : a_1 : \cdots : a_n)$으로 보내면 됩니다. 사영 공간에서 $x_0 \neq 0$인 부분이 아핀 공간에 해당하고, $x_0 = 0$인 부분이 "무한 원점의 초평면"입니다.

정칙함수와 유리함수

정칙함수 (Regular Function)

다양체 $V$ 위의 정칙함수(regular function)란, 각 점의 근방에서 다항식의 비(즉, 분모가 $0$이 아닌 유리식)로 표현되는 함수입니다. 아핀 다양체의 경우, 정칙함수 전체는 좌표환 $k[V]$와 같습니다.

유리함수 (Rational Function)

유리함수(rational function)는 다항식의 비 $f/g$ ($g \neq 0$)로 표현되는 함수입니다. $g$가 $0$이 되는 점에서는 정의되지 않습니다. 기약 다양체 $V$의 유리함수 전체는 함수체(function field) $k(V)$를 이룹니다.

$$k(V) = \text{Frac}(k[V])$$

여기서 $\text{Frac}$는 분수체(field of fractions)를 뜻합니다.

비유: 정칙함수는 "어디서나 잘 정의된 함수"이고, 유리함수는 "가끔 고장 나는 함수"입니다. 예를 들어, $f(x,y) = x/y$는 $y=0$인 직선 위에서 정의되지 않으므로 유리함수이지만 정칙함수는 아닙니다.

차원 (Dimension)

크룰 차원 (Krull Dimension)

환 $R$의 크룰 차원(Krull dimension)은 소 이상의 순증가 사슬(strictly increasing chain)의 최대 길이입니다.

$$\dim R = \sup\{n \mid \mathfrak{p}_0 \subsetneq \mathfrak{p}_1 \subsetneq \cdots \subsetneq \mathfrak{p}_n, \;\; \mathfrak{p}_i \text{는 소 이상}\}$$

다양체 $V$의 차원은 좌표환의 크룰 차원으로 정의합니다.

$$\dim V = \dim k[V]$$

직관적 이해

예시:

점: 차원 $0$
곡선(curve): 차원 $1$ — 위를 걸어가려면 한 방향만 선택하면 됩니다
곡면(surface): 차원 $2$ — 위를 걸어가려면 두 방향을 선택해야 합니다
$\mathbb{A}^n_k$: 차원 $n$ — $k[x_1, \ldots, x_n]$에서 $(0) \subsetneq (x_1) \subsetneq (x_1, x_2) \subsetneq \cdots \subsetneq (x_1, \ldots, x_n)$

차원에 대한 기본 정리

$k$가 대수적으로 닫힌 체일 때, 아핀 다양체 $V \subseteq \mathbb{A}^n_k$에 대하여 다음이 성립합니다.

$\dim V = \text{tr.deg}_k \, k(V)$ (함수체의 초월 차수)
$V$가 $f = 0$ 하나의 방정식으로 정의되는 기약 초곡면(irreducible hypersurface)이면, $\dim V = n - 1$
일반적으로, $r$개의 독립적인 방정식으로 정의되면 $\dim V \geq n - r$

매끄러움과 특이점 (Smoothness and Singularities)

정의

아핀 다양체 $V = V(f_1, \ldots, f_r) \subseteq \mathbb{A}^n_k$의 점 $P$에서의 야코비 행렬(Jacobian matrix)은 다음과 같습니다.

$$J_P = \begin{pmatrix} \frac{\partial f_1}{\partial x_1}(P) & \cdots & \frac{\partial f_1}{\partial x_n}(P) \\ \vdots & \ddots & \vdots \\ \frac{\partial f_r}{\partial x_1}(P) & \cdots & \frac{\partial f_r}{\partial x_n}(P) \end{pmatrix}$$

점 $P$에서 $\text{rank}(J_P) = n - \dim V$이면, $P$를 매끄러운 점(smooth point) 또는 비특이점(nonsingular point)이라 합니다. 그렇지 않으면 특이점(singular point)이라 합니다.

예시

곡선 $y^2 = x^3$을 생각해 보십시오. $f(x,y) = y^2 - x^3$이라 하면, $\frac{\partial f}{\partial x} = -3x^2$, $\frac{\partial f}{\partial y} = 2y$입니다.

원점 $(0,0)$에서 두 편미분이 모두 $0$이 되므로, 원점은 특이점입니다. 이 점에서 곡선은 뾰족한 "첨점(cusp)"을 형성합니다.

반면, 곡선 $y^2 = x^3 - x$ (타원곡선)는 모든 점에서 야코비 행렬의 계수가 $1$이므로, 특이점이 없는 매끄러운 곡선(smooth curve)입니다.

인자 (Divisors)와 선다발 (Line Bundles)

바일 인자 (Weil Divisor)

$n$차원 매끄러운 대수다양체 $X$ 위의 바일 인자(Weil divisor)는 여차원 $1$(codimension $1$)인 기약 부분다양체(소인자, prime divisor)들의 형식적 정수 선형결합입니다.

$$D = \sum_{i} n_i \cdot Y_i, \quad n_i \in \mathbb{Z}$$

바일 인자들의 자유 아벨 군을 $\text{Div}(X)$라 표기합니다.

카르티에 인자 (Cartier Divisor)

카르티에 인자(Cartier divisor)는 열린 덮개 $\{U_i\}$와 유리함수 $f_i \in k(X)^*$의 모음 $\{(U_i, f_i)\}$로서, $U_i \cap U_j$에서 $f_i / f_j$가 정칙이고 역수도 정칙인(즉, 단위원인) 것입니다.

직관: 바일 인자는 "어디서 몇 번 $0$이 되고, 어디서 몇 번 극(pole)을 가지는가"를 기록합니다. 예를 들어, 유리함수 $f$가 점 $P$에서 $2$차 영점, 점 $Q$에서 $1$차 극을 가지면, $(f)$의 인자는 $2P - Q$입니다.

선다발과의 관계

카르티에 인자와 선다발(line bundle)은 밀접한 관계가 있습니다. 각 카르티에 인자 $D$에 대하여 선다발 $\mathcal{O}(D)$를 대응시킬 수 있으며, 매끄러운 다양체에서 이 대응은 동형사상을 줍니다.

$$\text{CaDiv}(X) / \text{(주인자)} \;\cong\; \text{Pic}(X)$$

여기서 $\text{Pic}(X)$는 피카르 군(Picard group)으로, 선다발의 동형류들의 군입니다.

층 (Sheaves)

정의

위상 공간 $X$ 위의 층(sheaf) $\mathcal{F}$는 각 열린 집합 $U$에 아벨 군(또는 환, 가군 등) $\mathcal{F}(U)$를 대응시키는 함자(functor)로서, 다음 두 조건을 만족합니다.

지역성(locality): 열린 덮개 $\{U_i\}$가 $U$를 덮고, 단면(section) $s \in \mathcal{F}(U)$가 모든 $U_i$에서 $0$이면 $s = 0$입니다.
접합(gluing): 각 $U_i$에서 단면 $s_i \in \mathcal{F}(U_i)$가 주어지고, 겹치는 부분 $U_i \cap U_j$에서 $s_i = s_j$이면, 전체 $U$ 위의 단면 $s \in \mathcal{F}(U)$가 유일하게 존재하여 $s|_{U_i} = s_i$를 만족합니다.

비유로 이해하기: 각 지역의 날씨 정보를 모아서 전국 날씨 지도를 만든다고 생각해 보십시오. 각 지역(열린 집합)에 대하여 해당 지역의 날씨 데이터(단면)가 있고, 인접 지역의 경계에서 데이터가 일치하면(접합 조건), 이들을 붙여 전국 단위의 하나의 날씨 지도(전역 단면)를 만들 수 있습니다. 층은 바로 이 "지역 정보를 일관되게 붙이는 체계"입니다.

예시

구조층(structure sheaf) $\mathcal{O}_X$: 각 열린 집합 $U$에 $U$ 위의 정칙함수 환을 대응시킵니다. 대수다양체 또는 스킴 위의 가장 기본적인 층입니다.
상수층(constant sheaf): 모든 열린 집합에 같은 군 $A$를 대응시키되, 연결 성분에 따라 국소적으로 상수인 함수를 대응시킵니다.
이상층(ideal sheaf): 부분다양체 $Y \subseteq X$에 대하여, $\mathcal{I}_Y(U)$는 $U$에서 $Y$를 정의하는 정칙함수들의 이상입니다.

스킴 (Schemes)

왜 스킴이 필요합니까?

고전적인 대수다양체는 대수적으로 닫힌 체 위에서만 잘 작동하며, "중복도(multiplicity)"를 포착하지 못합니다. 예를 들어, $x^2 = 0$과 $x = 0$은 같은 점집합(원점)을 주지만, 대수적으로는 다른 정보를 담고 있습니다. 스킴(scheme)은 이 한계를 극복하기 위해 그로텐디크(Grothendieck)가 도입한 개념입니다.

아핀 스킴 (Affine Scheme)

가환환(commutative ring) $R$에 대하여, 아핀 스킴(affine scheme) $\text{Spec}(R)$은 다음으로 이루어집니다.

집합: $R$의 모든 소 이상의 집합
위상: 자리스키 위상 — 닫힌 집합이 $V(I) = \{\mathfrak{p} \mid I \subseteq \mathfrak{p}\}$ 꼴
구조층: $\mathcal{O}_{\text{Spec}(R)}$ — 기본 열린 집합 $D(f)$ 위의 단면이 국소화(localization) $R_f$

고전과의 비교:

고전적 다양체: 점 ↔ 극대 이상만 고려
스킴: 점 ↔ 모든 소 이상 (극대 이상 + "일반점(generic point)")

스킴에서는 $(0)$과 같은 극대가 아닌 소 이상도 "점"으로 취급합니다. 이를 일반점이라 부릅니다. 일반점의 닫힘(closure)이 해당하는 기약 부분다양체 전체가 됩니다.

일반 스킴

스킴(scheme)은 환 달린 공간(ringed space) $(X, \mathcal{O}_X)$으로서, $X$의 각 점이 어떤 아핀 스킴과 동형인 열린 근방을 가지는 것입니다. 이는 다양체(manifold)가 유클리드 공간의 열린 집합들을 붙여 만드는 것과 유사합니다.

스킴의 핵심 장점은 다음과 같습니다.

임의의 환 위에서 작동: $\mathbb{Z}$ 위의 스킴으로 정수론적 문제를 기하학적으로 다룰 수 있습니다.
멱영 원소(nilpotent element) 허용: $k[x]/(x^2)$의 스킴은 "두 겹으로 된 점"을 나타내며, 교차 중복도 같은 미세한 정보를 보존합니다.
상대적 관점: 사상 $X \to S$를 통해 "매개변수 공간 $S$ 위의 도형의 족(family)"을 다룰 수 있습니다.

코호몰로지 — 층 코호몰로지 개요

동기

층의 전역 단면(global section) 함자 $\Gamma(X, -)$는 일반적으로 완전(exact)하지 않습니다. 즉, 짧은 완전열(short exact sequence) $0 \to \mathcal{F}' \to \mathcal{F} \to \mathcal{F}'' \to 0$에 전역 단면을 적용하면, 오른쪽 끝의 전사성(surjectivity)이 깨질 수 있습니다. 층 코호몰로지(sheaf cohomology)는 이 "실패의 정도"를 측정합니다.

정의

위상 공간 $X$ 위의 층 $\mathcal{F}$에 대하여, $i$번째 층 코호몰로지 군(sheaf cohomology group) $H^i(X, \mathcal{F})$는 전역 단면 함자의 $i$번째 오른쪽 유도 함자(right derived functor)입니다.

$$H^i(X, \mathcal{F}) = R^i\Gamma(X, \mathcal{F})$$

$H^0(X, \mathcal{F}) = \Gamma(X, \mathcal{F})$는 전역 단면 자체이며, $H^1, H^2, \ldots$는 고차 코호몰로지입니다.

핵심 성질

긴 완전열: 짧은 완전열 $0 \to \mathcal{F}' \to \mathcal{F} \to \mathcal{F}'' \to 0$으로부터 긴 완전열을 얻습니다. $$0 \to H^0(X, \mathcal{F}') \to H^0(X, \mathcal{F}) \to H^0(X, \mathcal{F}'') \to H^1(X, \mathcal{F}') \to \cdots$$
아핀 스킴의 소멸: $X = \text{Spec}(R)$이 아핀이고 $\mathcal{F}$가 준연접층(quasi-coherent sheaf)이면, $H^i(X, \mathcal{F}) = 0$ ($i > 0$)입니다.

곡선의 대수기하학 — 리만-로흐 정리

대수곡선

$1$차원 매끄러운 사영 다양체를 대수곡선(algebraic curve)이라 합니다. 대수적으로 닫힌 체 $k$ 위의 매끄러운 사영 곡선은 함수체의 초월 차수가 $1$인 대수다양체입니다.

종수 (Genus)

매끄러운 사영 곡선 $C$의 종수(genus) $g$는 곡선의 "구멍의 수"에 해당하는 중요한 불변량입니다.

$$g = \dim_k H^1(C, \mathcal{O}_C)$$

$g = 0$: 유리곡선(rational curve) — 사영 직선 $\mathbb{P}^1$과 동형
$g = 1$: 타원곡선(elliptic curve) — $y^2 = x^3 + ax + b$ 꼴
$g \geq 2$: 일반형 곡선(curve of general type)

리만-로흐 정리 (Riemann-Roch Theorem)

정리 (리만-로흐): 종수 $g$인 매끄러운 사영 곡선 $C$ 위의 인자 $D$에 대하여, $$\ell(D) - \ell(K - D) = \deg(D) - g + 1$$ 여기서 $\ell(D) = \dim_k H^0(C, \mathcal{O}(D))$이고, $K$는 표준 인자(canonical divisor)입니다.

리만-로흐 정리의 의미를 하나씩 해석하겠습니다.

$\ell(D)$: 인자 $D$에 의해 허용되는 유리함수들의 공간의 차원
$\deg(D)$: 인자의 차수 (영점 차수의 합 - 극의 차수의 합)
$g$: 곡선의 종수
$K$: 표준 인자 — 미분 형식(differential form)과 관련된 인자

직관적 이해: 리만-로흐 정리는 "곡선 위에서 주어진 영점과 극의 조건을 만족하는 유리함수가 얼마나 많은가?"라는 질문에 답합니다. $\ell(D)$가 그러한 함수 공간의 크기이며, 이것이 인자의 차수와 곡선의 종수에 의해 결정됩니다.

예시: 종수 $0$인 곡선 ($\mathbb{P}^1$)

$\mathbb{P}^1$ 위에서 $K = -2P$ (한 점 $P$에 대하여), $g = 0$이므로,

$$\ell(D) = \deg(D) + 1 \quad (\deg(D) \geq 0)$$

예를 들어, $D = nP$이면 $\ell(nP) = n + 1$입니다. 이는 차수 $n$ 이하인 다항식 공간의 차원이 $n+1$이라는 자연스러운 결과와 일치합니다.

응용 — 정수론, 암호학

정수론과의 연결

대수기하학은 현대 정수론의 핵심 도구입니다. 정수환 $\mathbb{Z}$ 위의 스킴을 통해 정수론적 문제를 기하학적으로 해석할 수 있습니다.

산술기하학의 핵심 아이디어: $\text{Spec}(\mathbb{Z})$를 하나의 "곡선"으로 봅니다. 소수 $p$가 이 곡선의 "점"에 해당하고, 소수에서의 환원(reduction mod $p$)은 "점에서의 파이버"에 해당합니다.

페르마의 마지막 정리: 와일스(Wiles)의 증명은 타원곡선과 모듈러 형식(modular form) 사이의 대응(다니야마-시무라 추측)을 이용하며, 이 과정에서 대수기하학이 본질적으로 사용됩니다.
모르델 추측(팔팅스 정리): 종수 $g \geq 2$인 대수곡선의 유리점은 유한 개뿐이라는 정리로, 대수기하학적 방법으로 증명되었습니다.
유한체 위의 곡선: 유한체 $\mathbb{F}_q$ 위에서 곡선의 유리점의 수를 세는 문제는 하세-베유 정리(Hasse-Weil theorem)로 정밀하게 추정됩니다. $$|N_q - (q+1)| \leq 2g\sqrt{q}$$ 여기서 $N_q$는 유리점의 수, $g$는 종수입니다.

타원곡선 암호학 (ECC)

타원곡선 암호학(Elliptic Curve Cryptography, ECC)은 유한체 위의 타원곡선의 군 구조를 이용한 공개키 암호 체계입니다.

유한체 $\mathbb{F}_p$ ($p$는 소수) 위의 타원곡선 $E: y^2 = x^3 + ax + b$의 유리점 $E(\mathbb{F}_p)$는 점 덧셈(chord-tangent method)에 의해 아벨 군을 이룹니다.

ECC의 원리:

쉬운 방향: 점 $P$와 정수 $n$이 주어졌을 때, $Q = nP$ (점 $P$를 $n$번 더하기)를 계산하는 것은 빠릅니다.
어려운 방향 (이산대수 문제): $P$와 $Q = nP$가 주어졌을 때, $n$을 찾는 것은 (적절한 곡선에서) 현재 알려진 알고리즘으로는 매우 어렵습니다.

이 비대칭성이 암호학의 안전성을 보장합니다. RSA에 비하여 훨씬 짧은 키(256비트)로도 동등한 안전성을 달성할 수 있어, 모바일 기기 등에서 널리 쓰입니다.

곡선 바깥의 암호 수학도 함께 보십시오.

이 절은 타원곡선 자체가 암호학에서 어떻게 쓰이는지에 집중합니다. RSA, Diffie-Hellman, 해시, 엔트로피, 격자 기반 양자내성 암호까지 포함한 전체 지도는 암호학의 수학 페이지에서 이어집니다.

기타 응용

오류 정정 부호(error-correcting code): 곡선 위의 대수기하 부호(algebraic geometry code, Goppa code)는 리만-로흐 정리를 이용하여 설계됩니다.
끈 이론(string theory): 칼라비-야우 다양체(Calabi-Yau manifold)는 끈 이론에서 여분 차원의 컴팩트화에 사용되며, 이들의 연구에 대수기하학이 핵심적입니다.
로봇공학과 컴퓨터 비전: 다시점 기하학(multi-view geometry)에서 사영 다양체와 그래스만 다양체가 활용됩니다.

아핀 다양체 심화

좌표환의 대수적 성질

아핀 다양체 $V$의 좌표환 $k[V] = k[x_1, \ldots, x_n]/I(V)$는 다양체의 기하학적 성질을 대수적으로 반영합니다. 주요 대응 관계를 정리하면 다음과 같습니다.

$V$가 기약(irreducible)일 필요충분조건은 $k[V]$가 정역(integral domain)인 것입니다.
$V$가 매끄러운(smooth) 것은 $k[V]$의 모든 국소화(localization)가 정칙 국소환(regular local ring)인 것과 동치입니다.
$V$의 차원은 $k[V]$의 크룰 차원, 또는 동등하게 함수체 $k(V) = \text{Frac}(k[V])$의 $k$ 위에서의 초월 차수(transcendence degree)와 같습니다.

좌표환의 범주론적 의미: 아핀 다양체의 범주와 유한 생성 축소(reduced) $k$-대수의 범주 사이에는 반변 동치(anti-equivalence)가 존재합니다. $$\text{Var}_k^{\text{aff}} \;\simeq\; (k\text{-Alg}_{\text{f.g., red}})^{\text{op}}$$ 이 대응에 의하여 기하학적 대상(다양체)을 연구하는 것과 대수적 대상(환)을 연구하는 것이 완전히 동등해집니다.

정칙 사상 (Regular Morphism)

아핀 다양체 $V \subseteq \mathbb{A}^m$에서 $W \subseteq \mathbb{A}^n$으로의 정칙 사상(regular morphism) $\varphi: V \to W$는 다항식 함수로 주어지는 사상입니다. 즉, 다항식 $f_1, \ldots, f_n \in k[x_1, \ldots, x_m]$이 존재하여,

$$\varphi(a_1, \ldots, a_m) = (f_1(a_1, \ldots, a_m), \ldots, f_n(a_1, \ldots, a_m))$$

이 됩니다. 정칙 사상 $\varphi: V \to W$는 좌표환 사이의 $k$-대수 준동형사상 $\varphi^*: k[W] \to k[V]$를 유도합니다.

$$\varphi^*(g) = g \circ \varphi$$

역으로, 모든 $k$-대수 준동형사상 $k[W] \to k[V]$는 유일한 정칙 사상으로부터 유도됩니다. 이것이 바로 위의 반변 동치의 핵심입니다.

지배적 사상 (Dominant Morphism)

정칙 사상 $\varphi: V \to W$가 지배적(dominant)이라 함은 상(image) $\varphi(V)$가 $W$에서 자리스키 조밀(Zariski dense)한 것, 즉 $\overline{\varphi(V)} = W$인 것을 뜻합니다.

대수적 번역: $\varphi$가 지배적일 필요충분조건은 대응하는 환 준동형사상 $\varphi^*: k[W] \to k[V]$가 단사(injective)인 것입니다. 이 경우 $\varphi^*$는 함수체 사이의 포함 $k(W) \hookrightarrow k(V)$를 유도하며, 확대 차수 $[k(V) : k(W)]$를 $\varphi$의 차수(degree)라 합니다.

유한 사상과 분기

지배적 사상 $\varphi: V \to W$가 유한(finite)이라 함은 $k[V]$가 $\varphi^*(k[W])$ 위의 유한 가군(finitely generated module)인 것입니다. 유한 사상에서는 거의 모든 점 $w \in W$의 역상 $\varphi^{-1}(w)$의 크기가 $\deg(\varphi)$와 같으나, 일부 점에서는 역상의 크기가 줄어들 수 있습니다. 이러한 점을 분기점(branch point)이라 합니다.

힐베르트 영점정리 심화

약한 형태의 증명 스케치

힐베르트 영점정리의 약한 형태는 다음과 같습니다: $k$가 대수적으로 닫힌 체이고 $I \subsetneq k[x_1, \ldots, x_n]$이 진이상(proper ideal)이면, $V(I) \neq \varnothing$입니다.

증명 아이디어 (약한 형태):

1단계: 초른의 보조정리(Zorn's lemma)에 의하여 $I$를 포함하는 극대 이상 $\mathfrak{m}$이 존재합니다.
2단계: 체의 확대 $k \hookrightarrow k[x_1, \ldots, x_n]/\mathfrak{m} = K$를 생각합니다. $K$는 $k$ 위의 유한 생성 $k$-대수이면서 동시에 체입니다.
3단계 (핵심): 자크의 보조정리(Zariski's lemma)에 의하여, $k$ 위의 유한 생성 $k$-대수가 체이면, $K/k$는 유한 확대(finite extension)입니다.
4단계: $k$가 대수적으로 닫혀 있으므로 $K = k$입니다. 따라서 $x_i$의 상 $a_i \in k$가 존재하고, $\mathfrak{m} = (x_1 - a_1, \ldots, x_n - a_n)$이 됩니다.
결론: 점 $(a_1, \ldots, a_n) \in V(I)$이므로 $V(I) \neq \varnothing$입니다.

강한 형태의 증명 스케치

강한 형태 $I(V(I)) = \sqrt{I}$의 증명은 라비노비치 기법(Rabinowitsch trick)을 이용하여 약한 형태로 환원합니다.

증명 아이디어 (강한 형태):

$f \in I(V(I))$임을 보여야 합니다. 즉, $V(I)$ 위에서 $f = 0$인 $f$에 대하여 $f^r \in I$인 $r$이 존재함을 보입니다.
새로운 변수 $y$를 도입하고 이상 $J = I + (1 - yf) \subseteq k[x_1, \ldots, x_n, y]$를 생각합니다.
$V(J) = \varnothing$입니다. (만약 $(a_1, \ldots, a_n, b) \in V(J)$이면, $f(a_1, \ldots, a_n) = 0$이고 $1 - bf(a_1, \ldots, a_n) = 0$이므로 $1 = 0$으로 모순)
약한 형태에 의하여 $J = k[x_1, \ldots, x_n, y]$ 전체, 즉 $1 \in J$입니다.
따라서 $1 = \sum g_i h_i + g_0(1 - yf)$로 쓸 수 있고 ($h_i \in I$), $y = 1/f$를 대입하면 분모를 소거하여 $f^r \in I$를 얻습니다.

영점정리의 기하학적 함의

힐베르트 영점정리가 확립하는 대수-기하 대응은 더 정밀한 형태로 다듬어질 수 있습니다.

대수 (이상의 성질)	기하 (다양체의 성질)
$I$가 근기 이상 ($I = \sqrt{I}$)	$V(I)$가 중복도 없이 결정됨
$I$가 소 이상	$V(I)$가 기약
$I$가 극대 이상	$V(I)$가 한 점
$I \subseteq J$	$V(J) \subseteq V(I)$
$\sqrt{I} = \sqrt{J}$	$V(I) = V(J)$
소 이상 분해 $\sqrt{I} = \mathfrak{p}_1 \cap \cdots \cap \mathfrak{p}_r$	기약 성분 분해 $V(I) = V(\mathfrak{p}_1) \cup \cdots \cup V(\mathfrak{p}_r)$

사영다양체 심화

세그레 매장 (Segre Embedding)

세그레 매장(Segre embedding)은 두 사영 공간의 곱을 더 큰 사영 공간 안의 사영 다양체로 실현하는 매장입니다.

$$\sigma: \mathbb{P}^m \times \mathbb{P}^n \hookrightarrow \mathbb{P}^{(m+1)(n+1)-1}$$ $$([x_0 : \cdots : x_m], [y_0 : \cdots : y_n]) \mapsto [\cdots : x_i y_j : \cdots]$$

여기서 좌표 $z_{ij} = x_i y_j$는 $(i,j)$의 사전순으로 배열합니다. 세그레 매장의 상(image)은 $2 \times 2$ 소행렬식(minor)이 모두 $0$인 조건, 즉 $z_{ij}z_{kl} - z_{il}z_{kj} = 0$으로 정의됩니다.

예시 ($\mathbb{P}^1 \times \mathbb{P}^1 \hookrightarrow \mathbb{P}^3$): 좌표를 $z_{00}, z_{01}, z_{10}, z_{11}$이라 하면, 세그레 상은 하나의 방정식 $z_{00}z_{11} - z_{01}z_{10} = 0$으로 정의되는 2차 곡면(quadric surface)입니다. 이 곡면 위에는 두 족(family)의 직선이 존재하며, 각 족은 $\mathbb{P}^1$로 매개변수화됩니다.

베로네세 매장 (Veronese Embedding)

베로네세 매장(Veronese embedding)은 사영 공간을 차수 $d$의 모든 단항식에 의하여 더 큰 사영 공간으로 매장하는 것입니다.

$$\nu_d: \mathbb{P}^n \hookrightarrow \mathbb{P}^N, \quad N = \binom{n+d}{d} - 1$$ $$[x_0 : \cdots : x_n] \mapsto [\cdots : x_0^{i_0} x_1^{i_1} \cdots x_n^{i_n} : \cdots]$$

여기서 $(i_0, \ldots, i_n)$은 $i_0 + \cdots + i_n = d$를 만족하는 모든 비음정수 조합입니다.

왜 중요한가: 베로네세 매장은 차수 $d$의 초곡면(hypersurface)을 초평면(hyperplane)의 절단으로 변환합니다. 예를 들어, $\mathbb{P}^2$에서 차수 $d$인 곡선 $C$는 베로네세 매장 후 $\mathbb{P}^N$에서 초평면과의 교차로 얻어집니다. 이를 통해 고차 곡선의 문제를 선형 문제로 환원할 수 있습니다.

예시 ($\nu_2: \mathbb{P}^1 \to \mathbb{P}^2$): $[s:t] \mapsto [s^2 : st : t^2]$입니다. 좌표를 $[X:Y:Z]$라 하면, 상은 $XZ - Y^2 = 0$, 즉 원뿔곡선(conic)입니다. 이 매장에 의하여 $\mathbb{P}^1$은 비특이(nonsingular) 원뿔곡선과 동형이 됩니다.

대수적 곡선론 심화

종수의 다양한 정의

매끄러운 사영 곡선 $C$의 종수 $g$는 여러 동등한 방식으로 정의할 수 있습니다.

산술 종수: $g = \dim_k H^1(C, \mathcal{O}_C)$
기하 종수: $g = \dim_k H^0(C, \Omega^1_C)$ (정칙 미분 형식의 공간의 차원)
위상적 종수 ($k = \mathbb{C}$): 대응하는 콤팩트 리만면의 구멍의 수. 오일러 지표 $\chi(C) = 2 - 2g$
차수-종수 공식: $\mathbb{P}^2$ 안의 차수 $d$인 비특이 곡선의 경우, $$g = \frac{(d-1)(d-2)}{2}$$

분기와 리만-후르비츠 공식

매끄러운 사영 곡선 사이의 비상수 사상 $\varphi: C \to D$가 주어졌을 때, 각 점 $P \in C$에서의 분기 지수(ramification index) $e_P$가 정의됩니다. $\varphi$가 점 $P$에서 $e_P$중으로 접합한다고 직관적으로 이해할 수 있습니다. $e_P \geq 2$인 점을 분기점(ramification point)이라 합니다.

리만-후르비츠 공식 (Riemann-Hurwitz formula): 비상수 사상 $\varphi: C \to D$에 대하여, $$2g_C - 2 = n(2g_D - 2) + \sum_{P \in C} (e_P - 1)$$ 여기서 $n = \deg(\varphi)$, $g_C, g_D$는 각각 $C, D$의 종수입니다.

예시: $\varphi: C \to \mathbb{P}^1$이 차수 $2$인 사상이면 ($g_D = 0$, $n = 2$), $$2g_C - 2 = 2(0 - 2) + \sum(e_P - 1) = -4 + B$$ 여기서 $B$는 분기점의 개수입니다 (각 분기점에서 $e_P = 2$). 따라서 $g_C = \frac{B - 2}{2}$입니다. 예를 들어, 종수 $1$인 타원곡선은 $B = 4$개의 분기점을 가집니다.

대수곡선과 리만면의 관계

$k = \mathbb{C}$일 때, 매끄러운 사영 곡선과 콤팩트 리만면 사이에는 놀라운 동치가 성립합니다.

대수기하학 (대수곡선)	복소해석학 (리만면)
매끄러운 사영 곡선 $C/\mathbb{C}$	콤팩트 리만면 $\Sigma$
정칙 사상	정칙 사상 (holomorphic map)
유리함수체 $\mathbb{C}(C)$	유형함수체 (meromorphic function field)
인자 (divisor)	영점과 극의 형식적 합
$H^0(C, \Omega^1_C)$	정칙 미분 형식 (holomorphic 1-forms)
종수 $g = \dim H^1(C, \mathcal{O}_C)$	위상적 종수 (구멍의 수)

이 대응은 GAGA 원리(Géométrie Algébrique et Géométrie Analytique, 세르(Serre))에 의하여 엄밀하게 정당화됩니다. 사영다양체의 범주에서 대수적 연접층과 해석적 연접층의 코호몰로지가 동형이 됩니다.

리만-로흐 정리 심화

세르 쌍대성 (Serre Duality)

리만-로흐 정리를 깊이 이해하기 위한 핵심 도구는 세르 쌍대성(Serre duality)입니다. 종수 $g$인 매끄러운 사영 곡선 $C$ 위의 선다발 $\mathcal{L}$에 대하여,

$$H^1(C, \mathcal{L}) \cong H^0(C, \omega_C \otimes \mathcal{L}^{-1})^{\vee}$$

여기서 $\omega_C = \Omega^1_C$는 표준 선다발(canonical line bundle)이고, ${}^\vee$는 쌍대 공간(dual space)을 뜻합니다.

리만-로흐 정리 $\ell(D) - \ell(K - D) = \deg(D) - g + 1$에서 $\ell(K - D) = \dim H^0(C, \mathcal{O}(K-D)) = \dim H^1(C, \mathcal{O}(D))$이므로, 리만-로흐 정리는 본질적으로 오일러 지표(Euler characteristic)의 공식입니다.

$$\chi(C, \mathcal{O}(D)) = h^0(C, \mathcal{O}(D)) - h^1(C, \mathcal{O}(D)) = \deg(D) - g + 1$$

증명 아이디어

리만-로흐 정리 증명의 핵심 단계:

기본 경우: $D = 0$일 때, $\ell(0) = 1$ (상수 함수만 존재)이고 $\ell(K) = g$ (정칙 미분 형식의 공간의 차원이 종수)이므로, $1 - g = 0 - g + 1$이 성립합니다.
한 점의 덧셈: $D' = D + P$로 인자에 점 하나를 추가하면, 짧은 완전열 $0 \to \mathcal{O}(D) \to \mathcal{O}(D') \to k_P \to 0$이 존재합니다 ($k_P$는 점 $P$에 집중된 마천루층).
오일러 지표의 가법성: 긴 완전열로부터 $\chi(\mathcal{O}(D')) = \chi(\mathcal{O}(D)) + 1$을 얻습니다.
귀납법: $\chi(\mathcal{O}(D)) = \deg(D) + \chi(\mathcal{O}) = \deg(D) + 1 - g$가 됩니다.

응용: 곡선의 매장

리만-로흐 정리의 중요한 응용 중 하나는 곡선을 사영 공간에 매장하는 문제입니다.

완비 선형계(complete linear system): 인자 $D$에 대하여 $|D| = \{E \geq 0 \mid E \sim D\}$는 $\mathbb{P}^{\ell(D)-1}$과 동형인 사영 공간을 이루며, 이를 통해 $C$에서 $\mathbb{P}^{\ell(D)-1}$로의 사상을 정의할 수 있습니다.
표준 매장: $g \geq 2$이고 $C$가 초타원적(hyperelliptic)이 아니면, 표준 인자 $K$에 의한 사상 $\varphi_K: C \hookrightarrow \mathbb{P}^{g-1}$은 매장(embedding)이 됩니다.
차수 조건: $\deg(D) \geq 2g + 1$이면 $|D|$에 의한 사상은 항상 닫힌 매장입니다.

고차원 일반화: 히르체브루흐-리만-로흐

리만-로흐 정리는 고차원 다양체로 일반화됩니다. $n$차원 매끄러운 사영 다양체 $X$와 벡터 다발 $\mathcal{E}$에 대하여,

$$\chi(X, \mathcal{E}) = \sum_{i=0}^{n} (-1)^i \dim H^i(X, \mathcal{E}) = \int_X \text{ch}(\mathcal{E}) \cdot \text{td}(T_X)$$

여기서 $\text{ch}(\mathcal{E})$는 체른 지표(Chern character), $\text{td}(T_X)$는 토드 류(Todd class)입니다. 이것이 히르체브루흐-리만-로흐 정리(Hirzebruch-Riemann-Roch theorem)입니다.

교차 이론 (Intersection Theory)

동기와 기본 개념

교차 이론(Intersection Theory)은 대수다양체 위에서 부분다양체들이 만나는 방식을 체계적으로 연구하는 분야입니다. "두 곡선이 몇 점에서 만나는가?"라는 고전적 질문을 정밀하게 형식화합니다.

베주 정리 (Bézout's Theorem)

정리 (베주): $\mathbb{P}^2$ 안의 차수 $d$인 곡선 $C$와 차수 $e$인 곡선 $D$가 공통 성분을 갖지 않으면, 교차 중복도(intersection multiplicity)를 포함한 교점의 수는 정확히 $d \cdot e$입니다. $$\sum_{P \in C \cap D} I_P(C, D) = d \cdot e$$ 여기서 $I_P(C, D)$는 점 $P$에서의 교차 중복도입니다.

예시: 직선 ($d = 1$)과 원뿔곡선 ($e = 2$)은 $1 \times 2 = 2$개의 점에서 만납니다 (중복도 포함). 접선의 경우 한 점에서 중복도 $2$로 만나므로, 여전히 $1 \times 2 = 2$입니다. 사영 공간에서 작업해야 무한 원점에서의 교차까지 포함되어 이 공식이 정확히 성립합니다.

교차 곱 (Intersection Product)

$n$차원 매끄러운 사영 다양체 $X$ 위에서 초우 군(Chow group) $A^*(X) = \bigoplus_{k=0}^{n} A^k(X)$을 정의합니다. 여기서 $A^k(X)$는 여차원 $k$인 부분다양체(대수적 순환, algebraic cycle)들의 유리 동치류(rational equivalence class)의 자유 아벨 군입니다.

교차 곱은 초우 군 위의 환 구조를 줍니다.

$$A^i(X) \times A^j(X) \to A^{i+j}(X)$$

이것을 초우 환(Chow ring)이라 합니다. 직관적으로, 여차원 $i$인 부분다양체와 여차원 $j$인 부분다양체가 "일반적 위치(general position)"에서 만나면, 교차는 여차원 $i+j$인 부분다양체가 됩니다.

차원 계산 원리

교차 이론의 핵심 원리 중 하나는 차원 공식입니다. $X$ 안의 두 부분다양체 $Y$, $Z$가 적절히(properly) 만나면,

$$\text{codim}(Y \cap Z) = \text{codim}(Y) + \text{codim}(Z)$$

이 예상 차원보다 교차의 실제 차원이 클 때, 초과 교차(excess intersection)가 발생하며, 이를 다루기 위해 초과 교차 공식(excess intersection formula)이 필요합니다.

타원곡선 (Elliptic Curves)

정의와 바이어슈트라스 형태

타원곡선(elliptic curve)은 종수 $1$인 매끄러운 사영 곡선으로서 유리점(rational point)이 지정된 것입니다. 체 $k$ ($\text{char}(k) \neq 2, 3$) 위에서는 바이어슈트라스 표준형(Weierstrass normal form)으로 나타낼 수 있습니다.

$$E: y^2 = x^3 + ax + b, \quad \Delta = -16(4a^3 + 27b^2) \neq 0$$

여기서 $\Delta \neq 0$ 조건은 곡선이 특이점을 갖지 않음을 보장합니다.

군 구조

타원곡선 $E$의 유리점 $E(k)$는 다음과 같은 현-접선법(chord-tangent method)에 의하여 아벨 군을 이룹니다.

항등원: 무한 원점 $O = [0:1:0]$
덧셈: 두 점 $P, Q \in E$를 잇는 직선이 $E$와 만나는 세 번째 점을 $R$이라 하면, $P + Q$는 $R$을 $x$축에 대하여 반사한 점입니다.
역원: 점 $P = (x, y)$의 역원은 $-P = (x, -y)$입니다.

좌표 공식: $P = (x_1, y_1)$, $Q = (x_2, y_2)$ ($P \neq \pm Q$)에 대하여, $$\lambda = \frac{y_2 - y_1}{x_2 - x_1}, \quad x_3 = \lambda^2 - x_1 - x_2, \quad y_3 = \lambda(x_1 - x_3) - y_1$$ $P = Q$일 때(접선 사용): $$\lambda = \frac{3x_1^2 + a}{2y_1}$$

유리점의 구조

타원곡선 위의 유리점의 구조는 기저 체에 따라 크게 달라집니다.

모르델-베유 정리 (Mordell-Weil theorem): 수체(number field) $K$ 위의 타원곡선 $E$에 대하여, $E(K)$는 유한 생성 아벨 군입니다. $$E(K) \cong \mathbb{Z}^r \oplus E(K)_{\text{tors}}$$ 여기서 $r$은 계수(rank), $E(K)_{\text{tors}}$는 유한 비틀림 부분군(finite torsion subgroup)입니다.

모듈라 형식과의 연결

타원곡선론에서 가장 심오한 결과 중 하나는 타원곡선과 모듈라 형식(modular form) 사이의 관계입니다.

$\mathbb{Q}$ 위의 타원곡선 $E$에 대하여 하세-베유 $L$-함수를 정의합니다.

$$L(E, s) = \prod_{p \text{ good}} \frac{1}{1 - a_p p^{-s} + p^{1-2s}} \cdot \prod_{p \text{ bad}} (\text{local factor})$$

여기서 $a_p = p + 1 - \#E(\mathbb{F}_p)$입니다.

모듈성 정리 (Modularity theorem, 구 타니야마-시무라 추측): $\mathbb{Q}$ 위의 모든 타원곡선 $E$에 대하여, 무게 $2$의 뉴폼(newform) $f$가 존재하여 $L(E, s) = L(f, s)$를 만족합니다.

이 정리는 와일스(Wiles, 1995)가 반안정(semistable) 타원곡선에 대하여 증명하였고, 이후 브뢰이-콘래드-다이아몬드-테일러(2001)가 모든 $\mathbb{Q}$ 위의 타원곡선으로 확장하였습니다. 페르마의 마지막 정리는 이 결과의 직접적 따름정리입니다.

스킴 사상의 성질

사상의 분류

스킴 사상 $f: X \to Y$의 다양한 성질은 대수기하학에서 핵심적인 역할을 합니다. 주요 성질을 정리합니다.

유한 사상 (Finite Morphism)

사상 $f: X \to Y$가 유한(finite)이라 함은, $Y$의 아핀 열린 덮개 $\{U_i = \text{Spec}(A_i)\}$에 대하여 $f^{-1}(U_i) = \text{Spec}(B_i)$가 아핀이고 $B_i$가 $A_i$-가군으로서 유한 생성인 것입니다.

예시:

$\text{Spec}(\mathbb{C}[t]) \to \text{Spec}(\mathbb{C}[t^2])$: $t \mapsto t^2$에 대응하는 사상은 $\mathbb{C}[t]$가 $\mathbb{C}[t^2]$-가군으로서 $\{1, t\}$로 생성되므로 유한 사상입니다.
$\text{Spec}(\mathbb{C}[t, t^{-1}]) \to \text{Spec}(\mathbb{C}[t])$: 포함 사상은 유한 생성이 아니므로 유한 사상이 아닙니다.

고유 사상 (Proper Morphism)

사상 $f: X \to Y$가 고유(proper)라 함은, 분리(separated)이고, 유한형(finite type)이며, 보편적으로 닫힌(universally closed)것입니다. 직관적으로, 고유 사상은 위상수학의 "고유 사상"(역상이 콤팩트)의 대수적 유사물입니다.

핵심 예시: 사영 다양체에서 점으로의 구조 사상은 항상 고유합니다. 이것이 바로 사영 다양체의 완비성(completeness)입니다. 반면, 아핀 다양체 $\mathbb{A}^n$에서 점으로의 사상은 고유하지 않습니다 (값 정리의 실패).

평탄 사상 (Flat Morphism)

사상 $f: X \to Y$가 평탄(flat)이라 함은, 모든 $x \in X$에서 $\mathcal{O}_{X,x}$가 $\mathcal{O}_{Y,f(x)}$-가군으로서 평탄인 것입니다.

평탄 사상은 "파이버가 연속적으로 변하는" 도형의 족(family)을 기술합니다.

평탄성의 직관:

매끄러운 사상(smooth morphism)은 항상 평탄합니다.
열린 매장(open immersion)은 평탄합니다.
파이버 차원이 뛰는 사상은 평탄하지 않습니다. 예를 들어, 원점에서의 블로우업(blowup) $\text{Bl}_0(\mathbb{A}^2) \to \mathbb{A}^2$은 원점의 역상이 $\mathbb{P}^1$ 전체인 반면 나머지 점의 역상은 한 점이므로 평탄하지 않습니다.

에탈 사상 (Étale Morphism)

사상 $f: X \to Y$가 에탈(étale)이라 함은 평탄하고 비분기(unramified)인 것입니다. 에탈 사상은 위상수학의 피복 사상(covering map)의 대수적 유사물입니다.

국소적으로 에탈 사상은 $A \to A[t]/(P(t))$ 형태이며, 여기서 $P'(t)$가 $A[t]/(P(t))$에서 단위원입니다.

사상의 성질	직관적 의미	위상적 유사물
유한 (finite)	파이버가 유한 집합	유한 대 일 사상
고유 (proper)	"콤팩트"한 사상	고유 연속 사상
평탄 (flat)	파이버가 연속 변화	파이버 다발
에탈 (étale)	국소 동형	피복 사상
매끄러운 (smooth)	파이버가 매끄러운 다양체	부분 침입 (submersion)

에탈 코호몰로지 (Étale Cohomology)

동기: 베유 추측

에탈 코호몰로지는 베유 추측(Weil conjectures)을 증명하기 위하여 그로텐디크가 도입한 코호몰로지 이론입니다. 유한체 $\mathbb{F}_q$ 위의 다양체 $X$에 대하여, 유리점의 수를 세는 제타 함수를 정의합니다.

$$Z(X, t) = \exp\left(\sum_{n=1}^{\infty} \frac{\#X(\mathbb{F}_{q^n})}{n} t^n\right)$$

베유는 이 함수가 리만 제타 함수와 유사한 성질을 가진다고 추측하였습니다.

베유 추측 (1949, 들리뉴가 1974년에 완전 증명):

유리성: $Z(X, t)$는 유리함수입니다.
함수 방정식: $Z(X, 1/q^n t)$와 $Z(X, t)$ 사이에 대칭 관계가 있습니다.
리만 가설의 유사물: $Z(X, t)$의 역수(reciprocal)의 영점의 절대값에 대한 정밀한 조건이 성립합니다.
베티 수: $Z(X, t)$의 차수는 대응하는 복소 다양체의 베티 수로 결정됩니다.

에탈 위상과 에탈 코호몰로지

자리스키 위상은 베유 추측을 증명하기에는 "너무 성긴" 위상입니다. 예를 들어, 상수층의 자리스키 코호몰로지는 대부분 사라집니다. 그로텐디크는 열린 집합 대신 에탈 사상을 "열린 덮개"로 사용하는 새로운 위상 — 에탈 위상(étale topology) — 을 도입하였습니다.

스킴 $X$와 비틀림 층(torsion sheaf) $\mathcal{F}$ (또는 $\ell$-진 층)에 대한 에탈 코호몰로지는 다음과 같이 정의됩니다.

$$H^i_{\text{ét}}(X, \mathcal{F})$$

$\ell$-진 코호몰로지는 $\mathbb{Z}_\ell$-계수 코호몰로지의 사영적 극한(projective limit)으로 정의됩니다.

$$H^i_{\text{ét}}(X, \mathbb{Z}_\ell) = \varprojlim_n H^i_{\text{ét}}(X, \mathbb{Z}/\ell^n\mathbb{Z})$$

에탈 코호몰로지의 성질

비교 정리: $X$가 $\mathbb{C}$ 위의 매끄러운 사영 다양체이면, $H^i_{\text{ét}}(X, \mathbb{Z}_\ell) \otimes \mathbb{Q}_\ell \cong H^i(X(\mathbb{C}), \mathbb{Q}) \otimes \mathbb{Q}_\ell$ (특이 코호몰로지와 비교)
푸앵카레 쌍대성: $n$차원 매끄러운 사영 다양체에 대하여, $H^i \cong H^{2n-i}$의 쌍대 관계 성립
레프셰츠 고정점 정리: 프로베니우스 사상의 고정점 계산에 적용되어 유리점의 수를 코호몰로지적으로 계산
갈루아 표현: $H^i_{\text{ét}}(X_{\overline{k}}, \mathbb{Q}_\ell)$은 절대 갈루아 군 $\text{Gal}(\overline{k}/k)$의 연속 표현을 갖습니다.

모티프 (Motives)

동기와 배경

대수적 다양체에 대하여 다양한 코호몰로지 이론(특이 코호몰로지, 드 람 코호몰로지, 에탈 코호몰로지, 결정질 코호몰로지 등)이 존재하며, 이들 사이에는 비교 동형사상이 성립합니다. 그로텐디크는 이 모든 코호몰로지의 "공통 근원"이 되는 보편적 이론이 있어야 한다고 예측하였습니다. 이것이 모티프(motive)의 아이디어입니다.

비유: 한 편의 소설이 영어, 프랑스어, 독일어로 번역되었다고 합시다. 각 번역본은 서로 다르지만, 공통의 "이야기"를 담고 있습니다. 모티프는 다양체의 코호몰로지적 정보의 "원본 이야기"에 해당합니다. 각 코호몰로지 이론은 이 원본을 다른 계수 체계로 "번역"한 것입니다.

순수 모티프 (Pure Motives)

매끄러운 사영 다양체에 대한 모티프 이론을 순수 모티프라 합니다. 그 구성은 다음과 같습니다.

대응(correspondence): 두 매끄러운 사영 다양체 $X, Y$ 사이의 사상을 정칙 사상 대신 대수적 대응(곱 $X \times Y$ 위의 대수적 순환)으로 대체합니다.
동치 관계: 적절한 동치 관계(유리 동치, 수치 동치 등)를 부여합니다.
사영자 분해: 모티프는 $(X, p)$의 형태로, $X$는 다양체이고 $p$는 $X \times X$ 위의 멱등 대응(idempotent correspondence)입니다.

표준 추측 (Standard Conjectures)

그로텐디크의 표준 추측(Standard conjectures)은 모티프 이론의 기반이 되는 미해결 문제들입니다.

레프셰츠 표준 추측 (Conjecture B): 하드 레프셰츠 동형사상이 대수적 순환에 의하여 실현됩니다.
호지 표준 추측 (Conjecture A): 수치 동치와 호모로지 동치가 일치합니다.
쿤네트 추측 (Conjecture C): 쿤네트 사영자(Künneth projector)가 대수적입니다.

이 추측들이 증명되면, 수치 동치를 사용한 순수 모티프의 범주가 반단순 아벨 범주(semisimple abelian category)가 되어, 대수적 다양체의 "선형대수"가 완성됩니다.

혼합 모티프 (Mixed Motives)

비사영적(non-projective)이거나 특이(singular)한 다양체까지 포괄하는 이론이 혼합 모티프입니다. 보에일렌(Voevodsky)은 $DM(k)$라는 삼각범주(triangulated category)를 구성하여 혼합 모티프의 유도 범주(derived category)를 엄밀하게 정의하였습니다. 이 업적은 밀노르 추측(Milnor conjecture)의 증명에 기여하였으며, 보에일렌은 이로 인하여 필즈상(2002)을 수상하였습니다.

응용 심화

타원곡선 암호학 (ECC) 심화

타원곡선 암호학에서 사용되는 핵심 프로토콜과 그 수학적 기반을 살펴보겠습니다.

심화 읽기 연결

여기서는 ECC 계열 프로토콜 자체를 더 자세히 다룹니다. 공개키 암호 전체의 비교 구조, 해시와 서명, 엔트로피, 양자내성 방향까지 함께 보고 싶으면 암호학의 수학 문서를 참고하십시오.

타원곡선 디피-헬만 (ECDH)

두 사용자 Alice와 Bob이 공개 채널을 통해 비밀 키를 공유하는 프로토콜입니다.

공개 매개변수: 타원곡선 $E/\mathbb{F}_p$와 생성점 $G \in E(\mathbb{F}_p)$ (큰 소수 위수 $n$)
Alice: 비밀 키 $a$를 선택, 공개 키 $A = aG$ 전송
Bob: 비밀 키 $b$를 선택, 공개 키 $B = bG$ 전송
공유 비밀: Alice는 $aB = abG$ 계산, Bob은 $bA = abG$ 계산

공격자가 $G$, $A = aG$, $B = bG$로부터 $abG$를 계산하는 것은 타원곡선 디피-헬만 문제(ECDHP)이며, 타원곡선 이산대수 문제(ECDLP)만큼 어려운 것으로 추정됩니다.

타원곡선 디지털 서명 (ECDSA)

비트코인, TLS 등에서 널리 사용되는 디지털 서명 방식입니다.

서명 생성: 메시지 해시 $e$에 대하여, 임의의 $k$를 선택하고 $R = kG$의 $x$좌표 $r$과 $s = k^{-1}(e + ar) \pmod{n}$을 계산하여 서명 $(r, s)$를 생성합니다.
서명 검증: $u_1 = es^{-1}$, $u_2 = rs^{-1}$로부터 $u_1 G + u_2 A$의 $x$좌표가 $r$과 일치하는지 확인합니다.

페어링 기반 암호학

타원곡선 위의 베유 페어링(Weil pairing) $e_n: E[n] \times E[n] \to \mu_n$은 수학적으로 풍부한 구조를 제공합니다. 여기서 $E[n]$은 $n$-비틀림 점의 군, $\mu_n$은 $n$번째 단위근의 군입니다. 페어링을 이용하면 신원 기반 암호(Identity-Based Encryption), 짧은 서명(Short Signature) 등 고급 암호 프리미티브를 구현할 수 있습니다.

대수기하 부호 (Algebraic Geometry Codes)

대수기하 부호(Goppa 부호)는 리만-로흐 정리를 이용하여 설계되는 오류 정정 부호입니다.

구성: 유한체 $\mathbb{F}_q$ 위의 매끄러운 사영 곡선 $C$ (종수 $g$)와 $C$ 위의 서로 다른 $\mathbb{F}_q$-유리점 $P_1, \ldots, P_n$, 그리고 인자 $D$ ($\text{supp}(D) \cap \{P_1, \ldots, P_n\} = \varnothing$)가 주어졌을 때, 대수기하 부호는 다음 평가 사상의 상(image)입니다. $$\text{ev}: \mathcal{L}(D) \to \mathbb{F}_q^n, \quad f \mapsto (f(P_1), \ldots, f(P_n))$$

리만-로흐 정리에 의하여 이 부호의 매개변수를 정밀하게 계산할 수 있습니다.

부호 길이: $n$
차원: $k = \ell(D) - \ell(D - P_1 - \cdots - P_n) \geq \deg(D) - g + 1$ ($2g - 2 < \deg(D) < n$일 때)
최소 거리: $d \geq n - \deg(D)$

특히, 치하르-블라두트 한계(Tsfasman-Vlăduţ-Zink bound)에 의하여, 종수가 큰 곡선의 족(family)을 사용하면 길버트-바르샤모프 한계(Gilbert-Varshamov bound)를 초과하는 부호를 구성할 수 있습니다. 이는 대수기하학이 코딩 이론에 제공하는 가장 인상적인 결과 중 하나입니다.

추가 응용 분야

분야	대수기하학적 도구	핵심 결과
암호학 (ECC)	유한체 위의 타원곡선	짧은 키 길이로 높은 보안
부호이론	곡선 위의 인자, 리만-로흐	GV 한계 초과 부호
정수론	스킴, 에탈 코호몰로지	페르마 정리, 베유 추측
끈이론	칼라비-야우 다양체	여분 차원의 컴팩트화
거울 대칭	사영다양체의 쌍	그로모프-위튼 불변량 계산
기계학습	대수적 통계학	특이 학습 이론 (와타나베 이론)

더 나아가기

학습 로드맵

대수기하학을 체계적으로 학습하기 위한 단계별 안내입니다.

선수 과목: 추상대수학 (환론, 체론), 선형대수학, 기초 위상수학
고전적 대수기하: 아핀/사영 다양체, 힐베르트 영점정리, 차원, 매끄러움 — 본 페이지의 전반부
곡선론: 리만-로흐 정리, 리만-후르비츠 공식, 타원곡선
스킴 이론: 그로텐디크의 관점 — 아핀 스킴, 층, 코호몰로지
심화 주제: 교차 이론, 에탈 코호몰로지, 모듈라이 공간, 모티프

참고문헌

R. Hartshorne, Algebraic Geometry, Springer GTM 52 — 스킴 이론의 표준 교재
I. R. Shafarevich, Basic Algebraic Geometry, Springer — 고전적 다양체에서 스킴까지
J. H. Silverman, The Arithmetic of Elliptic Curves, Springer GTM 106 — 타원곡선의 표준 참고서
Q. Liu, Algebraic Geometry and Arithmetic Curves, Oxford GTM — 산술기하학 입문
W. Fulton, Intersection Theory, Springer — 교차 이론의 표준 참고서