[논문 리뷰] Topologies de Grothendieck, descente, quotients

Sylvain Brochard|arXiv (Cornell University)|2012. 10. 01.

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

한 줄 요약

이 논문은 대수기하학에서의 그로텐디크 위상공간, 내림내림 이론, 그리고 몫 구조에 대한 기초적인 다루기를 제시한다. 특히 스킴 또는 대수적 공간에 의해 표현 가능한 몰입 함수자에 초점을 맞추고 있다. fpqc/fppf/에탈 위상공간과 내림내림 기법을 사용하여, 특히 대각화 가능한 군의 자유 작용에 의한 스킴의 몫이 언제 스킴에 의해 표현 가능한지를 판단하는 기준을 수립한다. 주요 결과로는 범주적 몰입의 존재성과 몰입이 층 또는 대수적 공간으로서의 역할을 하는 것에 대한 고찰이 포함되어 있다.

ABSTRACT

In this note, we present a few existence theorems for the quotient of a scheme by the action of a group. The first two sections are devoted to Grothendieck topologies and descent theory. The third one is dealing with quotients: we first give direct and (almost) complete proofs for the main existence results of SGA 3, exposé V. Then we discuss some specific situations: the quotient of an algebraic group over a field by a subgroup, the quotient of a group by the normalizer of a smooth subgroup, and quotients of affine schemes by free actions of diagonalizable groups. From place to place, the original proofs have been slightly improved (e.g. with the use of algebraic spaces). This note grew out of lectures given by the author in the CIRM (Luminy) during the Summer School "Schémas en groupes" in 2011.

연구 동기 및 목표

• 현대 대수기하학에 필수적인 그로텐디크 위상공간과 내림내림 이론에 대한 자가 포함된 소개를 제공하는 것.
• 군 작용에 의한 스킴의 몰입의 존재성과 표현 가능성에 대해 연구하는 것, 특히 대수적 공간의 맥락에서.
• 범주적 몰입, 층 몰입, 기저 공간-아네일 몰입 간의 관계를 명확히 하는 것.
• 스킴에 대해 대각화 가능한 군의 자유 작용에 의한 몰입이 언제 스킴에 의해 표현 가능한지를 확립하는 것.
• 첫째, 몰입이 스킴가 아니면 층 몰입(대수적 공간으로서)이 공간-아네일 몰입보다 더 유용하다는 것을 주장하는 것.

제안 방법

• fpqc, fppf, 에탈 위상공간을 사용하여 층을 정의하고, 준가역 모듈러스의 내림내림 성질을 연구한다.
• 내림내림 이론을 적용하여, fpqc 사상에 沿해 준가역 모듈러스가 내림내림함을 보이고, 국소 데이터로부터 전역 대상을 구성할 수 있음을 보장한다.
• 군 작용을 군oid의 구조와 동치관계의 언어를 사용하여 분석하며, 함수자와 층의 언어를 활용한다.
• 스킴의 범주, 층의 범주, 링드 공간의 범주에서의 몰입을 비교하여 표현 가능성의 여부를 평가한다.
• 군-불변 사상의 범주에서의 초기 대상으로서의 몰입 개념을 정의함으로써 범주적 몰입을 정의한다.
• 함수자의 표현 가능성 결과와 대수적 공간의 성질을 적용하여 몰입이 스킴 또는 대수적 공간이 되는 조건을 규명한다.

실험 결과

연구 질문

• RQ1 군 작용에 의한 스킴의 몰입이 언제 스킴에 의해 표현 가능한가?
• RQ2 군 작용의 맥락에서 층 몰입, 공간-아네일 몰입, 범주적 몰입은 어떻게 관련되어 있는가?
• RQ3 그로텐디크 위상공간(fpqc, fppf, 에탈)은 몰입 대상의 구성과 내림내림 과정에서 어떤 역할을 하는가?
• RQ4 대각화 가능한 군의 자유 작용에 의한 스킴의 몰입이 언제 스킴가 되는가?
• RQ5 왜 기하학적 맥락에서 층 몰입이 공간-아네일 몰입보다 자주 선호되는가?

주요 결과

• 대각화 가능한 군의 자유 작용에 의한 스킴의 몰입은 작용이 자유이고 군이 대각화 가능할 경우 스킴에 의해 표현 가능하다.
• 층 몰입(함수자로서의)은 일반적으로 공간-아네일 몰입보다 더 유용한데, 특히 후자가 스킴가 아닐 경우 더욱 그렇다.
• fpqc 사상에 의한 준가역 모듈러스에 대한 내림내림 이론은 국소 데이터를 전역 대상으로 붙일 수 있음을 보장하며, 이는 몰입 구성의 핵심 도구이다.
• 범주적 몰입은 존재하며 유일하며, 이는 동형사상에 의해 유일하게 결정되지만, 그 표현 가능성은 스킴에 의해 보장되지 않는다.
• 층의 범주에서의 몰입(집합의 층으로서)은 약간의 조건 하에서 대수적 공간에 의해 표현 가능하며, 스킴가 아닐 경우에도 성립한다.
• 부드러운 부분군의 정규화에 의한 몰입은 적절한 가정 하에서 표현 가능하며, 이는 동차 공간의 구성 방법을 제공한다.