[논문 리뷰] Inverse Systems of Zero-dimensional Schemes in P^n

Young Hyun Cho, Anthony Iarrobino|arXiv (Cornell University)|2011. 07. 01.

Algebraic structures and combinatorial models참고 문헌 30인용 수 3

한 줄 요약

이 논문은 프로젝티브 n차원 공간에 있는 영차원 체계에 대한 전역 매클로이 역체계를 그의 기약 성분들의 국소 역체계를 동차화하여 구성한다. 국소적으로 고크린스타인인 체계에 대해, 특정 불변량 β(𝑍)보다 큰 차수를 가진 일반적인 다항식이 체계를 유일하게 결정함을 증명하며, 고크린스타인 아르틴 몐레의 힐베르트 함수가 큰 소클 차수에서 자연스러운 상한에 도달함을 보인다.

ABSTRACT

The authors construct the global Macaulay inverse system for a zero-dimensional subscheme Z of projective n-space P^n, from the local inverse systems of the irreducible components of Z. They show that when Z is locally Gorenstein a generic homogeneous form F of degree d apolar to Z determines Z when d is larger than an invariant b(Z). They also show that a natural upper bound for the Hiilbert function of Gorenstein Artin quotient of the coordinate ring is achieved for large socle degree. They show the uniqueness of generalized additive decompositions of a homogeneous form F into powers of linear forms, under suitable hypotheses. They include many examples.

연구 동기 및 목표

• 영차원 체계 $ \mathfrak{Z} \subset \mathbb{P}^n $의 전역 매클로이 역체계 $ L_{\mathfrak{Z}} $를 그 기약 성분들의 국소 역체계로부터 구성하는 방법을 개발하는 것.
• 충분히 높은 차수 $ d > \beta(\mathfrak{Z}) $를 가진 일반적인 다항식 $ F $가 아폴로지어를 통해 $ \mathfrak{Z} $를 유일하게 결정할 수 있는 조건을 규명하는 것.
• 고크린스타인 아르틴 몐레의 힐베르트 함수가 소클 차수가 클 경우 자연스러운 상한에 도달함을 증명하는 것.
• 적절한 가정 하에 동차 다항식이 일차형식의 거듭제곱으로 분해되는 일반화된 덧셈 분해(GAD)의 유일성을 증명하는 것.
• 국소 역체계의 동차화를 이용하여 전역 역체계 $ L_{\mathfrak{Z}} $의 생성자를 알고리즘적으로 구성하는 것.

제안 방법

• 정의 2.4에 정의된 좌표 불변 절차를 사용하여, $ \mathfrak{Z} $의 각 기약 성분 $ \mathfrak{Z}(k) $와 관련된 국소 역체계 $ L^\prime(J(k)) $를 동차화하는 것.
• 동차화 과정을 통해 국소 역체계의 생성자를 $ R = k[x_1,\dots,x_{n+1}] $의 군집적 구조를 유지하면서 전역 생성자 $ L_{\mathfrak{Z}} \subset \Gamma = \mathrm{DP}[X_1,\dots,X_{n+1}] $로 올리는 것.
• 아폴로지어 개념을 적용: 다항식 $ F \in \Gamma $가 $ L_{\mathfrak{Z}} $에 속하려면 $ I_{\mathfrak{Z}} \cdot F = 0 $여야 하며, 여기서 $ I_{\mathfrak{Z}} $는 수축을 통해 작용한다.
• R의 아이디얼과 $ \Gamma $의 부분모듈 간의 딱 보기관계를 활용하며, $ L_{\mathfrak{Z}} $가 $ \mathcal{O}_{\mathfrak{Z}} $와 같은 힐베르트 함수를 가짐을 이용하는 것.
• 좌표 변화에 따른 동차화의 행동을 분석하며, 특히 $ \mathfrak{Z} $가 한 점에 집중되어 있을 경우를 다루는 것.
• 차수 $ d > \beta(\mathfrak{Z}) $일 경우, 일반적인 다항식 $ F \in (L_{\mathfrak{Z}})_d $가 그의 소멸 아이디얼을 통해 $ \mathfrak{Z} $를 유일하게 결정함을 확립하는 것.

실험 결과

연구 질문

• RQ1 영차원 체계 $ \mathfrak{Z} \subset \mathbb{P}^n $의 전역 매클로이 역체계 $ L_{\mathfrak{Z}} $는 그 기약 성분들의 국소 역체계로부터 어떻게 재구성할 수 있는가?
• RQ2 차수 $ d $를 가진 일반적인 다항식 $ F $가 $ \mathfrak{Z} $에 아폴로지어일 때, 어떤 조건에서 $ \mathfrak{Z} $를 유일하게 결정하며, 이에 해당하는 임계 차수 $ d > \beta(\mathfrak{Z}) $는 무엇인가?
• RQ3 좌표환의 고크린스타인 아르틴 몐레에 대해 가능한 최대 힐베르트 함수는 무엇이며, 이 상한은 언제 도달되는가?
• RQ4 어떤 조건에서 동차 다항식이 일차형식의 거듭제곱으로 분해되는 일반화된 덧셈 분해(GAD)가 유일한가?
• RQ5 체계 $ \mathfrak{Z} $의 힐베르트 함수 $ H_{\mathfrak{Z}} $는 그 성분들의 국소 힐베르트 함수와 어떻게 관련되어 있으며, 언제 그 성분들의 국소 함수로 결정되지 않는가?

주요 결과

• 전역 역체계 $ L_{\mathfrak{Z}} $는 국소 역체계 $ L^\prime(J(k)) $의 직합의 동차화로 구성되며, 그 생성자는 국소 체계의 생성자로부터 명시적으로 결정된다.
• 국소적으로 고크린스타인인 영차원 체계 $ \mathfrak{Z} $에 대해, $ d > \beta(\mathfrak{Z}) $인 일반적인 다항식 $ F \in (L_{\mathfrak{Z}})_d $는 $ \mathrm{Ann}(F) = I_{\mathfrak{Z}} $를 만족하므로 $ \mathfrak{Z} $를 유일하게 결정한다.
• 체계 $ \mathfrak{Z} $의 힐베르트 함수 $ H_{\mathfrak{Z}} $는 큰 소클 차수에서 자연스러운 상한 $ \min\{\dim_k R_i, \deg \mathfrak{Z}\} $에 도달하며, 이 상한은 날카롭다.
• 일반화된 덧셈 분해(GAD)는 $ \mathfrak{Z} $가 고크린스타인이고 $ d $가 충분히 클 경우에 유일하며, 이는 정리 3.22에 의해 입증된다.
• 만일 $ \mathfrak{Z} $가 고정된 국소 고크린스타인 체계 $ \Upsilon $의 $ k $개 이동체의 합집합이라면, $ h $-벡터 $ \Delta H_{\mathfrak{Z}} $는 점들의 구성에 따라 달라지며, $ k=3,4 $일 경우 일반적인 구성은 $ 3k $개의 일반적인 매끄러운 점들과 동일한 힐베르트 함수를 갖는다.
• 차수 $ 3k $의 점형 고크린스타인 체계의 가중족 $ \mathcal{F}(\Upsilon,k,\mathbb{P}^2) $는 매끄럽거나 압축된 고크린스타인 체계의 가중족 위에 피브리케이션되어 있으며, 그들 각각의 섬유는 $ \mathbb{P}^{s-1} $의 열린 부분집합과 동형이다.