[논문 리뷰] On the symmetric subscheme of Hilbert scheme of points

Kyungyong Lee|arXiv (Cornell University)|2007. 08. 26.

Advanced Theoretical and Applied Studies in Material Sciences and Geometry참고 문헌 6인용 수 3

한 줄 요약

이 논문은 $d \geq 3$ 인 경우 힐버트 스킴 $\text{Hilb}^{d+1}(\mathbb{C}^d)$ 의 가장 대칭적인 아핀 열린 부분스킴 $U$ 의 명시적 대수적 기술을 제공하며, 이가 스체르 모듈러의 대칭 대수의 몫과 동형임을 보여준다. 스체르 모듈러와 리틀우드-리치아드슨 규칙을 사용하여 $U$ 의 힐버트 함수와 차원을 분석함으로써, $n > d \geq 12$ 인 경우 $\text{Hilb}^n(\mathbb{C}^d)$ 가 비기약임을 증명한다. 주요 기여는 스체르 모듈러와 이상 프로젝터를 통한 기하학적 및 표현론적 특성 기술이다.

ABSTRACT

We consider the Hilbert scheme Hilb^{d+1}(C^d) of (d+1) points in affine d-space C^d (d > 2), which includes the square of any maximal ideal. We describe equations for the most symmetric affine open subscheme of Hilb^{d+1}(C^d), in terms of Schur modules. In addition we prove that Hilb^{d+1}(C^d) is reducible for n>d>11.

연구 동기 및 목표

• 최대 대칭성을 가지는 아핀 열린 부분스킴 $U$ 의 방정정식을 기술하는 것, $\text{Hilb}^{d+1}(\mathbb{C}^d)$ 에서 $d \geq 3$.
• 비근본적 아이디얼의 큰 차원의 가람을 구성함으로써, $n > d \geq 12$ 인 경우 $\text{Hilb}^n(\mathbb{C}^d)$ 가 비기약임을 증명하는 것.
• 힐버트 함수 분석을 위해 스체르 모듈러와 리틀우드-리치아드슨 규칙을 사용하는 표현론적 프레임워크를 제공하는 것.
• 스체르 모듈러와 리틀우드-리치아드슨 규칙을 사용하여 $\mathbb{C}[\mathbf{x}]$ 의 고차수 단항식 기저로의 $U$ 의 기술 일반화를 추측하는 것.

제안 방법

• 대칭적인 아핀 부분스킴 $U$ 는 $\text{Hilb}^{d+1}(\mathbb{C}^d)$ 의 열린 부분집합으로서, $\{1, x_1, \dots, x_d\}$ 가 $\mathbb{C}[\mathbf{x}]/I$ 의 $\mathbb{C}$-기저를 이뤄 최대 대칭성을 가지게 하여 정의된다.
• 이의 좌표환은 $\mathbb{C}^d \times \text{Spec}\left(\frac{\text{Sym}^\bullet(\mathbb{S}_{(3,1,1,\dots,1,0)}V)}{\langle \mathbb{S}_{(4,3,2,\dots,2,1)}V \rangle}\right)$ 로 기술되며, 여기서 $V$ 는 $d$ 차원의 $\mathbb{C}$-벡터 공간이다.
• 좌표환의 몫환의 구조를 정의하기 위해, $j: \mathbb{S}_{(4,3,2,\dots,2,1)}V \hookrightarrow \text{Sym}^2(\mathbb{S}_{(3,1,1,\dots,1,0)}V)$ 의 단사 준동형사상을 사용한다.
• 힐버트 함수 $H(r)$ 는 리틀우드-리치아드슨 규칙을 사용하여 아래로 유계되며, $r \geq 2$, $k=0,\dots,d-1$ 에 대해 $H(r)$ 이 $\mathcal{O}(r^{k\binom{d-k}{2}})$ 보다 빠르게 증가함을 보여, 높은 차원성을 시사한다.
• 이상 프로젝터와 $d \times (d+1)$ 행렬을 통한 아이디얼의 가람이 구성되며, $d=13$ 에서는 $193$ 차원의 가람이 얻어져 근본 성분의 닫힘의 $182$ 차원을 초월한다.
• 특히 $d=12$ 에서는 $156$ 차원의 가람이 구성되며, 이는 근본 성분의 차원과 일치하지만 그 안에 포함되지 않아 비기약성을 증명한다.

실험 결과

연구 질문

• RQ1 $d \geq 3$ 인 경우, $\text{Hilb}^{d+1}(\mathbb{C}^d)$ 의 가장 대칭적인 아핀 열린 부분스킴 $U$ 의 대수적 구조는 무엇인가?
• RQ2 $n > d \geq 12$ 인 경우, 비근본적 아이디얼의 명시적 구성으로 $\text{Hilb}^n(\mathbb{C}^d)$ 가 비기약임을 증명할 수 있는가?
• RQ3 $U$ 의 좌표환의 힐버트 함수 $H(r)$ 는 어떻게 증가하며, 이는 $U$ 의 차원에 어떤 함의를 갖는가?
• RQ4 $U$ 를 정의하는 방정식은 $\mathbb{C}[\mathbf{x}]$ 의 고차수 단항식 기저로 일반화될 수 있는가?
• RQ5 $\mathbb{S}_{(4,3,2,\dots,2,1)}V$ 가 생성하는 아이디얼과 $U$ 의 주요(근본적) 성분 사이의 관계는 무엇인가?

주요 결과

• 대칭적인 아핀 부분스킴 $U \subset \text{Hilb}^{d+1}(\mathbb{C}^d)$ 는 $\mathbb{C}^d \times \text{Spec}\left(\frac{\text{Sym}^\bullet(\mathbb{S}_{(3,1,1,\dots,1,0)}V)}{\langle \mathbb{S}_{(4,3,2,\dots,2,1)}V \rangle}\right)$ 와 동형이며, 스체르 모듈러를 통한 명시적 대수적 기술을 제공한다.
• $d=13$ 에서는 $193$ 차원의 아이디얼 가람이 구성되며, 이는 근본 성분의 닫힘의 $182$ 차원을 초월하여 $d \geq 13$ 인 경우 $U$ 가 비기약임을 증명한다.
• $d=12$ 에서는 $156$ 차원의 아이디얼 가람이 구성되며, 이는 근본 성분의 차원과 일치하지만 그 안에 포함되지 않아 $d=12$ 에서의 비기약성을 증명한다.
• 몫환의 힐버트 함수 $H(r)$ 는 $r \geq 2$, $k=0,\dots,d-1$ 에 대해 $H(r) \geq \sum_{\lambda: \lambda_{d-k}+\cdots+\lambda_d \leq rk} m_\lambda \cdot \dim_{\mathbb{C}} \mathbb{S}_\lambda$ 를 만족하며, 이는 다항식보다 빠른 성장을 시사한다.
• $\mathbb{S}_{(3,1,1,\dots,1,0)}V$ 의 차원은 $d\binom{d+1}{2} - d$ 이며, $\mathbb{S}_{(4,3,2,\dots,2,1)}V$ 의 차원은 $\frac{d^2(d^2 - 4)}{3}$ 이다. 이는 $H(1)$ 과 $H(2)$ 를 명시적으로 계산하는 데 사용된다.
• 모든 $r \geq 0$ 에 대해 힐버트 다항식 $\tilde{H}(r)$ 이 $H(r)$ 와 일치한다는 추측은 $d=3$ 에서 검증되었으며, $d=4,5$ 에 대해서는 매크올레이 2 계산을 통해 성립함을 확인하였다.