[论文解读] Manifolds with multiplication on the tangent sheaf

Yuri I. Manin|ArXiv.org|Feb 28, 2005

Advanced Algebra and Geometry参考文献 1被引用 6

一句话总结

本文引入并发展了$F$-流形的理论——即赋予切丛层一个满足可积性条件的、结合的、交换的、$Ο_M$-双线性乘法结构的流形。其主要贡献在于建立了具有相容平坦结构的$F$-流形与排列多面体 торic流形及同调代数之间的深刻联系，最终通过矩阵相关函数的曲率型方程$\nabla C \wedge \nabla C = 0$对形式$F$-流形进行了刻画。

ABSTRACT

This is a survey of the current state of the theory of $F$--(super)manifolds $(M,\circ)$, first defined in [HeMa] and further developed in [He], [Ma2], [Me1]. Here $\circ$ is an $\Cal{O}_M$--bilinear multiplication on the tangent sheaf $\Cal{T}_M$, satisfying an integrability condition. $F$--manifolds and compatible flat structures on them furnish a useful weakening of Dubrovin's Frobenius structure which naturally arises in the quantum $K$--theory, theory of extended moduli spaces, and unfolding spaces of singularities.

研究动机与目标

• 将$F$-流形的概念形式化并推广为Frobenius流形的弱化形式，其自然地出现在量子$K$-理论和奇点理论中。
• 建立具有相容平坦结构的$F$-流形与排列多面体toric流形的同调代数$H_*$之间的对应关系。
• 通过矩阵相关函数上的曲率方程$\nabla C \wedge \nabla C = 0$对形式$F$-流形进行刻画。
• 证明一般半单$F$-流形的谱覆盖在余切丛$T^*M$中可嵌入为拉格朗日子流形。

提出的方法

• 通过层论结构引入$F$-流形：在切丛层$\mathcal{T}_M$上赋予一个$\mathcal{O}_M$-双线性、结合、交换的乘法$\circ$，并满足可积性条件$P_{X\circ Y}(Z,U) = X\circ P_Y(Z,U) + (-1)^{XY}Y\circ P_X(Z,U)$。
• 定义谱覆盖$\widetilde{M} := \mathrm{Spec}_{\mathcal{O}_M}(\mathcal{T}_M, \circ)$，其在$M$上平坦，并自然嵌入到$T^*M$中。
• 证明$\widetilde{M}$在$T^*M$中的像关于标准辛结构是拉格朗日的。
• 通过与扇形$\Phi_n$相关的排列多面体toric流形$L_n$构造同调代数$H_*$，其乘法由分拆的连接给出。
• 通过表示$\rho: H_*T \to \mathrm{End}\,T$定义矩阵相关函数$\langle \Delta_{a_1} \cdots \Delta_{a_n} \rangle_\rho$，并为每个此类表示关联一个形式幂级数$C_\rho$。
• 证明曲率条件$\nabla C_\rho \wedge \nabla C_\rho = 0$刻画了所有具有相容平坦结构的形式$F$-流形。

实验结果

研究问题

• RQ1 切丛乘法$\circ$的可积性条件与谱覆盖$\widetilde{M}$的几何结构有何关系？
• RQ2 谱覆盖$\widetilde{M}$在$T^*M$内的精确几何与代数结构是什么？它在何时构成一个流形？
• RQ3 如何通过矩阵相关函数等代数不变量对具有相容平坦结构的$F$-流形进行分类？
• RQ4 排列多面体toric流形$L_n$在实现同调代数$H_*$及其表示中起什么作用？
• RQ5 形式幂级数$C$必须满足什么必要且充分条件，才能由$H_*T$的表示生成？

主要发现

• $F$-流形的谱覆盖$\widetilde{M}$在余切丛$T^*M$中关于标准辛结构可嵌入为拉格朗日子流形。
• 在半单情形下，$\widetilde{M}$是$M$的无分支覆盖，且存在局部规范坐标（Dubrovin坐标），使得$\partial_a \circ \partial_b = \delta_{ab} \partial_a$，从而使结构具有高度刚性。
• 同调代数$H_*$同构于$\oplus_n H_*(L_n) \otimes T^{\otimes n}$的对称余不变量代数，其乘法由分拆的连接给出。
• 一个具有相容平坦结构的形式$F$-流形当且仅当其关联的形式幂级数$C_\rho$满足$\nabla C_\rho \wedge \nabla C_\rho = 0$时，可由$H_*T$的表示生成，从而提供了完整的刻画。
• 对$H_*T_1$与$H_*T_2$表示的张量积诱导出$H_*T_1 \otimes T_2$的表示，且与$H_*$上的共乘法相容，因此使该构造具备张量范畴结构。