[论文解读] A $D$-module approach on the equations of the Rees algebra

Yairon Cid‐Ruiz|arXiv (Cornell University)|Jun 19, 2017

Commutative Algebra and Its Applications参考文献 1被引用 6

一句话总结

本文提出了一种新颖的 $D$-模方法，用于刻画在 $\mathbb{F}[x_1,x_2]$ 中高度为二、由三个等次齐次多项式生成的理想的 Rees 代数的定义方程。通过将对称代数关系的傅里叶变换应用于，证明了从对称代数到 Rees 代数的典范映射的核 $\mathcal{K}$ 同构于一个微分方程组的解空间，其双分次结构完全由相关 $b$-函数的整数根决定。

ABSTRACT

Let $I \subset R = \mathbb{F}[x_1,x_2]$ be a height two ideal minimally generated by three homogeneous polynomials of the same degree $d$, where $\mathbb{F}$ is a field of characteristic zero. We use the theory of $D$-modules to deduce information about the defining equations of the Rees algebra of $I$. Let $\mathcal{K}$ be the kernel of the canonical map $α: ext{Sym}(I) ightarrow ext{Rees}(I)$ from the symmetric algebra of $I$ onto the Rees algebra of $I$. We prove that $\mathcal{K}$ can be described as the solution set of a system of differential equations, that the whole bigraded structure of $\mathcal{K}$ is characterized by the integral roots of certain $b$-functions, and that certain de Rham cohomology groups can give partial information about $\mathcal{K}$.

研究动机与目标

• 理解在 $\mathbb{F}[x_1,x_2]$ 中由三个等次齐次多项式生成的高度为二的理想之 Rees 代数的定义方程。
• 刻画从对称代数到 Rees 代数的典范映射的核 $\mathcal{K}$。
• 使用 $D$-模理论将 $\mathcal{K}$ 描述为一个微分方程组的解集。
• 将 $\mathcal{K}$ 的双分次结构与相关微分算子的 $b$-函数的整数根联系起来。
• 探索 de Rham 上同调与 $\mathcal{K}$ 结构之间的联系。

提出的方法

• 将对称代数关系的生成元 $g_1, g_2$ 进行傅里叶变换，得到 Weyl 代数中的微分算子 $L_1 = \mathcal{F}(g_1)$, $L_2 = \mathcal{F}(g_2)$。
• 将解空间 $\mathrm{Sol}(L_1, L_2; S)$ 定义为 $S = R[T_1,T_2,T_3]$ 中被 $L_1$ 和 $L_2$ 所消去的元素集合，并证明 $\mathcal{K} \cong \mathrm{Sol}(L_1, L_2; S)_{\mathcal{F}}(-2, -d+2)$。
• 利用 $S$ 上的扭 $\mathcal{T}$-模结构和对偶复形，将 $\mathcal{K}$ 与 $\mathcal{T}$ 上的 $\mathrm{Tor}$ 和 $\mathrm{Ext}$ 范函联系起来。
• 通过双次数 $\mathrm{bideg}(x_i) = (0,1)$, $\mathrm{bideg}(T_i) = (1,0)$, 和 $\mathrm{bideg}(t) = (1,-d)$ 构造 $\mathcal{K}$ 上的双分次 $S$-模结构。
• 使用 Macaulay2 计算与微分系统相关的 $D$-模的 $b$-函数，利用 Gröbner 变形和 Weyl 代数。
• 利用 $b$-函数的整数根确定 $\mathcal{K}$ 的非零双分次分量。

实验结果

研究问题

• RQ1 如何应用 $D$-模理论来描述 $\mathbb{F}[x_1,x_2]$ 中高度为二的理想之 Rees 代数的定义方程？
• RQ2 核 $\mathcal{K}$ 与映射 $\mathrm{Sym}(I) \to \mathrm{Rees}(I)$ 之间的精确关系是什么？该核是否同构于一个微分方程组的解空间？
• RQ3 相关 $D$-模的 $b$-函数的整数根如何决定 $\mathcal{K}$ 的双分次结构？
• RQ4 de Rham 上同调群能否提供关于 $\mathcal{K}$ 结构的部分信息？
• RQ5 在多大程度上，$b$-函数的计算能够预测 Rees 代数定义理想之最小生成元？

主要发现

• 从对称代数到 Rees 代数的典范映射的核 $\mathcal{K}$ 同构于一个微分方程组的解空间：$\mathcal{K} \cong \mathrm{Sol}(L_1, L_2; S)_{\mathcal{F}}(-2, -d+2)$，其中 $L_1, L_2$ 是对称代数关系的傅里叶变换。
• $\mathcal{K}$ 的双分次结构完全由与微分算子 $L_1$ 和 $L_2$ 相关的 $b$-函数的整数根决定，且 $\mathcal{K}_{p,q} \neq 0$ 当且仅当 $q$ 落在由这些根所确定的范围内。
• 对于单项式理想 $I = (x^5, x^2y^3, y^5)$，当 $p=2,3,4$ 时，$b$-函数因式分解为 $s(s+1)(s+2)$，表明 $\mathcal{K}_{p,q} \neq 0$ 当且仅当 $1 \leq q \leq 3$；当 $p=5$ 时，$b$-函数为 $s(s+1)(s+2)(s+3)$，因此 $\mathcal{K}_{5,q} \neq 0$ 对于 $0 \leq q \leq 3$。
• 在 $\mu=1$, $d=7$ 的情况下，$p=2$ 到 $7$ 的 $b$-函数分别为 $s$, $s(s+1)$, $s(s+1)(s+2)$, $s(s+1)(s+2)(s+3)$, $s(s+1)(s+2)(s+3)(s+4)$, 和 $s(s+1)(s+2)(s+3)(s+4)(s+5)$，确认了 $\mathcal{K}_{p,q} \neq 0$ 对于预期范围内的 $q$。
• $\mathcal{T}$-模结构以及 $\mathrm{Tor}$ 和 $\mathrm{Ext}$ 范函的使用，导出了同构 $\mathcal{K} \cong \{w \in Q \mid \partial_1 \bullet w = 0, \partial_2 \bullet w = 0\}$，其中 $Q$ 是某个 $\mathcal{T}$-模，从而为 $\mathcal{K}$ 提供了对偶刻画。