[논문 리뷰] Near optimal spectral gaps for hyperbolic surfaces

Will Hide, Michael Magee|arXiv (Cornell University)|2021. 07. 12.

Geometric Analysis and Curvature Flows인용 수 5

한 줄 요약

이 논문은 유한 면적을 가진 비콤팩트 하이퍼볼릭 표면의 랜덤한 n차 Riemannian 코버가 점 渐近적으로 거의 확실히 $\frac{1}{4} - \epsilon$ 이하의 모든 라플라스 연산자 고유값을 그 자체의 중복도와 함께 유지함을 입증하며, 거의 최적의 스펙트럼 갭을 확보한다. Buser–Burger–Dodziuk 핸들 보조정리에 의한 콤���팩티피케이션을 통해, 점차 증가하는 종수를 가진 닫힌 하이퍼볼릭 표면이 $\frac{1}{4}$에 가까운 첫 번째 양의 고유값을 가질 수 있다는 오랜 동안의 추측을 해결한다. 이 결과는 그러한 수열의 존재를 확인하여 하이퍼볼릭 표면의 스펙트럼 기하학에서 핵심적인 질문을 해결한다.

ABSTRACT

We prove that if $X$ is a finite area non-compact hyperbolic surface, then for any $ε>0$, with probability tending to one as $n o\infty$, a uniformly random degree $n$ Riemannian cover of $X$ has no eigenvalues of the Laplacian in $[0,\frac{1}{4}-ε)$ other than those of $X$, and with the same multiplicities. As a result, using a compactification procedure due to Buser, Burger, and Dodziuk, we settle in the affirmative the question of whether there exist a sequence of closed hyperbolic surfaces with genera tending to infinity and first non-zero eigenvalue of the Laplacian tending to $\frac{1}{4}$.

연구 동기 및 목표

• 종수가 무한히 증가하는 닫힌 하이퍼볼릭 표면의 수열이 존재하며, 그들의 첫 번째 양의 라플라스 고유값이 $\frac{1}{4}$에 수렴함을 입증하는 것. 이는 스펙트럼 기하학에서 오랫동안 열려 있던 문제이다.
• 랜덤 그래프의 스펙트럼 갭 결과(Friedman의 정리)를 랜덤 Riemannian 코버를 통해 하이퍼볼릭 표면의 맥락으로 확장하는 것.
• 종수가 증가하는 닫힌 하이퍼볼릭 표면의 수열에 대해 첫 번째 양의 고유값 $\lambda_1$ 의 점근적 행동을 규명하는 것.
• 이러한 수열에 대해 $\frac{1}{4}$의 스펙트럼 갭이 점점 최적임을 입증하며, Brooks 등이 제기한 추측을 확인하는 것.

제안 방법

• 고정된 유한 면적 비콤팩트 하이퍼볼릭 표면 $X$ 에 대해 랜덤 코버 모델을 사용하며, $n$차 코버는 균일하게 랜덤하게 선택된다.
• 하이퍼볼릭 라플라스 연산자의 스펙트럼 이론을 적용하여, $n \to \infty$ 일 때 $[0, \frac{1}{4} - \epsilon)$ 내에 새로운 고유값이 나타나지 않음을 중점적으로 다룬다.
• 하이퍼볼릭 표면에서 라플라스 연산자의 해석적 역행렬을 위한 파라메트릭스 구성—내부 및 꼬리 파라메트릭스—를 사용한다.
• 자유군 위에서의 랜덤 연산자 이론을 활용하여 스펙트럼 프로젝션에서의 편미분 항의 연산자 노름을 제어하며, 거의 확실히 $\frac{3}{5}$ 이하임을 보였다.
• Buser–Burger–Dodziuk 핸들 보조정리를 적용하여, 짝수 개인 구멍을 가진 비콤팩트 표면을 닫힌 하이퍼볼릭 표면으로 콤팩티피케이션하며, $\lambda_1$ 에 대한 하한을 유지한다.
• 랜덤 연산자에 대한 확률적 경계와 해석적 역행렬에 대한 결정론적 추정을 조합하여, $s \in [s_0, 1]$ 에서 $\Delta_{X_\phi} - s(1-s)$ 가 유계역행렬을 가짐을 보이며, 이는 $\frac{1}{4} - \epsilon$ 이하의 새로운 고유값이 존재하지 않음을 의미한다.

실험 결과

연구 질문

• RQ1 종수가 무한히 증가하는 닫힌 하이퍼볼릭 표면의 수열이 존재하며, 그들의 첫 번째 양의 라플라스 고유값이 $\frac{1}{4}$에 수렴할 수 있는가?
• RQ2 유한 면적 비콤팩트 하이퍼볼릭 표면의 랜덤 $n$차 코버가 점 渐진적으로 거의 확실히 $\frac{1}{4} - \epsilon$ 이하의 새로운 라플라스 고유값을 도입하지 않는가?
• RQ3 종수가 증가하는 닫힌 하이퍼볼릭 표면의 수열에 대해 $\frac{1}{4}$의 스펙트럼 갭이 점점 최적인가?
• RQ4 비콤팩트 하이퍼볼릭 표면의 랜덤 코버의 스펙트럼 갭이 $\frac{1}{4}$에서 일정하게 멀리 떨어져 있는가? 이는 기본 스펙트럼을 유지한다.

주요 결과

• 모든 $\epsilon > 0$ 에 대해, 유한 면적 비콤팩트 하이퍼볼릭 표면 $X$ 의 균일하게 랜덤한 $n$차 Riemannian 코버는 점 渐진적으로 거의 확실히 $X$ 가 가진 고유값 이외의 새로운 고유값을 $[0, \frac{1}{4} - \epsilon)$ 에 가지 않으며, 중복도도 동일하다.
• 종수 $\chi(X_i) = -i$ 인 연결된 유한 면적 비콤팩트 하이퍼볼릭 표면 $X_i$ 가 존재하며, $\inf(\mathrm{spec}(\Delta_{X_i}) \cap (0,\infty)) \to \frac{1}{4}$ 로 수렴한다. 이는 스펙트럼 갭 포화에 대한 추측을 확인한다.
• 핸들 보조정리를 사용하여, 종수가 $g(\tilde{X}_{2k}) = 2k$ 인 닫힌 하이퍼볼릭 표면의 수열 $\tilde{X}_{2k}$ 를 구성하였으며, $k \to \infty$ 일 때 $\lambda_1(\tilde{X}_{2k}) \to \frac{1}{4}$ 로 수렴한다. 이는 열려 있던 문제를 해결한다.
• $\frac{1}{4}$의 스펙트럼 갭은 종수가 증가하는 닫힌 하이퍼볼릭 표면의 수열에 대해 점점 최적임을 입증하였으며, Huber의 상한과 일치한다.
• 이 방법은 스펙트럼 프로젝션에서의 편미분 연산자들이 거의 확실히 연산자 노름이 $\frac{3}{5}$ 이하임을 입증하며, 이는 $\Delta_{X_\phi} - s(1-s)$ 가 관련 범위에서 유계역행렬을 가짐을 보장한다.
• 결과적으로 비콤팩트 하이퍼볼릭 표면의 랜덤 코버가 불필요한 낮은 고유값을 도입하지 않으며, Friedman의 스펙트럼 갭 정리가 하이퍼볼릭 맥락으로 확장됨을 확인한다.