[논문 리뷰] Harmonic forms on manifolds with edges

Eugénie Hunsicker, Rafe Mazzeo|ArXiv.org|2005. 03. 16.

Geometric Analysis and Curvature Flows참고 문헌 11인용 수 4

한 줄 요약

이 논문은 가중치가 부여된 de Rham 코homology와 엣지 프시노드리픽스 계산을 사용하여, 완비되지 않은 엣지 특이성을 가진 컴팩트 리만 계량 분할 공간 위의 $L^2$ 조화 형식의 공간을 계산한다. 특이도에서의 임계 차수에서의 섬유 코homology가 0이 되는 조건 하에서 $L^2$ 조화 형식이 교차 코hom로 표현됨을 규명함으로써, 완비되지 않은 계량을 가진 특이 공간 위의 호지 이론에서 핵심 케이스를 해결한다.

ABSTRACT

Let $(X,g)$ be a compact Riemannian stratified space with simple edge singularity. Thus a neighbourhood of the singular stratum is a bundle of truncated cones over a lower dimensional compact smooth manifold. We calculate the various polynomially weighted de Rham cohomology spaces of $X$, as well as the associated spaces of harmonic forms. In the unweighted case, this is closely related to recent work of Cheeger and Dai \cite{CD}. Because the metric $g$ is incomplete, this requires a consideration of the various choices of ideal boundary conditions at the singular set. We also calculate the space of $L^2$ harmonic forms for any complete edge metric on the regular part of $X$.

연구 동기 및 목표

• 완비되지 않은 엣지 특이성을 가진 컴팩트 분할 공간 위의 $L^2$ 조화 형식의 위상적 의미를 규명하는 것.
• 가중치가 부여된 $L^2$ 코homology와 조화 형식을 분석하여, 완비되지 않은 엣지 계량으로의 호지 이론을 확장하는 것.
• 특이 분할이 존재할 경우 $L^2$ 조화 형식과 교차 코hom로의 관계를 명확히 하는 것.
• 완비되지 않은 계량에서 특이 위치에서의 경계 조건에 대한 의존성을 최소 및 최대 de Rham 복합체를 구분함으로써 해결하는 것.
• 최소 및 최대 $L^2$ de Rham 복합체가 일치할 조건을 규명하여, 조화 형식을 교차 코hom으로 식별할 수 있도록 하는 것.

제안 방법

• 분할 공간의 정칙 부분에서 미분 형식을 분석하기 위해 다항식 가중치가 부여된 $L^2$ 코homology를 사용한다.
• 완비되지 않은 엣지 계량에서 허지 라플라시안에 대한 파라메트릭스를 구축하기 위해 엣지 프시노드리픽스 계산을 적용한다.
• 섬유화된 캐스크 및 섬유화된 경계 계산의 유사체를 활용하며, 엣지 계산을 통해 완비되지 않은 계량에 적응시킨다.
• 라플라시안의 정규 연산자를 분석하여, 특히 0 근처에서 스펙트럼 갭과 본질적 스펙트럼을 연구한다.
• 특히 특이 분할 주변의 콘 번들의 경우에 대해 교차 코hom로를 계산하기 위해 셰이프-이론적 기법을 활용한다.
• 완비되지 않은 계량과 특이 경계 조건을 다루기 위해 de Rham 복합체의 최소 및 최대 확장을 구분한다.

실험 결과

연구 질문

• RQ1 완비되지 않은 엣지 계량에서의 가중치가 부여된 $L^2$ 조화 형식은 기저 분할 공간의 위상적 불변량과 어떻게 관련이 있는가?
• RQ2 완비되지 않은 엣지 공간의 정칙 부분에서 최소 및 최대 de Rham 복합체가 언제 일치하는가?
• RQ3 완비되지 않은 엣지 계량에서 $L^2$ 조화 $k$-형식의 공간이 언제 교차 코호몰로지와 일치하는가?
• RQ4 기저 차원 $b$가 홀수일 때, 섬유 $F$의 코호몰로지가 $L^2$ 조화 형식의 차원에 어떤 영향을 미치는가?
• RQ5 허지 라플라시안의 본질적 스펙트럼이 무한차원 $L^2$ 조화 형식의 존재에 어떻게 영향을 미치는가?

주요 결과

• 완비되지 않은 엣지 계량에서, 섬유 코호몰로지 $H^ ho(F)$가 0이면, $L^2$ 조화 $k$-형식은 $L^2 ilde{ ho}^k(M,g) \times L^2\tilde{\rho}^{k-r}(M,g)$로 분해된다.
• 기저 차원 $b$가 짝수이거나 $\rho = (2k - b - 1)/2$일 때 $H^\rho(F) = 0$이면, 최소 및 최대 de Rham 복합체가 일치하여 $L^2$ 조화 형식이 잘 정의됨이 보장된다.
• 동일한 코호몰로지 소멸 조건 하에서 $L^2$ 조화 $k$-형식의 공간은 교차 코호몰로지 ${I\tilde{H}}^k_{\frak{m}}(X)$와 위상동형이다.
• 기저 차원 $b$가 홀수이고 $H^\rho(F) \neq 0$이면, $L^2\tilde{\rho}^k(M,g)$의 공간은 $\triangle_k$의 본질적 스펙트럼이 0에 집중됨으로써 무한차원이 된다.
• 엣지 계산에서 파라메트릭스 구성법을 통해 $\triangle_k$의 0 근처에서 스펙트럼 갭을 확립하였으며, $\nu$가 작고 0이 아닌 경우 $\triangle_k - \nu$의 컴팩트 잔여항이 존재함을 보장한다.
• 이 결과는 체거와 다이의 작업을 일반화하여, 짝수 차원 섬유와 다항식 가중치의 전체 스케일로의 대응관계를 확장한다.