우주
게시글 주소: https://9.orbi.kr/00071233803
https://virtualmath1.stanford.edu/~conrad/diffgeomPage/handouts/trivline.pdf
Brian Conrad라는 앤드류 와일즈 제자인데다가 현우진 쌤 학부 지도교수인 정수론 쪽 수학자인데, 예전에 학부 미분기하 수업을 한번 진행했을 때 올린 수업 자료. 제목은 "Why the universe cannot be S^4" 라는 상당히 어그로성이 짙은 제목의 문서인데, 기본 세팅은 spacetime (smooth Lorentzian 4-manifold, 다시 말해서 signature 가 (3,1)인 pseudo-Riemannian manifold) 이고, 블랙홀 같은 singularity는 없다고 가정한 상태. 대수하는 사람 답게 분명 미분기하지만 아주 미분기하 스럽지는 않고 (예를 들어 curvature나 connection form같은게 등장하지 않음) 오히려 (선형)대수적인 면모를 부각해서 써놓음.
설명은 파일의 첫 페이지 Corollary 1.2 이후에 써있음. S^4는 simply connected이고 S^4는 non-vanishing vector field를 갖지 못하기 때문에 (Hairy ball theorem) S^4는 Lorentizian manifold가 될 수 없다 (Corollary 1.2) 이렇게 설명.
Corollary 1.2는 Theorem 1.1에 의해서 나온다고 써있는데, Theorem 1.1은 그 자체로 흥미롭고 직관적인 정리이기 때문에 따로 적어봄.
Theorem 1.1. Let $E\to M$ be a smooth vector bundle over a manifold $M$. If $E$ admits a pseudo-Riemannian metric $g$ with signature $(n_{+},n_{-})$, then there exist smooth subbundles $E^+,E^-\subset E$ with ranks $n_{+}$ and $n_{-}$ respectively such that $g$ has positive-definite on $E^+$ and negative-definite on $E^-$. In particular, the natural bundle map $E^+\oplus E^-\to E$ is an isomorphism.
원래 증명 안 보려고 했는데, 증명에서 Grassmannian을 써서 보게 됨. 정확히는, Theorem 1.1은 fiber에서는 자명하기 때문에, 테크니컬한 부분은 fiber들에서 decompose가 된 것들이 잘 짜맞춰져서 smooth subbundle들로 쪼개진다는 것을 보이는 부분임. 이 과정에서는 보통의 경우에는 smooth frame을 잡고서 M위에서 point들을 움직였을 때, local expression들이 smooth 하게 vary하기 때문에 smooth 하다고 하는데, 여기서는 Grassmannian을 이용해서 증명함. 나만 처음본 것일 수도 있는데, 이렇게 증명하는 것은 또 처음봄. 이것에 대해서는 사실 Conrad가 맨 처음 문단에 써놨는데, "pseudo-Riemannian manifold이기 때문에 기존의 Riemannian 에서 하던 직관적인 작업들이 잘 되지 않을 수 있다" 이렇게 설명함. (이래서 pseudo-Riemannian manifold가 어려움)
기본 아이디어는, 앞서 말한 대로, 각 fiber마다의 decomposition을 한 다음에, quotient를 해서 positive definite한 파트만 살려놓으면, $G_{n_+}(\Bbb R)$ 에 한 점이 대응됨. 따라서 $M\to G_{n_+}(\Bbb R)$로 가는 set map을 만들 수 있는데, 문제는 이것이 smooth 한지 체크하는 것. 이걸 어떻게 보였는지 궁금하면 노트를 한번 보길. (아무도 안보겠지만!)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제 키는 183임뇨 10
"자신감 10cm"
-
밥이나 먹자 4
안먹ㅇ을건데
-
오르비시작했으면 0
민트테 한 번은 달아봐야지
-
간아 버텨다오 2
이번 달만 달릴게 민짜 탈출했잖아
-
오늘은 날이 아니네
-
션티 프리퀀시 0
작년 단어장 봐도 상관없으려나요
-
평가원 추천 좀 9
과한거 말고하나 짐 해서 올림 잠 안 옴
-
소주로 머리아픈거면 막걸리 막걸리로 아픈거면 맥주 맥주로 아픈거면 소주
-
갑자기 빡치는군 2
에휴이
-
또 키메타야 12
오늘도 싹다 기만자들인 170 이상을 저격할때가 되었군요
-
여자고 174인데 이정도면 10퍼안에드나
-
전 외동인데 외동이 편한거같음 전 부모님 지원도 다 독차지할수 있기도 하고 집에...
-
투표나 함 받아보자 17
오늘 기하 문제 풀이를 몇 개 올려봤는데 꽤 재밌어서 수학 감 유지용으로 문제...
-
많을까요 제가 항상 밝고 그렇다는건 아닌데 보다보면 정말...뭐라 말할수 없는분들이...
-
ㅇ아아...
-
참고로 전 잉뿌삐임.
-
좋겠다
-
ㄹㅇ
-
타이레놀은 먹으면 안된다면서요
-
레어나 사가셈 1
개 많네 개 빡치네 개 화나네 화아아악
-
ㅇㅇ
-
약대랑 비교했을 때 약대가 낫나? 미래 생각했을 때 그냥 궁금해서
-
만성 비염엔 코세척이 직빵이다 첨엔 코 계속 찡하고 그럴 수도 있는데 적응하면...
-
리미트 안에서 수렴하면 리미트 밖에선 실수인데 거따가 약간 크니 약간 작으니를...
-
난 오직~ 3
그대 사랑하는 마음에~
-
125만덕
-
-
글 싹다 밀고프사 바꾸고닉변할꺼임또 새로운 모습으로 나타날꺼임지금의 모습을 간직해두셈
-
작성자는 올해 연대 신입학생이나 연대 문턱에 발도 못들일 시절 입장에서 최대한...
-
인스타 팔로워 한명은 556 한명은 572명이네 ㅋㅋㅋㅋㅋ 얘네 중딩인데 뭐지...
-
10분이내에 안나타날시 극한은 상쇄되는게 맞는거임
-
다들 주변에 몇없는 고능아들이던데 여기만큼은 사람답게(?) 노는걸 볼 수 있으니까 신기함
-
연대가 교차 줄인 이유가 연대 문과 = 반수학원이라 바꾼 듯 1
연대 문과 교차 풀리면서 연대 상경대, 사과대가 자퇴생 15-20% 나왔음요...
-
예전에 대학생 과외 한 번 받아본 적 있는데 지금 생각해보면 그 때 수학을 가장...
-
자기 기준에 나쁜대학 가거나 N수하게된 애들은 인증도 안하고 남들한테 말도 잘 안해서 그런거임
-
프본임뇨 2
인증 필요 없음
-
복권 투배럭 돌리면 이거 합법인가요? 복수계정은 아닌데
-
ㅎㅇㅎㅇ
-
쓸데없이 마침표 쓰기?
-
극한상쇄 궁극적인 어둠의 스킬임
-
ㅈㄱㄴ?
-
와 존잘존예들이 모이는 이곳 내가 껴도 되는 자리 맞음?
-
극한상쇄 17
이거 걍 x ( x>=1 , x<=-1) f(x) (-1<x<1) 극한상쇄...
-
고3때까진 코피 한 번도 나본 적 없는데 재수 할 때 잇올에서 공부하다가 코피...
-
선발 조오됐네 0
한골 먹히고 교체때려서 주전들 체력 갈아버릴각 보인다 보여 반드시 잡아야 하는...
-
유툽보니까 공항에선 보안검색대만 통과하는데 3시간 걸렸다고하던데 님들은 어떻거 내려갈예정???
-
잇올 앱 8
잇올 앱으로 출결이랑 다 바뀌면 만약 잇올 안에서 카톡같은 거 켜면 바로 걸리는...
-
어떻게 저런 생각이 바로 나오지...? 창의적이라 봐야하는걸까..? 이상한 쪽으로 창의적...?
-
취르비 입갤 5
혼자 세병 먹고 등장
-
레어 확인 9
.
첫번째 댓글의 주인공이 되어보세요.