模的投射盖
我将从基本概念出发,循序渐进地讲解模的投射盖理论。
第一步:投射模的回顾与覆盖的概念
投射模是模论中的基本概念:一个右R-模P称为投射模,如果对任意满同态f: M→N和同态g: P→N,存在同态h: P→M使得g = f∘h。换句话说,P具有提升性质。
覆盖是范畴论中的重要概念。对于R-模M,一个满同态f: P→M称为M的投射覆盖,如果:
- P是投射模
- Ker(f)是P的多余子模(即对P的任意子模L,若L + Ker(f) = P,则L = P)
第二步:多余子模的深入理解
多余子模(small submodule)是理解投射盖的关键。子模K ⊆ M称为多余子模,如果对M的任意子模N,K + N = M 蕴含 N = M。
性质:
- 零子模总是多余的
- 有限个多余子模的和仍是多余的
- 多余子模的同态像不一定是多余的
第三步:投射盖的存在性问题
不是所有模都有投射盖。一个重要定理:如果环R是完美环(perfect ring),则所有右R-模都有投射盖。
完美环的等价定义:
- R的每个模都有投射盖
- R满足降链条件于主右理想
- R的Jacobson根是T-幂零的且R/J(R)是半单环
第四步:投射盖的唯一性
如果模M有投射盖,那么它在同构意义下是唯一的。确切地说,如果f: P→M和g: Q→M都是M的投射盖,则存在同构h: P→Q使得f = g∘h。
这个唯一性保证了我们可以谈论"the"投射盖。
第五步:局部环上的投射盖
对于局部环(R, m),有限生成模的投射盖有特别好的性质。如果M是有限生成R-模,P→M是满同态,其中P是有限生成自由模,则这是投射盖当且仅当Ker(f) ⊆ mP。
这个性质将投射盖与模的极小自由分解联系起来。
第六步:投射盖与极小自由分解
对于诺特局部环(R, m)上的有限生成模M,考虑M的极小自由分解:
⋯ → F₂ → F₁ → F₀ → M → 0
其中每个Fᵢ是自由模,且Ker(Fᵢ → Fᵢ₋₁) ⊆ mFᵢ。这里F₀ → M就是M的投射盖。
第七步:应用 - 贝蒂数与正则性
通过投射盖,我们可以定义模的贝蒂数:βᵢ(M) = rank(Fᵢ),其中Fᵢ是极小自由分解中的第i项。
这些不变量编码了模的深层代数性质和几何性质,在交换代数、代数几何和奇点理论中有重要应用。