리만-로흐 정리

개요

• X : genus 가 g인 컴팩트 리만곡면
• L : line bundle of degree d
• \(H^{0}(L),H^{1}(L)\) : $L$의 holomorphic section으로 주어지는 sheaf에 대한 코호몰로지 군. 유한차원 복소벡터공간
  • $p>1$이면, $H^{p}(L)=0$
• $h^{p}(L)=\operatorname{dim}H^{p}(L)$
• 리만-로흐 정리

\[h^{0}(L)-h^{1}(L)=d-g+1\]

• 세르의 쌍대성을 이용하면, 다음과 같이 표현된다

\[h^{0}(L)-h^{0}(L^{-1}\otimes K)=d-g+1\] 여기서 $K$는 $X$에 정의된 canonical bundle

메모

• 코쉬-리만 연산자의 index = 1-g
• http://books.google.de/books?id=bzn2RIYwOXUC&pg=PA118&dq=abel+prize+riemann-roch+index&hl=en&sa=X&ei=P8WoUZbAL6GkigK25YHgAQ&ved=0CC4Q6AEwAA#v=onepage&q=abel%20prize%20riemann-roch%20index&f=false
• http://mathoverflow.net/questions/7689/why-is-riemann-roch-an-index-problem