Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://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를 선물하세요.
-
왜 수위가 높아졌냐.. 14
-
어차피 풀면서 느낌이 옴 그러니까 빠르게 던질 문제들 던져야 함
-
걍 한단원에 3점부터 킬러까지 다 있는 게 좋음 강사기출은 스텝 다 쪼개놔서 풀기 불편하던데 ㅋㅋ
-
안녕하세요 17학번머스크입니다 [이감수학 파이널 플러스 모의고사] 미쳐서 안팔고 뿌립니다. 많관부
-
이..이게 아니고 이겁니당 9평 그런건 아무것도 아니야! 두 달이면 충분해요!!...
-
이중도플러 0
-
언 77 69 61 51 화 80 72 64 55 미적 76 68 60 51 기하...
-
토요일에 서바수업->강k수업인데 보통 2단과 하면 중간에 카페인 드심??????...
-
나는 “이타적인 행동의 본질은 이기적이다“라는 생각을 항상 하던 사람이었다...
-
ㅈㄱㄴ임 고논 8시반 서강대 2시 가능?
-
사문 개념 수특 0
수특 10강 짜리 강의 있던데 그걸로 충분할까요??
-
대학 수시 0
지방 사립대인데 지역인재 전형에서 10명 모집에 아직까지는 7명밖에 지원을 안 한...
-
이런 글에 무조건 가능하다고 해줘야 하는 이유 안 된다고 하면 뭐 어쩔거임? 안...
-
현역이고 생기부는 의대랑 공학 연구 쪽으로 되어있어요. 의대 지역인재 4장 서울대...
-
하 6광탈 각인데 어떡하지 싶으면 걸려들어오는 매직
-
수특 1
아직 올해 수특 수완 한번도 안봤는데 국어 수특 수완 공부하면 시간 단축 효과...
-
누구링 사귀든 애칭 동일함? 바뀜?
-
지교썼는데 실질경쟁률 얼마나 되려나
-
암것도 안하다가 오능 밤에 할 생각인데 증명사진도 ㄴ없고 시간표도 다시 다 알아봐야...
-
틀딲이라고 같이 안 놀아주는 거 아닌가요? 걱정되네요
-
제노 챌린지샤프 << 바뀐다는 소문이 있음 유미 미래샤프 << 여태 있었던거 둘다...
-
화작, 확통, 생윤, 사문 순서 6모 43412 9모 33411 국어는 3후~4초...
-
어디 남았죠 서성한도 요번주 끝이고
-
조언임.
-
일단 수시로 붙은 대학 걸어놓고 군휴학 하고 공군가서 21개월 동안 평일에 5시간...
-
"응급실 못 가? 어쩌라고" 의대생들만의 '기괴한' 우월감 [Y녹취록] 8
■ 진행 : 윤재희 앵커 ■ 출연 : 오윤성 순천향대 경찰행정학과 교수 * 아래...
-
엥??
-
6광탈 준비완료
-
기분이 오묘하구먼
-
8회차 41점 ㅜㅜ 복습 빡세게 해서 고정 45이상으로 올려야지
-
물론 5만덕 줄 사람이 없을거 같음 연머 마감 30분전이다 이거 지금 기억났으면...
-
건대 과 추천 3
수시 원서 쓰기전 경제vs부동산 어디가 좋고 유망할까요?? 주식투자랑 경제...
-
를! 던지고 국어를 해라.
-
기출이랑 연계 계속 돌려야하나
-
원조 방법은 보니까 등쪽 자극될만한게 없어보여서 턱걸이 넣어보긴했는데 어떤거같음요?...
-
수학 1진짜 0
갈기갈기 찢어서 패죽이고싶다
-
이렇게계산많아도돼?
-
젖지대머리 8
젖지대머리
-
연논 무슨과 5
인문애들이 글쓰기를 잘한다는 말이 타당할까요?
-
그불구 더데유데 컬미네이션 아니면 션티 키센스까지 4개중에 하나 할 생각입니다...
-
노트쉘프 3 0
필기감 좋다
-
돈 좋아~
-
Zola임당 인강 겸 현강 겸 추석 특강 소개 겸 9평 킬러 선지 확인용 글입니다....
-
수능전까진 논술공부 안 할거고 수시 안 쓰기는 좀 그래서 몇장 쓰려는데...
-
대부분 낮은 대학교거나(성적대가) 아니면 서해5도 장애인전형같은 특수한 전형을 써야...
-
개비쌈
-
다른 곳도 아니고 ebs에서 나온게 있었음
-
몬스터 한 캔 마시려는데 단백질음료랑 순간 착각해서 흔들고 캔을 따버림
야해오