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
대부분 모든 강사가 알려주나요? 누가 가장 맛있게 알려주나요
-
설대 정시 6
고1 정시파이터가 빡세게하면 설대 정시 가능한가요
-
갑자기 불안하네 설마 학교 가서 시키는거 다 했는데 접수 안된 경우도 있음?
-
쉬는시간마다 릴스 보는데 도파민러쉬올거같아서.. 힐링되는 책 추천좀 해주세요
-
포기하고 싶어요 3
3수생인데...매일매일이 괴로워요 9월전까지 열심히 했는데 이젠 지쳤어요 다...
-
미국주식,코인선물,해외선물로 2천 날렸는데 이게 요즘도 반복적으로 꿈에 나와ㅠ
-
등록금 엄청 싸던데 1학기 휴학 ㄱㄴ?
-
섭입형 경계에서 호상열도가 생긴 상황입니다. ㄷ 선지가 왜 맞는지 모르겠습니다
-
당일 하루 독재 휴일인데 할머니네 당일치기로 갈까요? 아니면 집에서 쉴까요?...
-
'증원 의대' 본격 지원…의학교육 개선에 2030년까지 5조원 투입 3
교육부 2조+복지부 3조…내년 총 1조1천641억원 투자 국립의대 교수 3년간...
-
왜냐면 제 지인도 그랬었음 수능접수에 관해서 평소에 전혀 생각 안 하고 살다가...
-
재수생 정시러입니다 수시 쓸 생각이 아예 없었는데 주변에서 인문 논술이라도 써보라고...
-
26수능 설대 0
26수능 볼건데 자퇴하면 설대는 거의 불가능잌 거 알고있음 근데 연고대 밑으론...
-
용돈 겟또 2
솩실모 질러야징
-
감으로 풀다가 수능때 제대로 말아먹었는데 나같은 사람 또 있나요?
-
그냥 내용이 전부다 도형에 관련된 방정식 공식 외우는 내용이던데 맞나요 이해보단...
-
44년 만에…"한국보다 더 심각"하다고 난리 난 나라 [김리안의 에네르기파WAR] 1
이 기사는 국내 최대 해외 투자정보 플랫폼 한경 글로벌마켓에 게재된 기사입니다....
-
다들 냥대 인터칼리지 자연 쓰시나요 인문 쓰시나요? 제 친구들 다 자연 쓴다던데.....
-
내후년 목표긴해도 한 번 현장감을 느껴보긴 해야하는데,
-
37만원,,,, 3
ㅋㅋ,,,, 돈 없는뎅,,,ㅠㅜ
-
이번 9모 현역 0
국어 90 수학 93(19 21 계산 틀...) 영어 98 생2 42(1번...
-
리트 좋아여?? 그냥 국어 n제랑 리트중에 뭐가 더 좋을까요?
-
모의고사 지문이랑 문제 어떻게 편집해서 넣으시나요? 과외용으로 짧게 만들어보려고...
-
내신 2.48에 다 물리학과 건국대 종합 약상향 국민대 종합 안정 (3년동안...
-
영어 실모 0
6모 76(듣기,요지 틀), 9모 72(듣기 2틀, 일치불일치 틀) 자꾸 한 끗...
-
반 년간 유기했더니 9모에서 하나 틀렸네요 ㅜㅜ 근데 하나 틀렸다고 백분위 91이라니.. 엉엉.
-
고등학교 자퇴하고 현역땐 커뮤 실컷보고 학원도 다니고 그랬어서 원서 접수 그냥...
-
여기도 마찬가지로 수리논술 없고 인문논술 문항이 끝인거죠>?
-
아니 진짜 잘 아시는데 왕도 아니고 대신들 이름 보고 정책 떠올리네 을사조약에서...
-
누가누가 더 정확히 잘 아나 이러면 내신이랑 뭐가 다른지
-
물1... 물2.....?!????...
-
나도 오늘부터 국민의힘 지지하면 투자고수 되는거임?
-
공하싫 0
근데 뭐 오늘 하나 안하나 수능날 안달라지긴 해 라고 하면 뚝배기 처맞아야지
-
제발ㅋㅋ
-
수능 0
9모 과탐(생명1) 5, 사탐(사문) 5 생명1은 2학년 때 하고 별로 안하고...
-
명량해전의 교훈 0
출처:...
-
현재 고2인데 내년 사탐런 하려고 하는데 추천하나요? 목표는 건홍동 중경외시 공대고...
-
수리논술 포함 없이 인문논술 문항 2문제가 끝인가요? 다른 학교는 사회계열이어도...
-
메디컬논술을 쓰면 이길 수 았나? 그런애들이 지금도 쓰고있는거?
-
뒤에 문제 단원별로 모아둔거있던데 첨보는게 개많음 원래그런건가요
-
스카 가는데 왜 안씻어 공부하는데 왜 안씻어 냄새나는데 왜 안씻어 발바닥에 땀나서...
-
이게 현시점에서 실모 풀이랑 더불어 점수올릴 현실적인 방안이겠죠?
-
좀 웃김 ㅋㅋㅋ 지들도 자기처럼 생긴 사람이랑 안 만나고 싶고 이쁜사람이랑 만나고 싶으면서..
-
이거 어케해요 2
하사십 시즌1 10회차 10번 문제인데요 해설 마지막 줄 cos(bx)>=0이...
-
5의논 박았다 1
이제 논술공부를 시작해볼까
-
재수생 추석 0
설 때 한 번 가고 그 뒤로 한 번도 안 내려갔는데 가야겠죠? 이제 연세도 있으셔서...
-
진짜 집중도안되고 개좆같다개씨발거
-
작년에도 1차 떨어졌어서 이번에도 떨어질게 뻔한데 엄마가 내 동의 없이 강제로...
야해오