우주
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를 선물하세요.
-
언매 가르치듯 영어 가르치는 교과서는 왜 없음? 옛날에는 있었음?
-
29점 백분위 93은 대체 무슨일이 있었던 거지
-
배가빵빵해짐
-
XX법을 정확히 익힘.
-
완전 노베 모고보면 5-6등급 나옴인셉션 패키지 사서 듣고있음근데 주변 애들이 다...
-
수학 공부법 0
수능 집응시 기준 80점인 예비고3이고 실전개념중입니다. 정답률이 얼마정도 되면...
-
초기 형태의 사탐런까지는 오 그런 방법도 있네..! 이런 생각이었는데 요즘 가산점만...
-
이건 저도 예상못함 ㅋㅋㅋㅋㅋㅋ
-
고1 고2 ㅁㅌㅊ?
-
무물 0
오늘까지
-
현역 노베 물생 vs 생지 vs 생+사탐(사문) 중 뭐가 낫나요?? (인공지능,뇌과학 희망)
-
에휴
-
도표2개 개념1개 수능때틀렷는데 나름 도표장인이라고 생각했는데 수능 특유의 떨림과...
-
뉴비가 생겼다 3
파릇파릇한 현여기야
-
션티 수업 근데 1
토 세정반 학생인데 진짜 강의력 개좋으시네 쌤들 보통 템포가 넘 빨라서 놓치거나 넘...
-
진지하게 참고할게요
-
이제 고3되고 이과인데 이미 사탐런은 함 미적은 할라고 햤엇는데 모고나 수능...
-
영어 올리는 법 8
평가원 3인데 감으로 하는 것 같아서 실질적으론 4정도 되는 것 가같아요(듣기는...
-
5모 6모때 화1 35 33 받고 이건 사람이 할게 아니다 싶어서 한번도 공부안한...
-
물1 화1 사문 14
이번에 고3 되는 현역 07입니다 원래 화학을 하다가 모의수능보고 이건 아닌거 같다...
-
오타아닙니다 기 맞아요
-
야식 10
-
나는 작년에 수학 실모를 n회분 풀었다
-
저는 고삼시절 시험 칠 때마다 블로그에 기록했어요 기승전결로 깔끔하게 나눠서 다 정리했죠
-
80년대 동아대 1
80년대 동아대 위상이 현재의 명상가 위상보다 높았음?
-
내신 ㅇㅈ 7
강제로 정시의 길을 걷게 됨..
-
세계가 콜록콜록… 美 올겨울 독감 환자 530만명, 中·인도선 HMPV 급증 1
미국, 중국, 인도 등 해외에서는 여러 전염병이 동시에 유행하고 있다. 코로나,...
-
[공부법 특강] 정공법 총론 2. 국어, 어떻게 공부해야 하는가? 1
이 글을 쓰기에 앞서 기본적인 수능 국어에 대한 이야기를 해보려고 한다. 수능...
-
단과다니면 구할수잇나요?
-
수우미양가 중에서 가!
-
내신3.7 1
이 내신으로 전남대 가능하나요? 안되면 3학년때 몇까지 올려야하나요ㅠㅠ? 광주사람입니다ㅠㅠ
-
역대모고성적 6
고1 3모 152 ( 77 ?? 81) 고1 9모 232 (77 65 88) 고1...
-
이러면 나도 헬스터디 지원했지~ 삼반수생 메디컬보내기 프로젝트로
-
”한수.” 성대에 수의대를 만들면 “성수.”
-
확통런 LETS GO ㅋㅋㅋㅋ 아 기하하고 싶은데 크아아악 ㅜㅜㅜ
-
점수대 왤케 빡세냐 건수 가오 지리네
-
여자 참가자들 다 이쁜사람으로 뽑네 ㄹㅇ
-
지금 딱 진학사 원서직전등수랑 똑같은데서 점공 3일째 안들어오는데... 16명학과...
-
걍 과탐해야되나
-
강기원 복테 8
강기원 복테 2~4점 구간이면 수학 접어야하나요?? 존나 암울띠;;
-
가 접니다 ㅎ 올해부터 오르비클래스 국어 인강으로 복귀합니다 (지난 몇 년간은...
-
-
하이 님들 8
인증하시는거들 보고 극한의 고능함을 느낌
-
내가 그렇게 버러지일줄은 몰랏어서
-
안녕하세요! 오르비에서 강의를 하게 된 김지형 강사입니다. 앞으로 강의를 열심히...
-
갈만한가요? 가고 싶긴 합니다
-
이점수로 건수 광탈권이길래 당연히 과탐가산쳐맞아서 안되는건줄
-
고13모 ㅇㅈ 3
어 형은 전북이라 고1 3모 안봐
-
수시vs정시 4
처음부터 선택권이 없었다고요
-
딸기 하이볼 5
첫번째 댓글의 주인공이 되어보세요.