实解析情形下 {\em Ham} 复化的指数映射

设 $(M, \omega, J)$ 为一个 K"ahler 流形，K 为其哈密顿辛同胚群。由 Donadson 引入的 K 的复化不是一个群，而只是一个“形式李群”。然而，在复化中讨论指数映射仍然有意义。在本注记中，我们展示了如何在初始数据为实解析的情况下，几何地构造（针对小时间）指数映射。该构造受半经典分析的启发，但并未使用半经典分析。