[論文レビュー] F-manifolds with flat structure and Dubrovin's duality

Yuri I. Manin|ArXiv.org|Feb 27, 2004

Geometric and Algebraic Topology被引用数 14

ひとこと要約

本稿では、平坦計量とオイラー場の要件を緩和することで、Frobenius多様体を一般化する、相性のとれた平坦構造を備えたF多様体を導入する。これにより、F多様体と平坦でねじれのない接続のペンキル（pencil）の間の同値性が確立され、Dubrovinの双対性や代数的構造が、より広い枠組みへと拡張可能となる。量子コホモロジーおよび変形理論への応用が示される。

ABSTRACT

This work continues the study of $F$--manifolds $(M,\circ)$, first defined by Hertling and Manin and investigated in [He]. The notion of a compatible flat structure $ abla$ is introduced, and it is shown that many constructions known for Frobenius manifolds do not in fact require invariant metrics and can be developed for all such triples $(M,\circ , abla).$ In particular, we extend and generalize recent Dubrovin's duality.

研究の動機と目的

• 平坦計量とオイラー場の必要性を排除することで、Frobenius多様体構造を一般化し、F多様体と相性のとれた平坦構造に焦点を当てる。
• 相性のとれた平坦構造を備えたF多様体と平坦でねじれのない接続のペンキルとの間の基礎的同値性を確立する。
• 平坦計量を要件としないF多様体の文脈において、Dubrovinの双対性および変形接続形式を拡張する。
• 順序付けられた結合性方程式の解を、順序付きパーミトーハイドラトーリック多様体のホモロジーを用いた表現論的枠組みで提示する。
• 量子K理論、変形理論、ミラー対称性からの構成を、共通のF多様体枠組みで統一・一般化する。

提案手法

• ねじれのない平坦接続 ∇₀ あるいは平坦ベクトル場の局所的システム Tᴹᶠ を用いて、F多様体上での相性のとれた平坦構造の概念を導入する。
• すべての平坦ベクトル場 X, Y に対して X∘Y = [X,[Y,C]] を満たす局所的ベクトルポテンシャル C の存在をもって、相性の良さを定義する。
• 相性のとれた平坦構造を備えたF多様体と平坦でねじれのない接続のペンキルとの間の同値性を確立する。
• [LoMa1] および [LoMa2] の技術を応用し、拡張された構造接続を構成し、曲率分類子としてのオイラー場を分類する。
• ファン Φ_B およびトーリック多様体 L_B を用いて、H_*T としての次数付き代数を、パーミトーハイドラコンパクト化のホモロジーから定義する。
• 表現 ρ: H_*T → End F を用いて行列相関関数を構成し、最高次相関関数から生成関数 B_ρ を定義する。

実験結果

リサーチクエスチョン

• RQ1 Dubrovinの双対性は、平坦計量を要件としない状況において、Frobenius多様体を超えてどのように一般化可能か？
• RQ2 相性のとれた平坦構造を備えたF多様体と平坦でねじれのない接続のペンキルとの間の明確な関係は何か？
• RQ3 拡張接続および変形接続の形式的体系は、平坦計量を要件としないF多様体へと一般化可能か？
• RQ4 順序付けられた結合性方程式の解は、代数 H_*T の表現とどのように関係するか？
• RQ5 パーミトーハイドラトーリック多様体に関連するホモロジー代数 H_*T の幾何学的・代数的構造は何か？

主な発見

• 相性のとれた平坦構造を備えたF多様体と平坦でねじれのない接続のペンキルとの間には、本質的な同値性が存在する。
• 相性のとれた平坦構造の存在により、平坦計量を要件としないF多様体のクラスへとDubrovinの双対性が拡張可能となる。
• オイラー場は、相性のとれた平坦構造の枠組みにおいて、特定の拡張接続の分類子として自然に現れる。
• 順序付けられた結合性方程式の解は、H_*T の表現と一対一に対応し、行列相関関数は L_n の最高次サイクルによって与えられる。
• 生成関数 B_ρ は方程式 ∇B_ρ ∧ ∇B_ρ = 0 を満たし、平坦接続の文脈におけるWDVV方程式を一般化する。
• 代数 H_*T はパーミトーハイドラトーリック多様体 L_B のホモロジーと同型であり、分割の連結と幾何的境界準同型によって乗法が定義される。