amenable
게시글 주소: https://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를 선물하세요.
-
문득 새삼 통산 우르크가 165인 양준혁이 대단하게 느껴지네 3
통산 기록이 올해 김도영급이라는건데
-
먼저, 여러 가지 학습 자료와 정보들을 공유하는 공스타? 를 제가 개설했습니다!...
-
불쾌하네
-
어떻게 생각하세여
-
내신/수능 둘 다 필수과목으로 유지하는게 정배임?
-
G 0
O
-
2^x+1과 log2x(밑2) 는 y=x+1/2에대해 대칭인가요? 아니라면 어떤...
-
뭐하는 사람들임? 수험생은 아닐테고 전 조퇴함
-
하 씨발... 1
졵나 격차를 느끼고 개같이울엇음
-
언매로 부탁해요!!
-
뭔가 라이브 듣는데 내는 돈에 비해 얻는 게 없는 느낌이라 뭐가 나을까요? 강x는...
-
두 원의 교점의 좌표를 쉽게 구할 수 있는 방법이 있나요?
-
6평 어땠나요
-
잘먹을게
-
?????
-
정신나갔다 얜
-
둘다 과외를 하기때문에 돈이 안모자라서 가고싶은곳을 갈수있다 나와 하면 나온다 이게맞냐 ㅋㅋ
-
지금 무슨 회사사장이고 학력고사 전국 두자리수였고 지역 차석이였던거 똑똑했던거...
-
ㅅㅂ 이렇게 더럽게 풀 문제도 아니었던거같은데
-
행벅하다
-
막 문법적으로 딱딱딱 직독직해는 못하겠는데 한 문장씩 대충 ~~~하다는 내용이겠네...
-
4규1 난이도 6
미적이고 뉴분감하고 5모 76 6모 84 7모 80 받고 엔제 풀기 시작했는데...
-
정치와 법 1. 선거게임 계산형 문제 2. 수능특강 p.8 ~ p.69 공부시간 5h 47m
-
6모 10번 선지인데 갈퉁이 평화 위해서 정치 체제의 개선을 주장하나요? 칸트는 공화정인데
-
7투스 화학 7
진짜 뒤지게어렵지않았나요 내가개못하는건가
-
ㄷㄷ 대치 기준은 빡세구나 허허
-
로스쿨: 5년 안에 합격해야함 CPA: 그냥 의치한양수 서카포 연고 서성 이공계/메디컬로 진학하자
-
수2 푸는데 막혀서 3시간째 아무것도 못 하는데 답답합니다... 2
스스로를 낮추고 해설을 볼까요 아니면 끝까지 버텨서 사고역량의 한계를 뚫을까요? 수험생입니다.
-
ㅈㄱㄴ 현역임 무지성 강평 ㄴㄴㅠㅠ
-
강대x 시즌2 2
만 사신분 시즌1만 있는데 대성 공유 하실 분.. 쪽지
-
미래가 두려워요 0
앞으로 찾아올 미래들이 두려워요 나이먹는것도 무섭고 가족이 나이먹는것도 무섭고...
-
호훈컨풀때특징 1
f(x) = x^2 + 17/78x + 3/13 이런식 나와도 그냥 계산밀어보면...
-
갑자기 수업하다가 현강이면 아이스크림이라도 하나 쏠텐데…네~그래서 지금 여러분...
-
베라 아이스크림 보내줌
-
초4는 너무 이르지 않나 싶었는데 하 신태일 유행하던 때 생각하면 막 이른 거 같지...
-
기사를 보니 이미 학계에서 실패한 사업이라고 하던데요?
-
얜 누가오든 받아놓고 치는거같음 그래서 중견전향 언제함
-
거긴 퀄 어땠음? 더프같은건 관련 이야기로 몇페이지 뒤덮는데 얘는 별 언급이 없네
-
디플레이터문제풀다 실질/명목×100말고도 당해년도가격/기준년도가격×100 이거...
-
서연고 서성한 중에 어디 지원 못하는지 아시는 분???
-
뜌뜌뜌땨아 7
탐구 gosu가 될 거야~
-
트렌드 반영이 좀 늦은 편이노..
-
잘할 자신있는 과목 고르고 다맞을 각오로 공부해서 가산 받고 대학 와라 이거 아닐가
-
나도 안할 뇌주루를 2번이나 하냐 ㅅㅂ ㅋㅋㅋㅋ
-
나 뭐냐 0
수학 과학 내신 1.18인데 ㅋㅋ 근데 국어는 젤 잘나왔던게 3 거의 4 하나 5...
-
어차피 갈대학이 없어서 ㅋㅋㅋ 정시해야됨 학종으로 과기원 3개 1차붙고 나중에 다떨어짐
-
이번 6모 77 미적선택 재수생인데 문해전...s2 풀고싶은데 믾이 어려울까효...
-
ㅈㄱㄴ 논술 노리는 중경외시 반수생이라 아직 수특은 풀고만 있고 연계 공부는...
-
착해 보이지 않나요
-
귀찮다
첫번째 댓글의 주인공이 되어보세요.