Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://ui.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
생각보다 좀 살망이네
-
작년에 6논술 해서 2개 합격+1개 예비 받고 논술해과외 했었는데 가능성 잇음?...
-
학교 와이파이여서 확인을 못합니다 ㅈㅅ
-
나쁘고 험한 말 수위 어디까지 해야 벌점 안 먹나요 예전에 댓글로 야시꾸리한 두...
-
오늘부터 수시 접수 시작.. 담임쌤과 최종 상담 때 있었던 일...SSUL 6
나 : 쌤 안녕하세요 쌤 : 그래 앉아 쌤 : 저 수시 6장 안 쓰는 거 알겠는데...
-
2022 시냅스랑 2025시냅스랑 차이 큰가요?
-
대체로 다른 분들은 뭐 선택하시죠?? 나무위키 읽어봤는데 어떤 거 선택해야할지 잘 모르겠어요.
-
언미영생지 6평 11321 9평 21111 수시 6광탈해봄 수시 붙어본적 없음...
-
미적 n제 0
미적분 빅포텐이랑 드릴 사이에 풀만한 n제 추천좀 해주세요!
-
우리나라 정당방위 법이 그렇게 병신같다던데 쥰내 패도 정당방위 받으려면 어느 정도...
-
( P윤석열 대통령실+여당, '2026학년도 0명증원 가능'??, 교육 불가능한 25학년도 증원부터 조정하라!! 대국민 사과부터. ) 0
https://www.k-health.com/news/articleView.html?...
-
작수 미적 27부터 다틀림 공통 살리고 미적 버린다는 느낌으로 공부해서 81점...
-
의협 "증원백지화, 전공의 복귀 최소조건…2027년부터 논의해야" 8
"의대증원 2년 연기 사회적 비용 적어…연기, 수험생·학부모 이해해줄 것" 서울의대...
-
아 논술 쓸까말까 11
고민된다 돈날리는건 아닌지.. 보통 평가원 1 정도면 어느정도 대학 써볼만 한가요
-
9평 0
제가 9평 화작미적생윤사문 42433을 맞았는데 수능 전에 보는 상명대 논술을...
-
제가 최근에 본 수능이 21년도였고 그때 하위권 지거국 공대 붙어서 다니다가 약대...
-
어우어어럵하면서 선지 다 보지도 않고 그냥 한글자 한글자 제대로 읽으면서 천천히...
-
논술전형 있잖아요 수능 전에 있는 논술에 붙으면 수시납치가 되는거고, 수능 후에...
-
안녕하세요. 지구과학에 대해 항상 이상한 뻘글을 쓰고 있는데, 이번에도 이상한...
-
방금 조퇴해따 5
열이 38.4도라네
-
손창빈 대기 0
앞에 14명 있다는데 얼마면 빠짐?
-
내년논술 못봄??
-
이번에는 갯벌이다
-
뭐 문제를 예측하는 건 당연히 불가능하고 6평, 9평, 22~24 평가원 문항들 쭉...
-
4규시즌 2 플고 있는데 대충 21번정도까지 풀어봤을 때 한두개만 틀려서 그런데...
-
좆반고2.5수시 3
지생기부 나쁘지않고 ㄱㅊ은편인데 종합쓰면 어디 써야 함? 최저 다 맞춘다고 할때...
-
이감같은 사설 문학 풀면 독서보다 문학에서 정말 말도 안되게 틀립니다... 지금까지...
-
지구온라인 미쳣네 19
여름이벤트 연장뭐임...
-
머리아프네 서연고 하나씩 박을거고 서성한에도 쓸까 하는데 서성한은 면접있는데가...
-
“큰일 났다”
-
데이터 껐다고 해서 메세지 안오는건 너무했다
-
본인 국어: 이게 답 아니야? (문제와 개싸움을 하며) 동생 수학: 이게 답...
-
이번 추석에 6평 9평 둘 다 풀어볼 생각인데 에이어 지문 많이 어려운가요?? 어렵다면 어느정도?
-
작수 확통 하나 틀린 88 올해 9평 확통 2개 틀린 92인데 설맞이n제 -> 4규...
-
현강판에서 유명하신분임 언급은 좀 꺼려하시는거같아서 안하겠음
-
도대체 이게 왜 1컷이 43이 아닌가
-
살을 내주고 뼈를 취한다 근데.... 어???
-
우리과 소수과라 누가 휴학했는지 개강 한시간만에 다 소문나는데 나만 휴학함 ㅋㅋㅋ...
-
화미영생지 0
반수러 9평 차례대로 25325임… 수학 지학 은 실수가 엄청 많았어요 실수도...
-
혹시 제 풀이에서 뭐가 잘못됐는지 알수있을까요? 저는 나름 기존유형대로 풀리는데...
-
메디컬 영어 1
반수생이고 지방약수 노리는데 작수,올해 6,9모 기준으로 국어는 높2~1컷, 수학은...
-
적중프리 5회분 사만다 6회분 디카프 3회분 쟁여둔 더프 3회분 이번달 일용할 양식입니다 흐흐
-
제 오랜 컷 예측 경험과 현장 응시 난이도를 봤을때 블랭크는 절대 뜰 수 없습니다...
-
진짜 존나 어려운데 ㅋㅋ 국어 고정1인데 상황추론 말 안되는 듯
-
결혼 후에 돈만 있다면... 원정출산<얘가 진짜 답이긴 한듯 내 자식이 윗세대를...
-
국어 > [리트 전개년 기출 언어이해] 2009 14~16 > [리트 전개년 기출...
-
다필요없고 독서 많이 시켜야겠다 국어땜에 고통받는 건 나로 충분해...
-
시골 가면 용돈이고 집에 있으면 스트레스는 덜받고 딜레마인듯
야해오