기하 · 개념 허브

대수 기하

Algebraic Geometry

AD 163717세기 프랑스 (데카르트)

개념

다항식의 영점이 만드는 기하적 도형을 연구. 19세기엔 곡선·곡면, 20세기 그로텐디크가 스킴으로 추상화. 페르마 마지막 정리(와일즈 1995)가 결국 대수 기하의 결실.

한 호흡으로 이해하기

다항방정식의 해집합을 기하로 보고, 도형의 성질을 대수로 읽는다. 같은 식도 실수·복소수·유한체 등 어떤 바탕 위에서 보느냐에 따라 다른 점들을 갖는다. 20세기의 스킴은 영점 집합보다 더 많은 산술 정보를 보존하며, 타원곡선·모듈러 형식과 함께 현대 정수론의 공통 언어가 됐다. 페르마의 마지막 정리는 이 넓은 연구망의 한 응용이지 스킴 하나가 직접 푼 결과는 아니다.

한눈에 보기

다항식

도형

비고

x² + y² − 1

(S¹)

가장 단순한 곡선

y² − x³ − ax − b

타원곡선

BSD 추측·암호학 핵심

x² + y² + z² − 1

(S²)

3차원

x² + y² − z²

원뿔

특이점 (0,0,0)

x³ + y³ + z³ − 1

3차 곡면

FLT의 xⁿ+yⁿ=zⁿ과는 다른 대상

스킴 (Spec ℤ)

"모든 소수 위의 점"

그로텐디크 1960

방정식 ↔ 도형의 사전은 바탕 체와 특이점까지 함께 읽는다. 스킴은 정수와 여러 유한체 위 정보를 한 틀에서 비교하게 한다.

핵심 식

V(f1,,fk)={xAn:fi(x)=0i}V(f_1, \dots, f_k) = \{\mathbf{x} \in \mathbb{A}^n : f_i(\mathbf{x}) = 0\,\forall i\}

대수적 다양체 — 다항 방정식들의 공통 영점

오늘날의 응용

암호학(타원곡선·격자), 코딩 이론, 통계 모델 식별가능성.

MathVoyage 너머로

불러오는 중…