[论文解读] The resolution of the universal ring for finite length modules of projective dimension two

Andrew R. Kustin|ArXiv.org|Jul 25, 2006

Commutative Algebra and Its Applications参考文献 15被引用 3

一句话总结

本文通过多项式环 $\mathcal{P}$ 上的柯思兹复形的映射锥，构建了有限长模在投影维数为二时的通用环 $\mathcal{R}$ 的坐标无关、特征无关的解析。关键结果表明，当 $e,g \geq 5$ 时，$\operatorname{Tor}^\mathcal{P}_\bullet(\mathcal{R},\mathbb{Z})$ 不是自由阿贝尔群，这意味着 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 的分次贝蒂数依赖于域 $\mathcal{K}$ 的特征。

ABSTRACT

Hochster established the existence of a commutative noetherian ring $\Cal R$ and a universal resolution $\Bbb U$ of the form $0 o \Cal R^{e} o \Cal R^{f} o \Cal R^{g} o 0$ such that for any commutative noetherian ring $S$ and any resolution $\Bbb V$ equal to $0 o S^{e} o S^{f} o S^{g} o 0$, there exists a unique ring homomorphism $\Cal R o S$ with $\Bbb V=\Bbb U\otimes_{\Cal R} S$. In the present paper we assume that $f=e+g$ and we find a resolution $\Bbb F$ of $\Cal R$ by free $\Cal P$-modules, where $\Cal P$ is a polynomial ring over the ring of integers. The resolution $\Bbb F$ is not minimal; but it is straightforward, coordinate free, and independent of characteristic. Furthermore, one can use $\Bbb F$ to calculate $\operatorname{Tor}^{\Cal P}_{\bullet}(\Cal R, \Bbb Z)$. If $e$ and $g$ both at least 5, then $\operatorname{Tor}^{\Cal P}_{\bullet}(\Cal R, \Bbb Z)$ is not a free abelian group; and therefore, the graded betti numbers in the minimal resolution of $\pmb K\otimes_{\Bbb Z} \Cal R$ by free $\pmb K\otimes_{\Bbb Z} \Cal P$-modules depend on the characteristic of the field $\pmb K$. We record the modules in the minimal $\pmb K\otimes_{\Bbb Z} \Cal P$ resolution of $\pmb K\otimes_{\Bbb Z} \Cal R$ in terms of the modules which appear when one resolves divisors over the determinantal ring defined by the $2 imes 2$ minors of an $e imes g$ matrix.

研究动机与目标

• 为有限长模在投影维数为二时的通用环 $\mathcal{R}$ 提供一个坐标无关、特征无关的解析。
• 在多项式环 $\mathcal{P}$ 上建立 $\mathcal{R}$ 的解析 $\mathbb{F}$，以实现 $\operatorname{Tor}^\mathcal{P}_\bullet(\mathcal{R},\mathbb{Z})$ 的计算。
• 证明当 $e$ 和 $g$ 均至少为 5 时，$\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 的最小解析中的分次贝蒂数依赖于域 $\mathcal{K}$ 的特征。
• 以 $e \times g$ 矩阵的 $2 \times 2$ 子式所定义的行列式环上除子解析中出现的模来表达 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 的最小解析。

提出的方法

• 解析 $\mathbb{F}$ 作为由 $E \otimes G^*$、$F^*$ 和 $G^*$ 的舒尔函子与外幂构成的复形之间的映射锥构造而成。
• 构造利用了复合映射 $X \circ V: E \to G$ 所关联的柯思兹复形，该映射诱导出 $E \otimes G^* \to \mathcal{P}$ 的映射。
• 该解析由对 $G^*$ 的对称幂、$F^*$ 的外幂以及 $E$ 的除幂的张量积构成，索引为三元组 $(a,c,d)$。
• 该解析是无限的，但结构清晰且与基环的特征无关。
• 通过分析复形 $\mathbb{M}(p,q)$ 的同调来研究解析的结构，这些复形用于计算 $\operatorname{Tor}$-模。
• 通过基变换从 $\mathcal{P}$-解析导出 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 的最小解析，其模以舒尔模及其扭化形式表示。

实验结果

研究问题

• RQ1 有限长模在投影维数为二时，其通用环 $\mathcal{R}$ 的解析是否容许一种特征无关、坐标无关的构造？
• RQ2 $\operatorname{Tor}^\mathcal{P}_\bullet(\mathcal{R},\mathbb{Z})$ 的结构如何与 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 的贝蒂数相关？
• RQ3 在 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 的最小解析中，分次贝蒂数对域 $\mathcal{K}$ 的特征有何依赖？
• RQ4 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 的最小解析能否以 $e \times g$ 矩阵的 $2 \times 2$ 子式所定义的行列式环上除子解析中出现的模来描述？
• RQ5 布克斯鲍姆-艾森伯格乘子和因式分解定理在定义通用环 $\mathcal{R}$ 中起什么作用？

主要发现

• 在 $\mathcal{P}$ 上对 $\mathcal{R}$ 的解析 $\mathbb{F}$ 是无限的、坐标无关的，且与基环的特征无关。
• 解析 $\mathbb{F}$ 是由柯思兹复形和舒尔函子构成的复形之间的映射锥构造而成。
• 当 $e$ 和 $g$ 均至少为 5 时，$\operatorname{Tor}^\mathcal{P}_\bullet(\mathcal{R},\mathbb{Z})$ 不是自由阿贝尔群，表明 $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 的贝蒂数依赖于 $\mathcal{K}$ 的特征。
• $\mathcal{K} \otimes_\mathbb{Z} \mathcal{R}$ 的最小解析以舒尔模 $T(\alpha,\beta,\gamma)$ 的形式表达，其特定秩与扭化由组合数据决定。
• 当 $e=3$，$g=4$ 时，解析包含如 $\mathcal{P}'[-3,-8]^{210}$ 和 $\mathcal{P}'[-6,-8]^{420}$ 的直和项，这些无法仅从希尔伯特函数预测。
• $\operatorname{Tor}^\mathfrak{P}_{3,5}(M_0,\boldsymbol{K})$ 的维数依赖于 $\boldsymbol{K}$ 的特征，当 $e,g \geq 5$ 时，这证实了贝蒂数对特征的依赖性。