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이고 수능가면 떨어질수 있는걸 알지만 이정도 성적 나오신분들 어디쯤 가셨는지 궁금히ㅐ요
-
[쉬어가기] 주요대학들의 착각 -출처 수만휘 서울대- 서울대빼고는 대학도 아니라고...
-
강해져야 하는데 0
세상에서 살아남으려면 근데 넘 약한자극에도 힘들다
-
자기가수능을얼마나말아쳐먹을지모르면 아무리 수능이 망해도 이학교는걍가지...
-
보통 열등감이 많을수록 자꾸 급을 나누려고 한다던데 적당한? 열등감이 향상심으로...
-
너무힘들다 1
ㅎㅎㅎㅎ 버티자!!!ㅎㅎ ㅠㅠㅠ
-
흑흑
-
신촌 맛집 7
신촌엔 맛집이 없어요~ 딱 하나 고르자면 부탄츄
-
이번 9모 13231이고 외대 인문논술 하나 쓰려고 하는데 공부 하나도 안하고...
-
있다면 무슨 도움을 받았다 느끼는거임? 독해를 가르친다는 게 납득이 안감
-
학우 95000원 계적 105000원 컼ㅋㅋㅋㅋ
-
재수생 특 2
재수생 전부는 아닌데 재수생 몇은 너무 무게 잡는다. 그러다 오수생 형한테 혼난다....
-
저도 참전함 3
왜 경쟁률 개높을것 같지... 경영까진 안 되는 애매한 12111들 다 모일 것 같은데
-
24년 2월 졸업?
-
제가 졸업년도 때문에 학생부를 별도로 제출해야하는데요. 대학 모집요강에 나이스...
-
사실은나도오루비상위권?!
-
재업) 의대목표 지방 일반고 1.3 수시반수생 수시카드 0
어제 아무 답변도 얻지 못해서 재업해봅니다! 전북 소재 일반고 출신 반수생입니다...
-
국어 백분위 43맞고도 나정도면 국어 재능있는듯 이럼 ㅋㅋㅋ
-
한강 가야함? 비문학은 진짜 어떻게 공부해야할지 모르겠음
-
당연하게도 드라마틱하게 성적 바뀔거라는 말도안되는 생각을했음 당연하게 아니였음...
-
작수 국수 낮3 중3 -> 6모 백분위 94 95 -> 9모 원점수 96 96이...
-
사설이 저 논리로 답 선지를 구성해서 그렇구나 기출벅벅의 중요성을 보여주는 좋은 예시인듯
-
졸음기차달린당 0
안부지런행
-
. 3
-
독학해보려고 했는데 학원다니는게 나을 거 같아서요..ㅠ 집 앞에 있는 데 보다는...
-
크아아앙
-
9모 92점 1
설맞이 미적분만 사서 추석때 풀어볼까요????
-
천만덕 가쥬아
-
아니시발 오르비에서 논다고 자기가 연고대인줄아는애들이 왜이렇게 많은거야 삼수...
-
큰어싸
-
수능은 미적선택했고 확률 조금알고 통계,기하는 아무것도 몰라요 답안 작성방법도...
-
제목그대로 생기부에 화학관련된거밖에 없는데 학종으로 간호학과 지원하면 가능성 낮겠죠...
-
수만휘 구경가서 인터칼리지 검색했는데 글 개수가 어마어마하네요 여기 써보려했는데 런쳐야할듯 엄
-
ㅅㅂ 모교 행정실 전화해보니 수능접수 안됐다는데? 12
논술 접수할때 서류는 뭐 따로 준비할거 없죠? 생기부 파일같은거 첨부하고...
-
https://orbi.kr/00055155801 투표 해 주면 총 50만 덕코...
-
김승리 아수라 들으몀거 이감 모고 사려고 둘다 사버림 강의는 아수라 들을거에여...
-
수학 개념도 다시 봐야할 것 같고…ㅜㅜ 답만 내면 되는게 아닌 시험인지라 학원을...
-
2206~2509 평가원 생윤 윤사 모음입니다 도움이 되시길 바랍니다
-
다들 4합5맞출거라 생각하고 쓰는건가? 혼자 독보적으로 다른 4합8들 제끼고 오후...
-
많아 낡았다는데 신축한 것도 무산되고… 많이 낡았나용…
-
진짜 더도말고 덜도말고 딱 한번만 연대 논술 첨삭만 받아보고 싶은데 그런건 없나요...
-
서울시립대 면접이랑 한양대 논술 겹치는데 어떡함 ㅠㅠ 이제 더 바꿀 곳이 없는데ㅠ...
-
이기지 못할 슬픔 없었다고 했고, 슬픔은 나무가 느끼는 감정이니 화자는 안 슬펐다는...
-
과목은 수학인데 주1회 현장응시+동네학원에서 모고 보고 있긴한데 동네학원->강k로...
-
국수는 언미
-
성대에 과고 영재고 많이 오려나
야해오