[논문 리뷰] Deformations of zero-dimensional schemes and applications

Joachim Jelisiejew|arXiv (Cornell University)|2013. 07. 30.

Commutative Algebra and Its Applications참고 문헌 14인용 수 10

한 줄 요약

이 석사학위논문은 0차원 Gorenstein 스킴의 평탄한 가속을 위한 새로운 도구를 개발하고, 이를 통해 $\mathbb{P}^n$ 위에서 특정 유한 Gorenstein 대수의 스무스화를 증명한다. Macaulay의 역체계와 Hilbert 함수 분해를 활용하여, 특히 $x_1^4 + x_2^4 + x_3^4 + x_4^2(x_1 + x_2)$의 아폴라르 대수가 스무스화 가능하고 Hilbert 스킴의 스무스 부분에 속함을 보여주며, 특정 Hilbert 함수에 대해 Gorenstein 위치의 기하학적 기하학적 불가분성을 확립한다.

ABSTRACT

In this thesis we consider the geometry of the Hilbert scheme of points in P^n, concentrating on the locus of points corresponding to the Gorenstein subschemes of P^n. New results are given, most importantly we provide tools for constructing flat families and analysis of finite Gorenstein algebras and expose their efficiency by proving smoothability of certain families of algebras. Much of the existing theory and folklore is reviewed, providing a micro-encyclopaedic reference.

연구 동기 및 목표

• 0차원 Gorenstein 스킴의 평탄한 가속을 위한 구축 가능한 도구를 개발한다.
• Macaulay의 역체계와 Hilbert 함수 분해를 활용하여 유한 Gorenstein 대수를 분석한다.
• Hilbert 함수 $(1,4,4,3,1)$ 및 관련 사례를 가진 특정 Gorenstein 대수의 스무스화를 증명한다.
• 소수 $r$ 및 임의의 $n$에 대해 Hilbert 스킴에서 Gorenstein 위치의 기하학적 기하학적 불가분성을 확립한다.
• Gorenstein 위치의 기하학적 성질을 Veronese 매핑의 단순선 및 카쿠스 곡면과 연결한다.

제안 방법

• Gorenstein 대수를 이중 소클 생성자에 의해 매개변수화하기 위해 Macaulay의 역체계를 활용한다.
• Hilbert 함수 분해를 적용하여 유한 Gorenstein 대수의 구조를 분류하고 분석한다.
• 곱셈 사상의 핵을 통한 평탄성 기준을 활용하여 평탄한 가속을 구성한다.
• 정리 5.3을 활용하여 $k[t]$ 위의 평탄한 가속을 정의하고, 그 군집이 Gorenstein 대수와 동형임을 보장한다.
• 보조정리 5.4를 적용하여 더 단순한 스킴의 합집합으로의 변형을 통해 스무스화를 보여준다.
• 제4.10조와 아폴라르 아이디얼을 활용하여 접선 공간의 차원을 계산하고 스무스성 여부를 검증한다.

실험 결과

연구 질문

• RQ1 역체계와 Hilbert 함수 분해를 통해 0차원 Gorenstein 스킴의 평탄한 가속을 체계적으로 구성할 수 있는가?
• RQ2 특히 $h_A(1) \leq 3$일 때, 어떤 조건에서 유한 Gorenstein 대수가 스무스화 가능한가?
• RQ3 $\mathbb{P}^n$ 상의 $r$개 점의 Hilbert 스킴에서 Gorenstein 위치는 소수 $r$과 임의의 $n$에 대해 기하학적으로 불가분한가?
• RQ4 Hilbert 함수 분해는 Gorenstein 위치의 기하학적 성질과 Veronese 매핑의 단순선 곡면과 어떻게 관련이 있는가?
• RQ5 Hilbert 함수 $(1,4,4,3,1)$을 가진 Gorenstein 점에서 접선 공간의 차원은 얼마이며, 이는 스무스성을 의미하는가?

주요 결과

• Hilbert 함수 $(1,4,4,3,1)$을 가진 Gorenstein 대수의 이중 소클 생성자 집합은 $Z \times S^{\leq 3}$의 기하학적 기하학적 열린 부분집합을 이룬다. 여기서 $Z$는 Hilbert 함수 $(1,3,3,3,1)$을 가진 4차 다항식을 매개변수화한다.
• 다항식 $x_1^4 + x_2^4 + x_3^4 + x_4^2(x_1 + x_2)$의 아폴라르 대수는 스무스화 가능하다. 이는 이중 점과 삼중 점 스킴의 분리합집합의 평탄한 극한으로 나타나기 때문이다.
• 모르피즘 $V \to \operatorname{HilbGor}_{\mathbb{P}^n}^r$의 상은 기하학적으로 불가분하다. 여기서 $V$는 특정 이중 소클 생성자를 매개변수화한다.
• $x_1^4 + x_2^4 + x_3^4 + x_4^2(x_1 + x_2)$에 대응하는 점은 $\operatorname{HilbGor}_{\mathbb{P}^n}^r$의 스무스 부분에 속하며, $k$-랭크 52의 접선 공간을 가진다.
• 모든 유한 Gorenstein 대수 중에서 $h_A(1) \leq 3$인 경우는 변형 이론 기준과 역체계를 통해 스무스화 가능하다.
• 세 변수의 4차 다항식의 사영적 집합 중에서 Hilbert 함수 $(1,n,m,m,n,1)$이고 $m \leq 3$인 경우는 다섯 번째 Veronese 매핑의 세 번째 단순선 곡면과 일치하므로, 기하학적으로 불가분하다.