Geometry of being Amenable
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를 선물하세요.
-
깨어있어도 숨소리 ㅈㄴ 크네 폐에 구멍났나 왜 이렇게 후욱후욱 거림..... 저...
-
독서 3지문 추가하면 좋겠다
-
흠
-
13 25 28 30틀리고 85 25쳐틀리네 ㅅㅂ
-
하나씩 찍어보셈뇨
-
이번 10모 학원에서 풀어봤는데 국어 95나왔네 최저 맞출거라 올해 국어 버려서...
-
은 붙는 거 모르고 현대국어로 는 붙여서 생각해서 고대로 1번찍음 끝까지 잘 읽어야겠다..
-
영어 3~4 정도 받는 반수생입니다 목표는 2등급인데 3 받아도 만족은 못하지만...
-
교육청 국어 10
법지문에서 "연대 채무 관계 내에서는 상계자 자신의 채권이 아닌 다른 연대 채무자의...
-
이왜진 ㅋㅋㅋㅋㅋ
-
마지막 문장 ‘미루나무 그늘 아래에서 7월은 더위를 잊은 채 깜빡 잠이 들었다.’...
-
문제 난이도를 떠나서 지문 자체는 굉장히 난해하던데
-
나는 왜 엽록체가 없는 것이야
-
제발 한번만 보여주시면 안되나요 ㅜㅜ 제발요..
-
고3 11모 2
학교에서 고3 11모 친다던데 사실인가여 저희만 치는건가요 11월 1일인가 뭐라하던데ㅔ
-
선지가 그냥 교육청틱함 특히 독서 채권 읽으면서 와 이거 사설보다 안읽히네...
-
원래 7시부터 똥글 써야하는데 오늘은 안 오네...
-
귀여운 뚱냥이 0
만져주니까 계속 나한테 부비부비댐
-
수학 실모 하루 1개면 충분한가?아님 더 해야되나? 공부량이 좀 적은가 싶음
-
ㄹㅇ 제발요........ 전 6모 등급이 맘에든단말이에요...
-
80분?
-
국수둘다 9모랑 다른 건전한 불인거랑 별개로 문제 퀄이 개지랄이였음
-
ㅈㄴ개급함 제발빨리 ㅜㅜ
-
최소 올 2.5등급이라는건데 고3때부터 수능준비하면 현역이 압도적으로...
-
라고 말씀하시던 문학좌 그립습니다
-
다름 아닌 인강 행정이라 생각함 매주 수요일 업로드면 어떨 때는 아침 일찍 올리고...
-
머리가 4
너무 아프다...!
-
이젠 9평에 이어 N수 빠진 10월 모의마저도 1컷이 50이 나오는 ㅋㅋ 얼마나...
-
응시자 60퍼는 허수일텐데 그 답을 베낄 생각을 하네
-
한번쓰면 지울 수 없어서 무지성으로 써내려가게 되지않고 충분히 고민해본 뒤에 쓰게됨
-
작년 6 9 수능 국어 뽑았는데 벌써 종이가 한무더기라 수학은 못뽑고 다 뽑았다...
-
10모 인증 3
국어 커리어 로우 박으니까 수학도 박음 21 30 계산 실수 ㄹㅈㄷ 언매 저거 절대...
-
일어나서 씻기 매우 힘들게 완료
-
하 ㅅㅂ 9모는 다시 풀어봤을때 28 30 손 못대는거 말고는 21번도 손은...
-
연세대 논술 누가 더 몰래 잘 배끼나 따지는 전형인거죠? 1
재시험 안보면 그냥 쌤들한테 연락돌려서 몰래 배낀사람이 이길텐데 누가누가...
-
사실상 1퍼센트도 안됨?
-
퇴근 ㄱㄱ 0
과 동시에 알바 출근
-
감속팽창 질문 1
감속팽창한다고 해서 우주 파장이 짧아지는 건 아니죠? 여전히 팽창하니까 파장은 길어지나요?
-
5000부 판매돌파 지구과학 막판 핵심모음자료를 소개합니다. (현재 오르비전자책...
-
저 인간수학쓰레기인데 23
10모 성적인데 30일 동안 어떻게 안 될까요 선생님들 제발 대학가고 싶습니다 살려주세요ㅜㅜ
-
이비에스 만점마무리 봉투모의고사 국어 이거 퀄리티 괜찮나요?
-
교차로 디버프먹는거없으면 문과누백 3으로 자연누백3취급받고 쓸수있는건가요
-
이감 파이널 (시즌5, 시즌6) 다 풀었는데 이제 뭐할까? 2
이감 전회차를 푼 건 아니고 파이널에 해당하는 시즌5, 시즌6만 풀었음 이제 국어...
-
수능 오랜만에 준비해서 지금 중학수학 복기하느라 쎈풀고있어요 과거에 좀 했어서...
-
시간 단축된다 + 표점이 높다 소리 듣고 언매했는데 시간 단축은 확실히 틀린...
-
고 2 들아 제보해라 13
토시하나 안틀리게 내는건 좀 아닌거가틈
-
아기 일어났어요 3
다시 잔다
-
한동훈 "조희연 유죄로 혈세 560억 쓰여…교육감 투표해달라" 7
(서울=뉴스1) 신윤하 기자 = 한동훈 국민의힘 대표는 서울시교육감을 뽑는...
첫번째 댓글의 주인공이 되어보세요.