우주
게시글 주소: 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를 선물하세요.
-
초반부이긴한데 인강을 듣고 문제를 풀어보면서 계속 드는 생각이 뭔가 개념이...
-
돈이 얼마나 많아야 하는거임 ㅅㅃ이
-
신이시여 제게 힘을주소서
-
너무 어려워서 선생님한테 직접 시범보여달라고 했는데 아직도 그 때의 기억을 잊을 수 없다...헤으응
-
화2는 수능 한번 안쳐본 허수라 감히 난이도 평가는 생략합니다 -질량/부피=밀도...
-
삶은 감자 0
-
수학 커리 질문 0
얼마전에 전역한 N수생입니다 중학 수학 기억 되새길려고 50일 수학 상하 +...
-
천동설을 믿는 이유는, 지면에 가만히 서있는 내가 보기에 움직이는것은 땅이 아니라...
-
논술범위가 수학, 수1,2 확통 미적 기하 이렇게 전범위던데 , 그럼 준비하시는...
-
What's up, guys? This is Ryan from Centum...
-
-
하늘이 움직이니까;
-
왜 춥고 난리냐 9
빨리 따듯해져라
-
ㅇㅇ
-
해설 보고 다음 날 복습할 때, 최대한 선생님 해설처럼 필연적으로 풀어내고 싶어서...
-
메가패스를 끊었는데 심찬우 스타일의 문학강의를 듣고싶다? 2
정담온t 한 번 들어보셈 문학을 비문학처럼 읽기보다 문학자체로서 감상시키는 느낌이 강함
-
난이도:7/10 -g(x)의 각 지점별 미분계수에 주목해야 한다 -지금은 관짝속에...
-
불완전성 정리 제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에...
-
아주 간단하게 말하자면 (21번/빈칸 추론과 같은 유형) 1. 생각하면 글이 와...
-
그래야 지금 n수생들 한급간이라도 올리지 ㅋㅋ 짜피 대학병원 갈 일도 없을거같고 뭔...
-
너무 슬픔… 그래서 그 사람들과 더 많은 시간을 보내고 싶고 새로운 인연을 만드는...
-
약을 먹었나 2
까먹음
-
연치 가는게 거의 만점권이여도 확신은 못하나요 변수가많아서..?
-
앞으로 단기 백수(실직, 환승,알바 등)와 평생 백수를 구분하기 위해 6
모태백수라는 말을 만들면 어떨까
-
과탐 자신이없어서 생윤사문하려고했는데 성적 잘받아도 만백이나 등등 리스크가...
-
힘겨워지는 나를어떡해
-
생윤이 고2 11모 1떳는데 작수 높4가 떠서요 동사 공부량 많나요? 생윤이랑...
-
관독 버스로 한 시간은 너무 멀긴 한디..
-
아 현타와~~ 2
왕복3시간 for 수업75분 에바라구~~
-
수능영어 찍특으로 찍맞포함 5등급인데 노베이스 토익책 추천해주세요!
-
학원/과외/인강 없이 수학 가형 고정 100 이었던 -틀-입니다.. 요새 재수하는...
-
성적 나오는 꼬라지 보고 경제런 고민해야겠다
-
귀엽다 0
-
이게 내가 속한 집단 수준에 의해 표점이 결정 나는 거죠? 예를 들어 기하를 고른...
-
아 출튀마렵네 9
으흐흐
-
답답하네 참 0
-
점심을 못먹습니다 ㅅㅂ 강제 하루 한끼 챌린지
-
뭐 먹을까요
-
아아먹어야하는데 12
월요일에는 긴급수혈이 필요해
-
반수 독재 3
관리형 독재 다니면서 시대 단과나 라이브 들으면서 반수 성공 ㄱㄴ한가요 재종은 너무...
-
배운건 아니고 저 혼자 터득?해서 원리같은건 모르고 그냥 무지성으로 쓰는건데 문제...
-
•괜찮아 문장편: 기초구문강좌 그냥 천일문 복제품 =>천일문 핵심편에서 설명이...
-
저녁 1끼는 부족하진 않게 먹고 시간도 돈도 아깝고 먹기는 싫어서 하루 1끼만 먹는데 괜찮죠?
-
운동 ㅈㄴ 싫다 0
씨발
-
작수 20번 반응 보면 나올거 같기도
-
심리학 교양인데 1
생물 심리학으로 생1 신경 내용을 배운다 스토리 라인이 정말로 대단하다 뭐지?
-
파운데이션이랑 아이디어 듣는데 상용로그 내용이 없어요 왜죠??
-
피부과, 외과 어디로 가야함? 피부과가 맞긴 한 거 같기도 올라운더 외과 같기도
-
수학이 사실 모든 특수한 경우를 외운다는 거는 제 생각에는 말이 안되는거 같고 굳게...
-
우선 거짓말쟁이의 역설을 단순화하면 0. A : "A는 거짓" 1. A(A=거짓)...
첫번째 댓글의 주인공이 되어보세요.