[论文解读] Constructible functions on schemes and stacks

Dominic Joyce|arXiv (Cornell University)|Mar 18, 2004

Polynomial and algebraic computation参考文献 8被引用 10

一句话总结

本文提出了一套框架，用于在特征为零的代数闭域上的代数概形和代数堆栈上定义并分析可构造函数。通过利用可构造集及其相关函数，该研究建立了基础性质，并证明了在诸如向前推射和拉回等运算下的封闭性，为代数几何中的可构造函数系统理论做出了贡献。

ABSTRACT

Let K be an algebraically closed field of characteristic zero, X a K-variety, and X(K) the set of closed points in X. A constructible set S ⊆ X(K) is a finite

研究动机与目标

• 形式化在特征为零的代数闭域上的代数概形和Deligne–Mumford堆栈上的可构造函数理论。
• 通过有限个局部闭子集的并集定义可构造函数，并建立其代数与拓扑性质。
• 研究可构造函数在诸如向前推射和拉回等几何运算下的行为。
• 为将经典可构造函数理论扩展到代数堆栈的设定提供一个框架。
• 为动机积分、表示论和枚举几何等应用奠定基础。

提出的方法

• 将可构造函数定义为闭点集 X(K) 中可构造子集的特征函数的整系数线性组合。
• 利用概形和堆栈的结构，将可构造集定义为有限个局部闭子集的并集。
• 应用可构造集理论，定义概形和堆栈之间同态下的函数的向前推射和拉回。
• 采用特征函数方法，确保与代数几何运算和拓扑不变量的兼容性。
• 建立加法和数乘下的封闭性，确保可构造函数的集合构成一个群。
• 利用 K 是代数闭域且特征为零的事实，确保闭点和可构造拓扑的良好行为。

实验结果

研究问题

• RQ1 如何在代数堆栈上系统地定义可构造函数，从而将经典在概形上的定义加以推广？
• RQ2 可构造函数在诸如向前推射和拉回等几何运算下具有哪些封闭性质？
• RQ3 在特征为零的情形下，可构造函数在概形和堆栈之间的态射下如何表现？
• RQ4 可构造函数从其底层概形或堆栈继承了哪些结构性质？
• RQ5 该理论在何种方式下可支持动机积分或表示论中的应用？

主要发现

• 在概形和堆栈上的可构造函数在加法和数乘下构成一个定义良好的阿贝尔群。
• 该理论在同态下的向前推射和拉回运算下保持稳定，且保持可构造性。
• 可构造集的特征函数生成了可构造函数的群，从而确保了其具体表示。
• 该框架可自然地从概形推广到Deligne–Mumford堆栈，且与几何直觉保持一致。
• 使用代数闭域且特征为零，确保了闭点的稠密性与良好行为，从而支持了理论的基础。
• 该构造为未来在动机积分和枚举几何中的应用提供了稳健的代数基础。