相干构形的张量积

相干构形 $\cal X$ 的笛卡尔分解被定义为它的一组抛物面所组成的特殊集合，这些抛物面构成底层集合的一个笛卡尔分解。结果表明，$\cal X$ 的每一个张量分解都源于某个笛卡尔分解。证明了若相干构形 $\cal X$ 是厚的，则 $\cal X$ 存在唯一的极大笛卡尔分解，即 $\cal X$ 分解为不可分解分量时恰有一个内部张量分解。特别地，这蕴含了厚相干构形的一个 Krull--Schmidt 定理类比。我们构造了一个在多项式时间内求厚相干构形极大笛卡尔分解的算法。