[논문 리뷰] The Cheeger Constant, Isoperimetric Problems, and Hyperbolic Surfaces

Brian Benson|arXiv (Cornell University)|2015. 09. 30.

Geometric and Algebraic Topology참고 문헌 21인용 수 10

한 줄 요약

이 논문은 이sopeimetric 이론과 기하적 분류를 활용하여 유한 면적을 가진 쌍곡 평면에서 체거 최소화자—체거 상수를 달성하는 부분집합—의 존재성과 정칙성 조건을 설정한다. 체거 상수를 위상적 및 기하적 자료로부터 계산할 수 있는 알고리즘을 제공하며, 이는 세르베르그의 고유값 추측을 검증하는 데 응용된다. 이는 양적 부저 불등식을 통해 알려진 상한과 일관됨을 보여준다.

ABSTRACT

We give a brief literature review of the isoperimetric problem and discuss its relationship with the Cheeger constant of Riemannian $n$-manifolds. For some non-compact, finite area 2-manifolds, we prove the existence and regularity of subsets whose isoperimetric ratio is equal to the Cheeger constant. To do this, we use results of Hass-Morgan for the isoperimetric problem of these manifolds. We also give an example of a finite area 2-manifold where no such subset exists. Using work of Adams-Morgan, we classify all such subsets of geometrically finite hyperbolic surfaces where such subsets always exist. From this, we provide an algorithm for finding these sets given information about the topology, length spectrum, and distances between the simple closed geodesics of the surface. Finding such a subset allows one to directly compute the Cheeger constant of the surface. As an application of this work suggested by Agol, we give a test for Selberg's eigenvalue conjecture. We do this by comparing a quantitative improvement of Buser's inequality resulting from works of both Agol and the author to an upper bound on the Cheeger constant of these surfaces, the latter given by Brooks-Zuk. As expected, our test does not contradict Selberg's conjecture.

연구 동기 및 목표

• 비유한, 유한 면적의 리만 2다양체에서 체거 상수를 달성하는 부분집합의 존재성과 정칙성에 대한 충분조건을 설정하는 것.
• 아담스와 모건의 등록 문제 결과를 활용하여 기하적으로 유한한 쌍곡 평면에서 체거 최소화자를 분류하는 것.
• 길이 스펙트럼과 지오데식 거리와 같은 위상적 및 기하적 불변량을 사용하여 이러한 표면의 체거 상수를 계산하는 알고리즘을 개발하는 것.
• 체거 상수에 대한 상한과의 비교를 통해 부저의 불등식의 정량적 개선을 활용하여 세르베르그의 고유값 추측을 검증하는 것.
• 세르베르그의 추측을 가정할 때 이론적 하한과 알려진 부르즈-주크의 상한 사이의 일관성을 검증하는 것.

제안 방법

• 경계가 균일하게 유계인 체거 수열의 존재를 이용하여, 유한 면적 표면에서 2차원 체거 최소화자의 존재를 증명한다.
• 하스와 모건의 비유한 유한 면적 표면에서의 등록 문제 결과를 적용하여, 최소화자의 정규성을 입증하며, 이는 일정 곡률의 임베딩 다중곡선임을 보여준다.
• 아담스와 모건의 기하적으로 유한한 쌍곡 평면에서의 등록 문제 해의 완전한 분류를 활용하여 '좋은 체거 후보'—특정 기하 형태를 가진 후보 최소화자—를 식별한다.
• 아골의 부저 불등식에 대한 정량적 개선에서 유도된 스투름-리우빌 고유값 공식을 활용하여 체거 상수를 스펙트럼 데이터와 연결한다.
• SLEIGN2 수치 해법기를 사용하여 고유값 함수의 가정된 단조성 하에 관련 미분방정식의 초기값 문제를 풀어 체거 상수의 하한을 계산한다.
• 간단한 닫힌 지오데식 사이의 길이 스펙트럼과 쌍별 거리를 입력으로 받아 체거 최소화자를 식별하고 계산하는 알고리즘을 구축한다.

실험 결과

연구 질문

• RQ1 유한 면적을 가진 비유한 리만 2다양체가 체거 최소화자를 갖는 조건은 무엇인가?
• RQ2 기하적으로 유한한 쌍곡 평면에서 체거 최소화자의 완전한 분류는 무엇인가?
• RQ3 기하적으로 유한한 쌍곡 평면의 체거 상수는 그 기하적 및 위상적 불변량으로부터 알고리즘적으로 계산될 수 있는가?
• RQ4 부저의 불등식의 정량적 개선이 체거 상수에 대한 알려진 상한과 어떻게 상호작용하여 세르베르그의 고유값 추측을 검증하는가?
• RQ5 모듈라 군의 몫으로서의 쌍곡 평면의 몫 표면에서 체거 상수에 대한 일관된 하한이 존재하는가? 이는 세르베르그의 추측을 지지하는가?

주요 결과

• 체거 수열의 경계가 균일하게 유계이면, 2차원 체거 최소화자가 존재하며, 그 경계는 일정 곡률의 임베딩 다중곡선이다.
• 기하적으로 유한한 쌍곡 평면에서 길이가 양수인 1차원 체거 최소화자는 항상 존재하며, 이는 분류에 따르면 '좋은 체거 후보'의 경계이다.
• 기하적으로 유한한 쌍곡 평면의 체거 상수는 길이 스펙트럼과 단순 닫힌 지오데식 간의 거리를 사용하여 알고리즘적으로 계산할 수 있다.
• 세르베르그의 추측을 가정할 경우, $ S_k = \tilde{\rho}_k \backslash \mathbb{H}^2 $ 의 체거 상수에 대한 하한은 $ 0.205436\ldots $ 를 초과하며, 부르즈-주크의 상한 $ 0.4402 $ 와 일관된다.
• 김과 사르나크의 하한 $ \lambda_1 \geq 975/4096 $ 를 사용하여, $ h(S_k) > 0.198727\ldots $ 의 하한을 계산하였으며, 이는 알려진 상한과 일관된다.
• 분석 결과, 체거 최소화자를 갖는 표면에 대해 부저의 불등식의 정량적 개선을 적용할 경우, 세르베르그의 추측과 호환되는 결과를 얻는다.