[논문 리뷰] L^2 harmonics forms on non compact manifolds

Gilles Carron|ArXiv.org|2007. 04. 24.

Geometric Analysis and Curvature Flows참고 문헌 54인용 수 13

한 줄 요약

이 논문은 비유계 리만다이프의 $L^2$ 조화 형식과 $L^2$ 코homology를 조사하며, $L^2$ 조화 $k$-형식의 공간이 유한한 차원을 가지는 유형 I 문제에 초점을 맞춘다. 이는 적분 by parts, 소볼레프 부등식, 스펙트럼 이론 등의 도구를 사용하여, 이 공간의 유한성이 오직 무한대에서의 기하학적 성질에 의존한다는 것을 입증한다. 주요 결과로는 등각적으로 컴팩트한 다양체와 호지-드라함 라플라스 연산자의 본질 스펙트럼에 대한 분석이 포함되어 있다.

ABSTRACT

The source of these notes is a series of lectures given at the CIMPA's summer school "Recent Topics in Geometric Analysis".

연구 동기 및 목표

• 완전한 리만다이프의 기하학적 성질이 무한대에서 $L^2$ 조화 $k$-형식의 공간의 유한성과 어떻게 관련되어 있는지 이해하는 것.
• 특히 $L^2$ 조화 함수와 다양체의 엔드와의 연결을 포함하여 $L^2$ 조화 1-형식의 구조를 분석하는 것.
• 적분 by parts 공식을 사용하여 마체오의 결과를 재증명함으로써, 등각적으로 컴팩트한 다양체의 $L^2$ 코homology에 대한 새로운 증명을 제공하는 것.
• 특히 본질 스펙트럼을 포함한 호지-드라함 라플라스 연산자의 스펙트럼이 $L^2$ 코homology 클래스를 결정하는 데서 수행하는 역할을 명확히 하는 것.

제안 방법

• 닫힌, 제곱적분 가능한 미분형식을 완전한 형식으로 나누는 $L^2$ 코homology 프레임워크를 사용하여 분석한다.
• 돈넬리와 색서의 적분 by parts 공식을 적용하여, 등각적으로 컴팩트한 다양체에서 $L^2$ 조화 형식을 제어하는 항등식을 도출한다.
• 소볼레프 부등식과 스펙트럼 이론을 활용하여 $H^1_0(M)$에서 $H^1_2(M)$로의 사상의 단사성을 특성화함으로써 위상수학과 기하학을 연결한다.
• 무한대 근처의 분석을 단순화하기 위해 코어 메트릭으로의 등각적 변환을 통해 $L^2$ 코homology의 연구를 정밀화한다.
• 호지-드라함 라플라스 연산자의 핵으로서 조화 형식을 식별하기 위해 $L^2$ 설정에서의 호지 분해 정리를 활용한다.
• $L^2$ 코hom로리 이론의 결과, 특히 감소 코hom로리와 쌍대성 정리 등을 적용하여 조화 형식의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 완전한 리만다이프의 기하학적 성질이 무한대에서 $L^2$ 조화 $k$-형식의 공간 차원에 어떻게 영향을 미치는가?
• RQ2 콤팩트 지지 코homology $H^k_0(M)$에서 $L^2$ 코homology $H^k_2(M)$로의 자연스러운 사상이 동형사상이 되는 조건은 무엇인가?
• RQ3 등각적으로 컴팩트한 다양체의 $L^2$ 코homology는 호지-드라함 라플라스 연산자의 스펙트럼과 어떻게 관련되어 있는가?
• RQ4 언제 $L^2$ 코homology가 감소 코homology와 일치하는가? 이는 라플라스 연산자의 스펙트럼과 어떻게 관련되어 있는가?
• RQ5 리만 곡면에서 $L^2$ 조화 1-형식의 구조에서 등각 불변성의 역할은 무엇인가?

주요 결과

• 완전한 리만다이프에서 $L^2$ 조화 $k$-형식의 공간의 유한성은 저명한 저자 J. Lott의 결과에 의해, 오직 무한대에서의 기하학적 성질에 의존한다.
• 만약 메트릭이 무한대에서 정확한 형태를 띠면, $k < \text{dim}(M)/2$ 일 때 자연스러운 사상 $H^k_0(M) \to H^k_2(M)$는 동형사상이다.
• 등각적으로 컴팩트한 다양체에서는 적절한 조건 하에서 $L^2$ 코homology가 코어의 상대 코hom로와 동형이다.
• 호지-드라함 라플라스 연산자의 $k$-형식에 대한 본질 스펙트럼은 무한대에서의 행동, 특히 등각적으로 컴팩트한 경우에 의해 결정된다.
• 만약 $k > \text{dim}(M)/2$ 이고, $k$-형식에서의 라플라스 연산자의 스펙트럼에 0이 포함되지 않으면, $K$가 코어일 때 사상 $H^k_2(M) \to H^k(K)$는 단사적이다.
• 만약 $k > (n-1)/2$ 이면, 자연스러운 코어 $K$로의 리트랙션을 사용한 추론을 통해 사상 $H^k_2(M) \to H^k(K)$의 상사상이 성립한다.