反常层导出模空间

我们构造了参数化复代数簇与紧实解析簇上可构造层的高阶导出Artin栈。进一步，我们证明每个反常函数都给出一个反常层的开子栈，这是一个局部有限呈现的1-Artin栈，推广了通常的特征栈。作为导出结构的一个示例应用，我们构造了与带穿孔黎曼面相关的上同调Hall代数的新例子。