[논문 리뷰] Recovering the good component of the Hilbert scheme

Torsten Ekedahl, Roy Skjelnes|ArXiv.org|2004. 05. 05.

Commutative Algebra and Its Applications참고 문헌 13인용 수 9

한 줄 요약

이 논문은 Haiman의 평면 아핀 평면 위의 점의 Hilbert 스킴을 일반화하여, $n$개의 서로 다른 점의 위치의 스킴 폐쇄가 $X \to S$의 $n$-번째 대칭적 곱(또는 분할 거듭제곱 대수)의 기본 이상의 이상에 대한 블로우업과 구조적으로 동형임을 보여준다. 주요 혁신은 표현 이론 대신 분할 거듭제곱을 사용함으로써, 임의의 기저 위에서 일반적으로 작동하고, 평탄하지 않은 설정에서도 가능하게 한다. 이는 분할 거듭제곱 대수 $\Gamma^n_A(F)$를 통해 달성된다.

ABSTRACT

In the Hilbert scheme of points on a scheme X there is an open subset parameterizing distinct points. The closure of that open set is by definition the good component. When X is flat over the base, we show that a certain blow-up of the symmetric product of X is the good component. The center of the blow-up we describe by giving generators for its defining ideal. In the non-flat case we obtain similar result by replacing the symmetric product with the divided power product. For smooth surfaces X the good component equals the Hilbert scheme of points.

연구 동기 및 목표

• 평면 아핀 평면 위의 점의 Hilbert 스킴에 대한 Haiman의 블로우업 기술을 대수적 공간의 임의의 평탄한 사상 $X \to S$로 일반화한다.
• 점의 $n$-번째 대칭적 곱(또는 분할 거듭제곱 대수)에 대한 기본 이상을 구성하여, 그 블로우업이 Hilbert 스킴 내에서 $n$개의 서로 다른 점의 위치의 스킴 폐쇄와 동형임을 보인다.
• Haiman의 표현 이론 기반 접근 방식을 분할 거듭제곱에 기반한 형식으로 대체함으로써, 0이 아닌 특성과 2차원 이외의 경우에도 적용 가능하게 한다.
• 특히 $X \to S$가 반드시 평탄하지 않은 경우에도 필요한 일반성에서 $\operatorname{Hilb}^n_{X/S}$의 존재성을 확립한다.
• 비아핀 및 비평탄한 설정으로 결과를 확장하기 위해, 대칭적 곱 대신 분할 거듭제곱 대수 $\Gamma^n_A(F)$를 사용한다.

제안 방법

• 평탄한 $A$-대수 $F$와 관련된 $n$-번째 분할 거듭제곱 대수 $\Gamma^n_A(F)$에 이상을 정의한다. 이는 그 분할 거듭제곱 대수의 순서화된 분할 거듭제곱 대수의 곱셈 구조를 이용한다.
• $\Gamma^n_A(F)$와 $F^{igotimes_A n}$의 $\mathfrak{S}_n$-불변 부분환 사이의 동형을 이용하여 이상을 내재적으로 정의한다.
• $\operatorname{Spec}(\Gamma^n_A(F))$에서 $\operatorname{Spec}(A)$ 위에서 이 이상의 블로우업을 구성하며, 이는 Hilbert 스킴의 양호한 성분으로서 후보가 된다.
• 이 블로우업이 $n$개의 길이 $n$인 부분 스킴의 가족을 통해 Hilbert 스킴으로 유일하게 사상함을 증명하여, 이가 $n$개의 서로 다른 점의 위치의 스킴 폐쇄와 동형임을 보인다.
• 대칭적 곱 대신 $F$가 $A$ 위에서 평탄하지 않은 경우에도 존재하는 $n$-번째 분할 거듭제곱 곱 $\Gamma^n_A(F)$를 사용하여 비평탄한 사상으로의 구성 확장을 한다.
• David Rydh의 결과와 접합 기법을 활용하여, 아핀 스킴에서 비아핀 스킴으로의 구성 확장을 수행하며, 전반적인 Hilbert 스킴과의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 Haiman의 $\mathbb{A}^2$ 위의 Hilbert 스킴에 대한 블로우업 기술을 대수적 공간의 임의의 평탄한 사상 $X \to S$로 일반화할 수 있는가?
• RQ2 표현 이론이나 특성에 대한 가정 없이도 Hilbert 스킴의 양호한 성분을 구성할 수 있는가?
• RQ3 $X \to S$가 평탄하지 않은 경우, 대칭적 곱을 분할 거듭제곱 대수와 같은 더 일반적인 대상으로 대체할 수 있는가?
• RQ4 $\operatorname{Hilb}^n_{X/S}$는 대수적 공간의 맥락에서 전체적으로 존재하는가? 존재성은 구조적으로 증명될 수 있는가?
• RQ5 분할 거듭제곱 이상의 블로우업이 Hilbert 스킴 내에서 $n$개의 서로 다른 점의 위치의 스킴 폐쇄와 동형임을 보일 수 있는가?

주요 결과

• $\Gamma^n_A(F)$의 이상의 블로우업은 $\operatorname{Hilb}^n_{X/S}$ 내에서 $n$개의 서로 다른 점의 위치의 스킴 폐쇄와 구조적으로 동형이며, Haiman의 결과를 일반화한다.
• 기본 이상 $S$ 위에서 유일하게 작동하며, $X \to S$가 평탄하지 않은 경우에도 분할 거듭제곱 대수 $\Gamma^n_A(F)$를 사용함으로써 일반화된 기반에서 작동한다.
• 이상은 $\mathfrak{S}_n$-불변 부분환 뿐 아니라 분할 거듭제곱 대수 $\Gamma^*(F)$의 곱셈 구조를 이용하여 정의되며, 이는 구성의 일반성에 필수적이다.
• $\operatorname{Hilb}^n_{X/S}$의 존재성은 아핀 사례로의 축소를 통한 패치워크 기법을 통해 대수적 공간의 맥락에서 전체적으로 확립된다.
• $\varphi: \mathrm{G}^n_{X/S} \to \mathrm{Bl}_{I_V}(\Gamma^n_A F)$는 동형이며, 이는 블로우업이 Hilbert 스킴의 양호한 성분을 실현함을 보여준다.
• 이 결과는 $X \to S$가 상대 차원 2인 평탄한 스킴일 경우 Fogarty의 매끄러움 정리의 일반화를 제공하며, 기저 스킴에 대한 제약 조건을 제거한다.