amenable
게시글 주소: https://a.orbi.kr/00068799319
Let $M_1$ be a complete Riemannian manifold with Riemannian covering $M_2\to M_1$ such that $M_1$ has a finite topological type, i.e., homotopy equivalent to a union of finitely many CW complexes. (manifold with finitely generated fundamental group for example.)
Theorem. If $\pi_1(M_1)/\pi_1(M_2)$ is amenable, then $\lambda_0(M_2) = \lambda_0(M_1)$.
Group이 amenable하다는 것은, 여러가지로 정의할 수 있는데, 이렇게 기하학적인 상황을 상정한다면, 가장 좋은 정의는 다음과 같다: In other words, there exists finite exhaustion subset $E_i$ of $\pi_1(M_1)/\pi_1(M_2)$ such that
$${\#(\partial E_i)\over \#(E_i)}\to 0,\quad\text{as }i\to \infty.$$
여기서 $\partial (E_i) = \{g\in E_i\mid g_j\cdot g\notin E_i\text{ for some }j\}$ 으로, $E_i$의 "boundary"에 해당된다. (Cayley graph에서는 진짜 boundary가 된다.)
Theorem을 증명하기 전에 여기서 $\lambda_0$는 Riemannian manifold위에 laplace-beltrami operator $\Delta$의 bottom eigenvalue에 해당된다. 이러한 $\lambda_0$ 값이 다음의 값과 같다고 알려져 있다:
$$\lambda_0(M) = \inf_f{\int_M\parallel df\parallel^2\over\int_M\parallel f\parallel^2}$$
여기서 $f$는 compactly supported smooth function on $M$을 말한다.
이제 이 두 사실을 이용해서 다음을 증명한다:
Proof. 일단 $M_1$의 $\pi_1(M_1)/\pi_1(M_2)$의 finite sided fundamental domain $F$를 고른다. 그리고 $g_1,\ldots,g_k$를 $\pi_1(M_1)/\pi_1(M_2)$의 generator들로 잡는데, 두개의 $F$의 copy들이 $\partial F$에서 겹치도록 $M_1$에서 나타나면 $g_i$의 원소들 중 하나가 하나의 $F$에서 다른 하나의 $F$로 옮기는 성질을 갖도록 한다. (이렇게 설명하니까 괜히 복잡한데, 쉽게 hyperbolic manifold의 세팅에서는 $F$는 Dirichlet domain들에 해당되고, $g_i$들은 그 domain을 형성할 때 사용되는 generator라고 생각하면 편하다.)
이제, $M_1$의 compactly supported smooth function $f$를 잡고, $\mathrm{supp}(f)$를 $F$로 lift를 시키자. 그리고 $\epsilon>0$을 충분히 작게 잡아서, 모든 $x\in\mathrm{supp}(f)$의 $\epsilon$-ball은 최대 $\partial F$의 component를 한번만 만나도록 한다. 그러면 이러한 가정에 의해서, 만약 $F_i = \bigcup_{g\in E_i}gF$ 라고 한다면,
$$x_i^\epsilon = \begin{cases} 1 & \text{if }\mathrm{dist}(x,\partial F_i)>\epsilon,\\ {1\over\epsilon}\mathrm{dist}(x,\partial F_i) & \text{o.w.} \end{cases}$$
는 잘 정의된 smooth function이 된다. 이제 $f$를 $M_2$로 lift를 하면, $f_i = x_i^\epsilon\cdot f$는 $M_2$의 compactly supported smooth function이 된다. 이제
$${\int_{M_2}\parallel df_i\parallel^2\over\int_{M_2}\parallel f_i\parallel^2}$$
를 계산하는데, 값을 구해보면, 만약 $A_i = \#(E_i), B_i = \#(\partial E_i),C_i = A_i - B_i = \#(E_i-\partial E_i)$라고 한다면, 분모는 $\geq C_i\int_{M_1}|f|^2$이고, 분자는 Schwartz inequality에 의해서
$$\leq{1\over\epsilon^2} B_i\int_{M_1}|f|^2+C_i\int_{M_1}\parallel df\parallel^2+{1\over\epsilon}B_i\left(\int_{M_1}|f|^2\right)^{1/2}\left(\int_{M_1}\parallel df\parallel^2\right)^{1/2}$$
가 된다. 따라서 계산하려는 식은 다음의 값으로 bound가 된다:
$$\leq {\int_{M_1}\parallel df\parallel^2\over\int_{M_1}|f|^2}+{B_i\over C_i}{1\over\epsilon^2}+{B_i\over C_i}{1\over\epsilon}\left({\int_{M_1}\parallel df\parallel^2\over\int_{M_1}|f|^2}\right)^{1/2}$$
가 된다. $E_i$의 성질에 의해서, $B_i/C_i\to 0$가 되고, 따라서 첫번째 텀 말고는 전부 죽는다. 따라서 $i\to\infty$로 해서 $E_i$가 $\pi_1(M_1)/\pi_1(M_2)$가 되도록 하면, $f_i$는 $f$로 수렴하고, 따라서
$$\lambda_0(M_2)\leq\lambda_0(M_1)$$
이 성립한다. $\geq$는 항상 성립한다고 알려져 있으므로* $\lambda_0(M_1) = \lambda_0(M_2)$가 된다. $\square$
*는 임의의 complete Riemannian manifold의 $\lambda_0$를 positive $\lambda_0$-harmonic function으로 represent될 수 있고, 임의의 positive $\lambda$-harmonic function은 항상 $\lambda_0\geq\lambda$가 된다는 성질로부터 나온다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
대충 살자
-
ㅈㄱㄴ
-
6월쯤까지는 재종반 수업 몇 번 듣고 다른 건 안 했고 그 이후로는 그 수업 안...
-
실모중독 0
N제를 풀수없는 상태를 이르는 말
-
또 멍청짓해서 돈날렸네 14
아
-
특성화 수시 0
투표 ㄱ
-
괴수들한테 쳐발려서 벽돌값으로 날라갈게 뻔하다
-
지1) 은하들의 후퇴속도는 은하까지의 거리에 비례한다? 6
지1 ㄱㄴㄷ 문제 보기 중 하나인데요 얼추 맞는말 아닌가요? 해설에서는 1:1로...
-
상상 이매진 7,8호 답지 있는사람 1주차, 4주차만 있으면 됨
-
학원가기싫어 2
싫다구요
-
수1은 힘들어 엉엉엉
-
13일(금) 5시 기준 아주대 약학과 논술 경쟁률이 863.8:1을 찍었네요 의학과...
-
원서작성 완료. 2
어쩌다보니 6장 꽉채움ㅋㅋ
-
내신 3학년 평균 8등급인데 논술에서 교과 30%봄 한 장 버렸네 진짜 죽고싶다
-
03년생 분들 1
올해 4번째로 도전 하시는분들 있으심??
-
오늘 6-3 풀어봤는데 81.....입니다...(어휘 하나 틀렸지만 이것도...
-
17시에서 17시반으로 연장하노
-
7수 on? 01년생 태그좀 없애지말아주라 ㅠ
-
ㅈㅂ 잘 아시는분 도움좀 도움주시면 올해 입시에서 운 따르심
-
2025 OWL N제 PRESSURES PRO 물리학1 0
2025 OWL N제 PRESSURES PRO 물리학1 추천하시나요? 참고로 작수...
-
은근 남자나 여자나 서로 안좋아하시는거 같음
-
1000대1 돌파 ㄱㄴ?
-
의지를 불태워라...화이팅!!!
-
중요한건 지역인재만 있음
-
4코 시즌3 0
양모 풀면서도 과하다 못 느꼈는데 이건 뭔가 과하다고 느껴지네 딴. 사람들은 어땠음?
-
개념 문제 거저주는 수준으로 5~8문제 내고 나머지 다 도표문제로 도배해서...
-
집이 너무 좋다 2
침대로 편입하고싶어요
-
개높네 안쓰길 잘했다
-
오 질량중심공식 5
그냥 시소정리였구나
-
[속보] 尹 "반개혁 저항에 안 물러설 것…의료 등 4대 개혁 강력 추진" 3
윤석열 대통령이 13일 "사회 구조적 문제점을 근본적으로 풀어내기 위해 반개혁...
-
아수라 오도착 3
난 화성사는데 왜 대전까지 깄니 아수라야.. 하필 다른거도 아니고 아수라가 오도착이되네
-
자퇴생인데 7
학교 나오면 친구 없어지고 사회성 떨어진다던데.. 본인은 학교 나오고 애들 학교...
-
고대 학우 X 1 고대 논술 X 1 외대 교과 X 1 외대 논술 X 1 시립대 학종...
-
문학만 강의 듣고 비문학은 혼자서 끙끙 대면서라도 풀어서 만년 4등급 탈출했는데 더...
-
수학 1 영어 1 화학 2 지구 1 제발
-
걍 11 12 13 14 15 라인부터 무겁던데
-
지금 정보랑 공학 일반 중에 엄청 고민 중인데 정보는 등급제고 공학 일반은 진로...
-
4시에 멈춘게 18.9:1... 작년에 15.2:1이였는데..
-
2번째 줄에 as it serves as~ 이 부분 어떻게 해석하나요?
-
처음으로 경쟁률 역대급 낮네 ㅅㅂ
-
온실가스의 역할과 영향 어법 문제의 정답은…??? 힌트 : 2개입니다.
-
지거국 약대 gpa100(1~2학년 성적) 토익 960 의료 봉사 두 번 헌혈...
-
총 9페이지 분량의 칼럼입니다! 칼럼 받아가실 때 좋아요 하나 부탁드려요!매번...
-
손고운T : 민원인은 지위X 5번선지는 재사회화O 그런데 이번에 강사분들께서 각각...
-
님들 치환적분 0
치환적분 해야하는건 다 합성함수의 미분법 역과정으로 치환안하고 할수있는거죠?
-
화작 미적 사문 생윤 백분위 6모 79 97 99 98 9모 96 98 97 정법런...
-
언매 미적 화1 생1 2506 11232 2509 22133 목표 11122 국어:...
-
투표해줘요 8
1. 경농관(우), 박물관(좌) 특징: 현 위치 이전 이후 바로 생긴 가장 오래된...
-
1~9 좆밥 10,11 음 평가원에 나오는 10,11보단 어렵지만 사설치고 할만하네...
첫번째 댓글의 주인공이 되어보세요.