准协变束象绖与导出微分超几何中的 D 模块

导出几何提供了处理几何学和理论物理中出现的非横向相交和奇异模问题的强大工具。虽然导出代数几何已得到广泛发展，但经典场论——以光滑纤维束的章节构成的变分问题——自然需要微分几何、无限维分析（例如，Fréchet 流形）以及时空上额外几何结构（如光滑度量）的语言。此外，包含费米子物料场的场论需要将框架扩展以包含超流形。本文是旨在严格建模拉格朗日规范场方程解的导出空间作为导出 Ci 栈的第一篇文献。虽然本文未明确讨论物理或场论，但它在独立有用价值方面发展了导出微分几何的基础方面，并为该领域的进一步发展作出贡献。此外，这些结果为后续论文严格构造欧拉-拉格朗日方程解的导出空间提供了必要的基础。我们建立了将现有导出流形工作扩展到超几何和无限维情境的基础结果，明确将这些构造与微分算子和偏微分方程理论关联。本文是正在准备中的更大手稿的一个摘录，现已提供以传播关键基础发展。