[论文解读] The Koszul property of pinched Veronese varieties

Thanh Vu|arXiv (Cornell University)|Sep 12, 2013

Commutative Algebra and Its Applications参考文献 10被引用 3

一句话总结

该论文证明了当 $\Gamma$ 是通过从 $n$ 个变量的 $d$ 次单项式集合中移除一个格点 $\mathbf{a}$ 而得到的截断 Veronese 代数时，其对应的半群环 $K[\Gamma]$ 是 Koszul 环，除非 $d \geq 3$ 且 $\mathbf{a} = (0,\dots,0,2,d-2)$ 或其排列。证明使用了同调方法，具体是通过单纯复形的开链复形的单纯同调来界定剩余域的正则性，并应用 Avramov 和 Peeva 的定理，当正则性有限时得出 Koszul 性。

ABSTRACT

Let $K$ be an arbitrary field. Let $n,d \ge 2$ be positive integers. Let $V(n,d)$ be the set of all lattice points $\mathbf b = (b_1, ..., b_n)$ in ${\mathbb N}^n$ such that $\sum_{i=1}^n b_i = d$. Let $Γ= V(n,d) \setminus \{ \mathbf a \}$ for some element $\mathbf a \in V(n,d)$. In this paper we prove that the semigroup ring $K[Γ]$ is Koszul unless $d \ge 3$ and ${\mathbf a} = (0, ...,0, 2, d-2)$ or one of its permutations. This generalizes results of Caviglia, Conca, and Tancer.

研究动机与目标

• 确定半群环 $K[\Gamma]$ 的 Koszul 性质，其中 $\Gamma = V(n,d) \setminus \{\mathbf{a}\}$，且 $\mathbf{a} \in V(n,d)$。
• 推广 Caviglia、Conca 和 Tancer 关于截断 Veronese 代数 Koszul 性的先前结果。
• 精确识别出 $K[\Gamma]$ 失去 Koszul 性的例外情况，即当 $d \geq 3$ 且 $\mathbf{a} = (0,\dots,0,2,d-2)$ 或其排列时。
• 通过基于开链单纯复形的新同调方法，建立一个全新的 Koszul 代数大族。

提出的方法

• 使用 Laudal-Sletsjoe 定理，将剩余域 $K$ 在 $R = K[\Gamma]$ 上的 Betti 数表示为单纯复形 $\Gamma_\lambda$ 的约化同调群的维数。
• 将 $\Gamma_\lambda$ 定义为从 $0$ 到 $\lambda$ 的开链的单纯复形，其边属于 $\Gamma$，且其维数为 $|\lambda| - 2$。
• 应用 Avramov 和 Peeva 的定理：若 $\operatorname{reg}_R K$ 有限，则 $R$ 是 Koszul 环，从而将问题转化为通过同调来界定正则性。
• 将 $\Gamma_\lambda$ 与已知仅有最高维同调的完整 Veronese 复形 $\Delta_\lambda$ 进行比较。
• 通过在度数 $|\lambda|$ 上使用向下归纳法，并结合 Mayer-Vietoris 正合列，证明当 $|\lambda| \geq 7$ 时，$\Gamma_\lambda$ 在维度 $\leq n-6$ 上无同调。
• 利用关于具有特定面模式的单纯复形的组合引理，证明其在低维上同调平凡或消失。

实验结果

研究问题

• RQ1 在何种条件下，与截断 Veronese 代数相关的半群环 $K[\Gamma]$ 是 Koszul 环？
• RQ2 是否存在 $K[\Gamma]$ 失去 Koszul 性的完整例外情况分类？
• RQ3 当 $\Gamma$ 是 $2$-满的，即 $\Gamma + \Gamma = V(n,2d)$ 时，能否证明 $K[\Gamma]$ 具有 Koszul 性？
• RQ4 单纯复形 $\Gamma_\lambda$ 的同调与剩余域 $K$ 在 $R = K[\Gamma]$ 上的正则性之间有何关系？
• RQ5 为何特定的例外点 $\mathbf{a} = (0,\dots,0,2,d-2)$ 会阻碍 Koszul 性？

主要发现

• 代数 $K[\Gamma]$ 是 Koszul 环，除非 $d \geq 3$ 且 $\mathbf{a} = (0,\dots,0,2,d-2)$ 或其排列。
• 当 $|\lambda| \geq 7$ 时，单纯复形 $\Gamma_\lambda$ 在维度 $\leq n-6$ 上无同调，这意味着 $\operatorname{reg}_R K \leq 5$。
• 当 $\Gamma$ 是 $2$-满且 $\mathbf{a}$ 不是例外点时，剩余域 $K$ 在 $R = K[\Gamma]$ 上的正则性有界于 5。
• 证明通过 $\operatorname{reg}_R K$ 的有限性确立了 $K[\Gamma]$ 的 Koszul 性，依赖于 Avramov 和 Peeva 的判别准则。
• 例外情况的出现是因为三次关系 $y^3 - xz^2$ 在分解中成为最小且非线性关系，从而阻止了线性分解的出现。
• 该方法推广并统一了 Caviglia、Conca 和 Tancer 的先前结果，为证明 toric 环中的 Koszul 性提供了一个新框架。