[论文解读] Hom stacks

Masao Aoki|arXiv (Cornell University)|Mar 17, 2005

Algebraic Geometry and Number Theory被引用 19

一句话总结

本文在适当条件下，利用阿廷的代数化准则，证明了参数化代数叠之间1-态射的Hom 2-函子可由代数叠表示。作为关键应用，本文还证明了分类代数叠上线丛的Picard 2-函子同样可由代数叠表示。

ABSTRACT

We study Hom 2-functors parameterizing 1-morphisms of algebraic stacks, and prove that it is representable by an algebraic stack under certain conditions, using Artin's criterion. As an application we study Picard 2-functors which parameterizes line bundles on algebraic stacks.

研究动机与目标

• 研究参数化代数叠之间1-态射的Hom 2-函子的可表示性。
• 确定该Hom 2-函子在何种条件下可由代数叠表示。
• 将可表示性结果应用于分类代数叠上线丛的Picard 2-函子。
• 通过代数叠推广经典模理论至更高范畴结构。
• 为通过2-范畴方法研究代数几何中的线丛与态射提供基础框架。

提出的方法

• 应用阿廷的函子代数化准则，以建立Hom 2-函子的可表示性。
• 将代数叠之间的1-态射2-函子视为大fppf拓扑上的叠。
• 利用形变理论与无穷小提升性质，验证阿廷准则的条件。
• 证明Hom 2-函子满足必要的局部有限性与普遍族的开性条件。
• 通过证明其满足相同准则，将可表示性结果应用于Picard 2-函子。
• 证明在与Hom 2-函子相同的条件下，Picard 2-函子可由代数叠表示。

实验结果

研究问题

• RQ1 在何种条件下，代数叠之间1-态射的Hom 2-函子可由代数叠表示？
• RQ2 阿廷准则能否在代数叠的背景下用于证明Hom 2-函子的可表示性？
• RQ3 分类代数叠上线丛的Picard 2-函子是否可由代数叠表示？
• RQ4 态射的形变理论性质如何影响Hom 2-函子的可表示性？
• RQ5 代数叠的何种结构性质可确保如Hom与Picard等模2-函子的可表示性？

主要发现

• 当目标叠局部有限表现且对角线局部有限型时，参数化代数叠之间1-态射的Hom 2-函子可由代数叠表示。
• Hom 2-函子的可表示性通过阿廷准则建立，依赖于形变与障碍理论。
• 在相同条件下，分配给每个概形其叠的拉回上线丛的群范畴的Picard 2-函子可由代数叠表示。
• 证明表明Picard 2-函子满足代数化所需的必要条件，包括普遍族的开性与有效形式黏合性。
• 结果将经典可表示性定理推广至代数叠的2-范畴设定。
• 该框架为在高阶代数几何中系统构造态射与线丛的模空间提供了方法。