[论文解读] Convolution structures and arithmetic cohomology

Alexandr Borisov|ArXiv.org|Jul 27, 1998

Advanced Operator Algebra Research参考文献 4被引用 6

一句话总结

本文通过算术曲面上线丛的测度卷积结构，引入了黎曼-罗赫与塞尔对偶性的算术类比。通过卷积定义上同调群 $H^0(L)$ 和 $H^1(L)$，利用庞特里亚金对偶性建立对偶性，并在此框架内重新证明了泊松求和公式，为几何上同调理论提供了类比。

ABSTRACT

In this paper we construct arithmetic analogs of the Riemann-Roch theorem and Serre's duality for line bundles. This improves on the works of Tate and van der Geer - Schoof. We define $H^0(L)$ and $H^1(L)$ as some convolution of measures structures. The $H^1$ is defined by a procedure very similar to the usual Cech cohomology. We get Serre's duality as Pontryagin duality of convolution structures. We get separately Riemann-Roch formula and Serre's duality. Instead of using the Poisson summation formula, we basically reprove it. The whole theory is pretty much parallel to the geometric case.

研究动机与目标

• 开发经典上同调定理（如黎曼-罗赫与塞尔对偶性）的算术类比。
• 通过测度的卷积结构定义算术上同调群 $H^0(L)$ 和 $H^1(L)$。
• 将塞尔对偶性作为这些卷积结构的庞特里亚金对偶性来建立。
• 在算术上同调框架内重新证明泊松求和公式，避免依赖现有解析工具。
• 通过增加调和分析部分，使理论对算术几何学家更易理解。

提出的方法

• 将 $H^0(L)$ 和 $H^1(L)$ 构造为与线丛 $L$ 关联的测度空间上的卷积结构。
• 通过类比Čech上同调的程序，将其适配到算术设定中以定义 $H^1(L)$。
• 利用庞特里亚金对偶性，在 $H^0(L)$ 与 $H^1(K times L^{-1})$ 之间建立塞尔对偶性，其中 $K$ 为典范丛。
• 重新表述并重新证明泊松求和公式，作为对偶性与卷积结构的推论。
• 引入第二类幽灵空间并采用改进的处理方式，以增强对偶性框架中的一致性。
• 整合调和分析工具，以提升对算术几何学家而言的可及性与严谨性。

实验结果

研究问题

• RQ1 能否通过测度的卷积结构定义算术上同调，使其与几何上同调理论平行？
• RQ2 在算术线丛的背景下，如何将塞尔对偶性实现为庞特里亚金对偶性？
• RQ3 黎曼-罗赫公式能否在此基于卷积的框架内独立推导？
• RQ4 泊松求和公式是否自然地作为对偶性与测度论结构的推论被恢复？
• RQ5 第二类幽灵空间如何影响上同调构造的一致性与对偶性？

主要发现

• 本文将 $H^0(L)$ 和 $H^1(L)$ 构造为测度上的卷积结构，提出了一种新的算术上同调理论。
• 塞尔对偶性被确立为这些卷积结构的庞特里亚金对偶性，为上同调群提供了对偶解释。
• 黎曼-罗赫公式在该框架内独立推导，未依赖泊松求和公式。
• 泊松求和公式作为对偶性与测度卷积公理的推论被重新证明。
• 引入调和分析增强了该框架对算术几何学家的可及性与严谨性。
• 第二类幽灵空间采用改进方法处理，提升了对偶性结构的一致性。