카르탕 정리

틀:위키데이터 속성 추적 복소기하학과 대수기하학에서 카르탕 정리(Cartan定理, 틀:Llang)는 슈타인 다양체 및 아핀 스킴 위의 연접층의 성질에 대한 두 개의 핵심적인 정리이다.

정의

슈타인 다양체 $X$ 위의 연접층 $ℱ$에 대하여, 다음이 성립한다.

• (카르탕 A정리 틀:Llang) $ℱ$는 ${𝒪}_X$-가군층으로서, $ℱ$의 대역적 단면들로부터 생성된다.
• (카르탕 B정리 틀:Llang) 임의의 $p>0$에 대하여, 층 코호몰로지 $H^p(X;ℱ)$는 자명군이다.

아핀 스킴에 대해서도 유사한 정리가 성립한다. 임의의 아핀 스킴 $X$ 및 그 위의 준연접층 $ℱ$에 대하여,

• (아핀 스킴에 대한 카르탕 A정리) $ℱ$는 ${𝒪}_X$-가군층으로서, $ℱ$의 대역적 단면들로부터 생성된다.
• (아핀 스킴에 대한 카르탕 B정리) 임의의 $p>0$에 대하여, 층 코호몰로지 $H^p(X;ℱ)$는 자명군이다.틀:Rp

역사

앙리 카르탕이 1953년에 증명하였다. 아핀 스킴에 대한 카르탕 정리는 장피에르 세르가 1955년에 증명하였다.

외부 링크

• 틀:Eom
• 틀:웹 인용

같이 보기

• 쿠쟁 문제