리치 하한에서 호지 라플라시안 고유값 비교 정리

초록

리치 곡률 하한, 주입 반경 하한, 지름 상한을 만족하는 폐곡면에 대해, 호지 라플라시안의 p‑형식 고유값에 대한 체웅식 상한을 얻는다. 이는 기존의 전단면 곡률 가정 대신 리치 하한만으로 가능한 최초의 결과이며, 연결 라플라시안·스펙트럼 갭에 대한 응용도 제시한다.

상세 분석

본 논문은 리치 곡률이 (n‑1)ξ 로 하한을 갖고, 주입 반경이 r₀ 이상이며, 지름이 D 이하인 폐리만니안 다양체(M,g)에서 호지 라플라시안 Δ acting on p‑forms의 고유값 λ_{k,p}에 대한 상한을 체웅(Cheng)의 고전적인 함수형 라플라시안 결과와 유사하게 제시한다. 핵심 아이디어는 ‘조화 반경(harmonic radius)’ r_H 를 이용해 전역적인 기하학적 제약을 로컬 좌표계(조화 좌표)로 전환하고, ε‑discretization이라는 유한한 점 집합 X를 구성하여 M을 서로 겹치지 않는 작은 지오데식 볼들의 합으로 분해한다. Lemma 2.2의 사상 보존형 사영을 이용해 각 볼에 대한 디리클레 고유값 λ_{D,0,p}(B_i)와 전체 고유값 사이의 비교를 정량화한다. 특히 Lemma 3.1에서 조화 좌표의 정규화(g_{ij}≈δ_{ij})와 d∗ω₀=0 성질을 이용해 |dω|²와 |d∗ω|²를 f∈H₀¹(B)의 함수 형태로 제한함으로써 λ_{D,0,p}(B) ≤ 2^{2p+1} λ_{D,0}(B_ξ(ε)) 라는 핵심 부등식을 얻는다. 여기서 B_ξ(ε) 는 동일한 반경 ε 를 갖는 상수 곡률 ξ 공간의 볼이다.

Theorem 1.2는 위 부등식을 전체 다양체에 적용하기 위해, 최장 지오데식 γ를 D/k 간격으로 나누어 각 구간 중심에 볼을 배치하고, ε = D/(2k) 로 설정한다. k ≥ D² r_H⁻¹ 일 때 ε ≤ r_H 가 되므로 Lemma 3.1을 적용할 수 있다. 결과적으로 λ_{k,p}(M) ≤ 2^{2p+1} λ_{D,0}(B_ξ(D²/k)) (k ≥ D²/r_H) 와 λ_{k,p}(M) ≤ 2^{2p+1} λ_{D,0}(B_ξ(r_H)) (k ≤ D²/r_H) 를 얻는다. 이는 Cheng이 제시한 함수형 라플라시안 상한을 p‑형식에 그대로 확장한 형태이며, 섹션 3의 Corollary 3.2·3.3을 통해 비음수·음수 리치 하한에 대한 구체적인 상수식도 도출한다.

또한 Theorem 3.4에서는 부피 V 와 리치 하한 ξ 를 이용해 λ_{k,p} ≤ C(n,p)·(k+1)·(V/α_n)^{2/n} 형태의 부등식을 얻어, 기하학적 양(부피)과 고유값 사이의 직접적인 관계를 명시한다. Corollary 3.5는 Δ = ∇∗∇ + Ric(·) 라는 보흐너 공식에 의해 1‑형식에 대한 연결 라플라시안의 첫 비영 고유값 λ_{C,1,1} ≤ 2^{2p+1} n²π²/(4 r_H²) 라는 구체적 추정치를 제공한다.

마지막으로 비콤팩트 경우를 다루는 섹션 4에서는 점진적 볼 전개(exhaustion)를 이용해 L² 스펙트럼의 상한 σ_p(M) 를 정의하고, r_H → ∞ 인 경우 σ_p(M) ≤ 2^{2p-1}(n‑1)² ξ 로 제한한다. 이는 기존의 연속 스펙트럼 분석에 비해 리치 하한만으로도 충분히 강력한 상한을 제공한다는 점에서 의미가 크다. 전체적으로, 조화 좌표와 디스크리티제이션 기법을 결합한 새로운 증명 전략은 섹션 2‑3 에서 상세히 전개되며, 기존의 전단면 곡률 가정 없이도 동일한 차원의 고유값 비교 정리를 얻을 수 있음을 보여준다.