[论文解读] Laplace transform, dynamics and spectral geometry

Dan Burghelea, Stefan Haller|ArXiv.org|May 3, 2004

Mathematical Dynamics and Fractals参考文献 12被引用 9

一句话总结

本文通过狄利克雷级数和拉普拉斯变换，建立了莫尔斯-诺维科夫理论中瞬子和闭轨道计数函数的谱几何实现。在指数增长性质和温和横截性假设下，这些计数函数——源自具有莫尔斯型零点和李雅普诺夫上同调类的向量场——可从黎曼度量与闭1-形式的解析 torsion 和谱数据中恢复，通过解析数论技术将动力系统与谱几何联系起来。

ABSTRACT

We consider vector fields $X$ on a closed manifold $M$ with rest points of Morse type. For such vector fields we define the property of exponential growth. A cohomology class $ξ\in H^1(M;\mathbb R)$ which is Lyapunov for $X$ defines counting functions for isolated instantons and closed trajectories. If $X$ has exponential growth property we show, under a mild hypothesis generically satisfied, how these counting functions can be recovered from the spectral geometry associated to $(M,g,ω)$ where $g$ is a Riemannian metric and $ω$ is a closed one form representing $ξ$. This is done with the help of Dirichlet series and their Laplace transform.

研究动机与目标

• 建立具有莫尔斯型向量场的动力系统中瞬子和闭轨道计数函数的谱几何解释。
• 证明在向量场满足指数增长性质时，通过狄利克雷级数定义的这些计数函数可从解析 torsion 数据中重构。
• 通过展示计数函数的拉普拉斯变换由对偶 (g, ω) 决定（其中 g 为黎曼度量，ω 为表示李雅普诺夫上同调类的闭1-形式），将莫尔斯-诺维科夫理论与谱几何统一。
• 证明在一般条件（莫尔斯-斯马莱且无闭轨道）下，德拉姆复形的谱不变量通过解析 torsion 和正则化行列式编码了向量场的动力学。

提出的方法

• 作者通过具有莫尔斯型零点和李雅普诺夫上同调类的向量场的动力学，定义了从指标 q 到 q+1 的瞬子和闭轨道的计数函数。
• 这些计数函数被形式化为狄利克雷级数，在指数增长性质下其收敛半径为有限值。
• 证明这些狄利克雷级数的拉普拉斯变换可表示为与闭1-形式 ω 关联的平坦联络扭变的德拉姆复形的解析 torsion $ T^{ ext{an}}_{ ext{la}}(t) $。
• 引入正则化 $ R(X, ho, heta) $ 以处理谱 zeta 函数中的发散，从而实现不同向量场之间 torsion 不变量的比较。
• 关键技术工具是诱导同调群同构的余链复形同伦，允许通过保持体积和 torsion 数据的态射 $ u^*(t) $ 比较解析 torsion。
• 证明依赖于李雅普诺夫类两种定义的等价性，以及在余链复形上使用典范基和内积来计算行列式和体积。

实验结果

研究问题

• RQ1 在具有莫尔斯型零点的向量场中，瞬子和闭轨道的计数函数能否从黎曼度量与闭1-形式的谱不变量中重构？
• RQ2 在何种条件下，计数瞬子和闭轨道的狄利克雷级数的拉普拉斯变换与扭变德拉姆复形的解析 torsion 一致？
• RQ3 向量场的指数增长性质如何确保狄利克雷级数的收敛性，并实现动力不变量的谱恢复？
• RQ4 当上同调类 ξ 对 X 是李雅普诺夫类时，(g, ω) 的谱几何在多大程度上能恢复 X 的动力学？
• RQ5 强指数增长性质是否必要？还是仅需奇异同调在诺维科夫环上自由即可实现谱重构？

主要发现

• 在指数增长性质下，从指标 q 到 q+1 的瞬子计数函数的拉普拉斯变换等于解析 torsion $ T^{ ext{an}}_{ ext{la}}(t) $，仅差一个涉及正则化行列式 $ R(X^2, ho, heta) $ 的修正项。
• 当 $ H^*(M; t heta) $ 为正则复形时，谱不变量 $ T^{ ext{an}}_{ ext{la}}(t) $ 直接恢复了计数函数的拉普拉斯变换，无需额外修正。
• 解析 torsion $ T^{ ext{an}}_{ ext{la}}(t) $ 表示为上同调群的对数体积与有限维余链复形的对数 torsion 的组合，后者通过典范基和内积计算。
• 态射 $ u^*(t) $ 在同调上诱导同构，并允许在不同向量场之间比较 torsion，从而即使在同调非正则复形时也能恢复拉普拉斯变换。
• 该结果在莫尔斯-斯马莱和无闭轨道（NCT）条件下普遍成立，且强指数增长性质可弱化为 $ H^*_{ ext{sing}}(M; ilde{ ho}) $ 在诺维科夫环上自由。
• 关键恒等式 $ L( ho(X)) = - ext{ev}_t( au(X, ho, e^*_1)) $ 将计数函数的拉普拉斯变换与余链复形 torsion 的取值联系起来，确立了谱几何对偶性。