分级代数上导子的上同调解释

我们通过 Demazure 对应关系追踪导子，该对应关系联系了有限生成的正分级正规 $k$-代数 $A$ 与配备 ample $\mathbb{Q}$-Cartier $\mathbb{Q}$-除子 $D$ 的正规射影 $k$-簇 $X$。我们得到了一个广义 Euler 序列，其中涉及 $X$ 上的一个层，其全局截面空间由 $A$ 的所有齐次 $k$-线性导子组成，以及 $X$ 上的对数导子层。