[논문 리뷰] Ample families, multihomogeneous spectra, and algebraization of formal schemes

Holger Brenner, Stefan Schroeer|ArXiv.org|2000. 12. 11.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 8

한 줄 요약

이 논문은 유한형 아벨 군에 의하여 그레디에이션된 링에 대한 다중동차 스펙트럼을 도입하여 고전적 Proj 구성의 일반화를 시도한다. 이는 앰플리터리 스킴—즉, 앰플리터리 가역층의 가속을 갖는 스킴—이 이러한 스펙트럼에 포함된다는 것을 보이며, 일반화된 그로텐디크의 대수화 정리도 증명한다: 닫힌 섬유가 국소 코hom로컬 조건을 만족하는 앰플리터리 가역층의 가속을 갖는다면, 올바른 형식 스킴은 대수화 가능하다.

ABSTRACT

Generalizing homogeneous spectra for rings graded by natural numbers, we introduce multihomogeneous spectra for rings graded by abelian groups. Such homogeneous spectra have the same completeness properties as their classical counterparts, but are possibly nonseparated. We relate them to ample families of invertible sheaves and simplicial toric varieties. As an application, we generalize Grothendieck's Algebraization Theorem and show that formal schemes with certain ample families are algebraizable.

연구 동기 및 목표

• 자연수에 의한 그레디에이션된 링에서의 고전적 Proj 구성의 일반화를 위해 유한형 아벨 군에 의한 그레디에이션된 링으로 확장하고, 다중동차 스펙트럼을 도입한다.
• 암프리터리 스킴을 앰플리터리 가역층의 가속을 통한 다중동차 스펙트럼에의 임베딩을 통해 특성화한다.
• 그로텐디크의 형식 스킴에 대한 대수화 정리를 앰플리터리 조건을 약화시켜 닫힌 섬유에서의 가역층의 가속이 적절한 국소 코hom로컬 조건을 만족할 경우로 일반화한다.
• 다중동차 스펙트럼이 단순형 토릭 스킴과 코크스의 동차 좌표 링과 어떻게 관련되는지 밝힌다.
• 그라우에르 및 세르의 기준을 다중그레디에이션된 설정으로 확장하여, 가속의 앰플리터리성에 대한 코hom로지컬 및 기하학적 기준을 제공한다.

제안 방법

• 다양한 동차 나누개를 갖는 동차 원소 $ f $에 대해 $ D_+(f) = \operatorname{Spec}(S_{(f)}) $로 정의되는 아핀 열린 부분집합들의 합집합으로 다중동차 스펙트럼을 정의한다.
• $ d \in \mathbb{N}^r $에 대해 다중지표 표기법 $ \mathcal{L}^d = \mathcal{L}_1^{d_1} \otimes \cdots \otimes \mathcal{L}_r^{d_r} $을 사용하여 전역 단위의 다중그레디에이션된 링을 정의한다.
• 다중동차 스펙트럼이 항상 닫혀 있고, 아핀 교차를 가지지만, 반드시 분리되어 있지는 않다는 것을 증명한다.
• 스킴이 암프리터리임은 $ S = \bigoplus_{d \in \mathbb{N}^r} \Gamma(X, \mathcal{L}^d) $에 대해 $ \operatorname{Proj}(S) $로의 닫힌 매립이 존재하는 것과 동치임을 증명한다.
• 코hom로지컬 기준을 적용: 앰플리터리 가속이 존재하는 조건은 모든 $ d \in \mathbb{N}^r $, $ d \gg 0 $에 대해 $ H^1(X, \mathcal{L}^{-d}) = 0 $임을 보이며, 세르의 기준을 일반화한다.
• 닫힌 섬유에서의 절단을 이용해 섹션을 끌어올려 대수화를 구성한다. 이때 $ H^1 $의 소멸 조건이 $ \mathcal{I}^n \mathcal{K}^m / \mathcal{I}^{n+1} \mathcal{K}^m $ 위에서 성립하여 $ \operatorname{Proj}(S) $로의 호환 가능한 매립이 보장된다.

실험 결과

연구 질문

• RQ1 고전적 Proj 구성은 자연수에 의한 그레디에이션된 링에서 유한형 아벨 군에 의한 그레디에이션된 링으로 일반화될 수 있는가? 이러한 스펙트럼의 기하학적 성질은 무엇인가?
• RQ2 가역층의 가속에 대한 어떤 조건이 스킴이 암프리터리임을 보장하는가? 이를 코hom로지컬 또는 아핀 캄프로젝션을 통해 어떻게 특성화할 수 있는가?
• RQ3 닫힌 섬유가 단일 앰플리터리 선다발이 아닌 앰플리터리 가역층의 가속을 갖는다면, 올바른 형식 스킴은 어떤 조건에서 대수화 가능한가?
• RQ4 다중동차 스펙트럼은 단순형 토릭 스킴과 코크스의 동차 좌표 링과 어떻게 관련되는가?
• RQ5 그로텐디크의 대수화 정리는, 닫힌 섬유에서 국소 앰플리터리 조건을 만족하는 형식 스킴의 앰플리터리 가속을 갖는 형식 스킴로 확장될 수 있는가?

주요 결과

• $ \mathbb{Z}^r $-그레디에이션된 링에 대한 다중동차 스펙트럼은 항상 닫혀 있고 아핀 교차를 가지지만, 반드시 분리되어 있지는 않다.
• 스킴이 암프리터리임은 $ S $가 앰플리터리 가속의 전역 단위의 다중그레디에이션된 링인 $ \operatorname{Proj}(S) $로의 닫힌 매립이 존재하는 것과 동치이다.
• 저우어의 기준을 일반화: 앰플리터리 가속이 존재하는 것은 스킴이 국소 콪팩트이고 국소 분리되어 있으며, $ f \in \Gamma(X, \mathcal{L}^d) $, $ d \in \mathbb{N}^r $에 대해 $ X_f $의 집합이 위상의 기저를 이룬다는 것과 동치이다.
• 코hom로지컬 기준이 확립됨: 앰플리터리 가속이 존재하는 것은 $ H^1(X, \mathcal{L}^{-d}) = 0 $ for all $ d \in \mathbb{N}^r $, $ d \gg 0 $일 때 성립하며, 세르의 기준을 일반화한다.
• 주요 대수화 결과는 올바른 형식 스킴 $ \mathfrak{X} \to \operatorname{Spf}(R) $가, 각 닫힌 점에 대해 $ \mathcal{K} \subset \mathcal{L}^d $인 코herent 부분모듈러스가 존재하여 $ \operatorname{Proj}(\bigoplus_{m \geq 0} \mathcal{K}^m / \mathcal{I} \mathcal{K}^m) $에서 $ \mathcal{O}_{P_0}(1) $가 암프리터리일 경우 대수화 가능하다는 것이다.
• 정리 6.1의 조건은 가속의 닫힌 섬유로의 제한이 암프리터리임을 함의하며, 이 결과는 단일 앰플리터리 선다발의 경우를 초월하여 그로텐디크의 정리를 일반화한다.