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를 선물하세요.
-
아주대 합격 인증 뱃지도 있나요 ? 있는데 안다는 건지 아님 걍 없는 건지...
-
고대 학과 어디감? 10
전전이나 컴공끄긴 애매한 내신이라 그 아래 대학 쓰러하는디 어디가 젤 나아보임?
-
6모때 수학 49…,엿는데 9모때 수학61..이에요 비교적 수학이...
-
4월달부터 관리형 독재를 다니고 있는데 시간이 얼마 남지 않아 그런지 5일 전부터...
-
ㅅㅂ 처음알았노 오늘 당장 해야지
-
근데 완전 예수님석이라 오르비언 중에 뿌릴 사람이 있으려나 모르겠네
-
논술이에여
-
왤캐 더워..옯붕이 녹는다 녹아
-
국리니뭐니말구
-
Kwa sabadu kuanzia sasa, wakati wowote...
-
학교에 가져갔다가 왕따 당했었음ㅠ
-
사람 죽는다~
-
너네까지만 딱 증원되어서 들어오고나면 사다리 걷어차게 누워줄거지?? 빅5는 들어온...
-
궁금함
-
어그로 ㅈㅅ 기츨 다시 보는데 예전에 오답 안하고 넘어갔는데 이 유형? (유형이라고...
-
9모 88점 (14 22 30) N티켓 시즌1, 시즌2 풀었고 4규 시즌1 푸는...
-
기하러라 광탈예정
-
수도권 의대도 4
지역인재 개설좀 역차별 오짐 ㄹㅇ
-
미적분 시발점, 쎈 끝냈는데 수1, 수2 할 때 쎈 보고 바로 기출하니 쉬운 4점은...
-
서울대 입시고수분들 의견을 들어보고 싶습니다 ㅠㅠ 12
대깨설 지망 현역입니다… 내신대는 1.3x 고 좆반고라.. 지균을 못 받았습니다…...
-
50일 수학, 수력충전, 중등 쎈, 생질쎈 (고1) 등으로 중등, 고1 베이스는...
-
히히
-
3번선지에서 OEM이랑 ODM 둘 다 주문자가 제품 개발이나 설계에만 회사의 역량을...
-
이감보다 수능이 2
훨씬 쉽나요?
-
발로차~ 싸커
-
고대 논술 0
경영 최저가 4합 5여서 쓸지 말지 고민됩니다 9평 기준으로는 1121로 맞췄는데...
-
이정도면 농어촌 서울대 낮과 가능함? 수시 원서 고민중인데 서성한 안쓰는게 맞음?
-
발라드 노래 틀지말라고 감성충련들이 아
-
흐흐흫 힘들겠다!
-
갓반고 내신 3.0인 고1 정시파이터입니다. 국어는 고2등급이 뜨고 언매공부는 많이...
-
제발...
-
막 5배 이렇게 늘은 곳은 몇점대부터 써봄직한가요?
-
사문현강 3
일요일 오후 분당 러셀최적 토요알 저녁 대치러셀 손고운 목요일 저녁 대치시대...
-
1회에 4000원이네
-
경희대식 내신 2.29인데 우주상향으로 경희대 농어촌 생물학과 적절할까요..?...
-
만점을 위해 공부하는걸 전제로할때 공부량자체는 비슷한데 모의고사풀면 타임어택 수준이...
-
쓸려했는데 벌써 높네,,, 실질경쟁률 생각보다 높을 수도 있을 것 같아서 고민이에욥...
-
와 올해 의대 정시는 아예 뽑지 말자는 주장도 있네 6
뭐냐...
-
더워 더워 더워 더워더워 더워 더워 더워더워 더워 더워 더워더워 더워 더워 더워더워...
-
다 다른가 먼가 말투가 그 분 느낌나네
-
에반가요… 수능때까진 수능에 몰입하고 끝나고 논술 준비해서 치르면 가능성이...
-
코치하기도 애매하고 운동선수시키는데 돈도 개많이드는데 회의감도 많이들꺼고 공부해서...
-
전라도에서 3-1 내신 버리고 정시 뛰어드느라 내신 1.7~8로 나락갔는데 이건 제...
-
운동은 진짜 프로 되기도 힘들고 된다고 해도 거기서 경쟁해서 1군 하기도 힘들고...
-
학교입결표에 2
경희대랑 경희대(국제)나눠놓은 이유가 뭐임? 그냥 이원화 아닌가 외대랑...
-
부산대 논술 할려하는데 9등급 있으면 불가능할까요? 1
논술 할려는데 9등급 1개 8등급 2개 있어가지고 이러면 논술을 잘 치더라도 뒤집을...
-
여전히 난해함 .. 2문단 잡기가 굉장히 엿같음..
-
지구 지엽 1
지엽적인 개념들 공부 어케 하는게 좋나여
야해오