amenable
게시글 주소: https://i.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를 선물하세요.
-
머임????? 그곳을 굳이 보호해야될정도로 공격받고있는건가,,,
-
91점 3점 3개틀림
-
안됩니다~
-
원서접수왜안됨? 0
종료누르니까 사진넣는 첫 페이지로 돌아가지는디 이게된건가?된건지 안된건지...
-
그리고 그걸로 국어 실모를 삼
-
수능 1뜨겠지 ㅈㅂㅈㅂ 대학잘가고싶다
-
수완 실모 기록 0
실모 1차 - 96 2차 - 91 3차 - 91 문학 보완좀 해야겠다
-
수학 : 호흡이 긴 문제를 풀 때 와 이 조건이 이렇게 숨어있다고? 와 이게 이렇게...
-
명예훼손이 성범죄보다 중범죈가요?
-
기하 3점만 다 맞는게 목표인데 그러면 뉴런까지는 안하고 시발점만 해도 괜찮을까요?
-
9모, 10모 제외한 날 최대만 많이 빠지는 법(가능한 모든 날) 알려주세요...
-
고려대학교 수학과 / 기대모의고사 9년차 저자 대학재학시절 수능(평가원) 현장응시...
-
15 22 30 88점 진짜 개ㅐㅐㅐㅐㅐ어렵네
-
7모 화작 기하 생 지 입니다 수능때 22323이 목표입니다 가능할까요? 지구랑...
-
일단 본인은 다시봐도 모르겠어서 답지보고 해결했습니다 뭔가 문제가 기괴한게 사문...
-
dc들어갈려면 vpn켜야돼 빼ㅐㅐㅐㅐㅐㅐㅐㅐㅐㅐ액 빡갤아니고 포케로그 갤러리 들어가려한거임...
-
사자뱃지 0
내년엔 야옹이 뱃지 얻을 수 있으면 좋겠다 ㅎㅎㅎ
-
엄마의 잔소리 0
-
지구과학질문 3
마더텅 지1 풀고있는데 지2 기출이 나와서요 지2에 지1 내용이 포함되어있나요? 판의경계부분 입니다
-
약간 부러웠음 나도 머리 냄새 맡고 싶은데..히히
-
왜 왜 왜
-
인터넷으로 원서작성할때 사진 들어갔으면 문제없나요 사이즈 안맞다고 포토샵으로 픽셀...
-
강의 자막에 갑자기 10초 뒤 소리 주의 뜨길래 ????? 뭔소리지 하면서 볼륨...
-
메가패스 양도 0
메가패스 11/30일까지인거 18에 양도합니다 쪽지주세여
-
아으ㅏ 이거 없으면 안되는데 무한 새로고침하기 ON
-
8덮 ㅇㅈ 17
-
본인 걍 커뮤 두루두루 다 하는데 트위터 내에서도 텔그하는애들 걍 다 거르자 주장...
-
난이도 어떠셨나요? 시즌 1 50~45 사이였는데 시즌2에서 갑자기 점수가 뚝...
-
디시 수능경제 마갤에서도 하루에 글리젠 많아야 3개던데.. 학습정보나 팁은 고사하고...
-
전자쪽 가고싶어요 ㅠ
-
반수를 늦게 시작해서 9모 신청을 못했는데 8월 30일에 학교에 수능원서 접수하면서...
-
국어 > 적당 수학 > 불 영어 > 적당 정법 > 약간 맵다 사문 > 핵불닭 그냥...
-
1. 개념양이 매우 적다. 화학1의 경우는 개념양이 사탐에 필적할정도로 매우 적다....
-
작수 88 나오네 33,34,37,39 ㅋㅋ 최근에 이투스 더프 양학하고 좀 자신감...
-
논술 0
수능 수학 2등급 내신 수학 1.5등급 수리 논술 넣을 만한 학교 추천 +수리 논술...
-
중딩때 선행한 과목 그대로 유지중ㅋㅋ
-
팩트는 오르비 가입대기 10일이 너무 길다는거임 ㅇㅇ 4
정상화해서 건강하게 만들어야 한다 ㅇㅇ 다들 반갑다
-
물리 선택한이유 0
킬러 문제 봤는데 막 그림있고 하니까 제일 쉽고 재밋어보엿음 그땐 몰랐지 킬러...
-
왜 작년수특보다 어려운거같죠..뒤쪽 실문풀은 아직 안보긴했어요 +아 독서 말한거에요!
-
감사합니다
-
국어 조언 1
안녕하세요 국어 풀이 조언 구해봅니다 반수를 결심한지 얼마 안되고 수능 국어 공부를...
-
과거 우주 팽창 속도가 b가 a보다 항상 크고 나이도 더 많으면 왜 항상 과거...
-
안들어온 사람 빠질사람 고려해서 6명 합격이면 6등정도가 커트라인이려나 다군 빼구요
-
물1 화1 생1 킬러난이도 보면 화1 할만해보이지 않니
-
심찬우T.... 1
기테마 2.0 현강부터 합류해서 지금은 막 기테마 1.0 인강이랑 심화 N제 현강...
-
3~4년전 물1 민심이 딱 이랬음
-
화1 장점 2
풀때도 재밌고 등급도 재밌음
-
잇올조퇴하고 갔다옴 스카 가서 6시까지만 공부하고 집가서 좀 쉬어야지
-
최종합격자 추가서류 제출 안하면 되나요??????
첫번째 댓글의 주인공이 되어보세요.