[论文解读] On the upper semi-continuity of HSL numbers

Serena Murru|arXiv (Cornell University)|Feb 5, 2013

Commutative Algebra and Its Applications参考文献 8被引用 5

一句话总结

本文建立了在特征 $ p $ 的域上，仿射 Cohen-Macaulay 代数的谱上 HSL 数的上半连续性——HSL 数定义为使 Frobenius 映射的 $ e $-重迭代在局部上同调模的幂零子模上消去的最小指数 $ e $。关键结果表明，对每个 $ e > 0 $，集合 $ \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) < e \} $ 是 Zariski 开集，从而推出 HSL 数的上半连续性。该结果导致了 Cohen-Macaulay 环中参数理想 Frobenius 闭包的全局测试指数。

ABSTRACT

Let $B$ be an affine Cohen-Macaulay algebra over a field of characteristic $p$. For every prime ideal $\mathfrak{p}\subset B$, let $ ext{H}_\mathfrak{p}$ denote $H^{\dim B_\mathfrak{p}}_{\mathfrak{p} B_\mathfrak{p}}\left( \widehat{B_\mathfrak{p}} ight)$. Each such $ ext{H}_\mathfrak{p}$ is an Artinian module endowed with a natural Frobenius map $Θ$ and if $ ext{Nil}( ext{H}_\mathfrak{p})$ denotes the set of all elements in $ ext{H}_\mathfrak{p}$ killed by some power of $Θ$ then a theorem by Hartshorne-Speiser and Lyubeznik shows that there exists an $e\geq 0$ such that $Θ^e ext{Nil}( ext{H}_\mathfrak{p})=0$. The smallest such $e$ is the HSL-number of $ ext{H}_\mathfrak{p}$ which we denote $ ext{HSL}( ext{H}_\mathfrak{p})$. The main theorem in this paper shows that for all $e&gt;0$, the sets $\{ \mathfrak{p}\in ext{Spec} (B) \,|\, ext{HSL}( ext{H}_\mathfrak{p}) &lt; e \}$ are Zariski open, hence HSL is upper semi-continuous. An application of this result gives a global test exponent for the calculation of Frobenius closures of parameter ideals in Cohen-Macaulay rings.

研究动机与目标

• 在素特征域上的仿射 Cohen-Macaulay 代数的谱上，建立 HSL 数——即 Frobenius 作用于局部上同调模幂零性的一种度量——的上半连续性。
• 证明对所有 $ e > 0 $，集合 $ \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) < e \} $ 是 Zariski 开集，从而证明 HSL 函数的上半连续性。
• 将此上半连续性结果应用于推导 Cohen-Macaulay 环中参数理想 Frobenius 闭包的全局测试指数。
• 提供一种通过 Frobenius 映射在局部上同调模及其幂零子模上的作用，有效计算 HSL 数的构造性框架。

提出的方法

• 将 HSL 数 $ \operatorname{HSL}(H_{\mathfrak{p}}) $ 定义为最小的 $ e $，使得 $ \Theta^e(\operatorname{Nil}(H_{\mathfrak{p}})) = 0 $，其中 $ \Theta $ 是 Artinian 模 $ H_{\mathfrak{p}} = \operatorname{H}^{\dim B_{\mathfrak{p}}}_{\mathfrak{p}B_{\mathfrak{p}}}(\widehat{B_{\mathfrak{p}}}) $ 上的自然 Frobenius 映射。
• 利用完全正则局部环中链 $ \{ m \in H_{\mathfrak{p}} \mid \Theta^i(m) = 0 \} $ 的稳定性，确保 $ \operatorname{HSL}(H_{\mathfrak{p}}) < \infty $。
• 在多项式环中构造模上的算子 $ I_e(-) $，并证明其与局部化和完备化可交换，从而实现对幂零元素支集的控制。
• 定义集合 $ \mathcal{B}_e = \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) \leq e \} $，并证明 $ \mathcal{B}_e^c $ 是闭集，因此 $ \mathcal{B}_e $ 是开集。
• 利用 $ \operatorname{H}^d_{\mathfrak{m}}(S) $ 的直极限表示结构，将元素的幂零性与 Frobenius 幂理想中的成员关系联系起来。
• 应用上半连续性结果，证明局部 Cohen-Macaulay 环中参数理想 Frobenius 闭包的 $ \operatorname{H}^d_{\mathfrak{m}}(S) $ 的 HSL 数可作为全局测试指数。

实验结果

研究问题

• RQ1 在正特征下，Cohen-Macaulay 代数谱上的局部上同调模的 HSL 数是否作为函数是上半连续的？
• RQ2 HSL 数的上半连续性能否用于推导 Cohen-Macaulay 环中参数理想 Frobenius 闭包的统一测试指数？
• RQ3 Frobenius 映射在局部上同调模上的幂零指数如何与理想 Frobenius 闭包相关联？
• RQ4 在仿射代数上的局部上同调模中，Frobenius 作用下幂零元素支集的结构是怎样的？
• RQ5 在特定例子中，HSL 数能否通过诸如消去子和 Fitting 理想等代数不变量有效计算？

主要发现

• HSL 数 $ \operatorname{HSL}(H_{\mathfrak{p}}) $ 是上半连续的：对每个 $ e > 0 $，集合 $ \{ \mathfrak{p} \in \operatorname{Spec} B \mid \operatorname{HSL}(H_{\mathfrak{p}}) < e \} $ 是 Zariski 开集。
• 对于局部 Cohen-Macaulay 环 $ S $，$ \operatorname{H}^d_{\mathfrak{m}}(S) $ 的 HSL 数等于最小的 $ \bar{e} $，使得 $ (J^F)^{[p^{\bar{e}}]} \subseteq J^{[p^{\bar{e}}]} $ 对参数理想 $ J $ 成立，因此它是一个全局测试指数。
• 在非 Gorenstein Cohen-Macaulay 域 $ S = R/I $ 的例子中，HSL 数至多为 2：在 $ V(x_1,x_2,x_3) $ 上为 2，在 $ V(x_1,x_2,x_3) $ 外为 1，在其他地方为 0。
• 在给定假设下，所有局部上同调模 $ H_{\mathfrak{p}} $ 的 HSL 数均为有限值，这是由于 Frobenius 映射下幂零滤子的稳定性。
• 通过 Fitting 理想和模 $ \Omega_e $ 的消去子构造 $ \mathcal{B}_e $，可有效计算 HSL 数的支集。
• 该结果表明，对于多项式环的任意商环，存在一个统一的上界 $ \epsilon $，使得对所有极大理想 $ \mathfrak{m} $，有 $ \operatorname{HSL}(\operatorname{H}^{\dim S}_{\mathfrak{m}}(S)) \leq \epsilon $，从而推出对局部参数理想 $ J $，有 $ (J^F)^{[p^\epsilon]} = J^{[p^\epsilon]} $。