히일베르트 스킴(Hilbert scheme)은 대수기하학에서 주어진 고정된 Hilbert 다항식(또는 Hilbert 함수)을 갖는 모든 폐쇄된 부분다양체(또는 보다 일반적으로 폐쇄된 부분스키마)를 매개변수화하는 스키마이다.
정의
정규 프로젝트IVE 공간 $\mathbb{P}^n_k$ (기저 필드 $k$ 위)와 고정된 다항식 $P(t)$가 주어지면, Hilbert scheme $\operatorname{Hilb}^{P}_{\mathbb{P}^n/k}$ 은 다음 성질을 만족하는 스키마이다.
- $\operatorname{Hilb}^{P}_{\mathbb{P}^n/k}$ 의 $k$-점은 $\mathbb{P}^n_k$ 안의 모든 폐쇄된 부분스키마 $Z$ 로서, 그 구조층의 Hilbert 다항식이 $P(t)$ 인 것과 일대일 대응한다.
- 이 스키마는 representable 한 functor를 구현한다. 구체적으로, 스키마 $S$ 위의 $\mathbb{P}^n_S$-에 대한 폐쇄된 부분스키마 $Z\subset\mathbb{P}^n_S$ 로서, 각 섬유의 Hilbert 다항식이 $P$ 인 경우에 한해, 이러한 가족을 $\operatorname{Hilb}^{P}_{\mathbb{P}^n/k}(S)$ 로 정의한다.
역사적 배경
Hilbert scheme은 알렉산더 그로텐디크(Alexander Grothendieck)가 1960년대 초반에 발표한 "Éléments de géométrie algébrique" (EGA) 및 "Fondements de la géométrie algébrique" (FGA) 논문들에서 체계화하였다. 이름은 이 개념을 처음으로 중요한 사례에서 다루었던 David Hilbert(다항식과 기하학적 모듈러 문제에 대한 연구)에서 유래한다.
주요 성질
- 프로젝트성: $\operatorname{Hilb}^{P}_{\mathbb{P}^n/k}$ 은 프로젝트IVE 스키마이며, 따라서 한정된 차원과 적당한 급수를 가진다.
- 연결성: 특정 Hilbert 다항식에 대해 스키마가 연결될 수도, 여러 연결성분을 가질 수도 있다. 예를 들어, $\operatorname{Hilb}^d(\mathbb{P}^2)$ (길이 $d$인 0차원 스키마) 은 연결되어 있다.
- 평탄성: 일반적인 경우, Hilbert scheme은 평탄한 가족을 제공한다. 특히, Hilbert–Chow morphism 은 Hilbert scheme을 체적(Chow) 모듈러 공간으로 사상한다.
예시
| Hilbert 다항식 $P(t)$ | 매개변수화되는 대상 | Hilbert scheme |
|---|---|---|
| $P(t)=dt+1$ (선형) | $\mathbb{P}^n$ 안의 차수 $d$의 곡선 | 곡선들의 모듈러 스키마(예: $\operatorname{Hilb}^{dt+1}(\mathbb{P}^n)$) |
| $P(t)=\binom{t+r}{r}$ | $\mathbb{P}^r$ 안의 점 하나 | $\mathbb{P}^r$ 자체와 동형 |
| $P(t)=d$ (상수) | 길이 $d$인 0차원 스키마 | $\operatorname{Hilb}^d(\mathbb{P}^n)$, “점들의 대칭곱” $(\mathbb{P}^n)^{(d)}$ 의 정규화와 동형인 경우가 많다. |
응용 분야
- 모듈러 이론: 곡선, 표면, 보다 일반적인 대수다양체의 모듈러 공간을 구성할 때 Hilbert scheme이 기본적인 도구가 된다.
- 대수적 변형: 가환대수학에서 Gröbner 기반의 변형 이론(예: Hilbert scheme of points) 과 연관된다.
- 수학 물리: Donaldson‑Thomas 이론 및 카알라-야우 동형사상 등에서 점들의 Hilbert scheme이 중요한 역할을 한다.
참고 문헌
- A. Grothendieck, “Techniques de construction et théorèmes d'existence en géométrie algébrique. IV. Les schémas de Hilbert”, Séminaire Bourbaki (1960).
- D. Mumford, “Lectures on Curves on an Algebraic Surface”, Annals of Mathematics Studies, 1966.
- R. Hartshorne, “Algebraic Geometry”, Graduate Texts in Mathematics, 1977.
위 내용은 현재까지 공인된 학술 자료에 근거한 객관적인 서술이다.
