[논문 리뷰] The Hilbert scheme of points and its link with border basis

Mari-Emi Alonso, Jérôme Brachat외 1명|arXiv (Cornell University)|2009. 11. 18.

Polynomial and algebraic computation참고 문헌 23인용 수 7

한 줄 요약

이 논문은 기존 방법보다 더 효율적이고 명시적인 표현을 제공하는, 단일 그라스만니안의 부분다중집합으로서 점형 하이르베르트 스킴 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 를 정의하는 새로운 단순화된 이차 플루커 유사 방정식을 제시한다. 이 방정식들은 경계 기저의 교환관계 및 생성관계로부터 유도되며, 스킴이 점형 하이르베르트 함자를 표현한다는 것이 증명되었고, 경계 기저에 대한 사영에 의한 새로운 탄성공간 기술이 제시된다.

ABSTRACT

In this paper, we give new explicit representations of the Hilbert scheme of $μ$ points in $\PP^{r}$ as a projective subvariety of a Grassmanniann variety. This new explicit description of the Hilbert scheme is simpler than the previous ones and global. It involves equations of degree $2$. We show how these equations are deduced from the commutation relations characterizing border bases. Next, we consider infinitesimal perturbations of an input system of equations on this Hilbert scheme and describe its tangent space. We propose an effective criterion to test if it is a flat deformation, that is if the perturbed system remains on the Hilbert scheme of the initial equations. This criterion involves in particular formal reduction with respect to border bases.

연구 동기 및 목표

• 점형 하이르베르트 스킴 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 를 단일 그라스만니안의 부분다중집합으로서 효과적이고 명시적인 표현을 제공한다.
• 기존의 고차 다항식이었던 정의 방정식을 단순화하여, 플루커 좌표에서의 완전한 이차 방정식 집합을 유도한다.
• 이러한 이차 방정식과 표준 플루커 관계로 정의된 스킴이 점형 하이르베르트 함수 $Τ\mathbf{Hilb}^{\mu}_{\mathbb{P}^n}$ 를 표현한다는 것을 증명한다.
• 기본 경계 기저에 대한 사영에 기반한 기하학적 기술을 활용하여 하이르베르트 스킴의 한 점에서의 탄성공간을 새롭게 기술한다.

제안 방법

• 다항식환에서의 경계 기저의 교환관계 및 생성관계로부터 하이르베르트 스킴의 새로운 정의 방정식을 유도한다.
• 이 관계들을 단일 그라스만니안의 플루커 좌표에서의 이차 방정식으로 표현하여 이전 구축 방식보다 차수를 낮춘다.
• 지속성 정리와 쌍대성을 활용하여 이러한 새로운 방정식을 통해 하이르베르트 스킴을 그라스만니안 내의 사영다양체로 매립한다.
• 경계 기저의 구조를 활용하여 고정된 하이르베르트 다항식 $μ$ 를 가진 0차원 스킴의 평탄한 가속을 특성화한다.
• 하이르베르트 스킴의 한 점에서의 탄성공간을 기본 경계 기저에 대한 사영의 공간으로 재구성하여 기하학적 해석을 제공한다.
• 정의된 새로운 방정식이 유일성 성질을 만족함을 보여 이로써 점형 하이르베르트 함수가 표현 가능하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 기존 구축 방식보다 더 낮은 차수의 완전하고 명시적인 방정식 집합으로 점형 하이르베르트 스킴 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 를 정의할 수 있는가?
• RQ2 경계 기저의 교환관계 및 생성관계를 체계적으로 어떻게 하이르베르트 스킴의 정의 방정식으로 변환할 수 있는가?
• RQ3 이러한 새로운 방정식으로 정의된 스킴이 충분히 점형 하이르베르트 함수 $Τ\mathbf{Hilb}^{\mu}_{\mathbb{P}^n}$ 를 표현하는가?
• RQ4 기본 경계 기저의 구조에 기반하여 하이르베르트 스킴의 탄성공간에 대한 기하학적 해석은 무엇인가?

주요 결과

• 논문은 단일 그라스만니안의 부분다중집합으로서 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 의 완전하고 효과적인 정의 방정식 집합을 구성하였으며, 플루커 좌표에서 모두 차수 2이다.
• 이러한 새로운 방정식들은 이전의 바이어 및 아이아로빈-카네프 방정식보다 더 단순하고 낮은 차수이며, 이는 $n+1$개 변수에서 차수 $μ$ 의 단항식의 수에서 $μ$ 를 뺀 값과 같아지는 차수를 가진다.
• 이러한 이차 방정식과 표준 플루커 관계로 정의된 스킴 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 는 점형 하이르베르트 함수 $Τ\mathbf{Hilb}^{\mu}_{\mathbb{P}^n}$ 를 표현한다.
• 하이르베르트 스킴의 한 점에서의 탄성공간은 기본 경계 기저에 대한 사영의 공간으로 특성화되며, 새로운 기하학적 해석을 제공한다.
• 이러한 구축은 오직 새로운 이차 방정식과 플루커 관계만을 사용하여 점형 하이르베르트 함수의 표현 가능성을 새롭게 증명한다.
• 이 방법은 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 에 자연스러운 사영다양체 구조를 제공하며, 그라스만니안에 매립되어 있고, 명시적이고 저차수의 정의 방정식을 가진다.