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를 선물하세요.
-
지구과학 공부 0
최저러라 3등급정도만 뜨면 되는데 실모 풀면 그래도 30중반대는 나오는데 이번...
-
우크라이나 매체 보도 (베를린=연합뉴스) 김계연 특파원 = 러시아군이 북한이 보낸...
-
눈팅하시던 분들 말거 많이는 아니더라도 글 좀 쓰시던 분들 중에
-
핸드폰은 거의 1인1개니까 개많을건데 컴퓨터도 PC방에 회사에 몰려있음
-
기출 풀 때 옛날 나형 30번 같은 킬러 문제도 풀어야 할까요? 준킬러까진 어떻게...
-
심심해서 질받 16
-
수능만점받고싶다 1
백분위 100 100 1 100 100에 수렴하면 서울대자전은 못가도 경영은 가겟지
-
못끝낼시 할복
-
더럽게 빡세넹 이해로 풀기 보단 그냥 범주 만들어 놓고 분류로 어거지로 풀어서...
-
다음은 잡담글을 써야하는데.. 마땅한 주제가 떠오르지 않네용ㅋㅋㅋㅋ
-
70점대에서 못벗어나겠는데 수능때까지 실모 양치기가 맞나??? 실모풀면 박살나긴 함
-
술마시고 취한상태로 통번하느라 막 말꼬이고 말실수 콤보함 ㅋㅋㅋ 아놔 ㅠㅠ 숯먹고...
-
6평 30번에 구분구적법 섞은 느낌인데 근사 슥슥하면서 풀다가 쌀 뻔했다..;;...
-
연논 6-1 5
6번문항 관련된 질문 남깁니다. 6-1 문항을 다들 반전기하 학인가 그걸로 풀었던데...
-
오답하는데 어디서 많이 본 기분이... 두 함수 적절히 연결하는게 얘랑 약간...
-
조정식 소신발언 0
더데유데 1.5 잡담 진짜 왤케 많음? 내가 수업 플로우를 못 이해하는 걸 수도...
-
안녕하세요!! 10
뉴비 인사드립니당 헤헤 잘 부탁드려요!!!
-
결국 끝끝내 풀이법 못찾음 양변 미분으로 도함수 구하고 적분해서 f(x) 식...
-
오늘 첫 적백이 기회를 19번 때문에 날려버렷어
-
선착1 10
1000덕
-
문학에서 의문사 당해서 당혹스러운데 평가원 지문이랑 비교해서 어땠음? 난 개인적으로...
-
하.. 나만 저능아지
-
10모 수학 92점 찍맞 1개
-
계심??
-
동물은 나보고 못생겼다 안하거든
-
안녕하세요. Another class 화학 II 저자 이병진입니다. 오늘 10월...
-
올해 가기는 글렀네ㅠ.ㅠ 수학 11 13 19 21 22 11 : 의문사 13:...
-
대단해지네 나는 4수해서 갈 예정인데 컴은 아니지만
-
실수노트에 수능 직전에 보려고 쓴 행동강령인데 이것만 읽으면 이때 생각이 남…
-
자료실에있는 강의교안?? 뽑아야하나요?? 아니면 그냥 교재에 있는건가요
-
국어는 96 수학은 1번 틀림 커헠ㅋㅋㅋ 개망해서 못올림 영어 94 생명지구는 한 6~7등급 예상
-
?
-
수능 보니까 투과목 1000명 늘어나던데 그러면 20퍼 증가인데 등급컷이 의미가...
-
당신은 연응통과 고통이 반드시 올해 펑크가 날거라는 사실을 알고 있다. 하지만 누가...
-
탐구에 3번만 7개 뜨네 미친 5번이 한 개 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ 1번 7개 2번 2개...
-
안개대박
-
학교측이 의미없는 해결책을 내놓음에따라 연세대학교 자연계열 수리논술 재시험을 위한...
-
원래는 브라우저에 로그인 한번 해두면 몇주는갔는데 요즘은 며칠만에 바로 로그아웃되네...
-
수학점수보존법칙 1
80~73 어떤 모고를 치든 이럼 물론 평가원, 히카, 배모만 풀어보긴했는데...
-
다른건 없구요, 실모는 다양하게 풀어보시는 것이 좋습니다. 국어, 수학, 과탐,...
-
아직 안 나왔죠? 정파로써 ㄹㅇ 증명해야하는데 미치겠네 ㅋㅋㅋ 10모치고 멘탈 털털...
-
국어점수보존법칙 0
국어 모의고사 성적이 시험이 어렵든 쉽든 79~83인데, 뭐가 문제일까요?...
-
이매진 핫백 0
연계공부 거의 못해가지고… 다 하기엔 시간이 없을 거 같은데 그냥 이매진 핫백에...
-
생윤의 고난도 선지는 일대일 대응성을 묻는 것이라고 할 수 있다. 예를 들어 A는...
-
. 4
-
작년에 안봤는데 난
첫번째 댓글의 주인공이 되어보세요.