[논문 리뷰] The irreducible components of Hilb^{4n}(P^3)

Gerd Gotzmann|ArXiv.org|2008. 11. 19.

Coding theory and cryptography참고 문헌 6인용 수 6

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위에서 차수 4이자 기하학적 종수 1인 곡선을 매개변수화하는 Hilbert 스킴 $\operatorname{Hilb}^{4n}(\mathbb{P}^3)$ 가 정확히 두 개의 기약 성분을 가짐을 증명한다: 차원 16인 Vainsencher-Avritzer 성분 $H_{VA}$ 는 두 개의 이차 곡면의 완전 교차로 이루어져 있으며, 차원 23인 Reeves-Stillman 성분 $H_{RS}$ 는 사전순서 기준 점에 대응한다. 이 결과는 정규성에 따른 분할과 Borel 아이디얼의 분석을 통해 확립되며, 정규성 3, 4, 5 또는 6을 갖는 모든 곡선이 이 두 성분 중 하나에 속함을 보여주고, $H_{RS}$ 는 정규성 4 분할의 폐포이며 $H_{VA}$ 는 매끄러운 완전 교차의 국소적 폐포임을 밝힌다.

ABSTRACT

It is shown that Hilb^{4n}(P^3)has exactly two irreducible components.

연구 동기 및 목표

• Hilbert 스킴 $\operatorname{Hilb}^{4n}(\mathbb{P}^3)$ 의 기약 성분을 규명하는 것 — 이는 차수 4이자 기하학적 종수 1인 곡선을 매개변수화한다.
• 정규성에 따른 아이디얼의 분할을 분석하여 Hilbert 스킴의 구조를 규명하는 것.
• 기존에 알려진 두 성분인 Vainsencher-Avritzer ($H_{VA}$) 와 Reeves-Stillman ($H_{RS}$) 가 유일한 기약 성분임을 증명하는 것.
• $H_{RS}$ 가 정규성 4 분할의 폐포이며 $H_{VA}$ 가 완전 교차의 국소적 폐포임을 증명하는 것.
• $\operatorname{Hilb}^{3n+1}(\mathbb{P}^3)$ 와의 유사성을 확장하고, $\operatorname{Hilb}^{4n}(\mathbb{P}^3)$ 에서도 유사한 매끄러움과 코homological 성질이 성립하는지 탐구하는 것.

제안 방법

• 정규성에 따라 Hilbert 스킴를 분할하고, 일반 선형군 작용 하에서의 일반적인 초기 아이디얼이 Borel 고정 아이디얼임을 이용한다.
• 특정 Hilbert 함수 $\varphi_i(n)$ 를 갖는 Borel 아이디얼 ${\mathcal{B}}_i$ 를 $i=3,4,5,6$ 에 대해 분류하여, 정규성 분할의 모델로 삼는다.
• 각 정규성 분할 $R_i$ 내의 아이디얼의 구조를 Hilbert 함수와 그 차수 성분 $I_n = H^0(\mathbb{P}^3, \mathcal{I}(n))$ 의 차원 수를 통해 분석하여, $\dim I_n$ 이 기대하는 Hilbert 함수 $\varphi_i(n)$ 와 일치함을 보인다.
• 곱셈군 $\mathbb{G}_m$ 의 작용을 이용하여 아이디얼의 극한을 분석하고, 특정 아이디얼이 Reeves-Stillman 성분 $H_{RS}$ 의 폐포에 속함을 증명하며, 특히 $R_5 \cup R_6 \subset \overline{Y} = H_{RS}$ 임을 보인다.
• 완전 교차가 아닌 3-정규 아이디얼들이 $H_{VA}$ 에 속함을 보이기 위해, 일반 섹션은 완전 교차이고 특수 섹션은 비완전 교차 아이디얼인 $\mathbb{A}^1$ 위의 평탄한 가족을 구성하는 것.
• $H_{RS} = \overline{R}_4$ 와 $H_{VA} = \overline{V}$ 를 확립하고, $\mathbf{H} = H_{VA} \cup H_{RS}$ 이며 다른 성분이 존재하지 않음을 결론 내리는 것.

실험 결과

연구 질문

• RQ1 Hilbert 스킴 $\operatorname{Hilb}^{4n}(\mathbb{P}^3)$ 는 두 개 이상의 기약 성분을 가질 수 있는가?
• RQ2 사전순서 기준 점에 대응하는 Reeves-Stillman 성분 $H_{RS}$ 는 정규성 4 분할 $R_4$ 의 폐포인가?
• RQ3 완전 교차가 아닌 모든 3-정규 아이디얼들이 Vainsencher-Avritzer 성분 $H_{VA}$ 의 폐포에 속함을 보일 수 있는가?
• RQ4 $H_{VA}$ 와 $H_{RS}$ 는 $\mathbf{H}$ 의 유일한 기약 성분이며, 전체 스킴를 덮는가?
• RQ5 각 기약 성분의 차원은 얼마이며, $\mathbf{H}$ 의 구조는 $\operatorname{Hilb}^{3n+1}(\mathbb{P}^3)$ 와 유사한가? 이 경우도 두 성분을 가짐을 확인할 수 있는가?

주요 결과

• Hilbert 스킴 $\mathbf{H} = \operatorname{Hilb}^{4n}(\mathbb{P}^3)$ 는 정확히 두 개의 기약 성분을 가진다: 차원 16인 $H_{VA}$ 와 차원 23인 $H_{RS}$.
• Vainsencher-Avritzer 성분 $H_{VA}$ 는 두 이차 곡면의 완전 교차의 열린 부분집합의 폐포이며, $\operatorname{Grass}^2(P_2)$ 의 열린 부분집합과 미분동형이다.
• Reeves-Stillman 성분 $H_{RS}$ 는 정규성 4 분할 $R_4$ 의 폐포이며, 정규성 5와 6을 갖는 모든 아이디얼을 포함한다.
• 완전 교차가 아닌 모든 3-정규 아이디얼들은 $H_{VA}$ 에 속하며, 일반 섹션이 완전 교차이고 특수 섹션이 비완전 교차 아이디얼인 $\mathbb{A}^1$ 위의 평탄한 가족을 구성함으로써 이를 보였다.
• 기약 성분는 $H_{VA} = \overline{V}$ 와 $H_{RS} = \overline{R}_4$ 이며, 이들의 합집합은 전체 스킴 $\mathbf{H}$ 를 덮으며, 다른 성분은 존재하지 않는다.
• 결과는 $\operatorname{Hilb}^{3n+1}(\mathbb{P}^3)$ 와의 구조적 유사성을 확인하였고, $H_{4,1}$ 이 $H_{3,0}$ 경우와 동일한 매끄러움과 코homological 성질을 가지는지 여부는 여전히 열린 질문으로 남아 있다.