Chern-Simons invariant in hyperbolic 3-manifold
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
귀가가 왤케 늦은거실까요..
-
글리젠이랑 댓글에 비해 조회수가 잘찍힘
-
문헌정보 넣었음 생각보다 작년 논술의 경험이 남아있는 거 같음 이왕 지원한김에 열심히 달린다
-
지금까지 안자는게 ㄹㅈㄷ
-
꼬끼꼬기 물꼬기는 어디어디오디에?
-
ㅈㄱㄴ
-
얼굴보면 화존나 남 이유는 모르겠음 못생긴것들이 특히 뭐 재능잇어서 예를들어...
-
세줄요약: 4등급 친구가 늦었지만 최저 맞추고 대학 가고 싶다고 함 안정 3만 뜨면...
-
[연세대학교/고려대학교 프라이빗 캠퍼스 투어 – 연고대 학생과 함께하는 생생한 캠퍼스 투어] 0
[연세대학교/고려대학교 프라이빗 캠퍼스 투어 – 연고대 학생과 함께하는 생생한...
-
외가 친가 상관없이
-
재능이없늠부분 스탑하고 재능잇는거 찾아서 발 돌리는것도 중요하고 무지성 엔수 박지마셈
-
이감 시즌5 하고 시즌6까지 할지 김승리 총정리과제 할지 고민중인데 연계 챙길...
-
아르케아개어렵네 2
뉴비첫판 손이어케삼차원으로움직임.. 이런사람들이기하하는구나
-
걍 아수라커리 8주동안 대가리박고 죽었다고 생각하면서 타겠음 아수라 + 실모면...
-
왜 1회차는 순한맛이더니 불맛으로 변했냐 쩝..
-
하나라도 3뜨면 못가져?
-
그냥 ㅈㄴ 문풀이 답인가
-
당장에 서울시립대 논술 때문에 기하, 확통 개념 해야 하기도 하고 애초에 최저가...
-
지구 영어만 1등급씩 올리고싶다
-
서울대 공예과 23611로 갈 수 있나요? 좀 무리일까요... 서울대만 보고...
-
문개정 완강하고 나서 여태껏 연계위주로 공부했어요… 반수생이고 이번 9모 83점...
-
70후반에서 80초반 나오고 21-24에서 은근 틀리는데 시대인재 라이브 강좌...
-
수험생은 아닌데 펜이 손에 안잡혀.. 수업거부운동중
-
작년에 재수하기전부터 제 학교 까내리는 친구가 있었는데 이번에 기숙에서 휴가 나와서...
-
이렇게 만들면 안되나? 대학교 수도 좀 많이 줄이고 아 근데 또 지역마다 입결...
-
와 진짜... 아니 쌓을만큼 쌓은거 같은데... 아직 아닌건가?
-
어느 순간부터 첫문단을 날려읽었네... 아니 왜 습관이 이따위가 됐지?
-
이시발겅ㄴ 그냥 시발 나 화장실에 이삽ㄹㅍ 배관이 씨발어떻겓해챠먹란지ㅣㅈ는 못하도록...
-
똥 3
ㅇㅇ똥
-
좋아요
-
최애의 아이 분석 요약하면 카나가 최종 히로인임 최애의 아이는 장르가...
-
교과로 적정이나 하향 어디가 있나요..?! 기균도 쓸 수 있는데 기균 적정도...
-
짝사랑녀가... 나를좋아할수가없는구조임 내가여자라서... 걔는 뼛속까지...
-
안쓰는게 맞겠죠?
-
하루에 그 책만 15시간 본다는 가정 하에
-
궁금하네 채점 기준이라던지 일단 연논은 채점 기준 제공 안하는것같은데
-
영어 2등급 진짜 어떻게 띄우나요. 3따리인데 일단 읽는 속도가너무 느립니다....
-
메가 vs 대성 7
고2 노베이스입니다. 국어 5 수학 4 영어 6 떴는데요 내년에 인강 패스를 뭐...
-
옛날에는 한의대 안 가고 교대가던 사람들도 있었는데... 0
시간이 많이 흘렀네요...
-
쓰고싶었던 학교가 탐구 2개 평균으로 수능 최저 맞춰야하는 학교라서 탐구를...
-
. 2
굿나잇
-
오해는 충분히 생길듯
-
서강대 중앙대 안 쓰는게 맞겠죠?
-
얼마 전 잇올 나가고 백수의 삶으로 전환한지 며칠이 채 지나지 않아 같이 잇올...
-
남은 원서 4장 다 최저 없는걸로 한양대 자전 학종 성균관대 자전 학종 성균관대...
-
가천대 AI/SW학부 아니면 응용통계학과를 넣어보려고 하는데 둘 다 비슷한것 같아서...
-
너무하기가싫은... 체력소모도 너무커요...
야해오