우주
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를 선물하세요.
-
오르비는 1
영어로 오르비
-
오르비가 죽었어 2
아니야 아직 따뜻해
-
애플워치 ㅈㄴ 갖고싶다 수영할때 끼면 ㅈㄴ 좋은데…
-
리세계 이거 구하는거 개귀찮아서 때려침
-
새르비감성이좋음 0
그래서 새벽에만 오르비함
-
웹툰 0
살인예정자 흥미진진한걸
-
배웠어요 불교대학답게 쟈한테 깨달음을 줬어요 건동홍 서연고 서성한 중경외시
-
풀커리 타는 거 어때욤
-
할머니댁가면 할게 그것밖에 없을것같아
-
0 3
45 957
-
-
잘자요 1
졸려..이젠진짜 자야겟어요 잘자요
-
컨관님 너무해..
-
계엄은 문화다! 0
계엄 조이고
-
너무절망적임. 너무길어..
-
정시러입니다 수학이 유독 약해서 이미지 선생님 세젤쉬 수1 완강 후 현재 세젤쉬...
-
오 메인 갔네 2
오랜만에 메인이라 설레네
-
졸릴때 이불덮고 자는거랑 걍 자야할시간이니까 억지로 자는거랑 기모찌함이 다름
-
구속 되고 말야
-
니파~⭐ 걔 맞음ㅋㅋ 팔로워좀 차면 시작한댕...
-
-
대학가자 5
ㅇ
-
왜 살아있을까요
-
곧 또 알바가네 3
ㄹㅇ쉬고싶다 이말이야 일 안하고살고싶다..
-
고대붙으면좋겠다 2
작년 예비돈거에 1.5배는 돌아야 붙을수있는데 서울대 빵꾸 개많이나서 돌앗으면 좋겠다
-
여기 왜 자꾸 4
글 하나 보고 뒤로가기하면 새로고침 돼서 맨위로 올라가나요 원래 이런 건가
-
-
뉴런 25 26 2
뉴런 25 교재 수1 수2 있는데 수1은 브랜뉴런 제외 거의 다 풀었고 수2는...
-
반수 거부감 다 사라짐 10
과탑 찍고 노대 가고 싶다
-
기안 장우 대호 성환 새로운 사람 말고는 넘기는 듯
-
보스 잡는건 어려워서 내실만 주구장창 하는중 넷플릭스보면서 모코코주우면 시간후딱감
-
저거 얼마 안하니 다시 구매해주실분....ㅈㅂ
-
플렉스 ㅇㅈ 6
이게 진짜 플렉스지 ㅇㅇ
-
오늘 하루를 돌이켜보니 입시에 찌들어있는 내가 너무 불쌍해 보임
-
시간 녹았네
-
부럽다
-
도박수 던졌다가 되면 도파민중독으로 죽을 인간인 것을 알아서..
-
시발
-
남자애들 저런 주제에 대해 관심 많지 않나.? 다른 남초에선 념글까지 갔는디.
-
요즘 바빠 3
오르비, 공부, 운동 3개바께 안하는데 나머지를 할 수가 없어 웹툰이 너무 밀려서...
-
간지 나네
-
이정도는 옯창아니죠...?
-
베아트리체는 말이야 우! 무한과 황금의 마녀야! 정말 대단한 마녀라서 뭐든지 다 할...
-
꼭 다른 색 눈은 특별한 능력을 가진 경우가 많거든요
-
그냥 새벽루틴 0
아 배고픈데 뭐 먹어야하나 근데 곧 자야하는데(1시) 라고할때 먹을걸(2시) 라고할때 먹을걸(3시)
-
오르비 그리웠어서 이틀 정도 새르비 하다보니 나잇값 못하는 거 같아서(맞음ㅜ)...
-
과학적으로 여성에게 테스토스테론은 긍정적인 영향을 끼침 즉 적정량의 풍부한...
-
막상 보면 6월까지 하면 평균이라는 글을 본 것 같은데
-
04임
-
주인 잃은 레어 1개의 경매가 곧 시작됩니다. 오드아이기원"이 세상의 모든 눈알의...
첫번째 댓글의 주인공이 되어보세요.