[논문 리뷰] Approximating L^2 invariants of amenable covering spaces: A heat kernel approach

Józef Dodziuk, Varghese Mathai|ArXiv.org|1996. 09. 06.

Geometric and Algebraic Topology참고 문헌 9인용 수 20

한 줄 요약

이 논문은 유한성 원리에 기반한 열화학적 커널 접근법을 사용하여, 아벨리안 커버링 공간의 $L^2$ 베텨 수를 정규적인 고갈에 의한 정규화된 베텨 수로 근사시킬 수 있음을 증명한다. 핵심 결과는 적절한 기하 조건 하에서 평균화된 베텨 수의 극한이 $L^2$ 베텨 수와 일치하며, 약간의 코homological 가정 하에 차원 ≤4에서 등호가 성립한다는 것이다.

ABSTRACT

In this paper, we prove that the L^2 Betti numbers of an amenable covering space can be approximated by the average Betti numbers of a regular exhaustion, under some hypotheses. We also prove that some L^2 spectral invariants can be approximated by the corresponding average spectral invariants of a regular exhaustion. The main tool which is used is a generalisation of the "principle of not feeling the boundary" (due to M. Kac), for heat kernels associated to boundary value problems.

연구 동기 및 목표

• 아벨리안 갈루아 커버링 공간의 $L^2$ 베텨 수에 대한 근사 정리를 열화학적 기법을 사용하여 수립하기 위해.
• 정규적 고갈의 정규화된 베텨 수가 극한에서 $L^2$ 베텀 수로 수렴하는지 조사하기 위해.
• 제어된 기하학을 갖는 리만 다양체 위의 경계값 문제에 대해 '경계를 느끼지 않는 원리'를 확장하기 위해.
• $L^2$-형식 위의 라플라스 연산자에 대한 통합된 상태 밀도가 아벨리안 커버에서 상대적 또는 절대적 경계 조건에 영향을 받지 않는다는 것을 증명하기 위해.
• 모든 아벨리안 커버에서 정규화된 베텀 수가 $L^2$ 베텀 수로 수렴한다는 추측에 대한 증거를 제공하고, 코homological 유한성 조건 하에 차원 ≤4에서 이를 증명하기 위해.

제안 방법

• 경계가 있는 다양체 위의 열화학적 커널에 대한 '경계를 느끼지 않는 원리'의 일반화를 사용한다—원래는 M. Kac에 의해 제안됨.
• 유니버설 커버 $\widehat{M}$ 의 정규적 고갈 $\{D_k\}$ 에서 $L^2$-형식 위의 라플라스 연산자에 열화학적 커널 기법을 적용하고 상대적 및 절대적 경계 조건을 고려한다.
• 고갈에 기하학적 제어 조건을 도입한다: 상대적 등면적 비율이 0으로 수렴, 이차 기본 형식이 유계이고, 경계에 대해 균일한 콜라러가 존재.
• 스펙트럼 밀도 함수 $N_j^{(k)}(\lambda)$ 와 그 $k \to \infty$ 일 때 $L^2$ 스펙트럼 밀도 $N_{j,\Gamma}(\lambda)$ 로의 수렴에 기반한다.
• 자기 함수 정규화를 사용하여 스펙트럼 불변량의 수렴을 연구하고, $\zeta(s, \Delta_p^{(k)} + \lambda)$ 가 반평면 $\Re(s) > n/2$ 에서 $\zeta(s, \Delta_p + \lambda)$ 로 수렴함을 보인다.
• 아벨리안 군에 대해 $F_p(\lambda) = G_{p+1}(\lambda)$ 를 통해 통합된 상태 밀도가 경계 조건에 영향을 받지 않는다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 아벨리안 커버링 공간의 $L^2$ 베텀 수는 정규적 고갈의 정규화된 베텀 수로 근사될 수 있는가?
• RQ2 아벨리안 케이스에서 정규화된 베텀 수의 극한(절대 또는 상대적)이 $L^2$ 베텀 수와 일치하는가?
• RQ3 $L^2$-형식 위의 라플라스 연산자에 대한 통합된 상태 밀도는 아벨리안 커버에서 경계 조건에 영향을 받는가?
• RQ4 $D_k$ 위의 라플라스 연산자의 제타 함수가 $\widehat{M}$ 에서의 $L^2$ 제타 함수로 수렴하는 조건은 무엇인가?
• RQ5 아벨리안 설정에서 노빅로프-슐빈 불변량과 스펙트럼 밀도 성장률 사이의 관계는 무엇인가?

주요 결과

• 아벨리안 갈루아 커버에서, 정규화된 베텀 수의 상한 극한은 $\limsup_{k\to\infty} \frac{\mathrm{vol}(M)}{\mathrm{vol}(D_k)} b^j(D_k, \partial D_k) \leq b_{(2)}^j(\widehat{M}, \Gamma)$ 를 만족하며, $b_{(2)}^j = 0$ 일 때 등호가 성립한다.
• 차원 2에서는 정규화된 베텀 수가 $L^2$ 베텀 수로 수렴한다는 추측이 조건 없이 성립한다.
• 차원 3 및 4에서는 $\dim H^1(\widehat{M}) < \infty$ 라는 가정 하에 추측이 성립한다.
• 형식 $\Delta_j$ 에 대한 통합된 상태 밀도는 $F_p(\lambda) = G_{p+1}(\lambda)$ 를 통해 상대적 또는 절대적 경계 조건에 영향을 받지 않음을 보였다.
• $\zeta(s, \Delta_p^{(k)} + \lambda)$ 는 $k \to \infty$ 일 때 $\Re(s) > n/2$ 의 컴acts부분에서 $\zeta(s, \Delta_p + \lambda)$ 로 균일 수렴한다.
• 스펙트럼 밀도가 $\frac{\mathrm{vol}(M)}{\mathrm{vol}(D_k)}[N_j^{(k)}(\lambda) - N_j^{(k)}(0)] \leq C\lambda^{\beta_j}$ 를 만족하면, $j$-번째 노빅로프-슐빈 불변량은 $\alpha_j(\widehat{M}) \geq \beta_j$ 를 만족하고, 주요 추측이 성립한다.