分次代数 [分次代数]

定义

分次代数是分次模中的结合代数.

具体地, 分次代数可分成不同次数的 “齐次” 部分之和 $$ A \simeq \bigoplus_{n\in N} A_n, $$ 其中 $N$ 为交换幺半群; 满足乘法映射 $A\otimes A\to A$ 将 $A_n\otimes A_{n'}$ 映射到 $A_{n+n'}$, 即齐次元素的乘积的次数是次数的和.

余模结构

设 $M$ 为交换幺半群.

回忆幺半群代数 $k[M]$ 的双代数结构. 注意到自由 $k$-模函子 $$ k[-]\colon (\mathsf{Set},\times) \to (\mathsf{Mod}(k),\otimes) $$ 为对称幺半函子, 故将 $(\mathsf{Set},\times)$ 中的交换余交换双代数 $M$ 对应到 $\mathsf{Mod}(k)$ 中的交换余交换双代数 $k[M]$, 即 $\mathsf{CAlg}(k)$ 中的余交换余代数.

现在, 容易验证 $k$ 上的交换代数 $A$ 上的 $M$-分次结构等同于 $\mathsf{CAlg}(k)$ 中的余代数 $k[M]$ 上的一个余模结构 $$ A \to A[M] := A \otimes_k k[M], $$ 将 $m$ 次齐次元素 $a$ 映射到 $a \otimes m$. 其构成代数同态的条件恰好表明齐次元素的乘积的次数是各自次数的和.

对偶地, $\operatorname{Spec}k[M]$ 是仿射概形范畴中的交换幺半群, $A$ 上的 $M$-分次也等同于 $k$-概形 $\operatorname{Spec}A$ 上的 $\operatorname{Spec}k[M]$-作用.

性质