这张图怎么感觉还是有点糊() 虽然氛围还算不错
好笑吗? 我只看到一个写不完作业被迫在双清加班到现在而且还没带卡要等舍友先回去所以打不了卡拉彼丘现在非常急急急的唐诗tv.
o 原来他今天还没原啊, 那没事了.
今天代数tv做Kac-Moody代数作业的时候被这样的引理卡住了:
Lemma: For semisimple, is an isomorphism of onto the algebra of derivations of g.
然后上网搜过去一串, 发现没有人问这个kk, 这绝对不是一个简单的东西吧.
于是代数tv就去问问神奇的ds和gemini. ds给出的做法大概是这样:
-
利用Killing形式的非退化性 --en看起来很对
-
构造导子Δ并分析其迹 --这好像有点道理
-
利用单李代数的导子结构 --对, 我也觉得该划到单李代数的形式
-
对单李代数 ，其导子代数满足 （即所有导子均为内导子）, 证毕 --啊?
没错, 他直接把可能"最关键的一步"跳了. 然后我重开了若干次之后只得到一堆车轱辘话orz
gemini倒是啪啦啪拉给我说了一大堆, 但是我觉得除了一个一眼没道理的证明以外, 唯一的有点道理的东西就是"利用 ". 不过你猜我用这个引理是为了证什么()
然后代数tv就一直找一直找, 然后惊讶地发现原来他以前做过这个题.
Proof: For , one may check directly that is a Lie algebra. Furthermore, . Hence is an ideal of .
Since semisimple, there exists s.t. . Take , for all . Hence , . But this holds for all , hence . .
然后...就没有然后了.
然后代数tv在想, 他当时为什么能做出来这个题, 于是他惊讶地发现在Fulton-Harris后面给了这题的提示.
哎, 太久没看Fulton了.
今天的代数tv还做了一件重要的事情, 他去找了中心的老师聊天. 聊天的主题是未来想研究几何表示论的话, 应该做些什么.
于是代数tv就得到了如下的建议:
-
去看Okounkov的文章, 尤其是Introduction部分
-
去读CG, 这个真得读, 不读不行.
-
去报小暑朗兰兹.
现在代数tv已经完成了后1/3了, 剩下的等代数tv有空了再慢慢做吧orz
你知道吗, 博资考成绩是2/24出的, 也就是说, 快过去一个月了.
代数tv距离原先找导师的ddl, 只剩下了一个月时间.
与此同时, 代数tv数学史论文进度依旧是(5/50).
别急.
但是现在真得下班了, 再不下班没时间打卡拉彼丘了
2025.3.18 22:39 在双清