[논문 리뷰] Collapsing and the Differential Form Laplacian : The Case of a Singular Limit Space

John Lott|ArXiv.org|2002. 01. 29.

Geometric Analysis and Curvature Flows참고 문헌 25인용 수 5

한 줄 요약

이 논문은 유계 곡률과 지름을 가지는 리만 다양체가 특이한 극한 공간으로 붕괴할 때 $p$-형식 라플라스 연산자의 행동을 연구한다. 곡률과 지름에 대한 균일한 상한을 얻기 위해 곡률과 지름에 따라 고정된 극한 공간 위에 초연결 라플라스 연산자를 구성하고, 그 특성은 곡률과 지름에 따라 균일한 상한과 하한을 가지며, 고유값이 무한히 커질 수 있는 조건을 기하학적 및 위상수학적 성질과 연결한다.

ABSTRACT

In this paper, which is a sequel to math.DG/9902111, we analyze the limit of the p-form Laplacian under a collapse with bounded sectional curvature and bounded diameter to a singular limit space. As applications, we give results about upper and lower bounds on the j-th eigenvalue of the p-form Laplacian, in terms of sectional curvature and diameter.

연구 동기 및 목표

• 특이한 극한 공간으로의 붕괴를 고려한 이전의 $p$-형식 라플라스 연산자 연구 결과를 일반화한다.
• 섹션 곡률과 지름에 따라 $p$-형식 라플라스 연산자의 $j$-번째 고유값 $\lambda_{p,j}$에 대한 균일한 하한 및 상한을 확립한다.
• 고유값이 무한히 커질 수 있는 조건을 기하학적 및 위상수학적 성질과 연결하여 특이한 극한 공간의 위상수학적 및 기하학적 성질과 관련지어 기술한다.
• 유계 곡률을 가진 붕괴에서 발생하는 특이 공간에서 초연결 이론을 활용하여 $p$-형식 라플라스 연산자의 극한을 분석할 수 있는 프레임워크를 개발한다.

제안 방법

• Gromov의 전컴actness 정리를 적용하여 곡률과 지름이 균일하게 유계인 다양체의 수열로부터 Gromov-Hausdorff 극한 공간 $X$를 추출한다.
• 정규직교 프레임 번들의 구조를 이용하여 붕괴를 $O(n)$-등변 극한으로 올리며, 이를 통해 매끄러운 극한 공간 $\check{X}$를 얻는다.
• Cheeger, Fukaya, Gromov의 결과와 등변 기하학을 활용하여, $p$-형식 라플라스 연산자의 극한으로서 1차 초연결을 구축한다.
• 초연결의 코homology를 분석하여, 작은 고유값의 수를 극한 공간의 베텨리 수와 그 오비폴드 구조와 연결한다.
• 스펙트럼 시퀀스와 층 이론 기법을 사용하여, $1$-형식 라플라스 연산자의 작은 고유값의 수를 $b_1(X)$와 $\dim(M) - \dim(X)$에 따라 경계한다.
• 열핵 및 곡률 비교 기법을 적용하여 고유값 경계를 유도하며, 특히 $p=0,1$의 경우에 중점을 둔다.

실험 결과

연구 질문

• RQ1 극한 공간 $X$에 대해 $p$-형식 라플라스 연산자의 $j$-번째 고유값 $\lambda_{p,j}$가 임의로 커질 수 있는 조건은 무엇인가?
• RQ2 극한 공간 $X$의 베텰리 수와 기하학적 성질은 $1$-형식 라플라스 연산자의 작은 고유값의 수를 어떻게 제약하는가?
• RQ3 유계 곡률과 지름을 가진 다양체가 붕괴할 때 특이한 극한 공간 $X$ 위에서의 극한 연산자의 구조는 어떠한가?
• RQ4 특정 피복 구조의 일반적인 섬유에서 비영인 애파인 평행 $k$-형식이 존재하지 않을 경우, $p$-형식 라플라스 연산자의 고유값이 무한히 커지는가?
• RQ5 곡률과 지름 제약 조건 하에서 $b_1(M)$과 $\dim(M)$에 따라 $1$-형식 라플라스 연산자의 작은 고유값의 수를 경계할 수 있는가?

주요 결과

• 모든 $n$-차원 다양체에서 지름 $\leq 1$이고 섹션 곡률 $\leq K$를 만족하는 경우, $p$-형식 라플라스 연산자의 $j$-번째 고유값의 하한 $a^{1}_{n,p,j,K}$ 는 $\lim_{j\to\infty} a^{1}_{n,p,j,K} = \infty$ 를 만족하며, 이는 고유값에 대한 균일한 하한을 보여준다.
• 만약 $A^{1}_{p,j,K}(M) = \infty$ 이면, $M$은 $1 \leq \dim(X) \leq p-1$인 극한 공간 $X$로 붕괴되며, $M \to X$는 일반 섬유 $Z$를 가지는 애파인 피복 구조를 가지며, $p - \dim(X) \leq k \leq p$에 대해 비영인 애파인 평행 $k$-형식이 존재하지 않는다.
• $p=0$ 또는 $p=1$인 경우, 초한계 $A^{1}_{n,p,j,K}$ 는 유한하므로, 곡률과 지름 제약 조건 하에서 고유값이 균일하게 유계임을 의미한다.
• $1$-형식 라플라스 연산자의 작은 고유값의 수는 $b_1(X) + \dim(M) - \dim(X)$ 이하이며, 이 경계는 버거 구면 붕괴의 예시에서 최선임을 보였다.
• $p=2$인 경우, 만약 $A^{1}_{2,j,K}(M) = \infty$ 이면, $M$은 $1$-또는 $2$-형식이 존재하지 않는 거의 평탄한 다양체 $Z$ 위에서 애파인 미분형사의 매핑 토러스이거나, 이러한 다양체 위에서의 이중 매핑 실린더이다.
• $1$-형식 라플라스 연산자의 작은 고유값의 수는 $b_1(M) + \dim(M)$ 이하이며, 이 경계는 $a_{1,j,K}(M) = 0$ 이고 $j > b_1(M)$ 일 때 최선이다.