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를 선물하세요.
-
와 씨 나대면 안되겠다 11
그런 의미로 덕코 풀고 조용히 지냄 3등까지 3000덕
-
문학은 약간 1
나쁜놈 착한놈 이런식으로 인물이나 사건에 대한 심상을 빨리 형성하는게 중요함...
-
대기신청했는데 자리 비면 바로 연락주신다해서 9모뒤에 잇올 나가는사람 많을까요..?...
-
어떤게 좋으셨는지 알려주신다면 감사하겠습니다..!!! 그리고 혹시 실모는...
-
성대밖에 없나요?
-
국어 좀 많이안하다가 ㅈ됐다싶어서 지푸라기잡는심정으로 뭐라도해보려고한다... 김승리...
-
특별한 이유라도 있는건지 이 순서에 맞게 공부해야하나요? 아니면 원래 단원에 맞는...
-
(오르비에서만남추구라는뜻) 정신을!
-
반수 가치 있을까요 11
이대 사과대 다니는데 이대가 마음에 들지 않는것이 아님 + 현재 과 마음에 안들지만...
-
수능도 이렇게 나오면 좋겠네요. 엄쌤 강의로 소설 두지문 전부 연계 효과 보니 시간...
-
난 보면서 와 예쁘다 3수 이대 대단하다 학교랑 김유연이랑 너무 잘어울린다 멋있다...
-
첫줄에서 이해못했어요
-
너 재수해도 부모님이 안시켜줘도 내가 알바해서 밀어줄테니 걱정하지말고 열심히해라...
-
진짜좃됐어
-
사아 이 코 카
-
그냥 생떼 아닌가 진짜 적당히 해야지 무슨 초법적으로 군림하려고 하네
-
연논 쓸말 4
그냥 보러가기만 하는걸로는 아까울까?
-
피의자도 보석가능한가요? 구속적부심에서 기각당해도 보석 할 수 있나요?
-
시간 개 아까워도 몇시간은 자야 좋은 quality 의 생각을 가지고 공부함 아침부터 밤까지
-
만약에 개인방송 채널이 아니고 지자체 유튜브채널을 도맡아서 운영했는데 그 채널을...
-
검정고시보고 0
설컴가려면 수능 몇개 까지 틀려도되나요?
-
서울대 내신반영 1
서울대 정시에서 이수과목이나 성적은 괜찮은데 세특 때문에 CC 나온 사례가 있나요?...
-
외대논술 0
노어과쓸까 서양어대학 계열모집 쓸까
-
65일의 기적! 4
ㄱㅂㅈㄱ
-
공부끝. 1
집가야지 내일 사문 수학 영어 실모를 봐야겠다 한지는 복습만 해주고~
-
9모54545 목표33333 국어 X 수학 마더텅 여러가지 확률 진또배기코 지수로그...
-
ot에도 안나와있고 뭐임?
-
님들 논술 학과 2
어디써요 님들이 원하는 학과 or 경쟁률낮고 비인개학과
-
논술 써놓고 응시 안하면 환불 되나요?
-
아또일교시 4
이런건누가만든거야 학생의수면권을 보장하라
-
반바지 절대 안 입는 사람인데 버뮤다라도 샀어야 했다
-
작년 담임이 학종 국숭세단 쓰라했던게 엊그제 같은데
-
25가천목표.
-
열등감의 시각화 6
가 메인에 있어요!
-
250921 11
랑데뷰 리빌드 복습해 봐요!! [랑데뷰수학 시리즈] 판매중입니다! 랑데뷰N제...
-
이감이랑 상상 둘 다 파이널 13회분에 간쓸개, 이매진 끼워서 팔던데 모의고사만 따로 살곳 없나요?
-
그러니까 욕하지 마세요~
-
중앙대 경영 vs 경희대 경영 어디가 더 높음?
-
9모보니깐 자신감이 떨어진다 건국대 탈출 가능할까? 9평 기준으로 과목당 한두문제로...
-
탐구 수특수완 3
어떤식으로 공부하심? 문제만 풀음?
-
중도적 주인공 4
나쁘게 말하면 인터넷 망령 커뮤충
-
6모때 88점 (백분위98)이고 9모때 92점 (백분위96)인데 솔직히 9모 풀면서...
-
생윤을 깨달았다 5
현돌은 신이고 나는 무적이다
-
결론부터말하면 수시 쓸거없으면 뭐라도 쓰셈 확통노벤데 ㄱㅊ? 기하노벤데 ㄱㅊ? 류의...
-
아시늠문 찾아도 안나와요 ㅂㄷㅂㄷ 핑프짛 좨송
-
낙지 모의지원 0
5명 학추 면접있는걸 4등으로 들어가는데 믿어도 될까요? 낙지 교과로는 믿을만 하나요??
-
어려운 문제도 다 풀고 모고도 ㅈㄴ 돌리는데 맨날 30점대 후반임 이럴땐 어떻게 해야됨
-
커넥션 복습하면서 병행할 엔제 고르고 있는데 뭘 푸는 게 좋을까요? 이해원 시즌2...
-
일도 잠시 그만두게 되어서 공부에 오로지 매진할 수있게 되었습니다. 넘 힘들다는건...
야해오