Cohen-Macaulay 高阶余法向与 Kähler 微分模的平方自由单项式理想
Cohen-Macaulay higher conormal and Kähler differential modules of squarefree monomial ideals
浏览论文内容
中文总结 AI 辅助
本文研究平方自由单项式理想的余法向商与符号商的 Cohen-Macaulay 性，证明除 (1,2) 外所有窗口的 Cohen-Macaulay 性等价于完全交或拟阵条件，并揭示例外情形下符号平方与普通平方相等。
中文摘要 AI 辅助
设 $S=k[x_1,\ldots,x_n]$，$I=I_\Delta\subsetneq S$ 为非零平方自由单项式理想。受经典高阶 Kähler 微分模及高阶余法向模理论的启发，我们不仅研究高阶余法向商 $I/I^q$，更一般地研究同一 $I$-adic 余法向滤过中的平移商 $I^r/I^q$（$1\le r<q$），以及其符号类比 $I^{(r)}/I^{(q)}$。我们证明：对每个 $1\le r<q$ 且 $q\ge3$，模 $I^r/I^q$ 是 Cohen-Macaulay 的当且仅当 $I$ 是完全交。与此形成鲜明对比的是，$I^{(r)}/I^{(q)}$ 是 Cohen-Macaulay 的当且仅当 $\Delta$ 是拟阵（允许环）。因此，单个非例外窗口的 Cohen-Macaulay 性迫使相应滤过中每个窗口都是 Cohen-Macaulay 的。唯一例外对是 $(r,q)=(1,2)$：在此余法向层级，我们证明 $I/I^2$ 的 Cohen-Macaulay 性迫使 $I^2=I^{(2)}$，从而 $I/I^{(2)}$ 是 Cohen-Macaulay 的。
英文摘要
Let $S=k[x_1,\ldots,x_n]$ and let $I=I_Δ\subsetneq S$ be a nonzero squarefree monomial ideal. Motivated by the classical higher-order Kähler differential modules and by the theory of higher conormal modules, we study not only the higher conormal quotients $I/I^q$, but more generally the shifted quotients $I^r/I^q$, $1\le r<q$, in the same $I$-adic conormal filtration, together with their symbolic analogues $I^{(r)}/I^{(q)}$. We prove that, for every $1\le r<q$ with $q\ge3$, the module $I^r/I^q$ is Cohen--Macaulay if and only if $I$ is a complete intersection. In sharp contrast, $I^{(r)}/I^{(q)}$ is Cohen--Macaulay if and only if $Δ$ is a matroid, where loops are allowed. Thus, the Cohen--Macaulayness of a single nonexceptional window forces the Cohen--Macaulayness of every window in the corresponding filtration. The unique exceptional pair is $(r,q)=(1,2)$: at this conormal level, we show that the Cohen--Macaulayness of $I/I^2$ forces $I^2=I^{(2)}$, and hence $I/I^{(2)}$ is Cohen--Macaulay.
发表机构
- Tulane University（杜兰大学）
- Hanoi University of Science and Technology（河内科技大学）
机构由 AI 辅助整理，请以论文原文为准。
