amenable
게시글 주소: https://ys.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를 선물하세요.
-
이게 논란이 되는 이유가 ㄴ과 ㄹ이 상충되기 때문이잖아요? 근데 ㄹ을 슬픔이 있을...
-
너무 우울해지면 그냥 쉬는게 낫겠죠 지금 약 복용한지 4개월 정도 됀거 같습니다
-
개고생해서 공군 행정병 뚫었는데 일도 많고 맞선임이 뭐만 하면 미운털박아서...
-
담닉은 3
덕코 천개주면 안 잡아먹지로 바꿀까요?
-
미적분 5
미분법중에 그래프그리는 요파트가 ㄹㅇ 1도 이해안가고 모르겠는데 어떡해야할까요? ㅠㅠ
-
기만좀 할게요 9
2연석ㅎㅎ
-
수2커넥션 수1아이디어까지 했는데 이다음에 뭘해야할까요 0
공통에선 2122 틀렸어요 수2 n제 수1 기출하려했는데 수1기생집이...
-
참고로 수특도 안품ㅋㅋㅋ 하… 다음주부터 풀어야겠다
-
어그로 기사 너무 많은데 독자들도 영양가 없는 기사에 대해서는 신고할 수 있게 해야 되는거 아닌가
-
수능 대비에 도움 많이되나요?
-
이번에 82점 2뜬거면 그냥 유기할까요? 수능 목표 3임
-
아침에 보니깐 대전에 있어서 엥..? 뭐지 했는데 알고보니 오도착이었던거임...
-
22번급 난이도 문제 나오면 확실하게 오답노트 하고 넘어갈까여
-
강도가 칼들고 수학 n제 4종류만 고르라고 협박하면 43
뭐뭐 고르실거임? ㅇㅇ 지금 제가 강도고 님들 협박하는중 ㅇㅇ 살고싶으면 대답ㄱㄱ
-
작년 수능 34233 성적 수직상승을 이루고도 마냥 기뻐할 수 없는 이유는 3
이게 내 커리어 하이가 될까봐
-
지구과학러 컴온 12
올해 지학 처음해서 그런데 지학이 원래 유독 시험장에서는 안 보이는데 시험 끝나면...
-
찝어주는거 어디 올라온거 있어요?
-
만약 수능을 잘본다는 가정하에 ㅇㅇ 수능 좀 자신있고 내신이 약간 딸리면 이번에...
-
혁신당, '검찰청 폐지' 檢개혁 4법 발의…"공소청·중수청 신설" 3
황운하 "민주당도 검찰개혁법 당론 채택하고 野원탁회의서 논의하자" (서울=연합뉴스)...
-
둘중 지금 선택하라면 어디?
-
수학 문제 질문 0
이거 푸는법 알려주실분 있으신가요 ㅠ
-
공부 방향을 스스로 정말 못잡겠어서 조금이나마 오르비 여러분들께 도움을 받고...
-
푼 거 : 시발점, 시발점 워크북, 기생집 2,3점, 쎈(은 옛날에 대충품..)...
-
반수생 현돌 실개완으로 개념 잡고있습니다.. 근데 생각보다 쉽지 않네요....
-
진짜 공부시간 1/3 이상을 국어에 쏟아부었는데도 안 늚.. 국어 땜에 N수 하고...
-
고2 때 까지는 수1 수2 개념 한바퀴씩 돌리면서 했었고 현역 때 예체능 입시하느라...
-
초등학교ㆍ중학교를 의무적으로 다니게 하는게 오히려 안 좋다고 봄. 공부에 뜻이 없은...
-
ㄹㅇ 여름이 벌써 가는건가,,, 개짧네?? ?
-
왜일까 걍 진짜 하지말까
-
발문 제대로 안 보시나 동일한 염기 결실이라 무조건 TTT밖에 없는데
-
탐구 가산3퍼면 3
쎈건가용
-
9모까지 국수영만 했으면 이래야지
-
재수생이고 작년에 생윤사문했음 둘다5등급 받음. 사문→윤사 생윤은 출눈,심기일전...
-
혹시 나처럼 0
혹시 나처럼 국어 시험이 어렵든 쉽든 90점대인 사람있나? 일단 화작러인데 이번...
-
와 개시원하고 0
어둡네 다가오는구만
-
지구과학 질문 6
우주가 팽창하면서 물질밀도랑 암흑에너지 밀도 모두 일정한가요?
-
아 물2화2 할 수 있었는데 ㄲㅂㅋㅋ
-
국어 6, 9 전부 2등급이고 독서 마더텅 1회독, 국일만 전권, 기출 실모 틈틈이...
-
앱스키마 0
9모 연계된게 뭐뭐임?
-
공부시간이 무려 1년이 더 주어지는데 왜 안함
-
저기서 +30m/s가 각도값 60도일때라는걸 주기를 통해 추측해내면 되는거임?
-
이제 바꾸지도못하네 15
내가 선택한 과탐 악깡버해서 만점을 쟁취하자
-
특히 15번 논리는 진짜.... 이게 고3 시험...?
-
기차지나간당 6
사평역행
-
서강대 학종 최초합 받았는데 연대 활우 1차는 붙겠죠? (같은 경영학과입니다)
-
고3 현역이에요 솔직히 지구공부를 많이 안하긴했어요 겨울방학때 오지훈 개념이랑 기출...
-
시발점 듣고있는데도 이해가 안되네 그냥 바로 문풀하면서 깨달음을 얻을까요?
-
기하러들 와봐 5
남은기간동안 뭐 풀거임?.. 지금까지 기하 4규 빅포텐 이해원 1,2 수특 수완...
-
9평 (화작 기하 생지)13211 3수생 머저리 수학 질문.. 0
원래 수학 60후반 70초반 나오는데 이번에 14 21 22 (기하)26 28 29...
-
9평 끝나고 오늘 다시 원래 공부하던 사찰로 복귀했는데 빨래하러 갔더니 귀여운...
첫번째 댓글의 주인공이 되어보세요.