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를 선물하세요.
-
마침 내일 공강이니
-
진짜루
-
지금 정부X 그냥 정부 그 자체 O
-
분들.. 네 개의 지문 시간 분배 어느 정도임??
-
대성 사이트 0
대성 사이트 혹시 터짐??? 10덮 온라인으로 응시했는데 성적표 확인이 안되고 계속...
-
설평 ㅋ 3
설대생이 나한테 메시지 보냄 ㅋㅋ
-
저도 대학가고 싶어요
-
집가고싶다. 0
근데 6시간공부는 좀 아닌거같아..
-
이번 수능에 지수/로그함수 관련 직선의 방정식 나온다면? 1
f(x)=a^(x-a1) + a2 g(x)=log_a (x-a3)+a4 를...
-
작년처럼 다시 투투로 한 번 더 보고 아니면 사탐할라고요. 기하는 계속 해야 할 듯.. .
-
자도자도 졸려 2
-
집가서 밥먹는 김에 타이레놀 먹어야겠다.. 너무 머리가.아파요 ㅠㅡㅠ
-
인디밴드인데 나 보수동쿨러 예전 보컬이신 (현재 ddbb 보컬)정주리님이랑 길게...
-
아. 6
아.
-
내용을 입력하세요.
-
실수능때 2도 힘들겠죠;;
-
화작 기준 88 생각했는데 90이라.. 애초에 무보정이랑 1문제 차이가 맞나..?
-
예비 정시파이터 현 고2인데 수과탐 인강컨을 겨울방학 동안 몇개 풀어보려고 합니다...
-
통새우와퍼 쿠폰아니면 안가야겠다
-
작년엔 쉬운것만 풀다가서 이렇게 됐으니 그냥 계속 어려운거 풀면서 멘탈 부시는게 나을수도
-
수능도 코앞이네 0
ㅋㅋㅋㅋ 시간 빠르네요
-
여담에 사회주의자래 ㅋㅋㅋ
-
사문 도와주세요 2
사문 아직도 아예 시작안했으면 5등급은 힘들다고 봐야하죠?5등급이 25점이던데
-
근데 이제 공통이 난리난.. 확통이라도 안정돼서 기분이 좋네요
-
솔텍 파트원투 0
지금 솔텍 파트투랑실모 돌리면서 연계 정리 하고있는데 전 솔텍 파트원에서 개념 정리...
-
실모 밀린 게 12갠데 수완 실모는 하나도 안 풀었어요 마지막 이틀은 올해6 작년...
-
☆☆ 대성 19패스 phil0413 추천 한 번만 해주세요 ㅠㅠ 2
같이 메가커피 1만원권 받고 2026 수능을 향해 달려가봅시당 !!
-
지금 한국에서 패악질해서 실제로 뚜드려맞고 있는 악질 유튜버인데 오늘 이태원가서...
-
도나쓰 먹어야지 3
당분공급
-
난 종이 성적표가 없는덕..
-
ㄹㅇ?
-
사문러들아 2
님들 도표 풀때 선지 몇번부터 확인하심? 1번부터 순서대로??
-
특히 동양철학
-
2등급 겨우 방어했네
-
책상 업데이트 16
맘에드는 아크릴 스탠드 두세개정도 독서실책상에 올려둬야겠어요
-
보정해서 알려주는건가요
-
축하합니다. 아무튼 축하합니다 블록 비타민 k 파레토 승소 채권 법인격 회로...
-
ㅇㅇ
-
저 가면뒤에 숨겨져있는 진짜 얼굴이 상상도하기싫게 끔찍하다. 단 강윤구와 정병호 곽동령은 제외한다.
-
진짜 떴냐….? 2
어 떠버렸어~~
-
공부계획 같이 공유하실분…? 있을까여?
-
오늘 수학 92점이상 뜰 때까지 실모치기 할려고해ㅛ는제 2
감기걸려서 할 수 있을까 아픔 ㅜㅜㅜㅜ
-
내일 보시는 분?
-
어차피 끝에 오기는 왔다
-
에피 센츄 2
더프 말고 이퀄로도 가능한가요?
-
누백 98.1 센츄 ㄲㅂ 수능으로 달아야지
-
안하는게 정배임? 한 사람 있나
-
식센모 0
식센모 등급컷 현장학생들만 가지고 내는건가요? 보정해가지고 내는건가요? 블랙 같은건...
-
일부 지방한의대에서 한국사 만점기준이 타대학보다 높은 것 같던데 모든 대학에서...
-
이제 서킷 오답 마무리 드가자...
첫번째 댓글의 주인공이 되어보세요.