[論文レビュー] Strong homotopy algebras of a K\"ahler manifold

Sergei Merkulov|arXiv (Cornell University)|Sep 29, 1998

Algebraic Geometry and Number Theory参考文献 4被引用数 14

ひとこと要約

この論文は、任意のコンパクトなケーラー多様体が、de Rham複体のホッジ理論とドレーベール複体のホッジ理論からそれぞれ2つの強いホモトピー代数を自然に導くことを示している。ここで、調和形式の積は常に調和のまま保たれる。カルビ・ヤウ多様体の場合、複素構造のバランニコフ＝コンツェビッチ拡張モジュライ空間に関連する第三の代数が出現し、ケーラー幾何学の背後にあるより深い代数的構造が明らかになる。

ABSTRACT

It is shown that any compact Kähler manifold M gives canonically rise to two strong homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the Dolbeault complex. In these algebras the product of two harmonic differential forms is again harmonic. If M happens to be a Calabi-Yau manifold, there exists a third strong homotopy algebra closely related to the Barannikov-Kontsevich extended moduli space of complex structures. 1

研究の動機と目的

• コンパクトなケーラー多様体のホッジ理論から、強いホモトピー代数を標準的に構成すること。
• de Rham複体およびドレーベール複体の両方において、調和形式の積演算における代数的構造を分析すること。
• 多様体がカルビ・ヤウである場合に、第三の強いホモトピー代数が存在するか、その性質を調査すること。
• これらの代数をバランニコフ＝コンツェビッチが提唱する複素構造の拡張モジュライ空間に関連付けること。
• ホッジ理論が調和形式上の高次代数的作用素をどのように符号化するかを明確にすること。

提案手法

• de Rham複体のホッジ理論を用いて、調和形式上に強いホモトピー代数構造を定義する。
• ドレーベール複体のホッジ理論を適用し、正則調和形式上に第二の強いホモトピー代数を構成する。
• 両代数において、調和形式の積が再び調和形式であることを示し、ホッジ分解と整合的であることを保証する。
• カルビ・ヤウ多様体の場合、複素構造の拡張モジュライ空間を介して第三の強いホモトピー代数を構成する。
• 自然性を保証するため、複素幾何学およびホモロジー代数からの標準的関手的構成に依拠する。
• モジュライ空間の幾何学を通じて、代数的構造とバランニコフ＝コンツェビッチ枠組みを結びつける。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなケーラー多様体のde Rham複体におけるホッジ理論から、どのように強いホモトピー代数を標準的に関連付けることができるか？
• RQ2 同じ設定において、ドレーベール複体のホッジ理論からどのような代数的構造が生じるか？
• RQ3 どのような条件下で第三の強いホモトピー代数が出現し、拡張モジュライ空間とどのように関係するか？
• RQ4 これらの構成において、調和形式の積がなぜ常に調和のまま保たれるのか、そしてこれにより代数的構造にどのような含意が生じるか？
• RQ5 カルビ・ヤウ条件が、バランニコフ＝コンツェビッチモジュライ空間枠組みへのより深い接続をどのように可能にするか？

主な発見

• 任意のコンパクトなケーラー多様体のde Rham複体における調和形式の空間に、標準的な強いホモトピー代数構造が構成される。
• 同じ多様体におけるドレーベール複体のホッジ理論から、第二の強いホモトピー代数が自然に生じる。
• 両代数において、二つの調和形式の積が再び調和形式であることが保証され、乗法に関して閉じた代数的系であることが示唆される。
• カルビ・ヤウ多様体の場合、バランニコフ＝コンツェビッチの複素構造の拡張モジュライ空間に関連する第三の強いホモトピー代数が構成される。
• この構成は関手的かつ内的なものであり、追加のデータを必要とせず、ケーラー構造とホッジ理論にのみ依拠する。
• これらの代数の存在は、コンパクトなケーラー多様体のコホロジーに隠れた高次代数的構造が存在することを示している。