[論文レビュー] Manifolds with multiplication on the tangent sheaf

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

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

ひとこと要約

この論文は、接層に associative かつ commutative な $Ο_M$-双線形乗法を備えた多様体、すなわち $F$-多様体の理論を導入し、発展させる。主な貢献は、$F$-多様体に適合する平坦構造が、順序付きトーリック多様体およびホモロジー代数の幾何と深く結びついていることの確立であり、行列相関関数に関する曲率型方程式 $\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.

研究の動機と目的

• 量子 $K$-理論および特異点論において自然に生じる Frobenius 多様体の弱体化として $F$-多様体の概念を形式化・一般化すること。
• $F$-多様体に適合する平坦構造と、順序付きトーリック多様体のホモロジー代数 $H_*$ 間の対応を確立すること。
• 行列相関関数に関する曲率方程式 $\nabla C \wedge \nabla C = 0$ を用いて形式的 $F$-多様体を特徴付けること。
• 一般に半単純な $F$-多様体のスペクトル被覆が、余接 bundle $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$ に付随する順序付きトーリック多様体 $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 順序付きトーリック多様体 $L_n$ がホモロジー代数 $H_*$ 及びその表現を実現するために果たす役割は何か。
• RQ5 形式的級数 $C$ が $H_*T$ の表現から生じるための必要十分条件は何か。

主な発見

• 任意の $F$-多様体のスペクトル被覆 $\widetilde{M}$ は、自然なシンプレクティック構造に関して $T^*M$ 内にラグランジュ部分多様体として埋め込まれる。
• 半単純な場合、$\widetilde{M}$ は $M$ の分岐被覆であり、$\partial_a \circ \partial_b = \delta_{ab} \partial_a$ を満たす局所的標準座標（Dubrovin 座標）が存在し、構造は極めて剛性を持つ。
• ホモロジー代数 $H_*$ は、$\oplus_n H_*(L_n) \otimes T^{\otimes n}$ の対称コインヴァリエント代数に同型であり、乗法は分割の連結により与えられる。
• 適合する平坦構造を持つ形式的 $F$-多様体が $H_*T$ の表現 $\rho$ から生じるための必要十分条件は、関連する形式的級数 $C_\rho$ が $\nabla C_\rho \wedge \nabla C_\rho = 0$ を満たすことである。これにより完全な特徴付けが得られる。
• $H_*T_1$ および $H_*T_2$ の表現のテンソル積は、$H_*T_1 \otimes T_2$ の表現を誘導し、$H_*$ 上の余乗法と整合的である。これにより、構成にテンソルカテゴリの構造が与えられる。