展示环面线丛的上同调

存在一种标准方法，通过环面在环面的一参数子群空间 $N_{\mathbb R}$ 中相关联子集 $V(L)$ 的单形上同调，来计算环面簇上环面不变层 $L$ 的上同调。对于由特征标空间 $M_{\mathbb R}$ 中多面体的形式差 $\Delta^+-\Delta^-$ 表示的线丛 $L$，[ABKW18] 包含一个更简单的 $L$ 上同调公式，将 $V(L)$ 替换为集合论差 $\Delta^- \setminus \Delta^+$。在此，我们给出该公式的一个简短而直接的证明。