우주
게시글 주소: 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를 선물하세요.
-
피램 생각의 발단 질문 받아주실 분 있나요?ㅠㅠㅠㅠ 0
생각의 발단 1일차 인데 생각보다 질문이 많이 나왔네요... 카페 질답은 14일...
-
3덮만 안볼건데 0
안봐도 ㄱㅊ지??
-
국어 시간부족 0
오늘 사설모고를 풀었는데 시간다됐는데 비문학 2지문이 남아서 현타왔어요 평소 교육청...
-
글자 자체가 존나 귀엽네
-
괜찮아 문장편 여러번 복습하면 믿어봐 문장편 건너뛰고 믿어봐 글편 해도 되나요?...
-
올해 성불하고 5
잇올 존예녀에게 당당하게 고백하기
-
예? 2
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 선넘네?
-
씨발점 쎈 다 끝냈는데 뉴분감 들어가도 ㄱㅊ은 거에요? 아직 노베이스 같은데 해도...
-
남은 기간동안 영어, 사탐만 3 찍으면 목표 달성인데 수능날이 너무 무섭다 ㄹㅇ
-
유일한 07임
-
어른의 어원 3
흠... 생각해 보니 '교합한 사람'이라는 어원설보다는 '혼인한 사람'이라는...
-
묵시록의 4기사 1
재밌음? 칠대죄 이후 스토리 이어짐?
-
ㄹㅇ임? 친구 투과목 때문에 시대 기숙 갔는데 ㅋㅋㅋㅋㅋㅋㅋㅋ 국수 둘 다 괜찮아서...
-
눈이감겨요 2
-
아오 진짜 더프 답지 구매하는 놈들 이해가 안되네 14
답지 구매해서 실모 하나 성적 잘나오면 좋나
-
5등급에 지금 유베가는길 하고있음여 근데 구문이 너무 부족한거같아서 유베가는길...
-
오공끝 2
집가야지
-
지금 재수준비중이고 작년 원점수(언매)는 92-98-93. 고2때부터 2년동안...
-
실제 책 샀긴했는데(작년에품) 한번 더풀고싶어서 피디에프 쓰는거 ㄱㅊ음? 좀 뭔가...
-
진짜임 4
ㄹㅇ... 순서대로 7월 8월 9월 10월 11월
-
누가 칼럼좀 써줘
-
응시한적이 없어서
-
언제뜨나요?궁금해서 미 칠거같아요
-
영어 안쓴지 오래돼서.. 막상만나서 이야기하려니 제가 npc로 바뀌어버림 A....
-
자야지 8
-
뭔가 다 한국말이여서 그런가 다 풀어야될거 같아요 수학이나 다른 과목은 그냥 넘겨도...
-
눈쌓이면 눈맞고 눈사람 만들다가 3덮치러가야겠다 헤헤
-
전 오늘 수열 빈칸 풀었는데 네문제 중에 네문제 다 틀린건 처음임;;;
-
기가니지카!! 네 말대로 열심히 공부하니까 되더라고 0
네 말대로 힘들어도 열심히 노력하니 실력이 점점 늘어서 이젠 자랑할 수 있는 대학에...
-
영어 안정적으로 3 맞으려면 어느정도 수준이여야함? 5
다른 과목에 비해 영어는 쌩노베라 감이 안잡히는데 고정 3이 단어, 듣기, 구문만...
-
1문1글 1
-
있나?
-
대학생 커플분들께 질문 36
돈 ㅈㄴ 많이 들거같은데 어케 감당하시나요 설마 나만 돈이 없는건가 용돈 30이라...
-
투과목도 3월에 내줘
-
”잘해야된다“ 0
이 생각만 버리면 그냥 편하게 볼수있는거 같은데
-
개귀염다 6
아 어따 붙이고다닐까 이거
-
저는 더프에서 서성한 이상으로 떠본적이 없음
-
내일 더프네 2
긴장된다 하지만 못보더라도 공부 다시 시작한지 얼마 안됐단 핑계거리가 있으니 괜찮아~
-
방금 들었던 생각임. 드릴드는 순수 자작문제 38000원 심찬우 복습편+ 에필로그...
-
하겠는데 남의 앞 길 막아버리니 할 수 있겠냐고 . . . . . . . . 라면서...
-
질문 받아요 20
서울대 학부 다니고 있고 전공은 AI입니다 (주전공 전컴, 제2전공 수리통계)...
-
무휴학반수 2
혹여나 수능 망하면 편입 생각도 있어서 학점도 챙기느라 집오면 그냥 기절ㅠ 녹초가...
-
미적 전범위로 해달라고 ㄹㅇㅋㅋ
-
구라말고 찐으로
-
7분이면 쉬운 문제 하나 풀엇을텐데,시간이 이렇게 새는거엿음.이런 새는 시간 없이...
-
선배들 말이나 옛날 오티만 봐도 알겠지만 김기현 쌤은 초반에 커리 진짜 부실했음...
-
목소리 갈라지는 거 제목이 머였어요? 하나 있었는데
첫번째 댓글의 주인공이 되어보세요.