[논문 리뷰] Construction of Hilbert and Quot Schemes

Nitin Nitsure|ArXiv.org|2005. 04. 29.

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

한 줄 요약

이 논문은 그로텐디크의 Hilbert 및 Quot 스킴에 대한 구성에 대한 종합적인 기초적 서술을 제공하며, 내림림 이론과 코homological 기법을 통해 그들의 표현 가능성을 확립한다. Hilbert 및 Quot 함의가 국소적으로 노에테르 스킴로 표현 가능하다는 것을 증명하며, 대수기하학의 모듈리 이론의 기초를 다지며, 평탄성, 프로젝티브성 및 스킴적 동치 관계 하에서의 효과적 몫에 대한 핵심 결과를 포함한다.

ABSTRACT

This is an expository account of Grothendieck's construction of Hilbert and Quot Schemes, following his talk `Techniques de construction et theoremes d'existence en geometrie algebriques IV : les schemas de Hilbert', Seminaire Bourbaki 221 (1960/61), together with further developments by Mumford and by Altman and Kleiman. Hilbert and Quot schemes are fundamental to modern Algebraic Geometry, in particular, for deformation theory and moduli constructions. These notes are based on a series of six lectures in the summer school `Advanced Basic Algebraic Geometry', held at the Abdus Salam International Centre for Theoretical Physics, Trieste, in July 2003.

연구 동기 및 목표

• 그로텐디크의 원래 부르바키 세미나 발표를 바탕으로, Hilbert 및 Quot 스킴에 대한 상세하고 접근 가능한 서술을 제공한다.
• Hilbert 및 Quot 함의가 스킴로 표현 가능하다는 것을 확립하여, 모듈리 문제에서의 활용을 가능하게 한다.
• 이 스킴들이 변형 이론과 다른 모듈리 공간의 구성에 있어 기초적인 도구로 어떻게 기능하는지 보여준다.
• 특히 노에테르 경우에서 스킴적 동치 관계 하에서의 효과적 몫을 포함하여 이론을 확장한다.

제안 방법

• 스킴을 스킴에서 집합으로 가는 반대함수의 관점에서 표현하는 '함의의 점' 접근법을 사용한다.
• 표현 가능성에 필요한 조건인 함의의 층 조건을 확보하기 위해 fpqc 위상에서의 내림림 이론을 적용한다.
• 가환 코hom올로지 기법, 특히 캐스텔누오보-머피드 정규성과 평탄성 분할을 활용하여 가중치 가중치의 가중치를 제어한다.
• 유니버설 가족과 당김을 통한 유니버설 성질을 통해 Hilbert 및 Quot 스킴을 구성한다.
• 평탄성의 국소 기준 및 평탄성과 프로젝티브 성질을 가진 사상의 성질을 적용하여 표현 가능성의 검증을 수행한다.
• 스킴적 동치 관계 이론과 공등항자(코이퀄라이저)를 사용하여 효과적 몫을 구성하며, 몫 사상이 충실하게 평탄하고 프로젝티브하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 프로젝티브 공간 내 평탄한 부분 스킴의 가중치를 파arametrizing하는 Hilbert 함의는 스킴로 표현 가능할 수 있는가?
• RQ2 고정된 가중치의 몫을 파arametrizing하는 Quot 함의는 스킴로 표현 가능할 수 있는가?
• RQ3 스킴적 동치 관계가 스킴에서 효과적 몫을 가지기 위한 조건은 무엇인가?
• RQ4 내림림과 코homological 방법을 통해 Hilbert 및 Quot 함의의 표현 가능성을 어떻게 확립할 수 있는가?
• RQ5 스킴의 스킴적 동치 관계에 의한 몫이 준-프로젝티브이자 충실하게 평탄한가를 보장하는 조건은 무엇인가?

주요 결과

• Hilbert 함의 $\mathfrak{Hilb}_{{\mathbb{P}}^{n}}$ 는 국소적으로 노에테르 스킴 $\mathrm{Hilb}_{{\mathbb{P}}^{n}}$ 로 표현 가능하며, 이는 $\mathbb{P}^n$ 내 평탄한 부분 스킴의 가중치를 파라미터링한다.
• Quot 함의 $\mathfrak{Quot}_{\oplus^r \mathcal{O}_{{\mathbb{P}}^{n}}}$ 는 국소적으로 노에테르 스킴 $\mathrm{Quot}_{\oplus^r \mathcal{O}_{{\mathbb{P}}^{n}}}$ 로 표현 가능하며, 계수 $r$ 의 자명한 가중치의 몫의 평탄한 가중치를 파라미터링한다.
• 노에테르 스킴 $S$ 와 강력하게 준-프로젝티브 사상 $X \to S$ 에 대해, 두 사영 사상이 프로젝티브이고 평탄한 스킴적 동치 관계 $R \rightrightarrows X$ 는 효과적 몫 $X \to Q$ 를 가지며, 이는 $S$ 에 대해 충실하게 평탄하고 강력하게 프로젝티브하다.
• 몫 스킴 $Q$ 는 $S$ 에 대해 강력하게 준-프로젝티브이며, 사상 $X \to Q$ 는 $R$ 에서의 두 사영 사상의 공등항자이므로 효과적 표현 가능성을 보장한다.
• 이 구성은 $X \times_S H$ 의 닫힌 부분 스킴 $D \subset X \times_S H$ 가 존재함에 따라 가능해지며, 이는 쌍 $(x, \varphi(x))$ 를 파라미터링하는 것으로, 이에 의해 내림림을 적용하여 몫 $Q$ 를 Hilbert 스킴 $H$ 의 닫힌 부분 스킴으로 구성할 수 있다.
• 유니버설 성질은 모든 평탄한 가중치가 기저 $S$ 에 대해 유니버설 가중치에서의 당김을 통해 유일한 사상 $S \to \mathrm{Hilb}$ 또는 $S \to \mathrm{Quot}$ 를 통해 유도된다는 것을 보장한다.