·
RicciflowsRicciflows

第二次学习谱序列的感想，对细节的揣摩真的很重要

发布时间：2024-09-27 21:31:58阅读量：45
普通文章
转载请注明来源

接上一篇第一次学习谱序列的感想，学数学、做研究计算能力很重要

以下短文发自2022年2月25号朋友圈，为我第二次学习谱序列后的一些感慨

今天我继续学谱序列。为了彻底理解这段内容，我花费了一个晚上，一节常微分课，外加一个多小时。终于干出来了。不得不说谱序列是真的复杂，搞清楚这些内容需要同调代数中阿贝尔范畴很多文献中没提到的细节，唯一的途径就只能自己推出来。

这东西，下午的时候常微分课下课之后还没干出来，我心态都崩了。我用尽各种方法，怎么都证不出来。于是我开始思考或许是错的，结果我马上就找到反例了，直接取阿贝尔群范畴一下就清楚了😨。最后，还是一个意外，突然想到阿贝尔范畴都具备的性质：every morphism is expressible as a composite of a monomorphism and an epimorphism。我马上就证出来了最关键的一步。然后接下来的都是trivial的了。

怎么说，学数学有强大的technique非常重要，同时有时候一些忽略的细节可能是你卡住的重要因素。

评论区

暂无评论，来发布第一条评论吧！

弦圈热门内容

如何理解$\mathbb{Q}_{p}(p^{1/p^{\infty}})$？

我的提问：众所周知$\mathbb{Q}_{p}(p^{1/p^{\infty}})$被定义为$\bigcup_{n>0} \mathbb{Q}_{p}(p^{1/p^{n}})$，意思是邻接所有$p$的$p$幂根（$p$-power roots of $p$）到混合特征域$\mathbb{Q}_{p}$。然而，我不太懂这个符号的意思$\mathbb{Q}_{p}(p^{1/p^{n}})$。这是如何联系到$p$的$p$幂根的？为何在这个记号中，$p$的幂是$1/p^{n}$？我认为$\mathbb{Q}_{p}(p^{1/p^{n}})$是$\mathbb Q_p$的一个割圆扩张，其中$p^{1/p^{n}}$是$n$次单位本原根（primitive $n$th root of unity）。但是似乎这说不通。并且我在另一个回答中看到$\mathbb{Q}_{p}(p^{1/p^{n}})$是一个分歧扩张（ramified extension）。谁能告诉我在哪里可以了解$\mathbb{Q}_{p}(p^{1/p^{n}})$？回答1：根据定义，$\Bbb Q_p(p^{1/p ...

可代表层的满射性

我的提问：令$S$为一个基概形，并令$(Sch/S)_{fppf}$为一个大fppf景。令$U$为一个$S$上的概形。假设存在一个满射态射$\Phi_{U}:U\rightarrow U$。那么我们能证明导出的层态射$h_{U}\rightarrow h_{U}$局部满射的？这看起来是错误的。注意到$h_{U}={\rm{Hom}}(-,U)$是一个可代表层。一个$(Sch/S)_{fppf}$上的层映射$F\rightarrow G$是局部满射的，如果对每个概形$U\in{\rm{Ob}}((Sch/S)_{fppf})$和每个$s\in G(U)$，都存在一个覆盖$\{U_{i}\rightarrow U\}_{i\in I}$，使得对所有$i$，$s|_{U_{i}}$在$F(U_{i})\rightarrow G(U_{i})$的像中。回答：令$S:={\rm Spec}(k)$为一个域，并且令$U={\rm Spec}(k[t]/t^2)$。环$k[t]/t^2$是一个$k$-代数，并且存在一个$k$-代数映射$k[t]/t^2\to t$，其将$t$打到$0$，所以我们得到 ...

正弦函数的幂级数展开是否是柯西序列？

考虑正弦函数的幂级数展开$$S=(\sum_{i=0}^{j}\frac{(-1)^{i}}{(2i+1)!}r^{2i+1})_{i\in\mathbb{N}}, 0\leq r\leq2\pi。$$那么$S$是否是柯西序列？令$\varepsilon>0$。是否存在$N>0$使得对于任意$m,n\geq N$，都有$$\left|\sum_{j=n}^{m}\frac{(-1)^{j}}{(2j+1)!}r^{2j+1}\right|\leq\sum_{j=n}^{m}\frac{1}{(2j+1)!}r^{2j+1}<\varepsilon？$$证明1：众所周知，$\sin x$的幂级数展开在任意地方都是收敛的（你可以使用比值审敛法来证明这个结论），然后所有收敛数列都是柯西的，因此$S$是柯西序列。证明2：既然这是研究一个紧致集里的级数，最简单的方法是用下面的不等式：$$\sum_{j=n}^{m}\frac{1}{(2j+1)!}r^{2j+1}\leq\sum_{j=n}^{m}\frac{1}{(2j+1)!}(2\pi)^{2j+1}<\varep ...