[논문 리뷰] Graphes, moyennabilité et bas du spectre de variétés topologiquement infinies

Samuel Tapie|arXiv (Cornell University)|2010. 01. 14.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 4

한 줄 요약

이 논문은 정규 그래프를 따라 고정된 셀의 복제본을 접착하여 구성된 위상적으로 무한한 리만다이언 만물에 대해, 주기적 만물의 일반화로 간주되는 무한한 위상적 구조를 제안한다. 주요 결과는 이러한 만물에서 라플라스 연산자의 스펙트럼의 하한이 해당 셀의 스펙트럼 하한과 일치하는 것은 그 기반 그래프가 아메니타리일 때에만 성립하며, 그렇지 않으면 스펙트럼 간격이 그래프의 조합적 스펙트럼 간격과 셀의 기하 데이터에 따라 명시적으로 아래로 유계임을 증명한다.

ABSTRACT

From a graph $G$ with constant valency $v$ and a (non-compact) manifold $C$ with $v$ boundary components, we build a $G$-periodic manifold $M$. This process gives a class of topologically infinite manifolds which generalizes periodic manifolds and includes all riemannian coverings with finitely generated deck-group. Our main result is that, when the first eigenfunction of $C$ extends to $M$, the bottom of the spectrum of $M$ is equal to $C$'s if and only if the graph $G$ is amenable. When $G$ is not amenable, we control explicitly the gap between these bottom of the spectrum. In particular, we show that if $p : M a N$ is a riemannian covering and the metric of $N$ is generic, then $λ_0(M)\geq λ_0(N)$ with equality if and only if the deck-group is amenable. This generalizes a result of R. Brooks.

연구 동기 및 목표

• 그래프 기반의 셀 접합을 통해 구성된 위상적으로 무한한 리만다이언 만물에서 라플라스 연산자의 스펙트럼 하한을 연구한다.
• 주기적 만물에 대한 결과를 더 넓은 범위의 비유한, 위상적으로 무한한 만물로 일반화한다.
• 무한한 만물의 스펙트럼 하한이 기본 셀의 것과 정확히 일치하는 조건을 규명한다.
• 기저 그래프가 비아메니타리일 경우 스펙트럼 간격을 조합적 및 기하적 불변량과 연결하여 정량화한다.
• 리만다이언 코버링에 대한 결과를 확장하여, 스펙트럼 하한이 기본 만물의 것보다 크거나 같으며, 등호가 성립하는 것은 코버링 군이 아메니타리일 때에만임을 보인다.

제안 방법

• v개의 경계 성분을 가진 고정된 셀 C를 v-정규 그래프 G의 각 정점에 부착하여 만만 M를 구성한다. G의 각 변에 따라 경계 성분을 대응시켜 접합한다.
• 셀 C에 대해 뉴만 경계 조건을 적용하고, C의 첫 번째 고유함수 φ₀를 접합 조건을 만족하도록 M로 확장한다.
• 비유한 만물에서 라플라스 연산자의 스펙트럼 이론을 적용하여 스펙트럼의 하한 λ₀에 집중한다.
• 만물 M의 스펙트럼 간격 λ₀(M) − λ₀(C)를 그래프 G의 조합적 스펙트럼 간격 μ₀(G)와 셀의 경계 기하 데이터를 이용해 연결한다.
• 셀의 경계 기하 데이터에 따라 결정되는 상수를 사용하여 스펙트럼 간격의 하한을 확립한다. 이는 그래프의 히쳐 수 h(G)와 셀의 스펙트럼 간격 η를 포함한다.
• 이산 분석과 비교 정리를 사용하여 무한한 구조 전반에서 고유함수와 스펙트럼 불변량의 행동을 제어한다.

실험 결과

연구 질문

• RQ1 그래프 주기적 만물에서 스펙트럼의 하한이 그 기본 셀의 것과 일치하는 조건은 무엇인가?
• RQ2 기저 그래프 G가 비아메니타리일 경우 스펙트럼 간격 λ₀(M) − λ₀(C)는 어떻게 행동하는가?
• RQ3 스펙트럼 간격이 μ₀(G) 및 h(G)와 같은 그래프 이론적 불변량에 대해 명시적으로 유계로 표현될 수 있는가?
• RQ4 리만다이언 코버링 p:M→N가 λ₀(M) ≥ λ₀(N)를 만족하고, 등호가 성립하는 것은 코버링 군이 아메니타리일 때에만인 조건은 무엇인가?
• RQ5 이 방법은 쿠스나 기하학적으로 복잡한 구조를 가진 비유한 만물로 확장될 수 있는가?

주요 결과

• 만일 기저 그래프 G가 아메니타리일 때에만 만물 M의 스펙트럼 하한이 셀 C의 것과 일치한다.
• G가 비아메니타리일 경우, 스펙트럼 간격은 λ₀(M) − λ₀(C) ≥ Aημ₀(G) > 0 를 만족하며, 여기서 A는 C의 경계 기하에만 의존한다. η = λ₁(C) − λ₀(C)이다.
• 셀 주변의 유계성 조건이 만족될 경우, 간격은 A′h(G)로도 위에서 유계지며, 여기서 A′는 C의 기하와 λ₀(C)에만 의존한다.
• 이 결과는 R. 브로우스의 코버링에 대한 부등식을 일반화한다: N에 대한 일반적인 메트릭이 양의 임의의 반경과 스펙트럼 간격을 가질 때, λ₀(M) ≥ λ₀(N)이며, 등호는 코버링 군이 아메니타리일 때에만 성립한다.
• 이 방법은 표준적인 일정 반경 이산화보다 쿠스 영역에서 더 우수한 성능을 보이며, λ₀(M)의 추정에 실용적인 접근을 제공한다.
• 이 틀은 [CCdV88]의 결과를 무한 그래프로 일반화할 가능성을 시사하며, 특히 지오데식 경계 성분을 가진 리만 곡면에 대해 유용하다.