[论文解读] (FC)-Sequences, Mixed Multiplicities and Reductions of Modules

R. Callejas-Bedregal, V. H. Jorge Pérez|arXiv (Cornell University)|Sep 23, 2011

Commutative Algebra and Its Applications参考文献 13被引用 4

一句话总结

本文在标准分次代数的背景下引入了（FC）-序列与弱（FC）-序列，用于研究诺特局部环上自由模的任意子模的约化与混合重数。研究结果表明，混合重数可通过由（FC）-序列生成的模的布赫施塔姆-里姆重数来表征，并证明当多指标的总次数不超过相关理想高度减一的界限时，混合重数非零。

ABSTRACT

Let $(R, \mathfrak m)$ be a Noetherian local ring. In this work we use the notion of (FC)-sequences, as defined in \cite{perez-bedregal1}, to present some results concerning reductions and the positivity of mixed multiplicities of a finite collection of arbitrary submodules of $R^p.$ We also investigate the length of maximal (FC)-sequences. We actually work in the more general context of standard graded $R$-algebras.

研究动机与目标

• 将混合重数与约化的理论推广至诺特局部环上自由模的任意子模。
• 将原本用于理想设计的（FC）-序列方法扩展至模，以实现对混合重数的表征。
• 研究极大（FC）-序列的长度及其与子模约化的关联。
• 建立混合重数为零或非零的条件，特别是与理想高度和模的支撑相关的条件。

提出的方法

• 采用标准分次 $R$-代数 $G = \bigoplus G_n$ 的框架，其中 $G_1$ 包含感兴趣的子模。
• 针对分次 $G$-模 $M$，为 $G_1$ 中 $R$-子模族定义（FC）-序列与弱（FC）-序列。
• 应用布赫施塔姆-里姆重数理论，将混合重数与由（FC）-序列生成的模的重数联系起来。
• 利用子模 $E \subset R^p$ 的雷斯代数 ${\rm \bf R}(E)$，将模论问题转化为分次代数问题。
• 使用 $\mathcal{I} = \text{ideal generated by } I_1 \cdots I_q$ 及其零化子来定义相关支撑与维数条件。
• 通过同构 $M = G \otimes_R N$ 以及元素 $h \in E_i$ 与 $w(h) \in G_1$ 之间的对应关系，将分次代数中的结果回传至模的设定。

实验结果

研究问题

• RQ1 如何将（FC）-序列从理想推广至自由模的任意子模，以研究混合重数？
• RQ2 在分次代数设定下，极大（FC）-序列的长度与子模约化之间存在何种关系？
• RQ3 在何种条件下，一族子模的混合重数为零或保持非零？
• RQ4 由子模乘积生成的理想 $\mathcal{I}$ 的高度与混合重数非零之间有何关联？
• RQ5 布赫施塔姆-里姆重数能否用于通过（FC）-序列计算或表征模的混合重数？

主要发现

• 第 $j^\text{th}$ 个混合重数 $e^j(F^{[k_0]}, E_1^{[k_1]}, \dots, E_q^{[k_q]}; N)$ 等于布赫施塔姆-里姆重数 $e^j_{BR}(J, \overline{G})$，其中 $\overline{G} = G/(x_1, \dots, x_t)G$，且 $x_1, \dots, x_t$ 是长度为 $t = |\mathbf{k}|$ 的弱（FC）-序列。
• 混合重数 $e^j(F^{[k_0]}, E_1^{[k_1]}, \dots, E_q^{[k_q]}; N)$ 非零当且仅当 $|\mathbf{k}| \leq \text{ht}(\mathcal{I}) - 1$，其中 $\mathcal{I}$ 是由 $I_1 \cdots I_q$ 生成的理想。
• 在 $(J, I; M)$ 关系下，$I_1 \cup \cdots \cup I_q$ 中极大弱（FC）-序列的长度等于 $s(I)$，即 $I_1, \dots, I_q$ 的联合约化的最小生成元数。
• 若 $\text{ht}(\mathcal{I}) = s(I)$，则 $e^j(F^{[k_0]}, E_1^{[k_1]}, \dots, E_q^{[k_q]}; N) \neq 0$ 当且仅当 $|\mathbf{k}| \leq \text{ht}(\mathcal{I}) - 1$。
• 混合重数非零等价于在 $I_1 \cup \cdots \cup I_q$ 中存在长度为 $|\mathbf{k}|$ 的弱（FC）-序列。
• 模 $M/(0_M:\mathcal{I}^\infty)$ 的支撑维数满足 $\dim(M/(0_M:\mathcal{I}^\infty)) = \dim(\text{Proj}(G)) - s(I)$，将支撑维数与极大弱（FC）-序列的长度联系起来。