Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://iu.orbi.kr/00068864906
Definition (Chern-Simons 3-form). Let $\pi:P\to M$ be a smooth principal $G$-bundle. Suppose we are given an $\mathrm{Ad}$-invariant symmetric bilinear form $\langle\cdot,\cdot\rangle:\mathcal{g}\times\mathcal{g}\to\Bbb C$. (i.e. $\langle\mathrm{Ad}_ga,\mathrm{Ad}_gb\rangle = \langle a,b\rangle$) The Chern-Simons 3-form $\alpha$ of a connection $\omega\in\Omega^1(P,\mathcal{g})$ is
$$\alpha(\omega) = \langle\omega\wedge\Omega\rangle - {1\over 6}\langle\omega\wedge[\omega\wedge\omega]\rangle = \langle\omega\wedge d\omega\rangle +{1\over 3}\langle\omega\wedge[\omega\wedge\omega]\rangle\in\Omega^3(P,\Bbb C).$$
In particular, if $M$ is a compact oriented smooth 3-manifold with or without boundary, and if there exists a smooth section $\sigma:M\to P$, the Chern-Simons invariant is
$$\mathrm{CS}_G(M,\omega,\sigma) = \int_M\sigma^*\alpha(\omega)\in\Bbb C.$$
물론 여기서 Chern-Simons 3-form의 각각의 항에 대한 설명이 필요하다. 보통 $\mathcal{g}$-valued form의 wedge product는 다음과 같이 정의한다: 만약 $\alpha = \alpha^iE_i$, $\beta = \beta^jE_j$, 여기서 $E_i$는 $\mathcal{g}$의 basis를 뜻한다. 그러면 각각의 $\alpha^i$와 $\beta^j$는 differential form들이고, 따라서 wedge product가 이미 정의가 되어 있다. 따라서,
$$[\alpha\wedge\beta] = \alpha^i\wedge\beta^j [E_i,E_j]$$
로 정의를 한다. 다시 말해서, coefficient들의 wedge sum을 하고 basis들의 Lie bracket을 이용해서 정의한다.
따라서, Chern-Simons 3-form에서 각 항들은 wedge product의 coefficient들에 주어진 bilinear form $\langle\cdot,\cdot\rangle$을 적용해서 정의하는 것이다.
만약 $G$가 Lie group이라고 한다면, $\langle\cdot,\cdot\rangle$은 $\Bbb R$-valued로 보통 다음을 사용한다:
$$\langle a,b\rangle = -{1\over 8\pi^2}\mathrm{tr}(ab).$$
예를 들어, oriented Riemannian manifold $M$이 있을 때, frame bundle $FM\to M$을 항상 associate할 수 있는데, 만약 $\nabla$가 Levi-Civita connection이라고 한다면, Chern-Simons 3-form of $\Delta$는
$$\alpha(\nabla) = -{1\over 8\pi^2}\mathrm{tr}(\omega\wedge\Omega - {1\over 3}\omega\wedge\omega\wedge\omega) \in\Omega^3(FM,\Bbb R)$$
가 된다. 참고로 위의 $\mathcal{g}$-valued form으로의 대응은 다음의 대응 관계로 다시 볼 수 있다:
$$\{\text{metric connection }\nabla\text{ on }TM\to M\}\leftrightarrow\{\text{principal }SO(n)-\text{connections }\omega\text{ on }FM\to M\}$$
* 참고로 Principal $G$-bundle에서의 connection 1-form은 원래 connection 1-form과 좀 다르게 정의하는데, 원래 connection 1-form은 local하게 밖에 정의가 되지 않는데, principal bundle의 경우에는 global하게 정의할 수 있다.
$\omega\in\Omega^1(P,g)$가 connection 1-form이라는 것은, (1) $\omega_p(\underline{X}_p) = X$ for any $X\in\mathcal{g}$ and $p\in P$, (2) $r_g^*\omega = \mathrm{Ad}_{g^{-1}}\omega$ 인 경우를 말한다. 여기서 $\underline{X}_p$는 소위 fundamental vector field라고 불리는 것인데,
$$\underline{X}_p = d/dt|_{t = 0} p\cdot e^{tX}\in T_pP$$
로 정의한다.
$\omega_p$는 canonical 한 choice가 있는데, 만약 $v:T_pP = V_p\oplus H_p\to V_p$가 vertical component로의 projection이라고 한다면, $V_p$는 $\mathcal{g}$와 $G\to P, g\mapsto p\cdot g$의 tangent map에 의해서 identify할 수 있고, 따라서 $\omega_p = v:T_pP\to\mathcal{g}$로 정의할 수 있다.
참고로 이러한 connection 1-form이 principal bundle에 정해져 있으면, 1-form의 kernel로 horizontal distribution을 잘 정의할 수 있다.
왜 이런식으로 Chern-Simons 3-form을 정의했는지 의문이 될 수 있는데, 한 가지 계산을 통해서 알 수 있는 것은
$d\alpha(\omega) = \langle\Omega\wedge\Omega\rangle$이 된다는 것. $\nabla$에 대해서는
$d\alpha(\nabla) = -{1\over 8\pi^2}\mathrm{tr}(\Omega\wedge\Omega)$가 된다. $[\mathrm{tr}(\Omega\wedge\Omega)]\in H^{4}(M)$가 Pontryagin class인 것을 상기해보면, Levi-Civita connection의 Chern-Simons 3-form은 Pontryagin class의 potential로 정의된다는 것을 알 수 있다. 일반적으로, 홀수 $p=2n-1$에 대해서 Chern-Simons $p$-form은 $[\mathrm{tr}(\Omega)^{2n}]\in H^{4n}(M)$의 potential, 다시 말해서 $d\alpha_{2n-1} = c_n\mathrm{tr}(\Omega\wedge\cdots\wedge\Omega)$인 $p$-form on $M$을 말한다. 여기서 $c_n$은 그냥 아무 constant나 잡아도 된다.
정의를 보면, Chern-Simons invariant는 global section에 depend가 된다. 우리는 적절히 mod를 해서 Chern-Simons invariant를 global section에 depend하지 않도록 하고 싶다. 이걸 위해서는 global section에 얼마나 CS-invariant가 변하는지 알아야 한다.
이러한 dependence를 반영하는 공식이 있는데, $\varphi:P\to P$를 smooth fiber bundle isomorphism이라고 하고 $g_{\varphi}:P\to G$를 $\varphi(p) = p\cdot g_{\varphi}(p)$로 정의하자. (앞에 나온 $p$에서의 fiber와 $G$와 identify를 하는 map이다.)
Proposition. Let $\varphi:P\to P$ be a bundle isomorphism. Let $g = g_{\varphi}\circ\sigma$.
$$\varphi^*\alpha(\omega) = \alpha(\omega) + d\langle\mathrm{Ad}_{g^{-1}_{\varphi}}\omega\wedge g^*_{\varphi}\mu\rangle - {1\over 6}g^*_{\varphi}\langle\mu\wedge[\mu\wedge\mu]\rangle.$$
In particular,
$$\mathrm{CS}_G(M,\varphi^*\omega,\sigma) = \mathrm{CS}_{G}(M,\omega,\varphi\circ\sigma) = \mathrm{CS}_G(M,\omega,\sigma)+\int_{\partial M}\langle\mathrm{Ad}_{g^{-1}}\omega\wedge g^*\mu\rangle - {1\over 6}\int_M g^*\langle\mu\wedge[\mu\wedge\mu]\rangle.$$
$G = SO(3)$인 경우에는, 가장 마지막 term은 $2\Bbb Z$라는 것이 알려져 있다. 따라서, $\bmod{\Bbb Z}$에서는 $\mathrm{CS}_{SO(3)}(M)$은 $\Bbb R/2\Bbb Z$에서 잘 정의 된다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제가 최저땜에 생1이랑 지1 중 수능때까지 하나만 공부하고 하나는 버릴 생각인데,,...
-
접수 열리자마자 지원한 표본은 어떤 표본이라 봐야 할까요
-
앞에 쉬운문제들중에 풀이좀 보고 싶은거 있는데
-
인생이 무료함 1
맨날 같은시간에 같은공간 같은자리 가서 같은 책 피고있으니까 진짜 존나하기싫음 너무...
-
으앙 0
난 재수하고말거야
-
방금 풀어봤는데 5개 틀림
-
같은 날에 있는 고경이랑 경한 시간 안겹쳐서 둘 다 쓸까 하는데 솔직히 경한은 논술...
-
아직도 잊을 수가 없음.. 수능 당일이 아니더라도 원서접수철 전까지 내내 재밌어요...
-
“최저 임금”
-
죽었다 깨어나도 항공대인데 이 성적 유지하면 됨?
-
97일차
-
수시 0
여러분들이라면 어디 갈 거 같나요? (대구에 살고 있는데 위에 가도 괜찮음)
-
9평뒤로 자신감이 많이 떨어짐 분명히 22수능때 47점을 받았었는디....
-
증원이슈 필수의료패키지 건보료이슈는 죄다 반박하는데 이 이슈에는 반박도 안하고...
-
얼굴로 빨죠?
-
지구과학 커리 0
오개완- 오기분- 수특- 유자분- 코어특강-수완- 선300제하고 잇는데 지금...
-
논술 라인을 어떻게 잡아야할지 고민이 되네요... 혹시 상담 가능하신분있으시면...
-
2103수학 61분 88점 1등급 15 21 22는 늘 그렇듯 던져버림 태어나서...
-
교재에 하는게 베스트긴한데.. 회독도 해야하고 여튼 그래서 공책에 하는건 어떤지...
-
논술 숙소 4
23일 토요일에 이대치고 24일 일요일에 외대 치는데 어디로 잡는게 좋을까요? 지방...
-
난이도 차이 많이 나나요?
-
과학지문 두개틀리고 화작 두개틀려서 총 네개 틀림!! 비문학이 문제인걸가요...
-
아미노산! 하하!
-
붙을 가능성 얼마정도로 보시나요? 가능할까오? ㅜㅜ
-
멘탈잡고 인문논술학원 등록했습니다 아빠랑 처음에 전화했을 땐 아빠가 엄청...
-
아니면 최소한 이정도는 갈거같은 대학라인 얘기좀해주세요 수능끝나고 결과올림
-
안녕하세요. 올해 오르비북스에서 수학 실전모의고사를 출판한 김지헌입니다. 이번 칼럼...
-
뉴런 미적분에서 이건 꼭 들어야한다 라고 생각하는 theme이 있나요?
-
언매 공부를 작수 이후로 거의 안했는데 모의고사 보면 하나정도 틀려요 마지막으로...
-
전과목 1.9x 국영수과 1.7x 특이사항: 3년치 영어 1.1x? 1.0x 수학이...
-
국어 인강 안듣고 독학하는 사람인데 김승리t 아수라일지라도 도움될까요? 6 9 2등급입니다.
-
작년 논술 합격자인데 현장에서 답 도출했던 과정 설명해드리면 도움되실거같나요
-
자전 만든다고 원래 과 인원 반토막 이상으로 줄어서 너무 고민됨... 자전 신설이라...
-
뭔가 냥대급에서 관광은 뭔가...
-
9모 44 오리온 vol.1 + vol.2 폴라리스 vol.1 + vol.2 수특,...
-
[권희승] 유전 문제 맞추면 스벅 (+지난문제 해설, 추석특강 개강 안내) 68
안녕하세요! 생1 강사 권희승T입니다. 오늘은 지난번에 업로드했던 세포분열 문제에...
-
남자는 서강대만 판다.
-
문과기준 본인이 비문학에 자신이있다 그럼 질러라 본인이 사탐을 특출나게 이해를잘한다...
-
사실 정답이란 건 없습니다 의치한약수를 못 가면 안 된다, 거길 가면 인생이 달라질...
-
수시로 하나만 쓰라면 어디를 쓸거노..? 참고로 지방출신임
-
수학 쌉허수입니다 6모는 3-4 였어요 이번에 공통 미적 24 25 26 실수로...
-
수학 질문 0
2~3초반이 뉴런 2회독하면서 단권화하는 거보다 더 좋은 방안 떠오르면 추천 좀...
-
수능판에 있는지 벌써 5년 현타가 온다 내 나이 또래들 보다 다양한 경험을 했다고...
-
제가 사회학 철학 국문 미디어로 채웠는데 좀 불이익 있을까요???
-
수능이 얼마 남지 않았구나...
-
서강대학교 정치외교 경북대학교 정치외교 나머지 4장 어디쓰지..
-
난이도가 그렇게까지 극악하진 않은듯..?
-
수시 접수 0
수시 원서에 추가번호에 연락처 적으면 합격연락말고 다른 연락도 가나요?
-
일반고 정시파이터인데 2학년 때부터 내신을 놔서 4등급 초반입니다. 이번 9모...
-
올해는..진짜 대학가고싶네요 남은 기간 진짜진짜진짜 최선을 다해봅시다 다들
야해오