우주
게시글 주소: 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순위아니냐? 그러면 180언저리가 젤 ㄱㅊ은거같은데
-
오늘 F1 호주 그랑프리 보면서 생각난 게 예전에 코리아 그랑프리 공짜 관람 안 간게 가끔 아쉽긴 해요. 0
제 닉네임인 본능의 질주도 넷플릭스에서 하는 동명의 F1 다큐 이름에서 따온...
-
비밀글입니다.
-
꽤 있나요?
-
지방러라 중고로 사야하는데 몇월쯤부터 나오는게 제일 좋나요?
-
솔직히 남자인데 245 존심상하는데
-
현강은 내신휴강이라고 3~4주정도 쉬는 기간이 있는데 그때 인강촬영 ㅈㄴ열심히하면...
-
75점 독서 2틀 고전시가 3틀 고전소설 다 틀림 (읽지를 않음 걍 읽기 싫음)...
-
불끈불끈 2
멋진 몸매에 ~빨간 옷을 입고~ 새콤달콤 향기 풍기는 ~멋쟁이 토마토 토마토
-
책리뷰 때려쳐? 1
-
닉도 바꿔야겠다 언어학 글도 다시 쓸지 모르겠음. 언태기 옴
-
국어 오랜만에 모의고사푸니까 시간 너무 부족하네요.. 1등급 겨우 받긴 했는데 높1...
-
[꿀팁]야식으로 치킨/닭꼬치 등등을 100배 맛있게 먹는법 0
이거보고 오븐구이 3마리 주문헀다
-
솔직히 고12때 고전 하기 싫어서 안 했더니 고전소설 다 틀리고 고전시가 반 틀림...
-
잘 자고 2
내일 봅세
-
"더 이상 동료 아냐" 입장문 낸 건국대 의대생…교육부, 수사 의뢰 3
(서울=뉴스1) 권형진 기자 = 교육부가 수업에 복귀한 학생을 공개적으로 비난한...
-
“200명도 못이기는데 어떻게 50만을 이기냐” 백번 옳은 말이지만 50만 사이에서...
-
많이 먹어야댐 라이크 돼지
-
한 대학 내에서 수능성적으로 과를 옮기려면 (예를들어 공대에서 약대) 무조건...
-
메가박스야 3월에 한다메 빨리 내놔라
-
하.. 이 븅신 졸려서 팔목 ㅇㅈㄹ
-
수1 도형 인강 1
수학 인강을 안듣는데 수1 도형 부분이 문제라서 그 부분만 인강을 들어보려고 합니다...
-
솔직히 문학 심찬우랑 안 맞음 독서는 ㄹㅈㄷ로 잘 맞았는데
-
소주잔에 따라마실까 맥주잔에 따라마실까
-
4일 강제 휴릅 3
ORE..
-
[감동주의]사람은 언제 죽는지 아는가 독을 먹었을때? 아니 2
ㅠㅠ 절대지켜
-
근데 신입생 때는 아침에 뭐 입고 나가지라는 고민, 다들 하지 않나요? 1
저 같은 경우는 남성 패션잡지도 많이 보고, 아예 학교 끝나면 백화점을 중간...
-
작아진 아스나였네요~~
-
수능 15 18 202122 틀렷늨데 스블로 시작해도될까요?? 수능 보고 지금까지...
-
다담 800 다 풀고 회독중. 근데 내신 때문에 문제 더 풀고 싶은데 바로 상상,...
-
너무 비비면 0
북극 빙하 다 녹겠다
-
22212 인데 컷에 가까운 낮2 낮2 2 낮1 평2면 이대 경희 시립 외대 건대...
-
솔직히 본 사람은 약간 지루하더라 일이년 전쯤에 봤는데도 음..
-
고3 문과 썰) 5
나: 난 목표가 법학과야 법쪽에 관심이 있어서 흐흐 좋고 멋있는 직업인거 같아...
-
날씨 따뜻해져라 0
오늘 손님 ㅈㄴ 와서 디질뻔했다고~~~~ 제발 봄아
-
꽃샘추위 왜 이래
-
크포 셤범위까지 끝나면 내신대비 문제집 자이스토리 수특 기출픽 1등급만들기...
-
혀녀기임 시즌2동안 겨방때했던 미적 복습하면서 엔제 풀려함 해보고싶은건 드릴이나...
-
검색해도 안뜸 .... 개맛깔나는 글이였는데
-
근데 요리해서 애인하고 같이 먹는 것도 기분 좋지 않나요? 1
요리 유튜버 구독을 많이 하고 있어서 가끔 집에서 요리해서 여친과 같이 먹는 것도...
-
키크나요
-
보통 벡터의 크기나 벡터의 내적으로 원을 제시하는데 두 각도 사이의 관계로 제시한게...
-
정시 하지 마라 8
체질이란게 바뀐다
-
일단 나는 한창 배성민t 폼 좋으셨던 시절 현강생이다...
-
제가 증명해드림
-
제일 먼저 저격 먹은게 공부 질문글이네 어떻게 저 정병인데 어떡하나요 저 못생겼는데...
-
사회학과 지망하는 ㅈ반고 고2인데 생기부에서 보완할 점이나 고칠 점 조언해주시면...
첫번째 댓글의 주인공이 되어보세요.