amenable
게시글 주소: https://i9.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를 선물하세요.
-
공부할까.. 1
아까 10시 반에 기절해서 2시에 깼는데 양치하고 다시 누우니까 의식적으로 숨쉬기...
-
최저러라 둘 중에 하나만 3등급 뜨면 됩니다,, 성적>6모 국어4등급 영어6등급...
-
미적은 2729 쉬운 2830 수12는 111213142021 쉬운1522 이정도...
-
대학으로 효자하자 입신양명하자
-
집 나가서 재수 반수 할거임 이딴 대학 갈 바엔 부모님으로부터 독립해서 해야지.. 나왜사냐
-
ㄷㄷ
-
후 1
-
때려치는게 나음 돈은 돈대로 다 나가고 성적은 안 나오고 매번 자기합리화, 자위질...
-
맨날 5등급뜨다가 9모때 평가원이슈+뽀록으로 2등급뜨는 실력이고 3등급이 목표인데...
-
심심하군 20
아무도없니
-
얘들아 미안하다 3
미안할건없고 조회수 채크용
-
내가 고2였을때 고3 모고 풀면 양승진 말대로 감동이라는게 있었음.. 아직도 비타민...
-
국어 노력으로 1등급 되신분들은 공부량이 어떤방식으로 하신건가요
-
1. 동국대 [종합] 미디어커뮤니케이션 두드림 주요교과 2.97 2. 명지대...
-
고2 정시파이터 자사고 내신 7점대 11모 13222 받고 현역 수능으로 중앙대 가겠다 제발
-
빨간색밑줄에서 갑자기 1/2 왜 더해진지 모르겠어요 그러다보니 정답은 1번인데...
-
유빈이마렵네....
-
ㅅㅂ 일반과 하나 끼고가 말아.... 뭐가 나을까요 제 상황이 지금...
-
9평 37점. 우주론 어려워함 4페이지 다 틀림
-
9모 존망해서 정시 못 쓸것 같아서 수리논술로 틀었는데 9모때 2가 뜨긴 했는데...
-
알았으면 접수했는데..
-
국어: ovs 수완/수특, 연계N제, EBS 올 파이널 집, 인강민철 7호, 강E분...
-
교과 학종은 동시 지원 불가인걸로 아는데 학우 논술도 안돼요??
-
65일 남았는데 34333 어디까지 올릴 수 있을까요 6
재수하기싫어요..ㅠㅠ 수시 안 붙을거같아요
-
이원준T 그가 나서지 않는 문제는 문제가 없다
-
뭔가 알거같은데 뭐라고 딱 정의가 안됨
-
이제 알아버렸네.. 마지막으로 궁금한거 진짜 딱 한개 물어보려했는데 ..
-
기출만했는데 언매도 n제해야한다는 얘기가 있어서...
-
교과 인천대 자유전공 (지균, 3.32) 한성대 IT공과대학 (지균, 3.02)...
-
3모 97 5모 100 6모 90 7모 100 9모 97 이고 6모 제외 항상...
-
9모 2등급이고 (딱히 의미 없어보이지만..) 7모 1 6모 2 강케이 풀면...
-
23212 연고대 가능?
-
ㅋㅋㅋㅋㅋ
-
당일날 질병조퇴하고 진료확인서 떼고 다음날 질병조퇴나 질병지각으로 처리할때 당일날...
-
수능날 돌아오겠수다
-
지금 정시 준비중이고 시발점 개념강의 듣고 쎈으로 유형익히는데 rpm까지 해야함?...
-
편입하려는데 의미 있는 편입일까요?
-
이 시기에 언매 0
6모 1틀 9모 다 맞았고 이감 오프 칠 때 가끔 틀리긴 함 보통 개념을 몰라서...
-
ㄱㅇㅇ 현강 듣고 있는데 아수라까지 하기는 무리일까요
-
9모는 원점수기준으로 화작87,미적88,영어80,생윤45,사문35 수능때 22211...
-
초심찾기 0
처음에 삼수 시작할 땐 안이랬는데.. 왜 자꾸 불안에 떨면서 공부는 하기 싫은건지...
-
중대가 과탐 가산점 각 5% 씩이니까 과탐+과탐=10%의 가산점을 받을 수 있음...
-
수분감 step0,1 먼저 다 끝내고 뉴런 들어가는게 맞나요 아니면 수분감 소단원...
-
물리 서바 ㅆㅂ 0
얘만 풀면 자존감이 개박살나는데
-
혼선 거듭한 복지부…'응급실 거부' 군의관 징계 거론했다 철회(종합2보) 1
국방부 "징계 검토 안해" 반박에 복지부도 정정 의협 "땜질식 명령과 협박...
-
이명학 실모는 7회분 묶어 팔아서... 1~3회차 정도만 봉투 묶여있는거중에서 추천부탁드립니다 !!
-
이때 뭐가 맞는 거 같음??
-
A : 나는 건빵위에 청양고추를 얹어먹어 B : 나는 아이스크림을 불어서 먹어 C...
-
프린트당 2
모고 8절지 인쇄하는거 없어짐? 어떻게함
첫번째 댓글의 주인공이 되어보세요.