Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://old.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를 선물하세요.
-
하.. 0
외대 eicc낼걸 괜히 ellt처썻네
-
미적분 질문 0
빨간색이 해설인데 해설같은생각을 아예 못했어요. 왜 해설로 풀어야하나요? 검정색처럼...
-
치료받음.즈그들끼리 몰래 힐해주나.
-
어떻게 되나요? B4??
-
젊은 날의 초상 0
너는 말이다. 한 번쯤 그 긴 혀를 뽑힐 날이 있을 것이다. 언제나 번지르르하게...
-
왜 지잡 취급 받는거지 .. ㅋㅋㅋㅋ 어른들 시대엔 아예 다른 학교라 아직 잘 모르시나
-
내구성은 진짜 원탑이지만 장문의 글을 쓸 떄는 확실히 불편한 감이 있네요...
-
국어 2509 제외하고 긴기간동안 2 수학 2411 89 2506 93 2509...
-
6월부터 시작했고 파데 + 아이디어 완강했습니다. 정리 좀 하다가 60일부터 기출...
-
확통이 너무 안맞아서 미적을 하고싶어요 개념은 미적 이미 한바퀴 돌렸습니다 이번...
-
이건 좀 편차가 있음 도형 특 이긴한데 안보일땐 진짜 안보여서 시간...
-
뽈뽈뽈
-
인하대 인공지능 0
인하미래인재 경쟁률 왜 저러냐, 인공지능 펑크남?
-
독서에서 개같이 털렸음 ㅠㅠ 평소에 문제들은 다 풀 정도였는데 독서 두 지문...
-
나 통통이인데 등급컷 정상화 원한다
-
이과 9모24113 수학은 원래 2뜨는데 딴거하느라 몇달 유기했더니ㅠㅠ 수능때 올2...
-
원래 슬슬 수능냄새 느껴질 날짜 아닌가..
-
수리논술
-
평가원 백분위 81이에여
-
둘다 들으시는 분들은 대부분 같은 강사님으로 가시나요? 아니면 다른강사님으로 가시나용?
-
실제 시행한 사람들 등급컷이에요? 아니면 그 사람들을 기반으로 한 수능이었다면의 예측 등급컷인가요?
-
왜 아직 조회가 안뜨니 ㅠㅠ
-
공부 ㅇㅈ (덕코드림) 10
-
작년 서바 사문 0
도표 왜 이럼 ㅡㅏ
-
중앙대 글로벌금융 영강 많다는건 아는데 이외에 다른 특징 어떤게 있나여?
-
씨파 수석하신 분 공시 16시간은 진짜 벽 느껴지네 5
본인은 삘받았을때 하루 각잡고 해도 최대 12시간이 맥시멈이던데 16시간을 일욜...
-
오픈AI, '추론'하는 새 AI 모델 'o1' 공개…챗GPT에 탑재(종합) 2
코드명 '스트로베리'로 개발…국제수학올림피아드 정답률 83% 단계적 사고 문제...
-
작년 입시결과가 건대 경희 서강 시립 숙대 숭실 이대 한양대 홍대 이렇게 딱 한명씩...
-
수1수2만 봐서 자신은 있는데 경쟁률이 80이고 너무 높은거 같아서 그리고 수리논술...
-
사실 논술이라서 안전빵의 개념은 없긴한데 그래도 라인별로 수준이 다를 거 같기도...
-
사고과정을 나노 단위로 쪼개서 분석하고 교정하라는데요
-
시즌 1 풀었는데 틀린개수 0330 ㅋㅋㅋ 1회랑 4회가 쉬운건가
-
외대 자연 ㅠ 도박원서로 쓸려했는데 경쟁률이... 다른 곳 뭐쓰지 수리논술 확통이 안나오는곳..
-
홍대논술 1
학교다닐때 기확은 해놔서 개념은 괜찮은데 논술 준비를 따로 안해봐서 이걸 지금...
-
캬 드디어
-
매우 매움.... 확실히 평가원에서 낸 시험지답게 수준이 높고, 매우 깔끔하면서...
-
아주대 디지털 미디어학과 뭐하는 학과인지 아시는분.. 영상 다 찾아봤는데 그냥 다른...
-
중앙대 인문계열 한국외대 사회계 중에 고민입니다 학과는 둘 다 인기과고 10명 이상...
-
일단 10번은 넘음!
-
근데 이제 선배가 아닌 아. 2023 동국대는 나임..
-
중국학과 사회계열 문제인가요 인문계열 문제인가요? 인문은 영어 나온데서요.
-
성대 가면 4
성대 팜하니 있는 거죠? 의예과 가고싶다
-
자소서 첨삭 받았는데 자소서 마감 당일에 첨삭본을 받음. 근데 독서가 내 의도랑...
-
한국외대 논술 중국학 학과 터질까?ㅠㅠ 계속 넣을려고 봤는데 통합학과치곤 좀 낮아서...
-
권총 들고 평가원 저격하실 예정..
-
이따 해지고 가야되나
-
조종사 황 오는건가 12
항공대친구에타펌 21등까지 1.1뜨는거면 진짜뭐임 조종사멋지긴한데 저정도 원래나옴????
-
오늘은 또 너무 불안함 수능 끝나면 감정기복도 사라지겠죠?
야해오