[논문 리뷰] General perversities and L^2 de Rham and Hodge theorems for stratified pseudomanifolds

Francesco Bei|arXiv (Cornell University)|2011. 07. 20.

Geometry and complex manifolds참고 문헌 12인용 수 4

한 줄 요약

이 논문은 가중치를 가진 퀀티지-엣지 메트릭을 사용하여 분할된 가짜다각형체에 대해 일반적인 페르미티 $p_g$와 $q_g$를 부여함으로써, $L^2$ de Rham 및 Hodge 정리를 수립한다. 절대 $L^2$ Hodge 코hom로지와 최대 $L^2$ de Rham 코호몰로지는 페르미티 $q_g$에 대한 교차 코호몰로지와 동형이며, 상대 $L^2$ Hodge 및 최소 $L^2$ de Rham 코호몰로지는 페르미티 $p_g$에 대한 교차 코호몰로지와 동형이다. 이는 고전적 결과를 더 넓은 범위의 메트릭과 페르미티로 확장한다.

ABSTRACT

Given a compact stratified pseudomanifold with a Thom-Mather stratification and a class of riemannian metrics over its regular part, we study the relationships between the $L^{2}$ de Rham and Hodge cohomology and the intersection cohomology of $X$ associated to some perversities. More precisely, to a kind of metric which we call \emph{quasi edge with weights}, we associate two general perversities in the sense of G. Friedman, $p_{g}$ and its dual $q_{g}$. We then show that the absolute $L^{2}$ Hodge cohomology is isomorphic to the maximal $L^{2}$ de Rham cohomology and this is in turn isomorphic to the intersection cohomology associated to the perversity $q_{g}$. Moreover we prove that the relative $L^{2}$ Hodge cohomology is isomorphic to the minimal $L^{2}$ de Rham cohomology and this is in turn isomorphic to the intersection cohomology associated to the perversity $p_{g}$.

연구 동기 및 목표

• 콤���한 분할된 가짜다각형체의 정규 부분에서 $L^2$ de Rham 및 Hodge 코호몰로지와 일반적인 페르미티에 대한 교차 코호몰로지 사이의 대응관계를 수립하기 위해.
• 정규 부분에서 정의된 '가중치를 가진 퀀티지-엣지'로 불리는 리만 메트릭의 클래스를 정의하여, 이 메트릭과 관련된 페르미티 $p_g$와 $q_g$가 교차 코호몰로지와 동형이 되도록 하기 위해.
• 역문제를 다루기 위해: 주어진 일반 페르미티 $p$에 대해, $L^2$ de Rham 및 Hodge 정리가 $p$에 대해 성립하는 메트릭 $g$가 존재하는가?
• 페르미티 $p$가 하위 중간 페르미티보다 작거나 같거나 상위 중간 페르미티보다 크거나 같을 경우, 그러한 메트릭이 존재함을 증명하기 위해.
• 등급사상과 $L^2$ 라플라스 연산자의 프레드홀름 성질을 통해 $L^2$ 코호몰로지 군의 구조적 성질을 유도하기 위해.

제안 방법

• 분할된 가짜다각형체의 정규 부분에서 정의된 '가중치를 가진 퀀티지-엣지'로 불리는 리만 메트릭의 클래스를 도입하여, 메트릭의 구조에서 변수 지수를 允허함으로써 엣지 메트릭을 일반화하기 위해.
• 각 메트릭 $g$에 대해, 메트릭의 가중치 매개변수로부터 유도된 프레드먼의 의미에서의 일반 페르미티 $p_g$와 $q_g$를 부여하기 위해.
• 최대 $L^2$ de Rham 코호몰로지와 절대 $L^2$ Hodge 코호몰로지가 페르미티 $q_g$에 대한 교차 코호몰로지와 동형이며, 최소 $L^2$ de Rham 코호몰로지와 상대 $L^2$ Hodge 코호몰로지가 페르미티 $p_g$에 대한 교차 코호몰로지와 동형임을 증명하기 위해.
• Goresky-MacPherson의 층 이론 프레임워크와 특이 공간 위의 $L^2$ 코호몰로지 이론을 사용하여 동형을 수립하기 위해.
• $L^2$ 라플라스 연산자 $Δ_{max,i}$ 및 $Δ_{min,i}$의 프레드홀름 성질을 분석하여, 그들이 닫힌 범위를 가지며, 유한차원의 핵과 코어널을 가짐을 보여주기 위해.
• 역문제 접근법을 적용하여, $p \leq \underline{m}$ 또는 $p \geq \overline{m}$ 인 경우 일반 페르미티 $p$에 대해 메트릭을 구성하기 위해, 여기서 $\underline{m}$과 $\overline{m}$은 하위 및 상위 중간 페르미티이다.

실험 결과

연구 질문

• RQ1 주어진 일반 페르미티 $p$에 대해, $reg(X)$에서 메트릭 $g$가 존재하여 $L^2$ de Rham 및 Hodge 정리가 $p$에 대해 성립하는가?
• RQ2 가중치를 가진 퀀티지-엣지 메트릭의 $L^2$ de Rham 및 Hodge 코호몰로지 군은 관련된 페르미티 $p_g$와 $q_g$에 대한 교차 코호몰로지와 어떻게 관련이 있는가?
• RQ3 메트릭 $g$로부터 유도된 $L^2$ 코호몰로지 군이 $I^pH^i(X)$와 동형이 되기 위한 페르미티 $p$에 대한 조건은 무엇인가?
• RQ4 어떤 조건에서 $L^2$ Hodge 및 de Rham 코호몰로지 군이 메트릭의 선택에 영향을 받지 않고, 오직 분할된 호모토피 유형과 페르미티에만 의존하는가?
• RQ5 메트릭의 가중치가 일정한 범위를 만족할 경우, 예를 들어 모든 스트라타에 대해 $c_Y \geq 1$ 이라면, $L^2$ 코호몰로지 군은 어떻게 행동하는가?

주요 결과

• 절대 $L^2$ Hodge 코호몰로지와 최대 $L^2$ de Rham 코호몰로지는 페르미티 $q_g$에 대응하는 교차 코호몰로지와 동형이며, 이는 $p_g$의 쌍대 페르미티이다.
• 상대 $L^2$ Hodge 코호몰로지와 최소 $L^2$ de Rham 코호몰로지는 메트릭의 가중치로부터 유도된 페르미티 $p_g$에 대응하는 교차 코호몰로지와 동형이다.
• 모든 가중치 $c_Y \geq 1$ 인 메트릭의 경우, $L^2$ 코호몰로지 군은 하위 및 상위 중간 페르미티 $\underline{m}$ 및 $\overline{m}$에 대응하는 고전적 교차 코호몰로지 군과 일치한다.
• 페르미티 $p_g$가 Goresky-MacPherson의 의미에서 고전적이며, 코드미너전-1 스트라타 조건이 성립할 경우, $L^2$ 코호몰로지 군은 각각 페르미티 $p_g$ 및 $q_g$에 대응하는 교차 코호몰로지와 일치한다.
• 두 개의 가중치를 가진 퀀티지-엣지 메트릭이 동일한 페르미티 $p_g$를 유도한다면, 그들의 $L^2$ 코호몰로지 군은 서로 동형이며, 이는 메트릭의 동치에 대한 불변성을 보여준다.
• $L^2$ 라플라스 연산자 $Δ_{max,i}$ 및 $Δ_{min,i}$는 닫힌 범위를 가지며, 유한차원의 핵과 코어널을 가지므로, $L^2$ Hodge 및 de Rham 코호몰로지 군은 유한차원이다.