Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://i.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를 선물하세요.
-
오르긴 한걸까요..?! 힝 ㅠㅠㅠ
-
재미로 쓴거지만 유용한 정보도 나름 있습니다 참고로 특정 직업 비하의도 없습니다...
-
그리고 학교에서 원하는 풀이랑 달라도 논리적으로 틀리지만 않으면 ㄱㅊ?
-
교과 몇등급까지 합격할까?? 올해 지역인재 50 명 뽑던데 내신 2점대 넘어걸라나 ??
-
요즘 이기상 선생님이 너므 잘생겨보이고 ..저런 남자랑 사ㅜ기고싶다라는...
-
동생이 우울증이 심한데 16
어떻게 해야 고쳐줄 수 있을까요 우울증보다는 건강 염려증?으로 인한 불안증세...
-
아파서 집중이 안돼 집중이 안돼서 실모 점수가 낮아 실모 점수가 낮아서 스트레스...
-
과 상관없이 그냥 같은 논술 실력으로 붙을 확률 1퍼라도 올리고싶은데 식자경...
-
사촌형이 4
몇살부터 지방오면되냐고 물어본다. 그거 부모님도 같이 내려와야되는거임? 지금 초등학교 4학년임
-
징계가 어느수준이고 생기부 이미 마감된 차에 대학입시에 불리한것도 없죠??무단 쌤이...
-
사회문화와 세계사 하는데 각 탐구 n제 추천해주세요 백건아와 윤성훈 커리는 다...
-
고경이 나쁠게없음 연경쓰고 안됐는데 다 컷나와서 연고대 경영 다못쓰는 상황 됐을때...
-
문제는 10번을 틀림ㅋㅋㅋㅋㅋ (나머지 다맞음)
-
저는 아웃서울 인지방을 외칩니다
-
다들 모래주머니훈련하는건가
-
경쟁률 빨간불뜨네 역시 전국 5개뿐인 언어학과 인서울 2개 뿐인 언어학과 대 고 려
-
고려대 학우 2
재수생이고 1.45에 생기부 의대생기부인데 고려대 쓸만한 과 뭐있나요 생화12다 들었습니다
-
3합6인 데랑 3합5인 데 있던데 수능성적표 나오고 나서 실질경쟁률 차이 많이...
-
안녕하세요 독서 칼럼 쓰는 타르코프스키입니다. 법학 분야에는 다른 학문들과는 다소...
-
근데 저거 생물 도대체 누가 붙음??
-
이거 이렇게 그리니까 3사분면에 교점 1개인 모양으로 k무한하게 나오는 거 같은데...
-
슈카형 화1 떡락도 한번해줘
-
그동안 고점플레이하다가 쳐박은게 5만개는 되는듯 국어 하방 80 수학 하방 84...
-
궁금한게 있는데 0
님들은 수학 기출할때 기간 얼마 잡고 하시나용
-
9평이 너무 쉬웠어서 6평 기준으로 대학라인 보고싶은데 어디서 볼 수 있을까요...
-
나는 다풀지도 못했는데 다풀고 다맞는 사람들도 있을거 생각하니ㅜ슬퍼서 울었어
-
수학 공부법 0
고2 학생입니다 수학은 모고로 3등급 턱걸이 합니다 3점짜리는 전부 풀리는데...
-
작년까지는 과탐 상위 1개였지만 올해는 과탐 평균으로 바뀜 그럼 실질경쟁률이 얼마나 될까
-
상상 파이널은 샀고 이원준쌤 실모 얹어서 12회분은 일단 할 생각인데 이감 파이널도...
-
왜하필내가갈때
-
사실잘모르겠고김유연예뻐서나오는컨텐츠다봄 Generation이라는노래개좋으니까다들함들어보셔유
-
논술 가능성 4
9모 33413 세~단 적정 형식도 뭤도 모르고 논술 써봤습니다 유사한 관점을 가진...
-
9모 확통 3컷이고 기출 2회독 할건데 병행할 n제 추천좀!! 너무 어려운건 안댐...
-
약사들처럼 단독법에 의료인 지위까지
-
고등학교 올라오고서 하나도 안하다가.. 공부 6월부터 제대로 시작했어요...
-
치대 섞을까요 말까요
-
ㅈㄱㄴ ++그리고 일반고 내신 3.0에 생기부 평범한 수준이면 bb맞죠?
-
한완수 pt2 살 때 같이 사버려야지
-
정경대는 내꺼야
-
실모 주기적으로 푸는거말고 ㅇㅇ 잠깐안했더니 개념 휘발 ㅆㅃ이. 걍 하루에 단원별로...
-
김상훈t 파이널… 87
지금까지 유네스코 알파(문학,독서)제외하고 모든 커리를 다 따라온 시점에서 상훈쌤...
-
지원인원이아니라 응시인원이 15명인데 5명뽑는데 3명최초합이면 12명은 최저 못맞춘건가요?
-
하루에 물리1 100문제 챌린지 오늘부터 하고 있고 쉬운 수특부터 하고 있는데도 빡세네
-
수시 11
가톨릭대 의과대학 중앙대 의과대학 성균관대 의과대학 연세대 치과대학 나머지 2개 어디쓰지
-
특성화 중에선 좋은 학교긴 한데 1학기 내신이 3.2가 나왔습니다 모고는 평균적으로...
-
생지 69모 22133 10
11122 가능할까...^^ 그래도 국수는 둘다 백분위 95였음....ㅠㅠ 지학은...
-
ㅋㅋㅋㅋㅋ
야해오