[论文解读] A note on the growth of regularity with respect to Frobenius

Wenliang Zhang|arXiv (Cornell University)|Nov 30, 2015

Advanced Topics in Algebra参考文献 2被引用 5

一句话总结

该论文证明了在正特征域上，局部上同调模 $ H^s_{\frak m}(R/J^{[p^e]}) $ 的正则性在 $ p^e $ 上至多线性增长，其中 $ R = k[x_1,\dots,x_n]/I $ 是一个在正特征域上的分次环，$ J $ 是一个齐次理想。关键结果表明，当 $ s \geq \dim(Npd(R/J)) - 1 $ 时，存在一个与 $ e $ 无关的常数 $ C $，使得 $ \operatorname{reg}(H^s_{\frak m}(R/J^{[p^e]})) \leq Cp^e $，从而解决了与弗罗贝尼乌斯幂和紧闭包理论相关的增长问题。

ABSTRACT

Let $R=k[x_1,\dots,x_n]/I$ be a standard graded $k$-algebra where $k$ is a field of prime characteristic and let $J$ be a homogeneous ideal in $R$. Denote $(x_1,\dots,x_n)$ by $\mathfrak{m}$. We prove that there is a constant $C$ (independent of $e$) such that the regularity of $H^s_{\mathfrak{m}}(R/J^{[p^e]})$ is bounded above by $Cp^e$ for all $e\geq 1$ and all integers $s$ such that $s+1$ is at least the dimension of the locus where $R/J$ doesn't have finite projective dimension.

研究动机与目标

• 解决关于正特征环中弗罗贝尼乌斯幂作用下 Castelnuovo-Mumford 正则性线性增长的猜想。
• 为随着 $ e $ 增大而增长的局部上同调模 $ H^s_{\frak m}(R/J^{[p^e]}) $ 建立统一的度数界。
• 证明这些模的正则性在 $ p^e $ 上至多线性增长，且常数与 $ e $ 无关。
• 将此正则性界与 $ F $-跳跃系数的离散性及紧闭包性质联系起来。
• 通过将界限扩展到在受控区域上非有限投射维数的模，推广已知的正则性增长结果。

提出的方法

• 使用弗罗贝尼乌斯拉回 $ F^e_*R $ 来分析 $ R/J^{[p^e]} $ 的分次结构，其中 $ \deg(F^e_*r) = \frac{1}{p^e}\deg(r) $。
• 应用 Paskine-Szpiro 无环性引理，证明当 $ M $ 具有有限投射维数时，有 $ \operatorname{Tor}_i^R(F^e_*R, M) = 0 $ 对所有 $ i \geq 1 $ 成立。
• 从 Čech 复形和 $ M $ 的自由解析构造一个双复形，使用 $ \mathcal{C}_{\bullet,\bullet} $，其项为 $ \mathcal{F}_i \otimes_R \mathcal{C}_j \otimes_R F^e_*R $。
• 分析双复形的谱序列，表明 $ H^s_{\frak m}(M \otimes_R F^e_*R) $ 是总复形同调的子商。
• 通过 $ a(H^j_{\frak m}(F^e_*R)) = \frac{1}{p^e}a(H^j_{\frak m}(R)) $ 对 $ \operatorname{Tor} $-模的度数进行控制，以控制度数的增长。
• 应用同构 $ R/J \otimes_R F^e_*R \cong F^e_*R/J^{[p^e]} $，将 $ F^e_*R $-模的界转移到 $ R/J^{[p^e]} $。

实验结果

研究问题

• RQ1 对于所有 $ e \geq 1 $，$ H^s_{\frak m}(R/J^{[p^e]}) $ 的正则性是否在 $ p^e $ 上线性增长？
• RQ2 能否找到一个与 $ e $ 无关的统一常数 $ C $，使得 $ \operatorname{reg}(H^s_{\frak m}(R/J^{[p^e]})) \leq Cp^e $？
• RQ3 非有限投射维数的支集 $ Npd(R/J) $ 在决定正则性线性增长的 $ s $ 范围中起什么作用？
• RQ4 弗罗贝尼乌斯作用在局部上同调模上如何影响其最高分量的度数？
• RQ5 此正则性界是否意味着正特征环中 $ F $-跳跃系数的离散性？

主要发现

• 存在一个与 $ e $ 无关的常数 $ C $，使得对所有 $ e \geq 1 $ 和所有 $ s \geq \dim(Npd(M)) - 1 $，有 $ a(H^s_{\frak m}(M \otimes_R F^e_*R)) \leq C $。
• 局部上同调模 $ H^s_{\frak m}(R/J^{[p^e]}) $ 的正则性在 $ p^e $ 上至多线性增长，具体为 $ a(H^s_{\frak m}(R/J^{[p^e]})) \leq Cp^e $，当 $ s \geq \dim(Npd(R/J)) - 1 $ 时成立。
• 该界对所有 $ e \geq 1 $ 一致成立，常数 $ C $ 仅依赖于 $ R $ 和 $ J $，而不依赖于 $ e $。
• 该结果意味着对所有 $ e \geq 1 $，有 $ \operatorname{reg}(S/(I + J^{[p^e]})) \leq Cp^e $，支持了 Katzman 提出的问题的肯定答案。
• 该界可推广至 $ s \geq \dim(R/J) - 1 $，因为 $ \dim(Npd(R/J)) \leq \dim(R/J) $。
• 证明依赖于双复形的谱序列分析，以及通过 Paskine-Szpiro 无环性引理实现的度数控制。