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를 선물하세요.
-
오늘도 화이팅입니다 :) 날이 흐리네요. 감기 안 걸리게 다들 조심하시구여~~
-
평가원의.. 안락사... 그것이 유일한 구원....
-
전남대갔네
-
내신 6등급이면 논술에 내신들어가는 학교는 못쓰겠죠 0
100/0/0인 데만 지원하는게 맞을까요?
-
뭐가 더 나을까요 성신여대 점수는 안되는데 미달날거같은 과 넣는거라..ㅠㅠ 그럼...
-
문법은 참 어려운것이야
-
각각 프린트로 외우기만 하고 문제 풀어보면 머릿속에 흐름이나 순서가 잘 안잡혀서 이...
-
연논 보신분들 0
분위기 많이빡센가요 찾아보니까 감독위원분들 양복입고 우르르 들어와서 감시한다는데...
-
중간 딱 2주남았는데 11
공부해야 할 양도 존나 많고 근데 또 1.0 받고싶어서 그런데 밤새면서 공부하는거 비추임?
-
현 대학이랑 한 라인도 차이 안 나는데 여기로 반수하는 거 의미 있을까요? 수시...
-
인하대 수리논술 1
난이도 어떤가요?? 인문이랑 수리 중에 고민..
-
ㅈㄴ 맛있네 ㅌㅋㅋㅋㅋㅋ 수2를 못해서 다 맞진 못했지만 ㅈㄴ 맛있게 어려움
-
과연 현역 정시로 전과목 1등급을 맞은 사람은 ‘수험생키우기’ 게임도 잘 할까? 6
우연히 튓터에서 광고 보고 ㅈㄴ 재밌어보여서 게임 깔아서 하게 됨 그렇게 8월부터...
-
고대 실질경쟁률 0
고대 학업우수전형 (최저 4합8) 전기전자공학과 실질경쟁률 어디까디 떨어질까요?...
-
혼자만 늙었을까요 친구 사귈수 있을까요
-
뉴런 한강 시냅스 한 파트 이해원S1 2일치 지인선 n제 1회분 영단어120개...
-
텍스트나 이미지 등을 레퍼런스로 음악을 생성 완성형 음악까지는 안되는 것 같지만...
-
1학년 1학기: 4.3 1학년 2학기: 1.0 2학년 1학기: 1.0 2학년...
-
너무 더움
-
나를 걱정했었나요
-
문과에서 공대갈려고 지금부터 잇올 드가서 2달 반수컷 가능한가 하는게 맞나 하 진짜 어떡하지
-
질문받음 12
-
연락하나하나에 일희일비하고 맛집 전시회 찾아보면서 데이트코스 고민하고 그러고싶네
-
그 원서를 내가 어떻게 썼는지는 못 보나? 한자 이름 영어 이름 이상하게 한 것 같아서
-
질문 해줘 0
잠 안 와
-
탐구가 2후반은 돼야 가능한가
-
미적,기하는 선택과목이니까 확통을 선택한다면 미적분 기하는 공부하지 않고 수상하...
-
지구 질문.. 1
이상황이 정체전선이 있는 상황인데 여기서 A지역의 풍향을 어떻게 알수있나요? 제가...
-
9모 41211인데 다른과목 비중 줄이고 저번주부터 기출 ebs다시보고있습니다...
-
수시 원서 사진 4
재수생인데 수시 원서 사진을 작년에 찍은 민증 사진으로 해도 될까요? 지금 민증에...
-
지장있음???!!!!!
-
원서 못해먹겠슴 3
옯크아아악 머리 빠질것같아
-
가을이구나 수능의 계절
-
너는 힘을빼도 돼 그저 복사꽃 핀 거릴 걷자
-
이대 인문 논술 준비해 보고 싶은데 3합 6을 맞출 자신이 없어요 수리 논술 2합...
-
이만명은 늘줄 알았는데
-
어렵게 전화를 걸어볼까 생각이 들 때도 많지만 베비 아 노 잇츠얼레디 오버
-
슬기롭게 지방의대 수시 원서 넣고 오르비 보는데요…의평원 불인증 때문에 의대를 가도...
-
평가원은 ㄹㅇ 0
이상 << 이거 안낼 수가 없을듯 전형적인 문학의 비문학화 + 관서별곡 + 관동별곡...
-
기계vs전전 1
논술쓸건디 뭘로쓰져 붙기만 하면 됨
-
입문n제~중난도n제정도면 괜찮을 거 같아요 문해전s1 첫n제로 풀었는데 되게...
-
시중 문제집 추천해주실 수 있나여?? 개념형 문제도 여러번 풀어보고싶어서 자이스토리...
-
많이 주문하나요??
-
https://youtu.be/oH2pZx4_uEM?feature=shared 무반주《--Goat
-
수시로 넣어볼까하는뎅
-
만약에 제 이름이 김철수라고 할 때 원서에 Kim ChulSoo 이렇게 적어버렸는데...
-
88 넘겨본적이 없음 점수가 84 88인거 보면 수능에선 1컷 정돈가..
-
ㅈㄱㄴ 지구정법 하고싶은데
야해오