[论文解读] Champs algébriques et foncteur de Picard

Sylvain Brochard|ArXiv.org|Aug 24, 2008

Algebraic Geometry and Number Theory参考文献 24被引用 4

一句话总结

本论文发展了代数堆栈上Picard函子的理论，建立了其表示性、有限性及分离性等基础性质。论文证明，在适当条件下，拟紧、拟分离的代数堆栈的Picard函子可由代数空间表示，并对其形变理论与连通分支结构进行了详细研究。

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.

研究动机与目标

• 发展代数堆栈上Picard函子的完整理论，推广经典代数簇上的Picard群。
• 在代数堆栈的背景下，建立Picard函子表示性的判别准则。
• 研究Picard函子的几何性质，包括有限性、分离性及连通分支。
• 利用Schlessinger型条件分析堆栈上可逆层的形变理论。
• 提供基础的上同调工具，特别是光滑-étale上同调，用于研究堆栈上的Picard函子。

提出的方法

• 通过下降法与堆栈理论技巧，将Grothendieck的经典Picard函子理论推广至代数堆栈的设定。
• 在代数堆栈上应用光滑-étale上同调，包括谱序列与基变换定理。
• 应用Schlessinger的形变函子判别准则，研究Picard函子的局部结构。
• 通过fppf与光滑-étale上同调的比较，将Picard函子与上同调不变量联系起来。
• 通过纤维分支与整数系数上同调，引入并分析Picard函子的中性分支。
• 通过结合有限性条件、与射影极限的交换性以及局部分离性准则，建立表示性结果。

实验结果

研究问题

• RQ1 在何种条件下，代数堆栈的Picard函子可由代数空间表示？
• RQ2 Picard函子在基变换与射影极限下如何表现？
• RQ3 Picard函子为分离或准分离的必要与充分条件是什么？
• RQ4 堆栈上可逆层的形变理论如何与Picard函子的局部结构相关联？
• RQ5 堆栈的Picard函子中单位元的连通分支具有何种结构？

主要发现

• 若代数堆栈拟紧、拟分离，且局部有限表示并具有截面，则其Picard函子可由代数空间表示。
• 在适当的有限性条件下，Picard函子与射影极限的交换性成立。
• 若堆栈满足局部分离性的赋值准则，则其Picard函子是局部分离的。
• 在正规堆栈上，通过整数系数上同调可描述Picard函子的中性分支。
• 代数堆栈的光滑-étale上同调性质良好，容许使用谱序列与基变换论证。
• 在平坦性与有限表示性假设下，相对Picard函子可表示，推广了经典代数簇上的结果。