[论文解读] An intrinsic definition of the Rees algebra of a module

Gustav Sædén Ståhl|arXiv (Cornell University)|Feb 13, 2014

Commutative Algebra and Its Applications被引用 1

一句话总结

本文通过分次幂结构，为诺特环上有限生成模的Rees代数提供了一个内在的定义，取代了此前基于映射到自由模的交集的外在定义。关键贡献在于证明了Rees代数同构于自然映射 Sym(M) → Γ(M*)∨ 的像，其中 Γ(M*)∨ 是对偶模的分次幂代数的分次对偶，从而实现了函子性和坐标无关的刻画。

ABSTRACT

This paper concerns a generalization of the Rees algebra of ideals due to Eisenbud, Huneke and Ulrich that works for any finitely generated module over a noetherian ring. Their definition is in terms of maps to free modules. We give an intrinsic definition using divided powers.

研究动机与目标

• 为诺特环上有限生成模的Rees代数提供一个坐标无关、内在的定义。
• 将Eisenbud、Huneke与Ulrich的外在定义（基于映射到自由模的交集）替换为基于分次幂的表述。
• 通过内在代数结构，建立Rees代数构造的函子性和自然性。
• 统一并推广此前对模（而不仅理想）的Rees代数构造。

提出的方法

• 使用对偶模 M* 的对称代数 Sym(M) 和分次幂代数 Γ(M*)。
• 通过 Hom(Γn(M*), A) 构造分次对偶 Γ(M*)∨ 作为分次 A-代数。
• 通过自然映射 M → M** ⊂ (Γ(M*))₁ 定义一个 A-代数同态 Sym(M) → Γ(M*)∨。
• 应用保持余等化子的函子与双代数结构的理论，关联对称代数与分次幂代数。
• 使用普遍映射 M → F，通过单射 Γ(M*)∨ → Γ(F*)∨ 将外在定义与内在定义联系起来。
• 利用自由模 F 的同构 Γ(F*)∨ ≅ Sym(F)，比较两种定义并证明其等价性。

实验结果

研究问题

• RQ1 诺特环上有限生成模的Rees代数能否在不依赖映射到自由模的前提下，以内在方式定义？
• RQ2 是否存在一种自然的代数结构——特别是涉及分次幂的结构——能以坐标无关的方式捕捉Rees代数？
• RQ3 自然映射 Sym(M) → Γ(M*)∨ 如何与基于映射到自由模的交集的原始定义相关联？
• RQ4 Rees代数构造的函子性能否直接从内在定义推导而出？
• RQ5 双重对偶与普遍映射在连接外在与内在表述中起着怎样的精确作用？

主要发现

• Rees代数 R(M) 同构于自然映射 Sym(M) → Γ(M*)∨ 的像，从而提供了完全内在的定义。
• 此内在定义与Eisenbud、Huneke与Ulrich的原始外在定义等价，后者基于对映射到自由模的无限交集。
• 自然映射 Sym(M) → Γ(M*)∨ 是函子性的，因此 R(M) 自然地扩展为从 Mod_A 到 Alg_A 的函子。
• 分次对偶 Γ(M*)∨ 拥有自然的代数结构，且 Sym(M) 在其内的像作为 Sym(M) 的商代数，恰好恢复 R(M)。
• 该构造避免了对嵌入到自由模的依赖，转而依赖于 M 及其对偶的内在结构。
• 证明依赖于：对于普遍映射 M → F，诱导映射 Γ(M*)∨ → Γ(F*)∨ 是单射，且 Γ(F*)∨ ≅ Sym(F)，从而可与原始定义进行比较。