우주
게시글 주소: https://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를 선물하세요.
-
또 자려하면 1
가만히 누워 아무것도 못하지만 잠으로 피로조차 해결 못하는 내 상황에 마구마구 화가...
-
이게 뭥미...
-
그냥 선착순 두명 만덕으로 끝내겠습니다
-
돌잡이 상에 올라오는 5만원갖고 튀어야지
-
수능끝나고 ㅈㄴ불어서 아버지 친구가 나 보고 하는 말이 “듬직하게 생겼네”임
-
와꾸고 나발이고 이거나 치료좀
-
h(x)의 식이 우극한으로 정리된 형태라 복잡하니 g(x+) x g(x+2)로...
-
ㅇㅈ 9
한달전쯤에 먹은거임
-
사실어제인증했었음 10
머리안깎고걍대충사진찍고왔었다고.. 펑
-
성범죄자, 사기꾼 같이 생겼다함 닮은 사람은 외질? 축구 선수랑 주둥이 닮았다함
-
똥 얘기하는거 싫음? 15
싫으면 안할게요 구라임
-
지듣노 0
솔직히 대부분 처음들어보는 노래임 그래도 신나
-
ㅇㅈ 7
클리어 마인드.
-
기만러들 너넨 싹다 차단이다
-
상 1
쇄 .
-
구라임 슬더스해라게이들아
-
외모관련들어본말 9
인형같이 생겼다 무슨인형인지 말안함ㅇㅇ
-
릴스나 쇼츠같은데에서 비슷한거 많이 들어봤을거임
-
명절이라 본가에 친구들 내려와서 과외 세 탕 뛰고 바로 술집 가서 달릴거임 후하후하
-
이미 한 집단의 '대다수'의 사람들끼리 이미 친해진 상태면 17
친구 사귀기 난이도가 급증한다는것 중1때 뼈저리게 느꼈어요
-
인증 32
.
-
매일 한 문제씩 함내가 까먹고 안하면 무언가임
-
앞날이 추락할 길밖에 안보이노
-
문득 궁금 아는 분이 미대 다니는데 인스타보면 음..
-
진짜개박살난거맞구나.. 11
힘내란댓좋아요9개는인증글에서처음보는데..진짜어떻게살지
-
미적 과외만 해야겠다 앞으로 나머지는 안 맞아
-
올해는 스노우볼굴리고 터트리고싶다
-
그래서 엄마가 재수할때는 의대 노리라했음
-
이대로 가다간 ㅈ되겠다 싶어서 시작해보았습니다 예3비 예3문은 1학년거긴 한데 덜...
-
몸에서 똥이 빠져나가서인가 그렇다면 똥을 다시 먹는다
-
임마 눈 좀 높은거 같긴 한데 혈육 평가 정확하다고 보심?? 아님 고평가나 저평가 들어감?
-
다들 잘자요 4
좀만 더 있다가 자야지
-
막상 되어보니까 그냥 어딜가도 창피함 3년동안 뭐한거지...
-
차라리 공통이 훨씬 쉬운 거 같음 체감상.. 걍 내가 바보인걸지도.. 하 개념할...
-
ㅇㅈ반응 12
무서워요 이건 뭐임..
-
존잘 존예 왤케많아 진짜 내가 직접본것만해도 한둘이 아닌데
-
존예 여르비: 와, 눈나, 쪽지 보내드렸습니다, 사랑해요 존잘 남르비: 씨발,...
-
예전에 '못' 들어가는데 능력 부정 아니었던 문제 본 거 같은데 그 이후로 헷갈려서...
-
몸 아픈 틀딱은 7ㅐ추 ㅋㅋ
-
ㅇ
-
고닉같지 않잖아요. 아는사람도 얼마없고.
-
ㅇㅈ 2트 15
지금은 좀 많이 다르게 생김
-
ㅇㅈ 14
-
솔직히 인증글 보고 하...소리 절로 나오면 개추 ㅋㅋ 4
ㅇㄷㄴㅂㅌ
-
잘생겨지고싶어 0
-
오뿌이ㅇㅈ 9
모음집이 풍성해지네요 고마워 옯붕이들아
-
인증 자꾸들 하시네 10
”진짜“를 보여줘야하나
-
됐다 됐어…
-
달라진 외모로 인생 제 2막을 열어줄 의느님 안계시려나 새아버지로 모시고 싶은데
-
뭔가 오르비를 못놓겠음 11
대부분 안친한데 내적 친밀감만 쌓여서 탈르비하면 뭔가 후회할 것 같고 그래사
첫번째 댓글의 주인공이 되어보세요.