볼륨 성장과 라플라시안 고유값 중복도에 관한 새로운 경계

본 논문은 두 종류의 기하학적 객체—유한 군의 케일리 그래프와 비음이 부정인 Ricci 곡률을 가진 콤팩트 리만 다양체—에 대해 라플라시안 연산자의 고유값 중복도를 연구한다. 1. **배경 및 동기** Gromov의 유명한 정리(1981)는 다항 성장 무한 군이 유한 지수의 정상 부분군을 가지고, 그 부분군이 ℤ 로 사상된다는 것을 보인다. 그러나 유한 군에서는 모든 군이 다항 성장(트리비얼)이라 이 정리를 직접 적용할 수 없으며, 정량적 버전이 부재했다. Trevisan은 이러한 정량적 질문을 제기했으며, 저자는 이를 해결하기 위해 고전적인 조화해석 대신 라플라시안의 두 번째 고유공간을 이용한다. 2. **주요 정의** - **볼륨 증가 상수** c = max_{R>0} |B(2R)|/|B(R)| 로, 케일리 그래프에서 모든 스케일에 걸친 볼륨 증가율을 측정한다. - **Poincaré 상수** P_X 는 (4)식에 정의된, 모든 스케일·점에 대해 성립하는 포인카레 부등식의 최적 상수이다. - **라플라시안** Δ 는 그래프에서는 Δf(x)=f(x)-1/d∑_{y∼x}f(y) 로, 다양체에서는 라플라시안-베르트라미 연산자이다. 3. **기술적 핵심** 저자는 Colding‑Minicozzi와 Kleiner가 개발한 “스케일‑독립적인 포인카레 부등식”과 “역 포인카레 부등식” 을 그래프와 다양체 양쪽에 적용한다. 특히, 역 포인카레 부등식(정리 3.5)은 고유함수의 에너지와 평균값을 연결해, 고유값이 작을 경우 함수가 거의 상수임을 정량화한다. 4. **고유값 중복도 추정** - **정리 3.1**: 일반적인 두 설정에서 m_2 ≤ c^{O(log c)}이며, k>2에 대해서는 m_k ≤ exp(O(log c·(log c+log k))) 가 성립한다. - **정리 3.2 (Cheng)**: 비음이 부정인 Ricci 곡률을 가진 다양체에서는 λ_k ≤ C·k·n·diam(X)^{-2} 가 성립한다. - **정리 3.3**: λ_2 은 c·O(1)·diam^{-2} 로, λ_k 은 k·O(c)·diam^{-2} 로 제한된다. 이러한 추정은 볼륨 증가 상수와 차원·k 만을 변수로 하여, 복잡한 구조적 정보 없이도 고유값 중복도를 강하게 제한한다. 5. **군론적 응용** λ₂ 의 고유공간 W₂는 G‑불변이며 차원 제한을 통해 두 경우를 나눈다. - **이미지 크기가 충분히 큰 경우**: G의 작용이 충분히 풍부하면, W₂ 를 통해 G → GL(k,ℝ) 의 표현을 얻고, 이 표현의 이미지가 충분히 크면 정상 부분군 N 이 존재하여 G/N 의 지수가 α(c) 이하이며, N 은 ℤ_M 로 사상된다. 여기서 M ≥ |G|^{δ(c)} 로, δ(c) 은 c 에만 의존한다. - **이미지 크기가 작은 경우**: 작은 인덱스의 몫군 G/H 로 내려가면 λ₂ 가 너무 작아져 역 포인카레 부등식과 λ₂ 에 대한 하한(정리 3.2·3.3)과 모순된다. 따라서 이미지가 작을 수 없으며, 앞의 경우와 동일한 결론을 얻는다. 결과적으로, **정리 1.2**는 두 가지 구체적 결과를 제공한다. (1) 차원 k ≤ exp(O((log c)²)) 인 실수 표현 ρ : G → GL(ℝ^k) 가 존재하고, |ρ(G)| ≥ c^{-O(1)}|G|^{1/ log₂ c}. (2) 정상 부분군 N ⊲ G 가 존재하여