[논문 리뷰] Mayer-Vietoris systems and their applications

Lingxu Meng|arXiv (Cornell University)|2018. 11. 14.

Geometry and complex manifolds참고 문헌 23인용 수 9

한 줄 요약

이 논문은 cdp 준층과 cds 전준층을 사용하여 코homological 도구를 컴 pact 다양체를 초월해 일반화하기 위해 Mayer-Vietoris 체계를 도입한다. 복소다양체와 매끄러운 다양체에서 비콤팩트인 경우에도 Dolbeault 코homology와 국소계층 코homology의 블로우업 공식에 대한 동형사상이 성립함을 증명하며, Rao, Yang, Yang의 공식이 콤팩트성 조건 없이도 유효하다는 것을 입증한다.

ABSTRACT

We introduce notions such as cdp presheaf, cds precosheaf, Mayer-Vietoris system, and investigate their properties. As applications, we study cohomologies with values in local systems on smooth manifolds and Dolbeault cohomologies with values in locally free sheaves on complex manifolds, where the compactness is not necessary for both cases. In particular, we write out explicit blow-up formulas for these cohomologies. Moreover, we compare the blow-up formula given by Rao, S., Yang, S. and Yang, X.-D. with ours, and then deduce that their formula is still an isomorphism in the noncompact case.

연구 동기 및 목표

• 비콤팩트 다양체에서의 코homology 이론을 위한 Mayer-Vietoris 체계 기반의 프레임워크를 개발하기 위해.
• Leray-Hirsch 정리와 Poincaré 대칭성과 같은 고전적 결과를 비콤팩트 환경으로 확장하기 위해.
• 콤팩트성 조건 없이 Dolbeault 코homology와 국소계층 코homology에 대한 명시적 블로우업 공식을 제공하기 위해.
• Rao, S., Yang, S., Yang, X.-D.의 블로우업 공식이 비콤팩트 경우에도 동형사상임을 검증하기 위해.
• 체계적인 준층-전준층 접근을 통해 범주화된 코homology 결과를 통합하고 일반화하기 위해.

제안 방법

• 계산 가능한 직접 곱 또는 합 조건을 만족하는 cdp 준층과 cds 전준층을 도입한다.
• 제약 및 확장 사상이 포함된 정확한 수열을 갖는 준층 또는 전준층의 집합으로서 Mayer-Vietoris 체계를 정의한다.
• 핵심 정리 수립: M-V 사상이 기저가 되는 열린 집합에서의 동형사상을 유도하면, 그 사상은 동형사상이 된다.
• 이 정리를 매끄러운 다양체에서 국소계층 값 코homology와 복소다양체에서 국소 자유 준층 값 코homology에 적용한다.
• 예외적 인 심플렉틱 인자 위의 타우토로지컬 라인 번들의 코homology 클래스를 사용하여 명시적인 블로우업 동형사상을 구성한다.
• 코homology 위에서 사상 정의를 위해 연산자 $ \pi^* + \sum_{i=0}^{r-2} (i_E)_* \circ (h^i \cup) \circ (\pi|_E)^* $ 를 사용한다.

실험 결과

연구 질문

• RQ1 Mayer-Vietoris 체계를 사용하여 코homological 공식을 콤팩트 다양체를 초월해 확장할 수 있는가?
• RQ2 국소 자유 준층 값 Dolbeault 코homology의 블로우업 공식은 비콤팩트 경우에도 유효한가?
• RQ3 기저 다양체가 비콤팩트할 경우 국소계층 코homology의 블로우업 공식은 여전히 동형사상인가?
• RQ4 이 프레임워크를 통해 Leray-Hirsch 정리와 Künneth 공식을 비콤파크트 환경으로 일반화할 수 있는가?
• RQ5 새로운 동형사상은 비콤팩트 경우에 Rao, S., Yang, S., Yang, X.-D.의 것과 어떻게 비교되는가?

주요 결과

• 논문은 국소 자유 준층 값 Dolbeault 코homology의 블로우업 공식이 비콤팩트 복소다양체에서도 성립함을 증명한다.
• 모든 $ p,q $ 에 대해 $ H^{p,q}(\widetilde{X},\pi^*\mathcal{E}) \cong H^{p,q}(X,\mathcal{E}) \oplus \bigoplus_{i=0}^{r-2} H^{p-1-i,q-1-i}(Y, i_Y^*\mathcal{E}) $ 라는 동형사상이 콤팩트성 조건 없이 성립함을 입증한다.
• 국소계층 값 코homology의 경우, $ H^k(\widetilde{X}, \pi^{-1}\mathcal{V}) \cong H^k(X,\mathcal{V}) \oplus \bigoplus_{i=0}^{r-2} H^{k-2-2i}(Y, i_Y^{-1}\mathcal{V}) $ 라는 동형사상이 비콤팩트 다양체에서 성립한다.
• 콤팩트 지지 코homology의 경우에도 동일한 동형사상이 성립한다: $ H_c^k(\widetilde{X}, \pi^{-1}\mathcal{V}) \cong H_c^k(X,\mathcal{V}) \oplus \bigoplus_{i=0}^{r-2} H_c^{k-2-2i}(Y, i_Y^{-1}\mathcal{V}) $.
• 논문은 Rao, S., Yang, S., Yang, X.-D.의 블로우업 공식이 기저 다양체가 비콤팩트일 경우에도 여전히 동형사상임을 확인한다.
• 이 프레임워크를 통해 Mayer-Vietoris 체계를 통해 Leray-Hirsch 정리와 Künneth 공식이 비콤팩트 환경으로 일반화될 수 있다.