[논문 리뷰] A $D$-module approach on the equations of the Rees algebra

Yairon Cid‐Ruiz|arXiv (Cornell University)|2017. 06. 19.

Commutative Algebra and Its Applications참고 문헌 1인용 수 6

한 줄 요약

이 논문은 $\mathbb{F}[x_1,x_2]$에서 높이가 2인 아이디얼에 대해, 동일한 차수를 가진 세 개의 동차 다항식으로 최소 생성된 경우, 그 Rees 대수의 정의 방정정식을 특징짓기 위한 새로운 $D$-모듈 접근법을 제시한다. 대칭 대수의 관계에 푸리에 변환을 적용함으로써, 대칭 대수에서 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]$에서 높이가 2인 아이디얼에 대해, 동일한 차수를 가진 세 개의 동차 다항식으로 생성된 Rees 대수의 정의 방정식을 이해하는 것.
• 대칭 대수에서 Rees 대수로의 자연스러운 사상의 핵 $\mathcal{K}$를 특징짓는 것.
• $D$-모듈 이론을 사용하여 $\mathcal{K}$를 미분방정식계의 해집합으로 묘사하는 것.
• $\mathcal{K}$의 이중층 구조가 관련된 미분연산자에 대한 $b$-함수의 정수근과 어떻게 관련되는지 밝혀내는 것.
• de Rham 코hom올로지와 $\mathcal{K}$의 구조 사이의 연결고리를 탐색하는 것.

제안 방법

• 대칭 대수의 관계 생성자 $g_1, g_2$에 푸리에 변환을 적용하여 와일 대수 내의 미분연산자 $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$-함수를 계산하며, 그레브너 변형과 와일 대수의 특성을 활용한다.
• $b$-함수의 정수근을 이용하여 $\mathcal{K}$의 비영이 되는 이중층 성분을 결정한다.

실험 결과

연구 질문

• RQ1 $D$-모듈 이론은 $\mathbb{F}[x_1,x_2]$에서 높이가 2인 아이디얼의 Rees 대수의 정의 방정식을 어떻게 묘사할 수 있는가?
• RQ2 대칭 대수에서 Rees 대수로의 사상 $\mathrm{Sym}(I) \to \mathrm{Rees}(I)$의 핵 $\mathcal{K}$와 미분방정식계의 해공간 사이의 정확한 관계는 무엇인가?
• RQ3 $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+1)(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$가 기대된 범위 내에서 성립함을 확인한다.
• $\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}$의 이중 특성화를 제공한다.