你也可以发明谱序列.PDF

你也可以发明谱序列 陌并 译自 AMS 《You Could Have Invented Spectral Sequences》Timothy Y.Chow 1 简介 谱序列对于初学者来说一直很难，G.W.Whitehead 也曾经说“谱序列这个工具，来 源于 Lyndon 和Koszul 的代数工作，对很多拓扑学家来说是复杂难懂的。”(引用自John McCleary “A User’s Guide to Spectral Sequences ”) 为什么会这样？David Eisenbud 给出一个解释：“谱序列这个内容是基本的，但是一 个双复形的谱序列的记号包含了太多项和太多指标，乍看起来时令人厌恶的。”我也曾听 说其他人对上下指标的增长有过类似的抱怨。 然而我自己的解释是，谱序列通常不是这样教授给学生的：从最开始如何得到谱序 列的定义开始解释。比如，John McCleary 的书中写道“使用者需要熟悉这些玩意儿的计 算，无需知晓他们的源头”。不了解谱序列从何而来，人们自然会认为他们很神秘。相反 地，如果真正了解了谱序列由何而来，这些记号不应该成为绊脚石。 傻瓜敢于冲向天使不敢落脚的地方1 ，所以我下面的目标是使你，读者，感觉到你也 可以发明谱序列 (从一个非常好的方式，我保证！)。我假定读者对同调群比较熟悉，但 只需很少。这里的所有东西对专家都是熟知的，但我希望使这个想法让更多人知道，而不 仅是那些在正确的时间和正确的专家谈论正确的问题时了解到的幸运儿。 若读者对谱序列的历史感兴趣，想知道事实上他们是如何被发明的，请参考 John McCleary “A history of spectral sequences ：Origins to 1953 ”，它给出了精确的解释。 E-mail:529666596@ †/notices/200601/fea-chow.pdf 1Fools rush in where angels fear to tread 1 2 简化假设 2 2 简化假设 全篇我们在域上进行研究。所有的链群是有限维的，并且所有的滤 (下面解释) 只有 有限项。在“现实”中，这些假设可能并不成立，但其中的关键想法在这样的简化处理下 更容易抓住。 3 分次复形 自然出现的链复形通常在边缘算子上带有另外的结构。这种附加结构经常出现，因此 导致寻找一个系统方法来研究这种性质。这样我们不必每次我们想计算同调群时都重新组 装车轮。 下面就是一个简单的例子。假设我们有一个链复形 · · · −→ −→ −→ −→ · · · 他们是分次的，就是说每一个 分裂成直和 ⊕ 并且边缘映射 保持分次结构，即 ⊂ ∀ . 于是分次允许我们将同调群的 计算分成小块：独立地计算每个分次的同调群然后将他们加起来就得到原来复形的同调。 不幸的是，实际上我们并不总能幸运地在我们的复形上有一个分次结构。我们通常遇 到的带滤的复形，即每一个 都附有一串子模 ⊂ ⊂ ⊂ · · · ⊂ 并且边缘映射保持滤结构，即： ⊂ ∀