[论文解读] The exponential map of the complexification of {\em Ham} in the real-analytic case

D. Burns, Ernesto Lupercio+1 more|arXiv (Cornell University)|Jul 1, 2013

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

一句话总结

该论文在实解析Kähler几何设定下，通过具有实结构和拉格朗日子丛的全纯辛流形X，为哈密顿群Ham的复化构造了指数映射。关键结果是：复值哈密顿函数实部的哈密顿流生成一族微分同胚，其指数化了纯虚数哈密顿量，且流的切空间与实子流形的横截性条件决定了局部测地线的延拓。

ABSTRACT

Let $(M, ω, J)$ be a Kähler manifold and K its group of hamiltonian symplectomorphisms. The complexification of K introduced by Donadson is not a group, only a "formal Lie group". However it still makes sense to talk about the exponential map in the complexification. In this note we show how to construct geometrically the exponential map (for small time), in case the initial data are real-analytic. The construction is motivated by, but does not use, semiclassical analysis.

研究动机与目标

• 在实解析情形下，几何地构造哈密顿群Ham复化的指数映射。
• 将哈密顿流的概念扩展至无限维Kähler几何中的复值哈密顿量，特别是纯虚数哈密顿量。
• 确定在复化动力学下，Kähler势空间中的测地线可延拓的条件。
• 通过全息辛几何，为Donaldson对Ham的正式复化提供几何实现。

提出的方法

• 利用具有反全纯对合τ和全息拉格朗日子丛Π: X → M的全息辛流形(X, I, Ω)。
• 在X上构造复值哈密顿函数h在M上全纯延拓H的实部Re(H)的哈密顿流Φₜ。
• 分析流叶的复化切空间与每点处M的实切空间之间的横截性。
• 应用局部Darboux坐标，计算线性化流dΦₜ,*为涉及Hessian矩阵的矩阵指数。
• 利用条件Tₓ¹⁰ℱₜ ∩ TₓM = {0}确定流保持横截时，从而定义有效的指数映射。
• 通过临界点处Hessian的谱分析，基于秩与符号差分类延拓障碍。

实验结果

研究问题

• RQ1 在何种条件下，纯虚数哈密顿量的哈密顿流能在Ham的复化中生成良定义的一族一参微分同胚？
• RQ2 当复化无真正群结构时，指数映射如何实现几何化？
• RQ3 哈密顿函数的实解析性在确保全纯延拓与流的存在性中起何作用？
• RQ4 Kähler势空间中的测地线在何时无法延拓，其障碍由何决定？
• RQ5 复哈密顿函数Hessian的秩与符号差如何影响流与实子流形的横截性？

主要发现

• 若流保持与实子流形M的横截性，则可通过全息辛流形X上Re(H)的哈密顿流几何地构造Ham复化的指数映射。
• 当临界点处Hessian的秩为满秩（秩2n）时，横截性Tₓ¹⁰ℱₜ ∩ TₓM = {0}对所有t ∈ ℂ成立，从而保证局部延拓。
• 若临界点处Hessian的秩为1，则在有限实时间t = 1/λ₁处横截性失效，阻碍测地线的延续。
• 在二维情形下，障碍精确出现在Hessian有一个零特征值时，导致横截性条件中的行列式为零。
• 当Hessian非退化（秩2）时，流对所有复时间保持横截，指数映射在局部良定义。
• 该构造适用于特定情形，如M = ℂⁿ、M = ℙ¹及余伴从轨道，显式例子表明Hessian在确定障碍中的作用。