amenable
게시글 주소: https://iu.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를 선물하세요.
-
Feedback & Summary 생활 아침에 꼭 한 번씩은 졸게 된다. 근데...
-
듣기, 도표같은거 빼고 40분재고 풀만한 모고형식 없을까요? 이틀에 하나씩 풀라구요
-
사탐과탐 1
최저반수생이고 과탐 하나 하면 3합6 지방약대 가능성 높은데 사탐하면 약대 딱...
-
아 하고싶다 6
[이하생략]
-
생윤 개념 3회독했고, 기출도 싹 돌렸어요 기출 5개년치 돌려봤는데 1개 혹은 다...
-
요샌 진짜 성숙해져서 예쁘네요 나도 이서같은 여친 너무 사귀고픔...
-
수학 조언좀요 0
6모 3입니다 10번까진 수월하게 풀리고 11~15에서 두세문제 정도 풀어요...
-
내가 할 수있는게 없다 ㅋ!
-
죽고싶네요ㅜㅠ
-
댓글로 ㄱㄱ혓
-
6모기준 미적 1컷일때 뭐가 더 점수올리기 좋다고 생각하시나요?
-
한달간 국어공부 2
책읽기7 기출3 비중으로 하루10시간 공부하려는데 훈수좀 책은 베스트셀러 읽을거임 ㅇㅇ
-
오랜 생각이다
-
의대지망하는 고1 학생입니다. 1학년 1학기 통사2, 영어2 떴는데 그럼 연대의대...
-
전날까진 쫀쫀하게 잘 읽히던 글이 다음날부터 며칠간 아무 이유없이 튕김 ㅅㅂ
-
11시간컷 가능할까요? 수완어렵다는얘기가 많던데 실모가 어려운거죠? 그 이전부분이 어려운게아니라?
-
김승리 두각 현강신청은 연초에 한 번하면 쭉 가나요? 1
연초에 올오카 개강할 때 수강신청 성공했으면 이후에 TIM, 앱스키마, 아수라...
-
ㅇㅇ 수1은 유기할랴고
-
이런미친
-
독서만 어려울땐 좀 진중하게 생각하고 이해하는게 중요한거 같은데 이렇게 문학언매...
-
방학 2주 조금 넘게남았는데 계획좀 봐주세여 수학: 다음학기꺼 심화까지...
-
한동훈 당대표 당선에 난리났다! 이재명 끝났다!
-
교육청이나 평가원 모고는 백분위 96에서 99 왔다갔다 하고 실모도 평균 88점정도...
-
아버지의 땅 읽는데 슬퍼서 눈물 나올 거 같았음. 그래도 시험중에 미친놈처럼 보일까봐 참음
-
이제 복습 충실하게 할거임
-
문과긴한데 이러면 서성한도 못 씀?? 어디정도 써야 되나
-
히든카이스 시즌2 8회 후기 점수: 93점 5번, 22번 5번: 사람이냐;;평행이동...
-
자분기 거의 다풀리는데 디카프 빠르게 쳐낼 수 있겠죠
-
1회 92 2회 55 멘탈터져서 오늘 공부가 손에 안잡힘요..ㅠ
-
저희반 월요일 수학 서바였는데 부엉이 앞자리가 종 치고 뒤돌아서 초코바 줬음 저...
-
다음날 아침 4
내일 아침 눈을 떴다 당신의 첫 행동은?
-
피곤함이 몰려오네
-
올오카 엮어읽기 완강했구요 이제 Tim 풀면서 빌런즈 문학파트만 병행할려는데...
-
국어 일클 4주차 1강(문학파트)~2강 일클 4주차 독서통/문학통 수학 짱쉬운유형...
-
아침 1교시랑 점심 직후교시는 공용공간 바로 허용해주면 안 되나 구조적으로...
-
이감 강k 상상 이렇게 3개 풀건데 상상은 시즌4.5 사면 되나?
-
평가원도 실수 할 때가 있다(2020 6월 국어 미토콘드리아지문 해설) 6
오늘은 개인적으로 평가원이 잘못 출제했다고 생각하는 2020 6월 미토콘드리아지문을...
-
시대다닌 재수생이라
-
일단 본인도 경력이 거의 없기에.. 취미로 라이트하게 수학 문제 만들면서 협업...
-
놀아주세요 14
-
영어 질문 1
작년에 기출을 한 번 다 돌린 상태인데 기출 한 번 더 보는게 나을까요?… 뭔가...
-
안녕하세요. 오늘은 국어 지문을 어떻게 읽어야 할지 모르겠는 분들을 위해 저의...
-
번역 ㄹㅇ 개구리네 이래서 평소에 라프텔만 쓰게 됨
-
담달부터 수2 시발점 + 쎈, 시발점 워크북 들어가는데 대충 계획 짜보니 쎈발점...
-
나라가 이래서 망했구나
-
이매진 필요없어서 걍 한수 16회분이나 살까 고민중인데 상상 모고가 더 끌리는건...
-
문학 왜이러지 0
안 읽히는 건 시고 잘 읽히는 건 소설인데 시가 소설보다 잘풀림
-
제2외국어가 ㄹㅇ 그랬는데 ㅋㅋㅋㅋ
-
흐흐흐
첫번째 댓글의 주인공이 되어보세요.