留数流的分解

给定一个子模 $J\subset \mathcal O_0^{\oplus r}$ 及其自由解消，可以定义一个特定的向量值留数流，其零化子为 $J$。我们根据 Ass$(J)$ 对该流进行了分解，这对应于 $J$ 的准素分解。作为工具，我们引入了一类流，其中包含了通常的留数流和主值流；特别是，这些流允许以某种方式限制到解析簇上，更一般地限制到可构造集上。