PSD 锥的坏投影

半正定矩阵锥在线性映射下的像是一个凸锥。Pataki 刻画了使该像不闭的线性映射的集合。该集合的 Zariski 闭包是 Grassmannian 中的一个超曲面。其分支是对称行列式簇的余各向同性超曲面。我们发展了此类坏投影的凸代数几何，重点在于显式计算。