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를 선물하세요.
-
엔제보다 실모 많이 풀면서 실전 연습하는게 좋나요?? 9모 3인데 엔티켓 무난하게...
-
응. 알아.
-
이번년도 설맞이 0
공통 미적 좋나요?? 작년에 풀었었는데 다시풀 가치가 있을까요 실모풀면서 빠르게...
-
월선헌 맛 좀 봐라!
-
김승리 아수라 들으면서 김상훈 독서론, 그릿 하고싶은데 분량 너무 많을까요?...
-
풀어야되나요 시즌 1부터 시즌 6까지 나오는건가요? 시즌 1부터 풀어야되너
-
지진대비용 ㅋㅋㅋㅋ
-
올해 9모 존나 쉽긴했지만 찍맞없이 88점이면 많이 오른건가요...?
-
https://www.seoul.co.kr/news/economy/industry/2...
-
. 1
배고프다 가면서 머 사갈까..
-
불가능은없다 1
긍정적인사람이되기로했어요
-
국어 기출의미래 문학 갈래복합 30~46번 독서 기술 1~8번 화작 34~44번...
-
와충격적인걸봣네 1
실모쉽다면서 이번수학 80점대면어카자는거지
-
1컷 98인데 뭔 논란이노 ㅋㅋ 이 시험은 삼수 지방대생도 88점 나오는 시험인데...
-
이 성적에서 수학 2컷 받고 사문 다맞으면 연대 교육학 ㄱㄴ..?
-
개무서움 안방에서 자야겟다 오늘
-
국숭 > 인하 = 아주 = 세종 > 단국 이런 순인가요...? 이과였다가 문과로...
-
그러면 확통시험지 안치워도 돼서 좋은데
-
발걸음이 뜸하네..... 앞으로도 접속 빈도 많이 낮을 듯. 공부나 하러가야징~
-
수시카드 대충 정했다 11
-
국어 6모 73점 9모 87점으로 간신히 3 붙잡고 있습니다.. 국어가...
-
끝까지 평변으로 풀다가 전사함 ㅋㅋ
-
연속3개 여러번나와서 틀린줄알고 고치면 원래가 맞고 이젠더이상속지않아 연속나와도...
-
수특 연계를 공부해야 국어 문학 시간이 줄어들겠구나 싶어서 연계를 공부하려고...
-
6모 80 9모 88인데 해도 되나요?
-
되는 거엿어..? 난 건드리면 안되는 줄 알았ㄴ느데...?
-
디랩 사이트에 나와있는 컨텐츠 아니면 학원에서 구하기 힘든가요 강대k라던가 크럭스라던가
-
메가패스 있습니다 쪽지주세요!
-
9모 끝나고 기분이 심숭생숭해서...자괴감이 너무 드는데 내일부터 열심히 하면 되겠죠ㅠ?
-
https://orbi.kr/00069092010
-
수학 고정 1이구 미적선택러입니다. 두각이라는 학원에 처음 다녀보려하구요 ! 정병호...
-
시간은 12시 반까지.. [소개] (모두 현장 응시) 2022학년도 6월 모의평가...
-
투데이가 원래는 20 언저리 찍히는것이 왜 100 가까이 계속 꾸준히 찍히지
-
모교에서 접수했는데 교부일 등이 공란이네요 평일에 한번 확인해볼까요 일단 도장이랑...
-
정답은 2번
-
ㄷㄷㄷㄷㄷ 이게맞나...
-
오르비는 참 1
따뜻해 잠시 잊고살았어 ㅎ 아닌가
-
9모 92( - 28 30) 입니다 ㅠ 30번 거의 50분동안 풀었는데 못 푼거...
-
30은 능지 + 시간 부족 문제로 풀 수가 없었습니다
-
[Team. KUKLL] 기습 국어, 학습 관련 질문 받습니다. 15
필자들 경력 국어 모의고사 백분위 평균 99, 22수능 1틀 과외 수강생 현재...
-
어느정도로 예측되나요 중간2?
-
물론 자기가 생각하기에 goat 인 물리1 n제를 배출하고 가세요 ~ 된다면 지1도...
-
막상 다시 보니 그리 엄청 어려운건 없는데 걍 공부 많이 해서 그런거겠죠? OZ...
-
9평으로 최저 봐야되는데 수학이 백분위가 69->76으로 올라서 3이 되긴했는데 걍...
-
물론 이번엔 국수 둘다 핵물이라 표점 스케일 자체가 엄청 작아지긴 했는데 보통 둘중...
-
있으신가요? 자작문항 만들때 참고하겠습니다 그리고 아마 내년에 N제...
첫번째 댓글의 주인공이 되어보세요.