自由分辨率与标记族

设 $\mathbb{K}$ 为一个域，$A$ 为一个 Noether 域 $\mathbb{K}$-代数。在 2020 年的一篇论文中，M. Albert、C. Bertone、M. Roggero 和 W. M. Seiler 证明了，给定准稳定模块 $U \subset R^m$（其中 $R=\mathbb{K}[x_0,\dots,x_n]$），其下任意子模 $M\subseteq (R\otimes A)^m$ 通过 $U$ 上的标记基生成，必然 admits 一个称为 $U$-resolution 的特殊自由分辨率。本文首先研究了 $U$-resolution 的最小性及其结构。当 $M$ 为理想且 $A=\mathbb{K}$ 时，我们证明 $M$ 当且仅当其 $U$-resolution 最小（在线性变换下），即其分量线性。随后，我们采用 $U$-resolution 的函数组合方法进行构造，证明其自然关联的某些函数组合同构。这些同构源于 $U$-resolution 中第 $i$ 个象征模的标记基可以由 $M$ 的标记基系数表示。此外，当 $M$ 为深度至少为 2 的理想时，这一对应关系可以逆向：此时，$M$ 本身的标记基可以由其第一个象征模的标记基系数表示。