그로텐디크-리만-로흐 정리(Grothendieck–Riemann–Roch theorem)는 알제브라적 기하학과 위상수학에서 중요한 역할을 하는 정리로, 푸쉬포워드(pull‑forward)와 차터 클래스·토드 클래스를 연결한다. 이 정리는 알렉산드르 그로텐디크가 1950년대 후반에 제시했으며, 히루베르크의 리만‑로흐 정리(Hirzebruch–Riemuran‑Roch theorem)를 일반화한 형태로 알려져 있다.
정의 및 수식
$f : X \to Y$ 를 복잡수체 위의 매끄러운(스무스) 대수다양체 사이의 적당한(보통은 적분가능하고 정규) 사상이라고 하자. $K_0(X)$ 와 $A_*(X)$ 는 각각 $X$ 위의 코히런트 층의 가루(K‑이론)과 사이클 클래스(알제브라적 등급) 그룹을 나타낸다.
정리의 핵심 내용은 다음과 같다.
$$ \operatorname{ch}\bigl(f_!(\alpha)\bigr),\operatorname{Td}(Y) ;=; f_*\bigl(\operatorname{ch}(\alpha),\operatorname{Td}(X)\bigr), \qquad \alpha \in K_0(X), $$
여기서
- $\operatorname{ch}$ 은 차터 클래스(어떤 K‑이론 원소를 차터 클래스 형태로 변환)이며,
- $\operatorname{Td}(\cdot)$ 은 토드 클래스(다양체의 특성을 담은 차원별 다항식)이고,
- $f_!$ 은 K‑이론에서의 푸쉬포워드(상대 K‑이론), $f_*$ 은 사이클 클래스에서의 푸쉬포워드(정상적인 푸쉬포워드)이다.
이 식은 차터 클래스와 토드 클래스가 사상에 대해 어떻게 변환되는지를 정량적으로 기술한다.
역사적 배경
- 리만‑로흐 정리(1854‑1886)는 곡선 위의 디바이스(선형 시스템) 차원을 기하학적 데이터와 연결하였다.
- 히루베르크의 리만‑로흐 정리(1954)는 다변량 경우를 다루며, 차터 클래스와 토드 클래스를 도입하였다.
- 그로텐디크는 1957년~1961년에 걸쳐 일반적인 사상 $f$ 에 대해 위와 같은 식을 증명하면서, 기존 정리들을 하나의 통합된 K‑이론·사이클 이론 프레임워크로 확장하였다.
주요 적용 분야
- 특성 클래스 계산 – 복잡다양체 위의 전역 섹션 수, 아벨-조고스 수 등을 계산할 때 활용된다.
- 푸쉬포워드와 인터섹션 이론 – 펠런(Fulton)의 인터섹션 이론에서 핵심 툴로 사용된다.
- 유도 카테고리 – 현대 대수기하학에서 파생된 미분형(K‑이론) 및 유도 카테고리 이론과도 호환된다.
- 수론적 응용 – 아르키메데스 형태의 모듈러 형식 및 L-함수와 연결된 계산에 간접적으로 기여한다.
참고 문헌
- A. Grothendieck, “Formule de Riemann‑Roch et Théorèmes de Dualité”, Sém. Bourbaki (1966).
- W. Fulton, “Intersection Theory”, Springer, 1998.
- R. Hartshorne, “Algebraic Geometry”, Springer, 1977.
(이 정보는 위키백과 및 주요 수학 교재에 기반한 것으로, 최신 연구 동향에 따라 추가적인 상세 내용이 존재할 수 있다.)