[논문 리뷰] Champs algébriques et foncteur de Picard

Sylvain Brochard|ArXiv.org|2008. 08. 24.

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

한 줄 요약

이 학위논문은 대수적 스택에 대한 피카르 함수의 이론을 수립하며, 표현 가능성, 유한성, 분리성과 같은 기본 성질을 확립한다. 특히, 국소적으로 유한형이면서 단면을 갖는 쿠아지-콤���트이고 쿠아지-세퍼레이티드인 대수적 스택의 피카르 함수는 적절한 조건 하에 대수적 공간에 의해 표현 가능하다는 것을 증명하고, 그 변형 이론과 연결 성분의 구조에 대한 상세한 연구를 수행한다.

ABSTRACT

This text is my thesis, defended in June 2007, in the status it was at this time. The most important results are contained in the article "Foncteur de Picard d'un champ algébrique" to appear in "Mathematische Annalen" (see the preprint arXiv:0711.4545). In the article, some results have been added, and some previous results have been strengthened. However, the proofs of the results contained in the appendix (concerning the smooth-étale cohomology on an algebraic stack) have been removed. The thesis is only put on the ArXiv to provide a more lasting reference than my webpage for these proofs.

연구 동기 및 목표

• 스킴 위의 고전적 피카르 군을 일반화하여, 대수적 스택에 대한 피카르 함수의 포괄적인 이론을 수립하기 위해.
• 대수적 스택의 맥락에서 피카르 함수의 표현 가능성 기준을 확립하기 위해.
• 피카르 함수의 기하학적 성질, 특히 유한성, 분리성, 연결 성분 등을 연구하기 위해.
• 스클레싱거 유형의 조건을 이용하여 대수적 스택 위의 역행성층의 변형 이론을 분석하기 위해.
• 피카르 함수를 연구하기 위한 기본적인 코homological 도구, 특히 스무스-에탈레 코homology를 제공하기 위해.

제안 방법

• 내림내림과 스택 이론적 기법을 통해 그로텐디크의 고전적 피카르 함수 이론을 대수적 스택의 맥락으로 일반화한다.
• 스무스-에탈레 코homology를 대수적 스택에 적용하며, 스펙트럴 시퀀스와 기저 변경 정리 등을 포함한다.
• 스클레싱거의 변형 함수 기준을 적용하여 피카르 함수의 국소적 구조를 연구한다.
• fppf와 스무스-에탈레 코homology 간의 비교를 통해 피카르 함수를 코homological 불변량과 연결한다.
• Z-계수 코homology와 섬유 성분을 이용하여 피카르 함수의 중립 성분을 도입하고 분석한다.
• 유한성 조건, 프로젝티브 극한과의 교환, 국소적 분리 조건을 조합하여 표현 가능성 결과를 확립한다.

실험 결과

연구 질문

• RQ1 대수적 스택의 피카르 함수가 어떤 조건에서 대수적 공간에 의해 표현 가능할 수 있는가?
• RQ2 피카르 함수는 기저 변경과 프로젝티브 극한 하에서 어떻게 행동하는가?
• RQ3 피카르 함수가 분리되거나 준분리되는 데 필요한 충분한 조건은 무엇인가?
• RQ4 스택 위의 역행성층의 변형 이론은 피카르 함수의 국소적 구조와 어떻게 관련되는가?
• RQ5 스택의 피카르 함수에서 항등원의 연결 성분의 구조는 어떠한가?

주요 결과

• 쿠아지-콤팩트하고 쿠아지-세퍼레이티드인 대수적 스택의 피카르 함수는 스택이 국소적으로 유한형이면서 단면을 갖는 한 대수적 공간에 의해 표현 가능하다.
• 적절한 유한성 조건 하에서, 피카르 함수는 스킴의 프로젝티브 극한과 가환한다.
• 스택이 국소 분리성에 대한 밸루아 기준을 만족하는 한, 피카르 함수는 국소적으로 분리된다.
• 정규 스택에서 Z-계수 코homology를 통해 피카르 함수의 중립 성분이 기술된다.
• 대수적 스택의 스무스-에탈레 코homology는 잘 행동하며, 스펙트럴 시퀀스와 기저 변경 추론이 가능하다.
• 평탄성과 유한형 조건을 가정하면 상대 피카르 함수는 표현 가능하며, 이는 스킴에 대한 고전 결과를 일반화한다.