扩展 Gromov 最优 systolic 不等式

流形上非平凡的 cup 乘积或 Massey 乘积导致 systolic 类型不等式，但一般情况下，这些不等式并非最优（紧致）。Gromov 证明了针对复 projective 空间的最优 systolic 不等式。我们为基本上 cohomology 类别为二维类别 cup 乘积的流形提供了 Gromov 不等式的自然扩展。