又隔了一个月没写blog。这段时间总体工作都有点太忙,要给人描述在忙些什么似乎还挺快困难,有时候两三个突发情况一起来,解决起来就要很久。11月初因为想下个兵棋ASL的规则书,还中了病毒。导致电脑和blog的密码都换了一遍。blog因为不知道被改了什么,想着销毁服务器,重新建个站,居然告诉我要重新收费。看了一圈价钱涨得有点高了。就暂时先换到了企鹅云。似乎在国内反而不容易出现502的情况。从头折腾一遍也挺花时间。开始忘记行内Latex公式是怎么实现的,还想了想。评论验证码是哪个插件也不记得了。不知道之前有没有提过。做一些计算机编程相关的事情,完成后总觉得有点缺乏成就感(不过用键盘在vscode上敲代码的过程本身还行)。通常的内心状态都是:总算搞完了,不想再花时间。但是学数学就完全不是这样。每每不管是想出来难题,还是学到一些新东西,都非常开心。说到数学,这段时间因为工作忙,摸鱼时间断断续续,经常被人打断,还挺难集中注意力的,人自己都会有点应激。没有长时间可以集中注意力思考,也会觉得心里空唠唠的。大体上11月开始在读The Maslov index for paths ,然后发现Arnold这样牛b的人原来也会有大家都会有的思维盲点(虽然也算是理所当然的吧)。简单说就是(好像怎么也没法太简单说囧)L(n)表示Lagrangian子空间的集合,每一个元素都是一个Lagrangian子空间。每一个子空间可以用(X,Y),两个nxn矩阵表示。称为Lagrangian form。当然这个表示不是唯一的,如果把L(n)看作base space,fiber就是GL(n)。所以只要XY是可逆的,一个Lagrangian子空间可以表示成(A,1)这样的形式。A是对称矩阵。然后Maslov index算是是$\Lambda(t)$ in L(n) 作为L(n)上的loop或者path的一个不变量。和$\Lambda(t)$与一个$V=R^n\times 0$ 这样一个固定Lagrangian子空间的交有关。$\Sigma _{k}(V)$表示dim $\Lambda \cap V=k$的$\Lambda$的集合。然后$\Sigma _{k}(V)$的codim是k(k+1)/2,同时$\Sigma _{k}(V)$的元素没法用(A,1)这样的形式表示出来。于是Arnold搞了一套局部旋转的的变换,使得$\Sigma _{k}(V)$的元素可以用(A,1)对应。我看完觉得还是挺厉害的。但是实际上里头有个更简单的办法。同一个$\Lambda$,不表成(A,1)而是表成(1,A),其实直接把所有问题都解决了(相当于选了另一个坐标)。。。。看90年代的论文发现里头默认就都是这么做的。这其实只是小问题,就觉得读论文的时候能发现一些这类小细节还挺有趣的。每个人都会有钻牛角尖的时候。前几天刚读完。在纠结接下去看什么,怎么看。有点像是站在迷宫岔路口,每条路稍微往前看看,进行隐匿侦查的状态。其中一条路是连看至少6篇系列论文,如果中间遇到问题可能还要再看别的。感觉有点慢了。看论文还是有意思的,比较接近当时作者所见所想。