[论文解读] Free resolutions over commutative Koszul algebras

Luchézar L. Avramov, Aldo Conca+1 more|ArXiv.org|Apr 18, 2009

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

一句话总结

本文在交换科 szul 代数上建立了自由解析的斜率的精确界限，证明了当 $ R = Q/J $，$ Q $ 为科 szul 代数且 $ J \subseteq (Q_+)^2 $ 时，$ R $ 关于 $ Q $ 的斜率满足 $ \max\{\operatorname{Rate}R + 1, 2\} \leq \operatorname{slope}_Q R \leq \operatorname{Rate}R + 1 $，当 $ \operatorname{pd}_Q R < \infty $ 时左侧不等式严格成立。此外，证明了在有限投射维数下，$ \operatorname{Tor}_i^Q(R,k)_j = 0 $ 对 $ j > 2i $ 成立，且当 $ i > \dim Q - \dim R $ 时对 $ j = 2i $ 也成立。

ABSTRACT

For R=Q/J with Q a commutative graded algebra over a field and J non-zero, we relate the slopes of the minimal resolutions of R over Q and of k=R/R_{+} over R. When Q and R are Koszul and J_1=0 we prove Tor^Q_i(R,k)_j=0 for j&gt;2i, for each non-negative integer i, and also for j=2i when i&gt;dim Q-dim R and pd_QR is finite.

研究动机与目标

• 为了关联 $ R $ 关于 $ Q $ 的最小自由解析的斜率与 $ k = R/R_+ $ 关于 $ R $ 的斜率，特别是在科 szul 代数的背景下。
• 为了在 $ R = Q/J $，$ Q $ 为有限生成的交换科 szul $ K $-代数，且 $ J \subseteq (Q_+)^2 $ 的条件下，建立 $ \operatorname{slope}_Q R $ 的精确上界与下界。
• 为了在有限投射维数下，证明 $ \operatorname{Tor}_i^Q(R,k)_j $ 在 $ j > 2i $ 时为零，且当 $ i > \dim Q - \dim R $ 时在 $ j = 2i $ 时也为零。
• 为了将同调不变量如斜率与正则性与格罗布纳基不变量如 $ \Delta^\ell(R) $ 联系起来，并研究科 szul 性与 LG-二次性的关系。

提出的方法

• 使用卡坦与艾伦伯格的环变换谱序列，将 $ \operatorname{Tor}_i^Q(k,M)_j $ 与 $ \operatorname{Tor}_i^R(k,M)_j $ 和 $ \operatorname{Tor}_q^Q(k,R)_j $ 关联起来。
• 应用同调代数技巧分析谱序列在 $ q = 0 $ 直线上的收敛性，推导出 $ t_i^Q(R) $ 的不等式。
• 采用速率 $ \operatorname{Rate}R = \operatorname{slope}_R R_+ $ 的概念，并通过等式 $ \operatorname{slope}_Q R_+ = \operatorname{slope}_Q R $ 将其与 $ \operatorname{slope}_Q R $ 关联，当 $ R $ 是 $ Q $ 沿线性形式正则序列的商时成立。
• 使用格罗布纳基理论与不变量 $ \Delta^\ell(R) $，其定义为所有满足 $ Q/L \simeq R $ 且 $ L $ 由线性形式正则序列生成的 $ Q $ 的 $ \Delta(Q) $ 的下确界。
• 应用单项理想的泰勒解析来界定 $ t_i^{\widetilde{Q}}(\widetilde{Q}/\operatorname{in}_\tau(I_Q)) $，从而得到 $ \operatorname{slope}_{\widetilde{R}} R $ 的界限。
• 结合谱序列分析与小同态及正则序列的性质，推导出主要不等式与零化结果。

实验结果

研究问题

• RQ1 当 $ Q $ 为交换科 szul 代数且 $ J \subseteq (Q_+)^2 $ 时，$ \operatorname{slope}_Q R $ 的精确界限是什么？
• RQ2 在什么条件下 $ \operatorname{Tor}_i^Q(R,k)_j $ 在 $ j > 2i $ 时为零，且当 $ i > \dim Q - \dim R $ 时在 $ j = 2i $ 时也为零？
• RQ3 不变量 $ \operatorname{Rate}R $、$ \Delta^\ell(R) $ 与 $ \operatorname{reg}_Q R $ 如何与 $ R $ 的斜率和贝蒂数相关？
• RQ4 每个科 szul 代数是否都是 LG-二次的，即是否对所有科 szul 代数都有 $ \Delta^\ell(R) = 2 $ 成立？
• RQ5 不等式 $ \beta_i^{\widetilde{R}}(R) \leq \binom{\beta_1^{\widetilde{R}}(R)}{i} $ 是否对所有 $ i $ 在科 szul 代数中成立？

主要发现

• 对于 $ R = Q/J $，其中 $ Q $ 为有限生成的交换科 szul $ K $-代数且 $ J \subseteq (Q_+)^2 $，斜率满足 $ \max\{\operatorname{Rate}R + 1, 2\} \leq \operatorname{slope}_Q R \leq \operatorname{Rate}R + 1 $，当 $ \operatorname{pd}_Q R < \infty $ 时左侧不等式严格成立。
• 若 $ t_i^Q(R) = (c+1) \cdot i $，其中 $ c = \operatorname{Rate}R $，则对所有 $ 1 \leq h \leq i $ 有 $ t_h^Q(R) = (c+1) \cdot h $，且 $ i \leq \operatorname{rank}_k(J/Q_+J)_{c+1} $。
• 当 $ \operatorname{pd}_Q R < \infty $ 时，对所有 $ i > \dim Q - \dim R $ 有 $ t_i^Q(R) < (c+1) \cdot i $。
• 卡斯特尔努奥沃-墨菲德正则性满足 $ \operatorname{reg}_Q R \leq c \cdot \operatorname{pd}_Q R $，当 $ Q $ 为标准分次多项式环且 $ J $ 由次数为 $ c+1 $ 的正则形式序列生成时取等。
• 不变量 $ \Delta^\ell(R) $ 满足 $ \operatorname{Rate}R + 1 \leq \Delta^\ell(R) $，且 $ \operatorname{slope}_{\widetilde{R}} R \leq \Delta^\ell(R) $，当 $ i > \operatorname{rank}_K R_1 - \dim R $ 时有严格不等式 $ t_i^{\widetilde{R}}(R) < \Delta^\ell(R) \cdot i $。
• 本文证明了在有限投射维数下，$ \operatorname{Tor}_i^Q(R,k)_j = 0 $ 对 $ j > 2i $ 成立，且当 $ i > \dim Q - \dim R $ 时对 $ j = 2i $ 也成立，推广了早期基于格罗布纳基的结果。