힐베르트 스킴

틀:위키데이터 속성 추적 대수기하학에서, 힐베르트 스킴(틀:Llang)은 어떤 스킴의 부분 스킴들의 모듈라이 공간인 스킴이다. 모든 사영 대수다양체는 힐베르트 스킴을 가진다. 이 경우, 섬세한 모듈러스 공간의 정의에서, 부분 스킴의 족은 평탄 사상을 뜻한다. 평탄 사상의 올들은 같은 힐베르트 다항식을 가지므로, 힐베르트 스킴은 각 힐베르트 다항식에 대응하는 성분들로 분해된다.

정의

다음이 주어졌다고 하자.

• 스킴 $K$
• 스킴 $S$, $X$ 및 스킴 사상 $T\to K\leftarrow X$. 즉, $S/K$와 $X/K$는 $K$ 위의 스킴이며, 조각 범주 $\mathrm{Sch}/K$의 대상이다.

그렇다면, $K$ 위의, 매개 변수 공간 $S$에 대한 $X$의 부분 스킴의 족(틀:Llang)은 닫힌 부분 스킴

$Y\subseteq X{\times }_{K}S$

가운데, 표준적 $K$-스킴 사상

$Y/K\to S/K$

이 평탄 사상인 것이다. $S$에 대한 $X$의 부분 스킴의 족의 집합을 ${\mathrm{Hilb}}_{X/K}(S)$라고 하자.

$K$-스킴 사상 $f:S^{\prime }/K\to S/K$ 및 $S$ 위의 부분 스킴의 족 $Y\subseteq X{\times }_{K}S$이 주어졌을 때, 사상

$(X,f):X{\times }_K{S}^{\prime }\to X{\times }_{K}S$

아래 $X$의 원상

$Y^{\prime }\subseteq X{\times }_K{S}^{\prime }$

을 정의할 수 있다. 즉, ${\mathrm{Hilb}}_{X/K}$는

• $K$ 위의 조각 범주의 반대 범주 $(\mathrm{Sch}/K{)}^{\mathrm{op}}$에서
• 집합과 함수의 범주 $\mathrm{Set}$로 가는

함자를 정의한다. 즉, 이는 $\mathrm{Sch}/K$ 위의 준층이다.

만약 이 함자가 표현 가능 함자라면, 이를 표현하는 스킴을 ${\mathrm{Hilb}}_{{\mathbb{P}}^n}$이라고 한다. 즉, 표준적으로

${\mathrm{hom}}_{\mathrm{Sch}/K}(S,{\mathrm{Hilb}}_{X/K})={\mathrm{Hilb}}_{X/K}(S)$

이다.

물론, $K=\mathrm{Spec}\mathbb{Z}$로 놓아, 절대적 힐베르트 스킴을 정의할 수 있다. 이 경우

${\mathrm{hom}}_{\mathrm{Sch}}(S,{\mathrm{Hilb}}_X)={\mathrm{Hilb}}_X(S)$

이다.

성질

존재

만약 $S$가 국소 뇌터 스킴이며, $X/S$가 사영 스킴이라면, ${\mathrm{Hilb}}_{X/S}$가 존재한다.

특히, 정수 계수의 사영 공간

${\mathbb{P}}_{\mathbb{Z}}^n=\mathrm{Proj}[x_0,x_1,\dots ,x_n]$

은 힐베르트 스킴을 갖는다.

반면, 힐베르트 스킴을 갖지 않는 대수다양체가 존재한다. 구체적으로, 히로나카 헤이스케는 사영 대수다양체가 아닌 어떤 복소수 비특이 완비 대수다양체 $X$에 대하여, 대수 공간 $X^2/\mathrm{Sym}(2)$가 스킴으로서 존재하지 않음을 보였으며, 이에 따라 모듈러스 공간 ${\mathrm{Hilb}}_X(2)$는 스킴이 아니다.

힐베르트 다항식으로의 분해

$K$가 국소 뇌터 스킴이며, $X={\mathbb{P}}_K^n={\mathbb{P}}_{\mathbb{Z}}^n\times K$가 $K$ 계수의 사영 공간이라고 하자. 그렇다면, 그 $K$-부분 스킴에 대하여 힐베르트 다항식을 정의할 수 있다. 이는 유리수 계수 다항식이다.

평탄 스킴 족의 올들은 같은 힐베르트 다항식을 갖는다. 따라서, 힐베르트 스킴은 각 힐베르트 다항식에 대한 성분들의 분리합집합이다.

${\mathrm{Hilb}}_{{\mathbb{P}}_K^n/K}=\underset{p\in \mathbb{Q}[x]}{⨆}{\mathrm{Hilb}}_{{\mathbb{P}}_K^n/K}(p)$

즉, 각 유리수 계수 다항식 $p\in \mathbb{Q}[x]$에 대하여, ${\mathrm{Hilb}}_{{\mathbb{P}}_K^n/K}(p)$는 힐베르트 다항식이 $p$인 닫힌 부분 스킴의 모듈라이 공간이다.

사영 공간의 힐베르트 스킴의 구성

정수 계수 사영 공간 ${\mathbb{P}}_{\mathbb{Z}}^n$의 힐베르트 스킴 ${\mathrm{Hilb}}_{{\mathbb{P}}_{\mathbb{Z}}^n}$은 다음과 같이 구체적으로 구성된다.

다항식 $p\in \mathbb{Q}[t]$의 고츠만 수(Gotzmann數, 틀:Llang)는 다음 조건을 만족시키는 최소의 자연수 $D$이다.

• $\mathbb{Z}[x_0,x_1,\dots ,x_n]$의 임의의 포화 아이디얼 $\Im \subseteq \mathbb{Z}[x_0,x_1,\dots ,x_n]$, $\Im ={\bigcup }_{i=1}^{\mathrm{\infty }}(\Im :(x_0,x_1,\dots ,x_n{)}^i)$에 대하여, 만약 $\Im$의 힐베르트 다항식이 $p$라면, $\Im$는 $D$차 이하의 생성원만으로부터 생성될 수 있다.

힐베르트 스킴 ${\mathrm{Hilb}}_{{\mathbb{P}}^n}(p)$는 구체적으로 다음과 같이 표현될 수 있다.

${\mathrm{Hilb}}_{{\mathbb{P}}^n}(p)=\{(V,W)\in \mathrm{Grass}((\genfrac{}{}{0ex}{}{n+D}{n})-p(D),\mathbb{Z}[x_0,x_1,\dots ,x_n{]}_D)\times \mathrm{Grass}((\genfrac{}{}{0ex}{}{n+D}{n})-p(D),\mathbb{Z}[x_0,x_1,\dots ,x_n{]}_D):\mathrm{\forall }i:x_{i}V\subseteq W\}$

여기서

• $\mathrm{Grass}(a,V)$는 벡터 공간 $V$ 속의 $a$차원 부분 벡터 공간의 모듈라이 공간인 그라스만 다양체이다.
• $D\in \mathbb{N}$는 $p$의 고츠만 수이다.
• $\mathbb{Z}[x_0,x_1,\dots ,x_n{]}_D$는 변수 $x_0,x_1,\dots ,x_n$에 대한 $D$차 동차다항식들의 공간이다.
• $(\genfrac{}{}{0ex}{}{a}{b})$는 이항 계수이다.

예

임의의 국소 뇌터 스킴 $X$에 대하여, 힐베르트 다항식이 상수 $n$인 힐베르트 스킴 ${\mathrm{Hilb}}_X(n)$을 생각하자. 이는 $X$ 위의 $n$개의 점으로 구성된 아르틴 부분 스킴의 모듈라이 공간이며, 따라서 짜임새 공간 $X^n/\mathrm{Sym}(n)$이다 ($\mathrm{Sym}(n)$은 대칭군). 특히, ${\mathrm{Hilb}}_X(1)=X$이다.

같이 보기

• 모듈라이 공간
• 지겔 모듈러 다양체

참고 문헌

• 틀:저널 인용
• 틀:서적 인용

외부 링크

• 틀:Eom
• 틀:Nlab
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용