[论文解读] On $3$-dimensional foliated dynamical systems and Hilbert type reciprocity law

Kim Junhyeong, Masanori Morishita+2 more|arXiv (Cornell University)|Jun 6, 2019

Geometry and complex manifolds参考文献 13被引用 4

一句话总结

本文为三维叶状动力系统（FDS 3）建立了基础性结果，提出一个分解定理，通过横截与非横截紧致叶对 FDS 3 结构进行分类。针对每一类构造了显式例子，包括可数无穷多个闭轨道。利用光滑 Deligne 上同调构建了几何局部符号，并证明了一条 Hilbert 型互反律：所有闭轨道与非横截叶上的局部符号之和模周期群为零，推广了算术拓扑中类域论的类比。

ABSTRACT

We show some fundamental results concerning $3$-dimensional foliated dynamical systems (FDS$^3$ for short) introduced by Deninger. Firstly, we give a decomposition theorem for an FDS$^3$, which yields a classification of FDS$^3$'s. Secondly, for each type of the classification, we construct concrete examples of FDS$^3$'s. Finally, by using the integration theory for smooth Deligne cohomology, we introduce geometric analogues of local symbols and show a Hilbert type reciprocity law for an FDS$^3$. Our results answer the question posed by Deninger.

研究动机与目标

• 解决 Deninger 提出的问题：在三维叶状动力系统（FDS 3）背景下，几何化 Hilbert 符号与互反律的类比。
• 通过基于横截与非横截紧致叶的分解定理，对 FDS 3 结构进行分类。
• 为分类中的每一类构造 FDS 3 的显式例子，包括具有可数无穷多个闭轨道的情形。
• 利用光滑 Deligne 上同调建立上同调框架，定义几何局部符号并证明互反律。

提出的方法

• 通过沿非横截紧致叶切割，证明了 FDS 3 的分解定理，得到具有良好结构的分量，从而实现对系统的分类。
• 利用开书分解构造例子，表明每个闭三维流形均 admits FDS 3 结构。
• 通过积分 Deligne 上同调类，结合全纯数据与叶状局部坐标，定义局部符号 ⟨f,g⟩γ。
• 应用光滑 Deligne 上同调的积分理论，显式计算闭轨道上的局部符号。
• 通过 Stokes 定理与 ωS 的闭性，证明所有 γ ∈ P̄S 上局部符号之和模周期群 ΛS(3) 为零，从而完成互反律的证明。
• 该方法将 Deligne-Bloch-Beilinson 对黎曼曲面上的 tame 符号的解释，推广至三维 FDS 3，通过高阶上同调与迭代积分实现。

实验结果

研究问题

• RQ1 能否基于紧致叶构造一个分解定理，实现对三维叶状动力系统的分类？
• RQ2 能否为分类中的每一类构造显式 FDS 3 例子，包括具有可数无穷多个闭轨道的情形？
• RQ3 如何为 FDS 3 上的亚纯函数定义 Hilbert 符号的几何类比？
• RQ4 这些几何局部符号是否满足类似于类域论的 Hilbert 型互反律？
• RQ5 能否利用光滑 Deligne 上同调的积分理论，在几何设定下定义并计算局部符号？

主要发现

• 建立了一个分解定理：沿非横截紧致叶切割三维流形，得到具有明确叶状动力结构的分量，从而实现基于此类叶类型对 FDS 3 的分类。
• 每个闭光滑三维流形均可通过开书分解实现 FDS 3 结构，体现了三维情形的特有性质。
• 针对每一类分类类型，构造了具体的 FDS 3 例子，包括具有可数无穷多个闭轨道的系统，类比于具有无穷多个有限素数的算术曲线。
• 导出了沿闭轨道 γ ∈ P_S 的局部符号 ⟨f,g⟩γ 的显式积分公式，使用叶状局部坐标与全纯对数微分。
• 证明了 Hilbert 型互反律：∑γ∈P̄S ⟨f,g⟩γ ≡ 0 mod (2πi)^3ΛS，其中 ΛS 为 FDS 3 的周期群。
• 证明依赖于形式 ωS 的闭性与 d(log f ∧ dlog g ∧ ωS) 的恰当性，表明在 ∂Z 上的总积分为零，从而确认了互反律。