[論文レビュー] 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

ひとこと要約

本稿では、$\mathbb{F}[x_1,x_2]$ 内の高さ2のイデアルで、同じ次数の3つの斉次多項式によって最小生成されるものの、リース代数の定義方程式を特徴付けるための新しい $D$-加群のアプローチを提示する。対称代数の関係式にフーリエ変換を適用することで、対称代数からリース代数への標準的写像の核 $\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]$ 内の高さ2のイデアルで、同じ次数の3つの斉次多項式によって生成されるものの、リース代数の定義方程式を理解すること。
• 対称代数からリース代数への標準的写像の核 $\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$ によって annihilated されるものの集合として定義し、$\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]$ 内の高さ2のイデアルのリース代数の定義方程式を記述できるか？
• RQ2 対称代数 $\mathrm{Sym}(I)$ からリース代数 $\mathrm{Rees}(I)$ への写像の核 $\mathcal{K}$ と、微分方程式系の解空間との間の明確な関係は何か？
• RQ3 $b$-関数の整数根が、$\mathcal{K}$ の二重次数構造をどのように決定するか？
• RQ4 de Rhamコホモロジー群は、$\mathcal{K}$ の構造に関する部分的な情報を提供できるか？
• RQ5 $b$-関数の計算は、リース代数の定義イデアルの最小生成元を予測するのにどの程度有効か？

主な発見

• 標準的写像 $\mathrm{Sym}(I) \to \mathrm{Rees}(I)$ の核 $\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}$ の双対的特徴付けを提供する。