인자와 리만-로흐 정리

인자(Divisor)는 다양체(variety) 상의 함수의 영점(zeros)과 극점(poles)을 기록하며, 선다발(line bundles)은 이를 기하학적으로 묶고, 리만-로흐 정리(Riemann-Roch theorem)는 주어진 극점 거동을 갖는 함수의 개수를 기하학적 불변량(geometric invariants)으로 계산합니다.

Definition

다양체 상의 인자는 영점과 극점을 인코딩하는 여차원 1(codimension-one) 부분다양체(subvarieties)의 형식적 조합(formal combination)이며, 선다발은 이들의 기하학적 대응물입니다. 리만-로흐 정리는 인자의 단면(sections) 공간의 차원과 인자의 차수(degree), 종수, 표준 인자 사이의 관계를 설명합니다.

Scope

이 주제는 바일 인자(Weil divisors)와 카르티에 인자(Cartier divisors), 선형 동치(linear equivalence), 인자류군(divisor class group)과 피카르 군(Picard group), 그리고 인자와 선다발(가역층, invertible sheaves) 사이의 대응 관계를 다룹니다. 또한 선형계(linear systems)와 이들이 정의하는 사영 공간(projective space)으로의 사상(maps), 표준 인자(canonical divisor), 곡선(curve)의 종수(genus)를 다루며, 곡선에 대한 리만-로흐 정리와 세르 쌍대성(Serre duality)의 역할로 마무리됩니다. 고차원 및 그로텐디크-히르체브루흐 일반화는 자연스러운 확장으로 제시됩니다.

Core questions

• 바일 인자와 카르티에 인자는 유리 함수(rational functions)의 영점 및 극점 거동을 어떻게 인코딩하는가?
• 선형 동치까지의 인자가 선다발과 동일한 데이터인 이유는 무엇인가?
• 선형계는 다양체에서 사영 공간으로의 사상을 어떻게 결정하는가?
• 리만-로흐 정리는 무엇을 계산하며, 세르 쌍대성은 어떻게 관여하는가?

Key concepts

• 바일 인자와 카르티에 인자; 선형 동치
• 인자류군과 피카르 군
• 선다발(가역층)과 선형계
• 표준 인자와 곡선의 종수
• 리만-로흐 정리와 세르 쌍대성

Clinical relevance

인자와 리만-로흐 정리는 곡선 이론의 계산적 핵심이며, 오류 수정 고파 코드(Goppa codes)의 구성, 타원 곡선(elliptic curves)의 산술, 대수 곡면(algebraic surfaces) 및 고차원 다양체의 분류의 기초를 이룹니다.

History

함수 공간의 차원에 대한 리만 부등식(Riemann's inequality, 1857)은 그의 학생 로흐(Roch)에 의해 리만-로흐 정리로 완성되었습니다. 20세기 중반 히르체브루흐(Hirzebruch)의 일반화와 그로텐디크(Grothendieck)의 상대적 버전은 이를 현대 코호몰로지 대수 기하학(cohomological algebraic geometry)에 통합시켰습니다.

Key figures

• Bernhard Riemann
• Gustav Roch
• Friedrich Hirzebruch

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

인자와 선다발의 관계는 무엇인가요?

매끄러운 다양체(smooth variety)에서 선형 동치까지의 인자는 선다발의 동형류(isomorphism classes)와 정확히 일치합니다. 피카르 군에서 인자의 클래스는 해당 인자를 따라 단면이 소멸하는 선다발입니다.

리만-로흐 정리는 무엇을 알려주나요?

매끄러운 사영 곡선(smooth projective curve) 상의 인자에 대해, 이 정리는 인자의 차수와 곡선의 종수를 이용하여 인자에 의해 극점이 제한되는 유리 함수의 공간의 차원을 제공하는 근본적인 계산 결과입니다.