[论文解读] Gorenstein Modules of Finite Length

Michael Kunte|ArXiv.org|Jul 18, 2008

Algebraic structures and combinatorial models参考文献 4被引用 5

一句话总结

该论文通过分次幂对称矩阵刻画了加权多项式环上有限长 Gorenstein 模的性质，证明其极小自由解析是强自对偶的。关键贡献在于：在奇数特征和奇数个变量下，Gorenstein 性质与中间映射具有特定对称性的自对偶解析之间存在完全等价关系。

ABSTRACT

In Commutative Algebra structure results on minimal free resolutions of Gorenstein modules are of classical interest. We define Gorenstein modules of finite length over the weighted polynomial ring via symmetric matrices in divided powers. We show that their graded minimal free resolution is selfdual in a strong sense. Applications include a proof of the dependence of the monoid of Betti tables of Cohen-Macaulay modules on the characteristic of the base field. Moreover we give a new proof of the failure of the generalization of Green's Conjecture to characteristic 2 in the case of general curves of genus $2^n -1$.

研究动机与目标

• 通过分次幂中的对称矩阵刻画加权多项式环上有限长 Gorenstein 模。
• 建立此类模的极小自由解析的强自对偶性质。
• 证明 Cohen-Macaulay 模的 Betti 表的幺半群依赖于基域的特征。
• 为一般亏格为 $2^n - 1$ 的曲线在特征 2 下 Green 猜想的失败提供新证明。
• 在特征 ≠ 2 的条件下，证明具有对称解析的有限长模必为 Gorenstein 模。

提出的方法

• 通过满足 $\tau = \operatorname{Hom}_k(\tau,k)(-s)$ 的分次同构 $\tau: M \to \operatorname{Hom}_k(M,k)(-s)$ 定义有限长 Gorenstein 模。
• 将此类模实现为商模 $M(P) = \bigoplus_{j=1}^p R(b_j)/\operatorname{Ann}_R(P)$，其中 $P$ 为分次幂中的对称矩阵。
• 使用 Nielsen 的解析构造方法，构建具有自对偶结构的极小自由解析。
• 定义对偶函子 $(-)^\vee = \operatorname{Hom}_R(\cdot, R(-\sum d_l - s))$ 以表达解析对偶性。
• 应用函子同构 $r_M: M^* \to \operatorname{Ext}^n_R(M, R(-d))$ 和 $s_M: M \to \operatorname{Ext}^n_R(\operatorname{Ext}^n_R(M), -s)$，建立对偶性与对称性的联系。
• 通过证明 $\psi_{m+1}^\vee = \pm \psi_{m+1}$ 且对称性由 $m = (n-1)/2$ 的奇偶性决定，证明解析是自对偶的。

实验结果

研究问题

• RQ1 分次幂中的对称矩阵需满足何种条件，才能使对应的商模为 Gorenstein 模？
• RQ2 Gorenstein 模的极小自由解析的自对偶性能否通过中间映射的对称类型来刻画？
• RQ3 Cohen-Macaulay 模的 Betti 表幺半群是否依赖于基域的特征？
• RQ4 为何在特征 2 下，一般亏格为 $2^n - 1$ 的曲线的 Green 猜想会失败？
• RQ5 在特征 ≠ 2 的条件下，具有对称解析的有限长模是否必为 Gorenstein 模？

主要发现

• 分次 $R$-模 $M$ 为有限长 Gorenstein 模当且仅当其同构于某个分次幂对称矩阵 $P$ 的 $M \cong M(P)$。
• 当 $n \geq 3$ 为奇数时，Gorenstein 模的极小自由解析是强自对偶的：满足 $0 \leftarrow M \leftarrow F_0 \leftarrow \cdots \leftarrow F_m \leftarrow (F_m)^\vee \leftarrow \cdots \leftarrow (F_0)^\vee \leftarrow 0$。
• 中间映射 $\phi_{m+1}$ 在 $m$ 为奇数时为反对称，在 $m$ 为偶数时为对称，且解析结构在对偶下保持不变。
• 在特征 $\neq 2$ 的域上，自对偶解析结构完全刻画了 Gorenstein 模：$M$ 为 Gorenstein 模当且仅当其极小解析具有指定的自对偶形式且对称性正确。
• Cohen-Macaulay 模的 Betti 表幺半群依赖于基域的特征，这通过构造对 $\operatorname{char} k$ 敏感的解析对称性的 Gorenstein 模得以证明。
• 利用 Gorenstein 模的对称解析结构，重新证明了在特征 2 下，一般亏格为 $2^n - 1$ 的曲线的 Green 猜想的失败。