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를 선물하세요.
-
일단 현 2학년까지 한 홍대 경영이고 수능 본 지 2년 넘었는데 당시 백분위 국어...
-
학종 수시 원서 접수하는데 전자공학을 쓰려고 하니깐 경쟁률이 많이 높을 거 같아서...
-
우주에 존재하는 물질 중 인간과 같이 살아있는 것은 극히 드물며 그 비율은 0에...
-
인기학과는 경쟁률이 쫄려서 어디 학과 써야할지 쫄리네요 자연계열이면 상관없어서 추천 해주십쇼‘ㅜ!
-
강남예서 고대 논술 다 쓴다했는데 경쟁률 ㅈㄴ 높네 학원가에셔도 강남애들...
-
서강대 논술 4
사회과학부라고 되있는데 합격하면 과 정해서 가는거임여?
-
기출이해하기전 개념공부하기에 뭐가좋나요? 이유도알려주세요
-
확통,미적,기하 전부다 인가요?
-
22번은 수열의 귀납적 정의 활용문제로 콜라츠 추측 문제 나왔다던데 ㄷㄷ
-
작수이후 한글자도 안봤다는데 감 되찾는데 얼마나 걸린다고 보십니까? 제 이야기는...
-
벌써힘드네 큰일났다
-
받을 수 있을까 하루라도 빨리..
-
이번에 9모 4 떴구요 피지컬을 좀 키우고 싶어서요 문제 양이랑.. 어삼쉬사,...
-
현장 체감 난이도 차이가 심하지.. 하.. 지1 진짜어렵다 공부할땐 알겠는데...
-
AI학과 0
학교 다닐수록 도망갈 생각만 커짐 반수 성공해서 좋은데 가야겠다
-
내일은 일찍 일어나야지
-
P(x바)=1/8이거 해석이 안되는데 추출 크기 상관 없지 않나요? 걍 3×c하면 1/8?
-
수시 원서 사진 8
수시 원서 사진 파일이 없는데 증명사진 폰카로 촬영한거 써도되나요? 군대라 새로...
-
9모로 최저 2
생각하고 수시 써도됨? 국수 변별력도 그렇고 영어도 쉬웟어서 9모를 기준으로...
-
강k 17회 요약 12
일단은 그리 어렵진 않은 문제들을 최대한 학생들이 절 요소가 많게 설계함 덕분에...
-
올해만 많이 뽑고 내년부터는 다시 줄어들까요?
-
초기에는 그렇게 많이는 안했지만 여튼 12월부터 삼수 공부 시작했습니다 대학...
-
공하싫 과하싫 4
공부하기싫고 과제하기싫다라는 뜻
-
질문받아주세여
-
9월달에는 5개년 6,9,11 기출 봐라. 기출분석이 전체 국어 공부의 50%여야...
-
둘다 최저가없어서 조금 쓰기 싫은데 그나마 어디가 합격확률 높을까요? 미적분 9모 88점입니다
-
ㅈㄱㄴ 3개 중 하나 합격한다면 어디 가는게 좋나요
-
지금부터 논술 준비하려고 하는데 유명하다해서요
-
ㅈㄱㄴ
-
장발 지금 하고 있거나 예전에 하셨던 남자분들 계심? 2
처음에 기를때 미용실 다니면서 기르셨나요 ? 지금 3개월 길렀는데 옆머리가 너무...
-
저녁식사도 맛있게 하시고, 공부도 열심히..!! 요즘에 낮에 날씨가 더워서, 저녁에...
-
대학생 면접 과외 시급 합격자 시급 보통 얼마나 하나요? 거창한건 아니고 그냥 작년...
-
잘잘잘 안하고 잘노기에서 바로 파이널 모의고사로 넘어가도 ㄱㅊ? 수특 수완은 본책 사서 풀려고…
-
한국에서는 안키울거임 ㅇㅇ..
-
이왜진? 청강생 개많다고그러네.. 자리도 꽉꽉 차서 2시간 넘게 서서 수업 듣는다고..
-
왜 미적기하가 있음?
-
미적 N제 추천 2
9모 96 맞았습니다 너무 발상적인 문제나 어려운 문제는 못 풀 것 같아서 적당한...
-
수학잘하고싶어서우럿어 이정환쌤 ㄱㄱ혓
-
운동학-운동역학 0
-
지구 기출 3
기출테크트리 했었는데 까먹은 감이 있어서 다시 보려고 합니다 빨더텅 vs 타강사...
-
ㅁㅌㅊ?
-
레전드;;
-
광화문으로!!
-
한달애 교재값 얼마인가요?
-
나중에 의사되면 나는 친절해야지
-
국어적 장애생겼는데도 인칼이 더 표 높게나오네
-
왜이러지
-
진짜 굵직하게 스쿠나 목소리로 "료 이키 테카이" 하면서 들어왔는데 여자애 두명이...
-
학교 택배 배송지에 아수라 총정리과제 와있네 ㄷㄷ
야해오