[논문 리뷰] Hodge theory and cohomology with compact supports

Edward L. Bueler, Igor Prokhorenkov|arXiv (Cornell University)|1998. 04. 28.

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

한 줄 요약

이 논문은 비콤팩트이고 위상적으로 옹호된 다양체에 대해, 무한대에서 급격히 증가하는 측도 dμ와 관련된 Hodge--Witten--Bismut 라플라시안 Δμ를 구성함으로써 Hodge 이론을 수립한다. 비콤팩트 성질로 인해 표준 Hodge 이론이 실패하는 상황에서도, 원형 끝을 가진 다양체에서 형태의 '영으로의 연장' 성질을 이용하여 컴팩트 지지(cohomology with compact supports)와 Δμ의 핵(kernel) 사이의 동형사상(isomorphism)을 증명한다.

ABSTRACT

This paper constructs a Hodge theory of noncompact topologically tame manifolds $M$. The main result is an isomorphism between the de Rham cohomology with compact supports of $M$ and the kernel of the Hodge--Witten--Bismut Laplacian $\lap_μ$ associated to a measure $dμ$ which has sufficiently rapid growth at infinity on $M$. This follows from the construction of a space of forms associated to $\lap_μ$ which satisfy an ``extension by zero'' property. The ``extension by zero'' property is proved for manifolds with cylindrical ends possessing gaussian growth measures.

연구 동기 및 목표

• 비콤팩트이고 위상적으로 옹호된 다양체에 대해 표준 Hodge 이론이 비콤팩트성으로 인해 실패하는 경우에 Hodge 이론을 개발하기 위해.
• 비콤팩트 다양체에서 컴팩트 지지 코homology에 대한 Hodge 분해가 부족한 문제를 다루기 위해.
• 무한대에서 급격히 증가하는 측도 dμ와 관련된 라플라시안 Δμ를 구성하여 잘 정의된 Hodge 이론을 가능하게 하기 위해.
• Δμ의 핵이 컴팩트 지지와 함께 de Rham 코homology와 동형임을 증명하기 위해.
• 측도 dμ가 가우시안 성장을 보일 때, 원형 끝을 가진 다양체에서 미분형식에 대한 '영으로의 연장' 성질을 확립하기 위해.

제안 방법

• 무한대에서 충분히 급격히 증가하는 측도 dμ를 사용하여 미분형식 위에 가중 L2 내적을 정의한다.
• dμ에 대한 형식적 쌍대 연산자로서 Hodge--Witten--Bismut 라플라시안 Δμ를 구성한다.
• 원형 끝을 가진 다양체에서 Δμ-불변 형식의 공간이 '영으로의 연장' 성질을 만족함을 증명한다.
• 원형 끝의 기하학을 이용하여 형식의 감쇠와 증가를 통제함으로써, 연장 성질이 성립함을 보장한다.
• 컴팩트 지지 형식의 공간에서 Δμ의 스펙트럼 성질을 확립함으로써 코homology와의 동형사상을 이끌어낸다.
• 무한대에서 다양체의 구조(원형 끝)를 활용하여 측도 dμ가 잘 행동하는 라플라시안을 유도한다.

실험 결과

연구 질문

• RQ1 비콤팩트 다양체에서 표준 Hodge 이론이 실패하는 경우에도 Hodge 이론을 개발할 수 있는가?
• RQ2 비콤팩트 다양체 위에 존재하는 라플라시안 연산자 Δμ가 컴팩트 지지와 함께 de Rham 코homology를 핵으로서 실현할 수 있는가?
• RQ3 측도 dμ가 원형 끝에서의 미분형식에 대해 '영으로의 연장' 성질이 성립하는 조건은 무엇인가?
• RQ4 dμ가 무한대에서의 증가율이 Δμ의 스펙트럼 성질에 미치는 영향은 무엇인가?
• RQ5 H^k_c(M)와 ker(Δμ) 사이의 동형사상이 성립하기 위해 필요한 다양체의 기하적 조건(예: 원형 끝)은 무엇인가?

주요 결과

• 컴팩트 지지와 함께 de Rham 코homology H^k_c(M)는 다양체 M 위에서 Hodge--Witten--Bismut 라플라시안 Δμ의 핵과 동형이다.
• 측도 dμ가 무한대에서 가우시안 유형의 성장을 보일 경우, 원형 끝을 가진 비콤팩트이고 위상적으로 옹호된 다양체에서 동형사상이 성립한다.
• Δμ-불변 형식의 공간은 '영으로의 연장' 성질을 만족한다. 즉, ker(Δμ)에 속한 형식은 원형 끝을 따라 부드럽게 영으로 연장된다.
• 이 구성은 다양체의 무한대에서의 기하학과 측도 dμ의 증가율 사이의 상호작용에 의존한다.
• 결과적으로 이는 잘 정의된 타원형 연산자(elliptic operator)의 핵을 통해 컴팩트 지지 코homology의 Hodge 이론적 실현을 제공한다.
• 동형사상은 선택한 메트릭에 영향을 받지 않으며, 충분한 증가율을 가지는 측도 dμ에만 의존한다.