高阶辛几何中移位辛结构与李n-群胚森田等价的严格证明

《Differential Geometry and its Applications》：Morita equivalence of shifted symplectic Lie n-groupoids

　　

摘要：高阶对象（如李群胚）上的辛结构研究已持续一段时间，但既有若干定义并非都在李群胚的森田等价（Morita equivalence）下保持不变，进而难以给出一致的辛栈（symplectic stack）概念。近年来，该思想被推广至李n-群胚（Lie n-groupoid）上的m-移位辛形式（m-shifted symplectic form），此类结构确实在李n-群胚的森田等价下保持。本文针对这一命题给出严格证明。

研究背景与问题提出

在经典力学与数学物理中，辛流形是相空间的基本几何结构；而当李群作用于流形时，轨道商空间通常不再是流形，需要借助作用李群胚及其对应的可微栈（differentiable stack，栈式商）来保持光滑结构与对称信息。对带有代数结构的光滑空间（李群、李群胚及更高阶对象），研究者希望辛形式兼容群胚结构，即具有乘性（multiplicativity）。早期李群胚上的辛结构定义并不都能在森田等价下保持不变，导致同一可微栈的不同模型可能给出不一致辛结构。随着导出n-栈（derived n-stack）与m-移位辛结构理论的发展，研究者将辛结构推广到李n-群胚，并在文献中建立了m-移位辛李n-群胚与辛森田等价的概念，但“移位辛结构在森田等价下保持”这一事实长期缺乏文献中的完整严格证明。

研究人员开展的研究与结论

研究人员以任意n≥0的李n-群胚为对象，证明：若存在从X_•到Y_•的森田等价，且X_•上带有m-移位辛形式α_•，则Y_•上诱导出m-移位辛形式β_•，且在桥接对象Z_•上存在(m?1)-移位2-形式?_•，使超覆盖之字形（zig-zag of hypercovers）成为辛森田等价；该对应在规范变换（gauge transformation）意义下一一对应。此项工作填补了高阶辛几何中基础定理的证明空白，使同一可微n-栈的多个李n-群胚模型可可靠地传递移位辛结构，为辛栈与高阶规范场论提供稳固基础。

主要关键技术方法

研究人员采用的关键方法包括：以Kan条件与严格Kan条件定义李n-群胚及其态射；用超覆盖（hypercover）刻画森田等价的之字形；构造截断de Rham单纯复形与正规化微分形式，定义m-移位k-形式及切复形（tangent complex）；借助上同调下降（cohomological descent）性质，证明超覆盖下拉回形式保持闭性与非退化性；利用无穷小乘性形式（IM-form，infinitesimal multiplicative form）在切复形与余切复形间建立拟同构（quasi-isomorphism），判定非退化条件。

论文主体结果与各节内容

1. 2.
   Lie n-groupoids（李n-群胚）
   研究人员通过单纯流形与Kan条件给出李n-群胚定义：对所有m≥1满足Kan(m,j)，对m≥n+1满足严格Kan!(m,j)。由此，普通李群胚是n=1的特例。态射采用超覆盖：层级映射q_m在m≤n?1为满淹没，在m=n为微分同胚。两个李n-群胚若存在公共桥接对象Z_•与双向超覆盖，则称森田等价。 Proposition 2.5 证明超覆盖的各级映射均为满淹没。
2. 3.
   Shifted symplectic structures（移位辛结构）
   研究人员定义切复形T_•X与边界算子?，其同调在森田等价下不变（Lemma 3.3）。在正规化截断de Rham总复形中，m-移位k-形式为α_•∈F^kΩ?^k+m，闭形式Dα_•=0称为预辛形式。非退化性通过IM-form λ^ω•实现：它对切复形给出配对，并诱导切复形到余切复形的拟同构。n=1时，该框架恢复拟辛群胚（quasi-symplectic groupoid）与相对?-闭乘性2-形式理论。
3. 4.
   主要定理与证明（Theorem 4.10）
   研究人员先详述超覆盖的上同调下降性质，再证明：森田等价之字形中，X_•上的m-移位辛形式经超覆盖拉回与下降，在Z_•上给出(m?1)-移位2-形式?_•，在Y_•上给出m-移位辛形式β_•；闭性由总微分D保持，非退化性由IM-form在超覆盖下诱导的拟同构保持。结论是移位辛结构在森田等价类上良定义，且辛森田等价之字形唯一确定至规范变换。

讨论与结论翻译

讨论部分指出，此前移位辛李n-群胚虽被引入，但核心不变性缺少可执行证明；本文补足该环节后，可微n-栈的辛结构不再依赖特定群胚模型。结论可译为：令X_•→Y_•为李n-群胚的森田等价，α_•为X_•上m-移位辛形式，则Y_•上诱导m-移位辛形式β_•，Z_•上存(m?1)-移位2-形式?_•，使超覆盖之字形构成辛森田等价；此对应在规范变换下一一对应。该结论意味着高阶辛几何中的栈级结构获得严格模型无关性。

论文解读初稿已完成，接下来可以选择一个方向继续深化：

把解读改写成期刊评审意见

补充关键定理的形式化论证脉络

把解读改写成期刊评审意见

补充关键定理的形式化论证脉络