우주
게시글 주소: 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를 선물하세요.
-
아무나 골라주셈 4
-
여성분 만나봄?
-
일단 들어봐야겠지
-
궁금쓰
-
혹시 질문 몇 개 잡으셨나요?
-
솔직히 지2랑 지1이랑은 아예 다른과목이라고 생각하는데 과목 위계성 때문에 (수상...
-
화작 vs 언매 4
외우는거 개못하고 고2 기준 모고 3등급입니다 현재는 고3이고요 뭐해야하나요..?
-
오르비 잘자요 1
-
출격 3
두두두두
-
걍 한지할까 3
굳이 작수 1인 과목울 버릴필요는 없으려나..
-
시발점 대수 3
현재 중3이고 학원끊고 그냥 수학 혼자하려고 시발점 대수 강의를 끊었는데 대수...
-
우리 형 얘기임 생일 선물로 키보드 바꿔줘야겠다 뒤1지게 시끄럽노
-
나도 풀어보는 물2 15
c의 중심을 축으로 잡으면 거리가 1:3이므로 왼쪽장력:오른쪽장력 = 3:1 각각...
-
3덫 수학에서 9
더프 첨인데 더프 수학은 진짜 ㅈㄴ사설틱하다 이런 게 잇나요? 신유형 많이 나오나요
-
121314152021222267282930 못푼적있었음
-
안녕하세요 제가 다른 강사 분 강의를 수강하다 3월 23일부터 김동욱 선생님...
-
사탐런 기조에서 유일하게 살아남았다고 볼 수 있는 든든국밥 과목 선택하면 오지훈의...
-
난새벽공부가좋더라
-
수탐 실수하면 진짜 현실인데
-
강x 좋습니다 2
가끔 적분 지랄 나오면 하아이고 시발 싶을 때가 있었긴 한데 그거 풀면서 상방...
-
속았노
-
국어 물 모의고사 11
국어 평가원 시험지중에서 물 모의고사 4회분정도 추천해주세요!
-
2024 고3 3모 국어 점수 맞히기(3000덕) 12
기회 1번 중복 시 n분의 1
-
라노벨 담아났는데 ㅡㅡ
-
백수에서 군인으로 크아악
-
작수 한지 48인데 그냥 한지 할까..
-
킬링캠프 모의고사 설맞이 모의고사 이해원 모의고사 더프리미엄모의고사 이투스 모의고사...
-
수학 3 0
이거 꼭 바꾸고야 만다 내가아아아악
-
#Mood
-
3모.. 0
3모는 자꾸 다가만 오는데 공부를 많이 해놓지는 않아서 자꾸 마음이 급해지고 계획을...
-
뭔 힙합하는 아이돌 있다길래 작년에 들어봤었는데 이거 말고는 내가 찾아서 듣지는...
-
아이디어 뉴런 1
아이디어 하고 뉴런 필수에요?
-
집근처 재수학원을 다니고 있는데 태블릿 사용시간이 밤에만 허용되어서 인강을 많이...
-
탐구 선택 뭐가 베스트인가요? 참고로 지구는 유베입니당
-
밤새야징 10
이 긴 긴 밤에 뭘 하지
-
옛날 노래 (김현식 이문세 김광석 트로트 (둥지 힙합 (뭐 많음 제이팝...
-
계를 여러 번 나눠서 보면 깔끔하게 풀리는, 계 설정에 있어 교과서적인 문제입니다....
-
선택과목 가이드 정리 10
국어 웬만하면 언매하기 정 안되면 화작 가는거도 ㄱㅊ은데 1받기힘든건 감안해야하고...
-
영화 고르기 10
뭐볼까
-
살인의 추억 4
재밌네요
-
재수비용 0
재수하면 보통 1년에 얼마정도 깨지나요? 재수하면 러셀 대치 N수반 들어갈 것...
-
이거 어떤편임?
-
아무것도 몰랐던 입시도 알게 되고 수학도 다시 포기 안하게 되고 고민도 많이 해결되고 좋다
-
요즘 앨범들 트랙 많아서 좋군
-
이유는 23수능 본 사람만이 알 수 있음
-
나화작인데다른거하느라 언매까지 할 시간은없는데 ㅜ 언매해야함..?
-
5모 1컷 97 7모 1컷 97 9모 1컷 100 10모 1컷 98 수능 1컷...
첫번째 댓글의 주인공이 되어보세요.