[论文解读] Quotients of Koszul algebras with almost linear resolution

Jon Eivind Vatne|arXiv (Cornell University)|Mar 18, 2011

Algebraic structures and combinatorial models参考文献 9被引用 4

一句话总结

本文计算了具有近乎线性解析的科什乌尔代数商的Ext代数的Hilbert级数与分次向量空间结构——其中关系位于度数 $d \geq 4$，且除第一个微分外其余微分均为线性。通过谱序列论证，证明了Ext代数同构于科什乌尔对偶与挠代数在挠生成元上的张量积。关键结果是为一般性行列式簇的Ext代数给出了Hilbert级数的闭式公式。

ABSTRACT

We compute the Hilbert series, and the graded vector space structure, of Ext-algebras of quotients of Koszul algebras with almost linear resolution. The example of the generic determinantal varieties is treated in detail.

研究动机与目标

• 计算科什乌尔代数商在近乎线性解析下的Ext代数的分次向量空间结构与Hilbert级数。
• 将科什乌尔型对偶性推广至其解析除第一个微分外均为线性的代数。
• 利用谱序列技术，为一般性行列式簇的Ext代数提供显式公式。
• 研究此类商代数是否满足卡西迪与谢尔顿提出的广义科什乌尔条件。
• 探讨通过运算复形上同调（Harrison上同调）建立交换$N$-科什乌尔理论的可能性。

提出的方法

• 使用环变换谱序列：$E^{pq}_2 = \operatorname{Ext}^p_R(k, \operatorname{Ext}^q_A(R,k)) \Rightarrow \operatorname{Ext}^{p+q}_A(k,k)$。
• 利用 $\operatorname{Ext}^*_A(R,k) \cong G_*^\vee$ 的事实，其中 $G_i$ 为挠生成空间。
• 应用定理3.2，证明 $\operatorname{Ext}^m_R(k,k) \cong (A^! \otimes T(\bigoplus G_i^\vee))_m$ 作为分次向量空间。
• 使用Eagon-Northcott复形来解析商代数 $R = k[x_{ij}]/I$，适用于一般性行列式簇。
• 通过外代数 $\Lambda V^*$ 的Hilbert级数与张量代数生成级数的乘积，计算Hilbert级数。
• 应用推论3.3，推导出Ext代数Hilbert级数的显式有理函数形式。

实验结果

研究问题

• RQ1 具有近乎线性解析的科什乌尔代数商是否满足卡西迪与谢尔顿提出的广义科什乌尔条件？
• RQ2 能否通过运算复形上同调（特别是Harrison上同调）建立$N$-科什乌尔交换代数的理论？
• RQ3 一般性行列式簇坐标环的Harrison上同调是什么？
• RQ4 此类商代数的Ext代数结构是否完全由科什乌尔对偶与挠生成元决定？
• RQ5 谱序列方法能否推广至第一个挠生成元非线性的其他代数？

主要发现

• 科什乌尔代数 $A$ 的商代数 $R$ 在近乎线性解析下，其Ext代数满足 $\operatorname{Ext}^m_R(k,k) \cong (A^! \otimes T(\bigoplus G_i^\vee))_m$ 作为分次向量空间。
• 对于 $\mathbb{P}^{nm-1}$ 中的一般性行列式簇，Ext代数同构于 $\Lambda V^* \otimes T(\bigoplus G_i^\vee)$，其中 $G_{i+1} \cong S^i(V^*) \otimes \Lambda^{i+n}(W^*)$。
• 一般性行列式簇的Ext代数的Hilbert级数为 $\frac{(1+t)^{nm}}{1 - \sum_{j=2}^m c_j t^j}$，其中系数 $c_j$ 为二项式表达式。
• Artin代数 $R = k[x_0,\dots,x_s]/(x_0,\dots,x_s)^n$ 的Hilbert级数为 $\frac{(1+t)^s}{1 - \sum_{j=2}^{n+s} d_j t^j}$，其中 $d_j$ 显式给出。
• 当 $d=3$ 时，该方法因谱序列收敛中的技术障碍而失效，尽管已知 $d=2$ 的情形为科什乌尔代数。
• 该例子表明，所有关系位于固定度数 $d \geq 4$ 的交换代数可能具有广义$N$-科什乌尔结构，尽管目前尚无此类理论建立。