[论文解读] Euler class group of a Noetherian ring

Manoj K. Keshari|arXiv (Cornell University)|Aug 12, 2014

Commutative Algebra and Its ApplicationsMathematics参考文献 7被引用 22

一句话总结

本文为包含 $\mathbb{Q}$ 的维数 $n \geq 2$ 的诺特环 $A$ 引入了欧拉类群 $E(A)$，提供了一个上同调不变量，用于检测秩为 $n$ 且行列式平凡的投影 $A$-模是否具有本原元素。关键结果表明，此类模具有本原元素当且仅当其在 $E(A)$ 中的欧拉类为零，从而推广了此前在光滑仿射代数上的结果，并解决了诺里提出的问题。

ABSTRACT

We will study the Euler class group of a commutative Noetherian ring $A$ of dimension $d$, developed by S.M. Bhatwadekar and Raja Sridharan. This is my M.Phil thesis from 2001.

研究动机与目标

• 定义一个不变量，用于检测诺特环维数等于秩的投影模中本原元素的存在性。
• 将诺里在光滑仿射代数上构造的欧拉类群推广至包含 $\mathbb{Q}$ 的任意诺特环。
• 证明 $E(A)$ 中欧拉类的消失性恰好刻画了秩为 $n$ 且行列式平凡的投影模中本原元素的存在性。
• 将理论扩展至弱欧拉类群 $E_0(A)$，并将其与稳定自由性及 $K_0$-类联系起来。

提出的方法

• 将 $E(A)$ 定义为由对 $(J, w_J)$ 生成的自由阿贝尔群的商群，其中 $J \subset A$ 是高度为 $n$ 的理想，且 $J/J^2$ 由 $n$ 个元素生成，$w_J$ 是一个生成集。
• 建立 $E(A)$ 中的加法与减法法则，通过局部与整体粘合技术实现对这些对的操控。
• 为秩为 $n$ 且具有平凡化 $\chi: A \to \wedge^n P^*$ 的投影 $A$-模 $P$ 构造欧拉类 $e(P, \chi) \in E(A)$。
• 证明 $P$ 具有本原元素当且仅当 $e(P, \chi) = 0$ 在 $E(A)$ 中成立，利用满射的存在性与稳定自由逼近。
• 将弱欧拉类群 $E_0(A)$ 定义为 $E(A)$ 的商群，并将弱欧拉类的消失性与 $K_0$-等价性 $[P] = [Q \oplus A]$ 联系起来。
• 利用自然同态 $E(A) \to E_0(A)$ 及高度为 $n$ 的理想性质，推导出 $K_0$-理论后果。

实验结果

研究问题

• RQ1 能否为维数为 $n$ 的诺特环 $A$ 定义一个不变量，以检测秩为 $n$ 且行列式平凡的投影 $A$-模是否具有本原元素？
• RQ2 对于包含 $\mathbb{Q}$ 的诺特环，欧拉类群 $E(A)$ 是否满足：当且仅当此类模为稳定自由模或具有本原元素时，其类为零？
• RQ3 弱欧拉类群 $E_0(A)$ 与环 $A$ 的 $K_0$-群有何关系，特别是在 $[P] = [Q \oplus A]$ 的情形下？
• RQ4 在何种条件下，高度为 $n$ 的理想 $J$ 是秩为 $n$ 的稳定自由模的满射像？
• RQ5 欧拉类 $e(P, \chi)$ 在 $E(A)$ 中是否与平凡化 $\chi$ 的选择无关？

主要发现

• 秩为 $n$ 且行列式平凡的投影 $A$-模 $P$ 的欧拉类 $e(P, \chi)$ 在 $E(A)$ 中消失，当且仅当 $P$ 具有本原元素。
• 对于维数为偶数 $n$ 的诺特环 $A$，弱欧拉类 $e(P)$ 在 $E_0(A)$ 中消失，当且仅当在 $K_0(A)$ 中有 $[P] = [Q \oplus A]$，其中 $Q$ 是秩为 $n-1$ 的投影 $A$-模。
• 若 $(J, w_J) \in E(A)$ 属于同态 $E(A) \to E_0(A)$ 的核，则 $(J, w_J)$ 是某个秩为 $n$ 的稳定自由 $A$-模的欧拉类，这意味着 $J$ 是此类模的满射像。
• 若对高度为 $n$ 的理想 $J$ 存在满射 $P \to J$，且 $J/J^2$ 由 $n$ 个元素生成，则 $J$ 是稳定自由模的满射像，当且仅当 $e(P) = 0$ 在 $E_0(A)$ 中成立。
• 欧拉类群 $E(A)$ 与弱欧拉类群 $E_0(A)$ 的构造适用于维数 $n \geq 2$ 且包含 $\mathbb{Q}$ 的诺特环，推广了此前在光滑仿射代数上的结果。
• 即使在代数闭域之外，上 Chern 类失效时，群 $E(A)$ 仍能检测秩等于维数的投影模中本原元素的障碍。