amenable
게시글 주소: https://m.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를 선물하세요.
-
지방 일반고 수시반수생 수시 카드 어떻게 쓰는게 좋을까요? 0
전북 소재 일반고 출신 반수생입니다 내신은 전교과:1.30, 국영수사과:1.34,...
-
야식 추천좀
-
ㅋㅋㅋ ㅋㅋㅋㅋ
-
수리논술 준비 안해봤으면 합격 가능성 0에 수렴임? 0
고딩때도 수업때 걍 수능공부해서 확통기하 모름 모고는 항상 미적 1컷 근처에서...
-
ㄱㅁ 3
ㄹㅈㄷㄱㅁ 9평 망했다고 절망하지 마세요. 수능날 분명 ㄱㅁ거리 가득한 성적 들고오실 거면서.
-
고대 인문 논술 0
언확영생윤동사 43112인데 영어는 찍맞 2개 1이고요. 4합9 맞춘건데.. 고대는...
-
평행이동 질문 0
여기서 두 그래프를 각각 +3만큼 y축 평행이동하면 점 C의 좌표가...
-
고대논술 0
12:30까지 입실완료면 시험시작은 1시부터 일까요?
-
공부 더 하려고 못본거임 ㅇㅇ...
-
자정에 바로 열리면 스카에서 집 가서 바로할려고함
-
너무 쉬워서 내 실력이 어느정도인지, 약점이 뭔지 정확하게 감을 못잡겠음 아무리...
-
성적이 안좋은편이라 수시 정시 모두 안될 것 같은 대학을 논술로 가신 분...
-
많은 추천 부탁드려요 장르 불문이요!
-
잘 하는 사람들 몰리긴 한 것 같음 뭔가
-
이번 수능 영어 난이도 어떨까요ㅠㅠㅠ 그리고 지금 3~4정도 되는데 2뜨는거...
-
독서를 마지막에 푸는 사람들 ㄹㅇ 강심장인거같음 난 국어 풀면 항상 시간이 딱...
-
이원준 가능세계 0
가능세계 무슨 강의에서 볼 수 있어요?
-
귀여운 우리 옯붕이 볼따구 만지고 난 갈게
-
오늘 신청하면 10월 달에 센츄 달수 있는건가요?? 센츄 안달려다가 9모 성적표는...
-
ㅁㅌㅊ?
-
가고싶은데
-
161에 44.x인데 체력이 말도 안되게 부족함 방학 때 그나마 매일 야식하고...
-
영어가 난이도가 쉽든 어렵든 항상 79-83 사이를 맞았는데 이번에 무조건 1을...
-
논술 일정 시간 2
정확한거 언제 나와요? 시간 겹치는지 보고 정할려는데
-
오전 10시 정각 딱 대
-
예전에 기출 풀 때 수열 틀딱 기출 버리고 최근 느낌 문제 나오는 부분부터만 풀고...
-
원래 화작 문학 독서에 시간부족으로 독서 연합지문 날리고 나머지 다 맞자는 마인드로...
-
상위권층이 존나 탄탄한가 ㄷㄷ
-
공부시간/쉬는시간/밥먹는 시간 이런거.... 혹시 본인 등급대 가능하면 옆에...
-
내년1월 입직 가능성 농후임다
-
옆에 육각형 안에 숫자가 등급인가요? 에피 하려면 10등급 이상이어야 한다는데
-
고대 철학이랑 독문중에 뭐가 더 사회에 나갔을때 유리할까요? 저는 로스쿨 가고싶긴 합니다
-
고려대 가정교육학과 (학우) x 최저 4합 8 이화여대 융합보건학부(종합) x 최저...
-
줄넘기로 자가발전 하면 좋겠다 했는데 역시나 이미 만들어진거였고요 근데 왜 나한텐 없지…
-
역대급 고점이라 빨리 실물화된걸 받고싶음
-
오늘은 나름 열심히 공부한 거 같아요 내일 뵙는 분들이 부디 현명한 조언을 건네주시길..
-
독서 -7개 문학 -3개 화작 -2개 문학 30분 걸리고 화작 16분 걸림......
-
에휴 막전위는 ㄹㅇ ebs버버벅 해야겠네
-
순애너무좋다 4
근데나는못해
-
음..
-
생명과학 1
생1 하나도 모르는데 생2해도 됨??
-
전년 기준 경쟁률 비슷, ai는 2명 증원, 화공은 10명 동결
-
문학 강의 1
누구 들어야할까요 독서는 비독원 들을 거 같음 강민철 아니면 정석민중 뭉학 누가 ㄱㅊ
-
초근접이였는데 한번 눈마주쳤는데 또 마주침 하 뭐지 걍 착각인가
-
27수능 응시 예정인 08입니다 고3 9평은 아직 못봤습니다. 고3+ 평가원 비문학...
-
수학 백분위 84-89 사이인데 둘중에 뭐 풀까요? 이정도 백분위 거의 확통으로...
-
목동 시대 수학 서바반 다닐 예정인데 김성호T, 엄소연T 두 분 수업 스타일이랑...
-
예상대로 인강생들 ㅈㄴ 실망했네 인강에서도 파는게 더 이득 아닌가 핫콜은 어떻게 완전히 없앰
-
9월 모의고사 국어:76점 수학:58점 영어:73점 생윤:30점 사문:14점 이여서...
첫번째 댓글의 주인공이 되어보세요.