Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://ys.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를 선물하세요.
-
애들도 나 커뮤하는거 아는데 내가 작년 11월달쯤부터 사탐런 해라 안하면 손해다...
-
한달 컷 합격 드간다
-
수능전까진 논술공부 안 할거고 수시 안 쓰기는 좀 그래서 몇장 쓰려는데...
-
미창친 돌아와 1
요즘 너무 안오셔
-
논술핑 교과핑 수시핑 정시핑
-
연애하고 싶다.. 자야지..쩝
-
근데 인서울 하면 신분세탁 하고 알바해서 인플루언서 흉내나 낼 듯 개명 탈색...
-
수시 메디컬 0
수능 성적 어느 정도면 수시 메디컬로 가도 개꿀빨았다는 소리 안 나올까요? 갑자기...
-
그냥 상향도 아님 ㅈㄴ우주상향임 모두들 정시파이터를 납치해가시길..
-
하 0
시불
-
항상화가나있어
-
오야스미 1
네루!
-
논술 첨보는데ㅜ쓸까 고민중인데..난이도 어떤가요?? 강의실에서 보나요 아니면...
-
9모에 냈던 백석 시 그대로 있네 9모 났으면 문항 교체 해주지
-
있나?
-
물1 지1인데 지금이라도 물1 버리고 물2 할까? 물1 개념 기출은 다 돌림
-
정신적 힘듬 2
진짜 정신병 걸린 것 같고 아직 고2인데 대학 못가면 인생이 끝나는 것 같고 자사고...
-
너무 당황스럽네 갑자기
-
답이 있음에도 불구하고 오답을 향해 불나방처럼 달려드는 수험생을 보니 이건 특별법...
-
ㅋㅋㅋ똥 2
ㅋㅋ발싸
-
6논술 2
주변에 쓰는 사람 많나요?
-
제가 못 찾은것 같긴한데 따로 등급컷 집계는 안하나요??
-
연대 인문논술 2
과 별로 합격컷 공개 안 하나요? 보통 사회보다 인문 컷이 높은가요
-
84 96 87 47 45 보니까 영어 지구도 좆됐네 홍대 탈출 언제 하리오
-
이번 후반기 네카라쿠배 0명 (한자릿수이야기 아니고 아예안뽑)아닌가?
-
왜클릭.
-
학교이서 혼자 묵묵히 사탐하나
-
안된다고하던데 허락맡고 썼다는 분들은 뭐죠?? 부정행위인가
-
나음? 둘다 노베일때.. 생1지1에서 사탐런치려고요
-
신분세탁 0
살면서 세명 봤어요 00년대 후반에 공선법에 기타등등 위반으로 학교 한 십년살고...
-
드릴 4,5 김기현 커넥션 엔티켓 수능완성 무엇을 풀어볼까요 흐흐
-
이번에 재수하는 수시&정시생입니다. 작년에 서울대 1차(경제학부)붙었으나, 면접에서...
-
아가취침 2
코코낸내
-
오늘 공부한 시간 - 5시간 53분 오늘 한 공부 수학 - 리버(학원 교재)...
-
ㅈㄱㄴ 원래 수시정시에서 가장 입결 낮을만한곳 노려야 낫나요 철학과같은거 아님 큰상관 없나
-
목포약 접수완료 1
드가자
-
치타가 달린다 0
가보자가보자
-
ㅈㄱㄴ
-
추합 많이 돌거 같나요??
-
경의 vs 성의 0
일반고고 내신은 1.3x고 생기부는 좋다는 평 많이 들었는데 남은 수시 1장 어디가...
-
한완수 파트2 1
수1,수2 시발점 들었는데 한완수 파트2가 실전개념 이니까 뉴런 대신에 들으도 될까요?
-
재수학원 쌤이 알려준대로 5개는 일단 썻는데 하나가 고민됨 딱 적정인 학굔데, 난...
-
감금이는 비교 싫어하는 앤데 설마 저걸 자기가 했을까 2
메가 홍보실 쪽에서 그냥 감 없는 짓 한 거지
-
본인 현역 때 : 일반고 내신 4.2, 3적성(나때는 적성고사란 게 있었다우..)...
-
요번에 3차(23일부터하는) 강k9-12 신청했는데 기어n 공통미적 둘다 왔는데요...
-
3분만 더 줘도 점수 꽤 오를거 같은데 2문제 정도 못보고 끝나니까 잘치기가 힘드네
-
만약 그전에 출몰하면 가진덕코 다뿌리고 진짜탈릅함 하루 6시간 공부는 좀 아니자나..
-
사람이 너무 간사하게 나옴 찬우쌤 ㅜㅜㅜㅜㅜ 그런 사람 아닌데
-
공부하다 5
빡칠때 어케함요ㅜ 요즘 풀다가 틀리면 너무 빡침ㅜ
야해오