우주
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
네
-
만표 58+2,3등급 블랭크...
-
진짜 주에 한번씩오는구나
-
질문받음 2
-
그거 난데 계획이 두리뭉실해서 그냥 본능적으로 해야할 것 같은 걸 함 그래서 한계에 부딪혔나
-
나이드니까 좀 6
사람이 좀 순해지고...잔인한거 자극적인거 말고 마음이 평온해지는 그런거를 찾게 됨...
-
음음
-
맞팔구 2
잘 안하려햇는데, 굳이 안할 이유가 없어보임뇨이제 밤마다 올릴꺼니까 그런줄 아삼
-
"170만 넘으면 돼 진짜로" ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
25 24 화작 3
25 24 화작 부분 다른 연도보다 어려운 편인가요?? 풀어보니까 시간이 훨씬 많이 걸려서
-
ㅇㅈ 3
없는데.
-
키작은 여자들도 2
주변 여사친들 중 키 150대 여자들도 남자 169 거들떠도 안보던데...
-
오랜만에 새르비하는데 도파민 좀 얻어가자
-
지금은따로모안하죠,? 실모시즌에만좀풀가
-
ㅇㅈ 9
1분삭예정
-
-
나랑 맞팔해줄 오뿡이 구함
-
-
서울대 0
의대증원으로 설대추합이 많이 돌거라는데 맞음? 두세명은 돌라나?
-
고2 학생 과외중인데 쏀 끝내고 기출 들어가려는데 자이스토리 고2꺼를 할지 고3꺼를...
-
키 엄청 큰 남자랑 사귐 고목나무에 붙은 매미 조합... 키 어느 정도 되는...
-
무슨 이미지임?
-
질문받습니다 12
제빵대 재학 기하 베이비 밥먹어야됨 T1벤치 질문 받습니다
-
보통 매개변수함수라함은 X=f(t) Y=g(t) 로 x와y는 t에의해 계속 변화하는...
-
인증이나 해볼까 6
-
ㅋㅋ 애송이네요 하하
-
건축공학과 0
이번에 건축공학과 진학하면 노트북을 사려는데 맥이랑 윈도우 중에 어떤 컴이 더...
-
1차 넉넉하게 붙었는데 한국사 4 이하면 탈락인지 모르고 한국사 1도 안 보고...
-
여자 키 젤 많이 본거 11
157 162 165 뭔가 얘네 셋이 많던데
-
야식메뉴추천좀 5
지금 뭐 먹으면 안되는 건 아는데 입이 심심함
-
맞팔구해요 ｡◕‿◕｡
-
머리는 더이상복잡한사고가불가능하고몸은떨리면서 긴 풀이와지우개가루를 보면서 느끼는...
-
-
1. 나의 위치 2. 점수분포 에서 다른 분들은 쭉 아래까지 내리면 3. 과거 점공...
-
근데 5
드레이븐이
-
여사친이 이런말 하는데 무슨 대답을 해줘야할지
-
제 키는 183임뇨 10
"자신감 10cm"
-
밥이나 먹자 4
안먹ㅇ을건데
-
오르비시작했으면 0
민트테 한 번은 달아봐야지
-
간아 버텨다오 2
이번 달만 달릴게 민짜 탈출했잖아
-
오늘은 날이 아니네
-
션티 프리퀀시 0
작년 단어장 봐도 상관없으려나요
-
평가원 추천 좀 9
과한거 말고하나 짐 해서 올림 잠 안 옴
-
소주로 머리아픈거면 막걸리 막걸리로 아픈거면 맥주 맥주로 아픈거면 소주
-
갑자기 빡치는군 2
에휴이
-
또 키메타야 12
오늘도 싹다 기만자들인 170 이상을 저격할때가 되었군요
-
여자고 174인데 이정도면 10퍼안에드나
-
전 외동인데 외동이 편한거같음 전 부모님 지원도 다 독차지할수 있기도 하고 집에...
-
투표나 함 받아보자 17
오늘 기하 문제 풀이를 몇 개 올려봤는데 꽤 재밌어서 수학 감 유지용으로 문제...
-
많을까요 제가 항상 밝고 그렇다는건 아닌데 보다보면 정말...뭐라 말할수 없는분들이...
첫번째 댓글의 주인공이 되어보세요.