우주
게시글 주소: 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를 선물하세요.
-
[칼럼] 풀이하기 전 가지면 좋을, 간단한 국어에 대한 인식(in 독서) 1
안녕하세요. 아직 저도 미숙한 점이 많으리라고 생각하지만, 뭐라도 해 보면서...
-
과제가 너무 힘드니까 망상까지 하네
-
심심의벽 11
벽느껴지시나요? 흐흐
-
모든과목 기출만 n회독하면 3등급은 확보되는 방법인가요? 0
모든과목 기출만 n회독하면 3등급은 확보되는 방법인가요? 이과수학 영어 생1 지1 기준
-
ㄹㅇ벽느껴네...
-
수능특강 국어과목 여러번 회독할 가치가 있을까요??? 6
어떻게 생각하시나요???
-
볼텍스6번 0
29번급임??
-
몇배였음?
-
진심 너무 하기 싫어요…수2,미적분 할 때는 도파민 나오면서 싱글벙글 행복하게...
-
미적은 아직 진도를 다 안나가서 공통부분만 2023년 수능시험지로 풀어봤는데...
-
ㅈㄱㄴ
-
내 옆자리는 하버드 박사학위 정치인분 계시고 난 날먹 전형으로..
-
22수능 vs 25수능 수학 머가 더 어려움? 참고 사항 둘다 미적 1컷은 88로...
-
생1 생2 인강 추천좀 이걸 들어야 학교 수업을 좀 따라갈 수 있을거 같은데 좀 급함
-
생윤 사문 1
림잇이 안맞아서 중간에 바꾸고 김종익 윤성훈 쌤들 개념만 딱 하고 림잇 문제들만...
-
간만에 컨셉질 해 봐?
-
2학기 때 물리1 내신대비해야하는데요 메가 배기범쌤이랑 강민웅쌤 중에 누가 더...
-
?
-
-
기자로 사회운동? 정외과 나와서 보좌관?
-
-
전 축지법을 쓸 줄 알아요
-
맞팔구 3
잡담태그를 잘 답니다
-
조교샘 ㅈㄴ 좋네 와 너무 착하시고 이쁘시고 귀여우시고 수능잘봐서 조교로 들어가야징
-
나도 무불보할래 4
예상 댓글 빵명
-
화작 vs 언매 3
n수생인데 여태 쭉 화작이었습니다 근데 화작이 잘 안 맞는지 남들 화작 공부 안 할...
-
선착순 한명
-
서강대 공대에서 약대 11
서강대 전전에서 1년해서 약대 가는 게 전전 다녀서 1년 스펙 늘리는 것보다 의미 있을까요
-
재밌는 언어 이야기: 부엌에[*부어게]와 빛을[*비슬]의 이유 3
우리가 학교문법에서 음운 단원을 처음 배울 때 '부엌에'의 표준 발음은 [부어게]가...
-
모두 잘자 3
낄낄 내일 1교시다
-
난 ㄹㅇ 정우성이 마지막에 이길줄알았음
-
아 깜짝 놀랐네 8
ㄹㅇ ㅌㅈㅇㄹ된줄 장난친사람은 벌 받으세요!!
-
명장면이 많았다 난 아직도 엘빈이 자살 듈격 하는게 잊혀지지 않아
-
23수능 국어vs 25수능 국어 뭐가 더어려움?? 참고사항 23수능 1컷 언매 91...
-
게임 추천 좀 0
컴퓨터게임
-
상승? 하락? 어떻게 보시는지
-
빵 먹말 2
소화는 어느 정도 됐는데...걍 아침에 먹을까
-
타니자키처럼
-
금테 못가나.. 2
평생 힘들듯
-
교재랑 답안지가 진짜 완벽한 독학용 주간지인데 교재만 구매를 못하는게 너무 아쉽구만
-
ㅈㄱㄴ
-
Owl 기출문제집이 좋다고 해서 내신 대비로 풀려고 했는데 2025 수능 대비만...
-
2달만에
-
20만덕 주실분 3
한양대 레어 사고 싶음뇨
-
의대생은 댓 ㄴㄴ 그냥 궁금해서 그럼 자유롭게 본인 생각 적어주세요 댓글에서 싸움질 ㄴㄴ
-
하지만 더 똑똑한 수험생은 기하 100을 찍고 표점을 더 챙겨갔답니다
-
유연해지고 싶다 7
그럼 여친 사귈 필요가 없을텐데
-
과탐조언 0
지금 물생하고 있는데 물생조합이 그렇게 별로인가요
-
댓달아주면 다시 해드림 옯붕이에게 낚였다
-
나는 그렇게 안읽고 그렇게 안푸는데 판서로 뭐라고 구조화하고 써주면서 가야하니...
첫번째 댓글의 주인공이 되어보세요.