[논문 리뷰] A DIVISION ALGORITHM IN AN AFFINE FRAMEWORK FOR FLAT FAMILIES COVERING HILBERT SCHEMES

Cristina Bertone, Francesca Cioffi외 1명|arXiv (Cornell University)|2012. 01. 01.

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

한 줄 요약

이 논문은 고정된 아핀 힐베르트 다항식과 모노미얼 기저를 갖는 비동차 이상의 평탄한 가속을 구성하기 위해 (j;m)-표준 기저를 기반으로 한 새로운 아핀 나눗셈 알고리즘을 제안한다. 이는 아핀 공간 내의 부분스킴에 대한 명시적 계산과 효율적인 동차화를 가능하게 한다. 주요 기여는 강한 안정 이상 위의 표준 기저 가속이 힐베르트 스킴의 열린 덮개를 이룬다는 것을 증명한 것으로, 이는 P⁷에서 16개의 점을 포함하는 힐베르트 스킴의 세 개의 기약 성분을 한 점을 통해 탐지하거나 특정 고펄라인 스킴의 스무스화를 증명하는 등 명시적 계산을 가능하게 한다.

ABSTRACT

We study the family of ideals i R = K(x1;:::;xn) whose quotients R=i share the same ane Hilbert polynomial and the same monomial K-vector basis, that we choose to be the sous-escalierN (j) of a strongly stable ideal j R. The analogous problem for homogeneous ideals has already been studied, but in the non-homogenous case there are more diculties that we overcome introducing the notion of ( j;m)-marked basis, for a xed positive integer m. We design a division algorithm which works in an ane context and allows the explicit construction of a class of at families of (non-homogeneous) ideals, that we call (j;m)-marked families. We can compute a set of equations endowing a marked family Mf(j;m) with the structure of subscheme of a suitable ane space; moreover, we can simultaneously contruct the homogenization of the ideals inMf(j;m) in a very ecient and simple way. Finally we show that, up to changes of coordinates, the marked families over strongly stable ideals in R give an open cover of Hilbert schemes. These results allow us to make explicit computations on Hilbert schemes, for example, for the one of 16 points in P 7 , we detect three irreducible components through a single point and we prove the smoothability of Gorenstein schemes with Hilbert function (1; 7; 7; 1). In a similar way we also prove the smoothability of Gorenstein schemes with Hilbert function (1; 5; 5; 1).

연구 동기 및 목표

• 고정된 아핀 힐베르트 다항식과 모노미얼 기저를 갖는 비동차 이상의 평탄한 가속을 체계적으로 구성하기 위한 방법을 개발하는 것.
• 고정된 정수 m에 대해 (j;m)-표준 기저의 개념을 도입하여 비동차 케이스에서의 과제를 해결하는 것.
• 표준 기저 가속과 그 동차화를 명시적으로 구성할 수 있도록 하는 아핀 나눗셈 알고리즘을 설계하는 것.
• 명시적 방정정식을 통해 표준 기저 가속에 아핀 공간 내의 부분스킴의 구조를 부여하는 것.
• 좌표 변화를 제외한, 강한 안정 이상 위의 표준 기저 가속이 전체 힐베르트 스킴을 덮는다는 것을 증명하는 것.

제안 방법

• 고정된 양의 정수 m에 대해 아핀 설정에서 비동차 이상을 다룰 수 있도록 (j;m)-표준 기저의 개념을 도입한다.
• 강한 안정 이상과 그들의 sous-escalierN(j) 프레임워크 내에서 작동하는, 아핀 다항식에 특화된 나눗셈 알고리즘을 개발한다.
• 표준 기저 가속 Mf(j;m)를 적절한 아핀 공간의 부분스킴으로 정의하는 명시적 방정식을 구성한다.
• 모든 Mf(j;m)에 속하는 이상의 동차화를 효율적이고 체계적으로 동시에 계산한다.
• 얻어진 (j;m)-표준 기저 가속을 좌표 변화를 통해 힐베르트 스킴을 덮는 데 활용하여 열린 덮개를 확립한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 고정된 모노미얼 기저와 아핀 힐베르트 다항식을 갖는 비동차 이상의 평탄한 가속을 아핀 설정에서 체계적으로 구성할 수 있는가?
• RQ2 비동차 이상의 (j;m)-표준 기저 구성에서 매개변수 m의 역할은 무엇인가?
• RQ3 표준 기저 가속을 아핀 공간의 부분스킴으로 실현하기 위해 명시적 방정식을 유도할 수 있는가?
• RQ4 이러한 가속에 속하는 이상의 동차화를 효율적이고 균일하게 계산할 수 있는가?
• RQ5 좌표 변화를 제외한, 강한 안정 이상 위의 표준 기저 가속이 힐베르트 스킴의 열린 덮개를 이룬다 할 수 있는가?

주요 결과

• 논문은 표준 기저 가속 Mf(j;m)에 아핀 공간 내의 부분스킴의 구조를 제공하는 명시적 방정식을 구성한다.
• 제안된 방법을 통해 Mf(j;m)에 속하는 모든 이상의 동차화를 효율적이고 균일하게 계산할 수 있다.
• P⁷에서 16개의 점을 포함하는 힐베르트 스킴에 대해, 이 방법은 한 점을 통해 세 개의 기약 성분을 탐지할 수 있다.
• 구성된 가속을 통해 힐베르트 함수 (1; 7; 7; 1)을 갖는 고펄라인 스킴의 스무스화를 증명한다.
• 동일한 프레임워크를 통해 힐베르트 함수 (1; 5; 5; 1)을 갖는 고펄라인 스킴의 스무스화도 확립한다.