[논문 리뷰] Representation of relative sheaf cohomology

Tatsuo Suwa|arXiv (Cornell University)|2018. 10. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 4

한 줄 요약

이 논문은 소프트 또는 피네틱 분해를 통한 복합체의 층에 기반한 코homology 이론과 Čech 및 유도 범주 방법을 사용하여 상대 층 코homology와의 표준적 동형사상을 수립한다. 파라콤���트 공간과 피네틱 분해를 갖는 경우, 열린 부분집합에서의 절단이 일어나는 섹션의 코homology가 원래 층의 상대 코homology와 표준적으로 동형임을 보여주는 상대 de Rham 유형 정리를 증명한다.

ABSTRACT

We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on the one hand the cohomology is described as the relative cohomology of the sections of the sheaf complex, which appears naturally in the theory of Cech cohomology of sheaf complexes. On the other hand it is interpreted as the cohomology of a complex dual to the mapping cone of a certain morphism of complexes in the theory of derived categories. We prove a "relative de Rham type theorem" from the above two viewpoints. It says that, in the case the complex is a soft or fine resolution of a certain sheaf, the cohomology is canonically isomorphic with the relative cohomology of the sheaf. Thus the former provides a handy way of representing the latter. Along the way we develop various theories and establishes canonical isomorphisms among the cohomologies that appear therein. The second viewpoint leads to a generalization of the theory to the case of cohomology of sheaf morphisms. Some special cases together with applications are also indicated.

연구 동기 및 목표

• 상대 층 코hom로의 구체적이고 계산 가능한 표현을 제공함으로써, 기존에 플라브 분해를 통한 추상적 정의로만 정의되는 상대 층 코hom로를 구체화한다.
• 상대 코호몰로지가 개방 덮개 위의 섹션 복합체를 통해 계산될 수 있음을 보여줌으로써, Čech 코호몰로지와 유도 범주 이론을 연결한다.
• 특히 복소기하학에서 소프트 또는 피네틱 분해를 사용하여 de Rham 정리를 상대적 상황으로 일반화한다.
• 유도 범주에서의 코-매핑 콘 구조를 통해 층 사상에 대한 코호몰로지 이론을 개발한다.
• 다양한 코호몰로지 프레임워크 간에 표준적 동형사상을 수립하여 선택의 독립성과 일관성을 확보한다.

제안 방법

• 덮개 $ \mathcal{V} = \{V_0 = X', V_1\} $ 위에서의 삼중체 $ (\xi_0, \xi_1, \xi_{01}) $를 통한 복합체를 정의함으로써, 상대 코chains에 대해 $ \xi_0 = 0 $ 인 $ H^q_{D_{\tilde{K}}}(X,X') $ 라는 코호몰로지 이론을 도입한다.
• 복합체 $ \mathscr{K}^\bullet(\mathcal{V}, \mathcal{V}') $ 를 통해 $ X $ 와 그 열린 부분집합 $ X' $ 의 섹션에 대한 Čech 유형의 복합체를 사용하며, 교대 합으로 정의된 미분을 갖는다.
• 복합체 $ \mathscr{K}^\bullet $ 가 $ \mathscr{S} $ 의 피네틱 분해이면, $ H^q_{D_{\tilde{K}}}(X,X') $ 와 $ H^q(X,X'; \mathscr{S}) $ 사이에 $ V_1 $ 의 선택과 무관한 표준적 동형사상을 수립한다.
• 상대 코호몰로지를 유도 범주에서 매핑 콘의 쌍대 개념인 '코-매핑 콘' 의 코호몰로지로 재해석함으로써, 층 사상으로의 일반화를 가능하게 한다.
• 이 프레임워크를 도르베오-코호몰로지에 적용하여, 스토인 덮개와 함께 상대 도르베오-코호몰로지 정리를 증명하고, Čech-Dolbeault 코호몰로지와의 표준적 동형사상을 확립한다.
• $ C^\infty $-다양체에 대해 $ j_!j^{-1}\mathscr{E}^{(\bullet)}_X $ 라는 복합체를 고려하며, 그 코호몰로지가 $ j_!j^{-1}\mathbb{C}_X $ 를 계수로 하는 상대 코호몰로지를 계산함을 보여준다.

실험 결과

연구 질문

• RQ1 소프트 또는 피네틱 분해를 사용하여 상대 층 코호몰로지 $ H^q(X,X';\mathscr{S}) $ 는 어떻게 구체적으로 표현할 수 있는가?
• RQ2 두 개의 열린 덮개에 대한 층 복합체의 Čech 코호몰로지와 그 섹션의 상대 코호몰로지 사이의 관계는 무엇인가?
• RQ3 상대 de Rham 정리는 소프트 또는 피네틱 분해의 설정으로 일반화될 수 있으며, 그 결과로 얻어지는 동형사는 표준적인가?
• RQ4 유도 범주에서의 코-매핑 콘 개념은 층 복합체의 상대 코호몰로지와 어떻게 관련되는가?
• RQ5 이 프레임워크는 복소기하학에서 상대 도르베오-코호몰로지와 컴actsupport 코호몰로지에 대해 어떤 함의를 갖는가?

주요 결과

• 두 개의 열린 덮개 $ \mathcal{V} = \{X', V_1\} $ 를 사용하여 정의된 코호몰로지 $ H^q_{D_{\tilde{K}}}(X,X') $ 는 $ V_1 $ 의 선택과 무관하게 표준적 동형사상에 의해 불변이다.
• 모든 피네틱 분해 $ 0 \to \mathscr{S} \to \mathscr{K}^\bullet $ 에 대해 $ \mathscr{K}^\bullet|_{X'} $ 가 피네틱이면, $ H^q_{D_{\tilde{K}}}(X,X') \simeq H^q(X,X';\mathscr{S}) $ 라는 표준적 동형사상이 존재하며, 이는 상대 de Rham 유형 정리를 증명한다.
• 상대 도르베오-코호몰로지 $ H^{p,q}_{\bar{\vartheta}}(X,X') $ 는 $ H^q(X,X';\mathscr{O}^{(p)}) $ 와 표준적으로 동형이며, 고전적 도르베오 정리를 상대적 경우로 일반화한다.
• $ j_!j^{-1}\mathscr{E}^{(\bullet)}_X $ 의 코호몰로지 $ H^q_{d'}(X) $ 는 $ H^q(X; j_!j^{-1}\mathbb{C}_X) $ 와 표준적으로 동형이며, 이는 컴팩트 지지 코호몰로지의 구체적 모델을 제공한다.
• $ H^q_{D'}(X,X') $ 의 각 동치류는 $ (\xi_1, \xi_{01}) $ 의 쌍으로 표현되며, 여기서 $ \xi_1 $ 은 $ \Omega $ 에 지지가 있는 $ X $ 상의 닫힌 $ q $-형식이고, $ \xi_{01} $ 은 $ X' $ 상의 $ (q-1) $-형식이며 $ d\xi_{01} = \xi_1|_{X'} $ 를 만족한다.
• 이 프레임워크는 전통적인 Weil 보조정리 기반 증명에서 발생하는 부호 모호성 문제를 피하면서, Čech 코호몰로지와 층 코호몰로지 사이의 동형사상에 대한 직접적이고 부호가 정확한 구성 방법을 가능하게 한다.