[논문 리뷰] BOREL OPEN COVERING OF HILBERT SCHEMES

Margherita Roggero|arXiv (Cornell University)|2009. 09. 11.

Commutative Algebra and Its Applications참고 문헌 15인용 수 8

한 줄 요약

이 논문은 플루커 좌표를 통한 보렐 고정 단항 이상의 열린 덮개를 이용하여 하이르베르트 스킴을 구성한다. 각 열린 집합 $ H_J $는 보렐 고정 단항 이상 $ J $에 의해 색인되며, 이는 $ J $에 대한 보완 단항 기저를 갖는 동차 이상을 매개변수화한다. 또한 이러한 열린 집합들이 $ \mathrm{GL}(n+1) $-작용에 대해 하이르베르트 스킴을 덮음을 보이며, $ H_J $는 최대 차수 $ d+2 $의 방정식으로 정의된다. 주요 기여는 국소 플루커 좌표를 사용하여 유한하고 기하학적으로 의미 있는 하이르베르트 스킴의 열린 덮개를 제공하는 것이다.

ABSTRACT

Let p(t) be an admissible Hilbert polynomial in Pn of degree d and Gotzmann number r. It is well known that Hilbn p(t) can be seen as a closed subscheme of the Grasmannian G(N, s), where N = `n+r ´ and s = N − p(r), hence, by Plücker embedding, it becomes a closed subset of a n suitable projective space. Let us denote by B the finite set of the Borel fixed ideals in k[X0,..., Xn] generated by s monomials of degree r. We associate to every monomial ideal J ∈ B, a Plücker coordinate pJ. If UJ is the open subset of G(N, s) given by pJ ̸ = 0, which is isomorphic to the affine space As(N−s) , then HJ = Hilbn p(t) ∩ UJ is an open subset of Hilbn p(t) and then can be seen as an affine subvariety of As(N−s). The main results obtained in this paper are the following: i) HJ ̸ = ∅ ⇔ Proj(k[X0,..., Xn]/J) ∈ Hilbn p(t); ii) if non-empty, HJ parametrizes all the homogeneous ideals I such that the set NJ of the monomials not belonging to J is a basis of k[X0,..., Xn]/I as a k-vector space; iii) the ideal defining HJ as a subvariety of As(N−s) (i.e. in “local ” Plücker coordinates) is generated in degree ≤ d + 2; iv) HJ can be isomorphically projected into a linear subspace of As(N−s) of dimension ≤ σ(N −s), where σ is the number of minimal generators of the saturation Jsat of J; v) up to changes of coordinates in Pn, the open sets HJ cover Hilbn p(t) , namely: Hilb n p(t) = G g(HJ). g∈GL(n+1) J∈B 1.

연구 동기 및 목표

• 하이르베르트 스킴 $ \mathrm{Hilb}^n_{p(t)} $의 유한한 열린 덮개를 보렐 고정 단항 이상에 관련된 열린 부분집합을 사용하여 구성하기.
• 각 열린 집합 $ H_J $의 비어있음 조건을 $ \mathrm{Proj}(k[X_0,\dots,X_n]/J) \in \mathrm{Hilb}^n_{p(t)} $ 라는 조건을 통해 기하학적으로 특성화하기.
• 각 $ H_J $의 정의 이상이 아핀 공간 내에서 최대 차수 $ d+2 $ 이내로 생성됨을 기술하여 알고리즘적 및 기하학적 분석 가능하게 하기.
• $ H_J $가 최대 차수 $ \sigma(N-s) $인 선형 부분공간으로 동형 사영을 가질 수 있음을 보이며, 여기서 $ \sigma $는 $ J^{\text{sat}} $의 최소 생성원의 수이다.
• $ \mathrm{GL}(n+1) $-변환에 의한 모든 $ H_J $의 합집합이 전체 하이르베르트 스킴 $ \mathrm{Hilb}^n_{p(t)} $를 덮음을 증명하기.

제안 방법

• 보렐 고정 단항 이상 $ J \in B $ 각각에 대해 플루커 좌표 $ p_J $를 부여하고, $ p_J \neq 0 $ 인 $ U_J \subset \mathrm{Gr}(N,s) $의 열린 부분집합을 정의한다.
• $ H_J = \mathrm{Hilb}^n_{p(t)} \cap U_J $로 정의하며, 국소 플루커 좌표를 통해 $ \mathbb{A}^{N-s} $ 내의 아핀 다양체로 간주한다.
• $ H_J \neq \emptyset $이 되는 것은 $ \mathrm{Proj}(k[X_0,\dots,X_n]/J) \in \mathrm{Hilb}^n_{p(t)} $임과 동치임을 이용하여 기하학적 소속성과 비어있음 조건을 연결한다.
• $ H_J \subset \mathbb{A}^{N-s} $의 정의 이상이 Gotzmann 수 $ r $과 하이르베르트 다항식의 차수 $ d $를 이용해 최대 차수 $ \leq d+2 $ 이내로 생성됨을 보인다.
• $ H_J $를 $ \sigma $개의 최소 생성원을 갖는 $ J^{\text{sat}} $에 의해 결정되는 차수 $ \leq \sigma(N-s) $인 선형 부분공간으로 동형 사영을 구성한다.
• $ \mathrm{GL}(n+1) $-변환에 의한 모든 $ H_J $의 합집합이 전체 하이르베르트 스킴 $ \mathrm{Hilb}^n_{p(t)} $를 덮음을 증명하여 전역적인 열린 덮개를 확립한다.

실험 결과

연구 질문

• RQ1 열린 부분집합 $ H_J \subset \mathrm{Hilb}^n_{p(t)} $는 언제 비어있지 않으며, 이를 어떻게 기하학적으로 특성화할 수 있는가?
• RQ2 $ H_J $가 아핀 공간 $ \mathbb{A}^{N-s} $의 부분다양체로 간주될 때, 그 정의 방정식의 최대 차수는 무엇이며, 하이르베르트 다항식의 차수 $ d $와 어떤 관계가 있는가?
• RQ3 $ H_J $는 낮은 차수의 선형 부분공간으로 동형 사영이 가능할 수 있으며, 그 차수는 무엇에 의해 결정되는가?
• RQ4 보렐 고정 이상에 의해 색인된 $ H_J $들이 $ \mathrm{GL}(n+1) $-작용 하에서 하이르베르트 스킴을 어떻게 공동으로 덮는가?
• RQ5 $ H_J $의 국소 모델의 복잡성에 영향을 주는 $ J^{\text{sat}} $의 역할은 무엇인가?

주요 결과

• $ H_J $는 $ \mathrm{Proj}(k[X_0,\dots,X_n]/J) $가 하이르베르트 스킴 $ \mathrm{Hilb}^n_{p(t)} $에 속해 있을 때에만 비어있으며, 이는 비어있음의 기하학적 기준을 제공한다.
• 비어있을 경우, $ H_J $는 $ J $에 대한 보완 단항 기저를 갖는 모든 동차 이상 $ I $를 매개변수화한다. 즉, $ k[X_0,\dots,X_n]/I $의 $ k $-벡터 공간 기저로써 $ J $에 포함되지 않는 단항식들이 구성한다.
• $ H_J \subset \mathbb{A}^{N-s} $의 정의 이상은 하이르베르트 다항식의 차수 $ d $에 대해 최대 차수 $ d+2 $ 이내로 생성된다.
• 각 $ H_J $는 $ J^{\text{sat}} $의 최소 생성원 수 $ \sigma $에 의해 결정되는 최대 차수 $ \sigma(N-s) $인 선형 부분공간으로 동형 사영이 가능하다.
• $ \mathrm{GL}(n+1) $-변환에 의한 모든 $ H_J $의 합집합은 전체 하이르베르트 스킴 $ \mathrm{Hilb}^n_{p(t)} $를 덮으며, 이는 유한하고 기하학적으로 의미 있는 열린 덮개를 확립한다.