amenable
게시글 주소: https://wwww.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를 선물하세요.
-
참신하면서 어렵게 만들어보려고 노력했는데 풀어보시고 의견 남겨주시면 감사하겠습니다!
-
갑자기 쓸데없이 궁금함 건물이 무너진다고 하면 저층이 생존확률이 높을까 고층이...
-
이눔의 나라는 중간이 읎어
-
“요즘 65세면 젊은 나이”…지하철 공짜 언제까지 [어떻게 생각하십니까] 5
전두환 때 처음 시작한 노인 무임승차 제도 급속한 고령화 속 유지·개편 놓고 찬반...
-
의대 수시 지원자 사상 최초 7만 돌파...전년 대비 1만3000명↑ 5
2025학년도 전국 의대 수시지원자수가 사상 최초로 7만명을 돌파했다. 반면 의대...
-
슈퍼소닉 2
-
반갑고
-
그나마 기분 나아졌던게 논술 뭔가 할만할거같은거였는데 그거 한번 써먹어서 이제 사용할쿠폰이 없음
-
평가원 코드파트 보는데 2506까지는 실려 있고 9평은 안보이네요
-
의대 정원 증원에도 KAIST 지원자 수 9.6% 증가 5
학교측 "실패연구소·도전을 장려하는 성적표 등 덕분" (대전=연합뉴스) 박주영 기자...
-
금수저 친구 0
디올에서 즐거운 한가위 되라고 편지 받았네 클라스가 다르네,,,
-
ㅇㅈ 17
우울할 땐 연어지
-
걍 기분좋을때는 끝없이좋았다가 안좋을때는 내핵까지 뚫고 내려감
-
난이도 어떤편인가요
-
홍대 자전 1
홍대 자전으로 실용음악과 갈 수 있나요??
-
슾파슾파 2
슾파슾파
-
수학은 내일 해야하나 .. 오늘 좀 늦게 등원함
-
갖다주는데 청소년 왜케무섭냐...
-
작년 서울대 중도탈락 436명 5년 새 최고…"의대행 추정" 6
"의대 증원으로 올해 SKY 중도 탈락 더욱 많아질 것" (서울=연합뉴스) 서혜림...
-
3월에 4강까지듣고 국어학원 끊고 다시 제대로 들어보려는데 1강만복습하고 5강부터...
-
둘 중에 누가 더 괜찮은가요?? 추천좀용
-
야짤 15
야짤을 내놔랏
-
안녕 꺾마햄... 13
-
공부 안해서 우울한듯 10
추석에 그냥 학원 갈까
-
대 황 슼 0
대상혁 월즈 9회 진출 대기록
-
지럇다 1
오늘 밤새서 공부해야지 따봉상혁
-
개 ㅈ 킅 0
데프트...잘가.. .
-
이 정도면 불편한 분들이 없는 거 아니냐
-
와 하ㅏㅏ어ㅓㅓ 0
갔다. 롤드컵의 티원
-
데프트가 롤드텁 가는게 스토리상 더 재밌었울 거같았는데 라스트 댄스.. 군대갖ㅏ...
-
얼른 끝내고 문해전 벅벅 풀어야짓
-
수학하려 했는데 급 하기 싫어져써요
-
ㅈㄱㄴ +문학,비문학 가릴거 없이
-
사촌동생을 애타게 찾고 있습니다 ㅠ 입시할 때 들렸던 포만한에 재학생분들도 많은 것...
-
기분 ㅈㄴ 좋다!!!!! 내일 재종 가야지
-
어떤사람과도 잘 어울리는사람 사람을 도우면 자신의 행복이 올라가는사람 없음? 있으면...
-
집은 걸어서가고..
-
우울해 2
ㅜㅜ
-
층마다 있는 화장실 칸 널널하게 있어야하고 휴지 좋아야되고 시설좋은 곳 없나요. ?...
-
6월이랑 비교하면 미적분의 경우 계산이 더 수월했으나 15,29번 수열 문제에서...
-
연출가 vs 엔지니어
-
맨날 SNL 쇼츠로 신동엽 보니까 저런 정상적인 신동엽이 이상해 보여
-
인생=선택 0
-
ㅋㅋㅋ하
-
고2 교육학과(사범대, 교대) 희망하는데 도서 뭐 읽어야 할까요... 3
추천좀 해주세요..
-
메인글 지금 봤는데 10
저게 뭐죠… 당황스럽네
-
아시는분?
-
네
-
너무 많이 마시니까 또 집중 잘 안 되네
첫번째 댓글의 주인공이 되어보세요.