[论文解读] Integrability of Jacobi structures

Marius Crainic, Chenchang Zhu|arXiv (Cornell University)|Mar 16, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 13

一句话总结

本文通過接触群胚將雅可比結構的可積性建立起來，將外森伯格的辛群胚框架擴展至雅可比幾何。利用克萊尼科-費爾南德斯的 $A$-路徑與單值群胚理論，證明了辛群胚的科斯滕特型預量子化定理，解決了外森伯格與徐提出的一個問題，並提供了與泊松可積性不同的可積性判別準則，並以具體例子顯示兩者概念不等價。

ABSTRACT

We discuss the integrability of Jacobi manifolds by contact groupoids, and then look at what the Jacobi point of view brings new into Poisson geometry. In particular, using contact groupoids, we prove a Kostant-type theorem on the prequantization of symplectic groupoids, which answers a question posed by Weinstein and Xu \cite{prequan}. The methods used are those of Crainic-Fernandes on $A$-paths and monodromy group(oid)s of algebroids. In particular, most of the results we obtain are valid also in the non-integrable case.

研究动机与目标

• 透過接觸群胚建立雅可比流形的全局幾何框架，將泊松幾何中的辛群胚理論加以推廣。
• 解決外森伯格與徐提出的關於辛群胚預量子化的問題，並利用科斯滕特型定理予以回答。
• 明確釐清雅可比與泊松設定下可積性的差異，證明兩者條件不等價。
• 將克萊尼科-費爾南德斯的單值群胚與 $A$-路徑技術推廣至雅可比設定，使即使在非可積情形下亦能獲得結果。

提出的方法

• 作者運用克萊尼科與費爾南德斯發展的李代數胚 $A$-路徑與單值群胚理論，分析雅可比結構的可積性條件。
• 定義雅可比流形 $(M, \tilde{\rho}, R)$ 的泊松化為 $M \times \mathbb{R}$ 上的泊松結構，透過 $\tilde{\Lambda} = e^{-s}(\Lambda + \frac{\partial}{\partial s} \wedge R)$，建立雅可比幾何與泊松幾何的連結。
• 證明接觸流形的辛化可導出 $M \times \mathbb{R}$ 上的辛結構，進而可應用辛群胚技術。
• 構造李代數胚 $A = T^*M \oplus \mathbb{R}$ 的單值群胚 $G(A)$ 以研究可積性，其單值映射由週期積分決定。
• 關鍵技術工具為識別辛葉 $L$ 的週期群 $Per(\omega_L)$，該群在泊松與雅可比兩種情形下均主導可積性。
• 論文推導出以週期面積函數 $A_a(r) = \int_{S_r} \omega_r = \frac{4\pi r}{a(r)}$ 表示的雅可比可積性準則，證明可積性當且僅當 $\lim_{r \to 0} (A_a'(r) + A_a(r)) \neq 0$。

实验结果

研究问题

• RQ1 在何種條件下，雅可比流形可透過接觸群胚實現可積性？
• RQ2 辛群胚的預量子化與雅可比設定下的科斯滕特型定理有何關聯？
• RQ3 雅可比與泊松分類中可積性之間的精確關係為何？
• RQ4 單值群胚方法能否推廣至非可積的雅可比結構？
• RQ5 週期面積函數 $A_a(r)$ 在決定雅可比可積性中扮演何種角色？

主要发现

• 證明了辛群胚的科斯滕特型預量子化定理，回答了外森伯格與徐提出的一個問題。
• 論文顯示，二維泊松流形若且唯若週期群 $Per(\omega_L)$ 局部均勻離散，則作為雅可比流形可積。
• 對於三維泊松流形 $M_a$，其括號為 $\{x^i,x^j\} = a(r) \epsilon^{ijk} x^k$，其作為雅可比流形的可積性等價於 $\lim_{r \to 0} (A_a'(r) + A_a(r)) \neq 0$，其中 $A_a(r) = \frac{4\pi r}{a(r)}$。
• 存在作為泊松結構可積但非雅可比可積的泊松流形——例如當 $a(r) = r e^r$ 時，$A_a(r)$ 為常數，故泊松可積，但 $A_a'(r) + A_a(r) \to 0$ 當 $r \to 0$，故非雅可比可積。
• 亦存在雅可比可積但非泊松可積的泊松流形——例如當 $a(r) = 1/(\sin r + 2)$ 時，$A_a(r)$ 無臨界點且 $\lim_{r \to 0} (A_a'(r) + A_a(r)) \neq 0$，故雅可比可積，但 $A_a(r)$ 非常數且 $A_a'(r) \to 0$，故非泊松可積。
• 當 $a(r) = r e^{\phi(r) r}$ 且 $\phi(r) = 1$ 在 0 附近、$\phi(r) = 0$ 對大 $r$ 時，$A_a'(r) + A_a(r) \to 0$ 且 $A_a(r)$ 非常數，故 $M_a$ 既非泊松亦非雅可比可積。