兼容基本矩阵三元组的多射几何

我们通过计算其多度和多齐次消失理想来特征化兼容基本矩阵三元组的variety。这解答了 Br{\aa}telund 和 Rydell 最近提出的第一个有趣的问题。我们的结果改进了先前在几何计算机视觉文献中发现的若干代数约束，后者都不完整（它们不 \emph{不}生成消失理想），且有时对矩阵三元组的比例方式作出限制性假设。我们的讨论更广泛地涉及到广义兼容variety，其多齐次消失理想的理解要差得多。我们关键的新发现是一组简洁的四次约束，它们在兼容基本矩阵三元组上消失。这组四次约束在本质矩阵的语境下同样重要：结合一些先前已知的约束，我们表明它们在局部切出兼容本质矩阵三元组的variety。