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를 선물하세요.
-
수학만 안정 2등급 맞으면 목표 대학에 엄청나게 가까워지는데 이게 마냥 쉽지가...
-
여기여기 붙어라~!!
-
다 의대설경스카이 가려고 삼수하는줄아나 난 뭐가되노 ....... 국민대 픽미픽미핃미업
-
ㅈㄱㄴ 면접 보면 걍 무난하게 볼수있을듯요.... 최저 없는 학종일때 면접 껴있는게...
-
뭔가 터닝포인트 계기가 필요함 이번수능은 내 인생에 있어서 소중한 기회인데 ㅂㅅ같은...
-
이때까지 준비 안했으면 사실상 못붙겠죠? 그냥 속는셈치고 써볼까요.. 원서비 비싸서...
-
강대K 17회 0
18번틀 97 ㅅㅂ 개인적인 난도 : 28>>>>>>>나머지
-
여기서 수리논술 두개 지원할수 있다고하면 뭐뭐 지원하실건가요? 최저는 다 맞춘다는...
-
리 미제라블 1
공부해야 되는데 여기 너무 꽂힌듯요;;; 진짜 수능 금지곡 급인데
-
빵집이니까 당연히 팔겠죠? 한번 먹어보고싶다 그보다 파리바게트 고로케는 항상 다 팔렸네요
-
어려운 3점~준킬러 정도 난이도라고 가정했을 때
-
틀딱이라 그런가 너무 변한거 같음 고3인데 낮에 학원 오던데 맨날
-
제 성적으로 하향 고려해서 최전선이 어디쯤 나올까요? 0
일반고 3점대입니다. 기균(기회균등,고른기회,사회배려자) 해당자이며, 생기부...
-
저희 아빠는 농삿일 하셔요 요즘 한창 농사철이라 맨날 새벽 5시에 나가셔서...
-
어떡하죠
-
삼수 이대면 진짜 잘간거같은데 사람들마다 많이 다르게 생각하네 아 내 인생
-
6모 3등급이고 9모 3등급입니다 보통 듣기+쉬운문제 다 맞추고 몇문제 찍어서...
-
건대 논술 중문이랑 국문 뭐가더 빡샐까요.
-
백분위 6모 98 9모 93인데 9모에서 충격받아서 빡시게 공부하고싶은데 해보신...
-
수학 엄청 한다던데
-
6모 88점 9모 96점(기하) 로 둘다 아슬아슬 1 뜨긴했는데 솔직히 확실하게...
-
그 사실 자체에는 삼수니 부모님 배경이니 하는 정보가 있거나 말거나가 되는 거임 걍...
-
뭔가 미래를 바꿀 것 같다는 필이 오는 회사
-
오르비한다 => 온통 수능얘기 공부얘기라 자연스레 공부에 관심갖고 하게됨 일주일동안...
-
ㅇㅇ
-
한 70개정도 풀고 수능보겠구만
-
w 가슴 사각가슴 v가슴 구분 함? 헬창들만 따지는 거 같은데
-
아주대 약대 1
아주대 약대 논술 다른 약대에 비해 빡센가여!?
-
궁금한디
-
나도 했어.
-
6일하고 슬럼프 3일간 쳐놀고 9평치고 수능접수하고 지금까지 1초도 공부안함 <-...
-
인기과는 경쟁 심하다고 듣긴 했는데 문사철 -> 경영 or 산공 or 생명공은...
-
. 6
.
-
생윤 고수님들 15
1.갑은 야생동물이라서 테일러라고 판단해야하는건가요?(레건은 야생동물 인정...
-
소통해요 3
네.
-
근데 진짜 이해가 안가서 그러는데 사문 3번에 걍 답이 4번인데 왤케 ㅈㄹ들임? 0
?임정환 견들임?
-
옛날만큼 괴랄한 지질도 못 냄? 그 교육과정 지침서에 뭐하지 말라고 되어 있잖슴...
-
탐구는 어떻게 공부하나요? 저는 수특 수완 1번씩 돌리고 기출 3개년 풀어보려하는데...
-
22번까지 시간만 있음 다 풀수 있는 실력이긴한데 성대논술 써도될까요? 성대는...
-
계속 좆망하네 ㅋㅋㅋㅋㅋ
-
아닌 거 같은데.. 솔직히 17번 자료 생소한 거 빼면 2311 20번마냥 글케 막...
-
학교에 정보 가는거 학종은 없음? 방금 지원했는데 왜 없지
-
고려대 논술 최저 인문계 사1과1 되는거죠?????/ 1
모집요강엔 인문계 : 사회탐구, 과학탐구 이렇게 돼있는데 그럼 논술 최저로는...
-
나오나요오?
-
사실 논술 자체보단 수능 수험장에서 논술이 있으니 괜찮아 라고 생각하는게 도움이...
-
사탐이고 생윤 세지 합니다 9모 망했어요 둘다 3이하 수학안해서 탐구 시간은 확보가...
-
비만세포가 분비하는 라이소자임에 의해 염증 반응이 나타난다 ( ) 형질세포에서...
-
ㅈㄴ 상남자들임요 나도 다음생에는 수학 잘하고싶다.
야해오