[논문 리뷰] Graphs of bounded degree and the $p$-harmonic boundary

Michael J. Puls|arXiv (Cornell University)|2008. 06. 18.

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

한 줄 요약

이 논문은 유계 차수를 가진 그래프에 대해 $p$-하모닉 경계를 정의하고, 유한 생성된 군 $\Gamma$의 첫 번째 감소한 $\ell^p$-코homology가 0이 되는 것은 정확히 $p$-하모닉 경계의 기수(크기)가 0 또는 1일 때라는 것을 증명한다. 주요 기여는 $\bar{H}^{1}_{(p)}(\Gamma) = 0$를 $p$-하모닉 경계를 통해 특성화함으로써 코homological 소멸성과 경계의 구조를 연결하고, 연속적인 $p$-하모닉 함수가 경계에서 연속적으로 연장된다는 것을 보여주는 것이다.

ABSTRACT

Let $p$ be a real number greater than one and let $G$ be a connected graph of bounded degree. In this paper we introduce the $p$-harmonic boundary of $G$. We use this boundary to characterize the graphs $G$ for which the constant functions are the only $p$-harmonic functions on $G$. It is shown that any continuous function on the $p$-harmonic boundary of $G$ can be extended to a function that is $p$-harmonic on $G$. Some properties of this boundary that are preserved under rough-isometries are also given. Now let $Γ$ be a finitely generated group. As an application of our results we characterize the vanishing of the first reduced $\ell^p$-cohomology of $Γ$ in terms of the cardinality of its $p$-harmonic boundary. We also study the relationship between translation invariant linear functionals on a certain difference space of functions on $Γ$, the $p$-harmonic boundary of $Γ$ with the first reduced $\ell^p$-cohomology of $Γ$.

연구 동기 및 목표

• 유계 차수를 가진 그래프에 대해 $p$-하모닉 경계를 정의하고 연구함으로써, Royden 유형의 경계를 $p$-하모닉 설정으로 일반화한다.
• 유한 생성 군 $\Gamma$에 대해 첫 번째 감소한 $\ell^p$-코homology $\bar{H}^{1}_{(p)}(\Gamma)$의 소멸성을 $p$-하모닉 경계의 기수를 통해 특성화한다.
• $D_p(\Gamma)/\mathbb{R}$ 위의 비영인 연속적인 이동 불변 선형 함수형의 존재와 $\bar{H}^{1}_{(p)}(\Gamma)$의 비소멸성 사이의 대응 관계를 확립한다.
• 거친 등장사상에 대한 $p$-하모닉 경계의 불변성 성질을 탐구하고, 이를 $p$-하모닉 함수 및 코homology와 연결한다.

제안 방법

• $G$의 차수가 유계인 그래프 $G$에 대해, 무한으로 발산하는 수열들의 동치류로 정의된 $p$-하모닉 경계 $\partial_p(G)$를 정의한다. 여기서 수렴은 $p$-하모닉 함수를 통해 정의된다.
• $p$-하모닉 함수를 정의하고 코homological 소멸성과의 관계를 설정하기 위해 $p$-하모닉 구조와 $p$-라플라스 연산자 $\triangle_p$를 사용한다.
• 하노르-반하흐 정리를 적용하여, $D_p(\Gamma)/\mathbb{R}$ 위의 비영인 연속적인 이동 불변 선형 함수형의 존재와 $\bar{H}^{1}_{(p)}(\Gamma)$의 비소멸성 사이의 관계를 맺는다.
• $\bar{H}^{1}_{(p)}(\Gamma) = 0$이 되는 것은 정확히 $\Gamma$ 위의 $p$-하모닉 함수가 상수 함수 뿐일 때이며, 이는 $\partial_p(\Gamma)$의 기수가 0 또는 1일 때 정확히 발생한다.
• $\partial_p(G)$ 위의 임의의 연속 함수는 $G$ 위의 $p$-하모닉 함수로 연장될 수 있음을 보여, 경계 확장 성질을 확립한다.
• 거친 등장사상을 사용하여 $p$-하모닉 경계의 구조가 거칠게 기하학적 동치 아래에서 보존됨을 증명한다.

실험 결과

연구 질문

• RQ1 유한 생성 군 $\Gamma$의 첫 번째 감소한 $\ell^p$-코homology $\bar{H}^{1}_{(p)}(\Gamma)$가 언제 0이 되며, 이를 기하학적으로 어떻게 특성화할 수 있는가?
• RQ2 $\partial_p(\Gamma)$의 기수와 $\Gamma$ 위의 비상수 $p$-하모닉 함수의 존재 사이의 정확한 관계는 무엇인가?
• RQ3 $D_p(\Gamma)/\mathbb{R}$ 위의 연속적인 이동 불변 선형 함수형과 코homology $\bar{H}^{1}_{(p)}(\Gamma)$, $p$-하모닉 경계 사이의 관계는 무엇인가?
• RQ4 $p$-하모닉 경계는 거친 등장사상에 대해 불변인가? 그리고 어떤 기하학적 불변량을 유지하는가?
• RQ5 $p$-하모닉 경계를 사용하여, 모든 $p > 1$에 대해 애매한 군의 첫 번째 감소한 $\ell^p$-코homology가 0이 된다는 그로모프의 추측을 해결할 수 있는가?

주요 결과

• 유한 생성 군 $\Gamma$의 첫 번째 감소한 $\ell^p$-코homology $\bar{H}^{1}_{(p)}(\Gamma)$는 정확히 $p$-하모닉 경계 $\partial_p(\Gamma)$의 기수가 0 또는 1일 때 0이 된다.
• $\Gamma$ 위의 $p$-하모닉 함수가 상수 함수 뿐이 되는 것은 정확히 $\partial_p(\Gamma)$가 공집합이거나 싱글턴일 때이며, 이는 $\bar{H}^{1}_{(p)}(\Gamma) = 0$일 때와 동치이다.
• 유계 차수를 가진 그래프 $G$의 $p$-하모닉 경계 $\partial_p(G)$ 위에 정의된 임의의 연속 함수는 $G$ 위의 $p$-하모닉 함수로 연장될 수 있다.
• $D_p(\Gamma)/\mathbb{R}$ 위에 비영인 연속적인 이동 불변 선형 함수형이 존재하는 것은 정확히 $\bar{H}^{1}_{(p)}(\Gamma) \neq 0$일 때이다. 이는 코homology와 함수형 사이의 쌍대성 관계를 확립한다.
• 비암모이너 군의 경우, $D_p(\Gamma)/\mathbb{R}$ 위에 비영인 연속적인 이동 불변 선형 함수형이 존재한다고 해도 모든 $p > 1$에 대해 동일한 성질이 성립하지는 않으며, 이는 하이퍼볼릭 공간에서의 반례를 통해 $\bar{H}^{1}_{(p)}(\Gamma) \neq 0$가 $p > n-1$일 때에만 성립함을 보여준다.
• $p$-하모닉 경계는 거친 등장사상에 대해 보존되며, 이는 거칠게 기하학적 불변량으로서의 강건성을 나타낸다.