拟阵的松弛实现空间

我们引入了一种新的拟阵实现空间模型，该模型源于由饱和行列式理想（称为松弛理想）所定义的簇，后者来自拟阵的顶点-超平面关联矩阵。这受启发于多面体的松弛实现空间的类似模型。我们展示了如何利用这些思想来证明拟阵的不可实现性，并描述了与标准 Grassmann-Plücker 实现空间模型的显式关系。我们还通过引入可关联到任意拟阵的环面理想，展示了一种借助松弛理想检测射影唯一拟阵的方法。