[論文レビュー] Massey and Fukaya products on elliptic curves

Alexander Polishchuk|ArXiv.org|Mar 5, 1998

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

ひとこと要約

この論文は、楕円曲線の coherent sheaves の導来圏における三重 Massey 積と、そのミラーであるシンプレクティックトーラスの Fukaya 圏における三重 Fukaya 積の間の対応関係を確立し、Kronecker の古典的恒等式を回復する。さらに、それらの Fukaya 対応物を用いて、従来定義されていなかった Massey 積を計算し、楕円曲線におけるカテゴリカルなミラー対称性の枠組みにおいて一貫性を示している。

ABSTRACT

This note is a continuation of our paper with E. Zaslow "Categorical mirror symmetry: the elliptic curve", math.AG/9801119. We compare some triple Massey products on elliptic curve with the corresponding Fukaya products on the symplectic torus and recover the classical identity due to Kronecker. We also compute some triple Fukaya products such that the corresponding Massey products are not correctly defined.

研究の動機と目的

• 楕円曲線におけるカテゴリカルなミラー対称性の枠組みを、代数的およびシンプレクティック的三重積の比較によって拡張すること。
• 高次の積が消えないために定義されない Massey 積の定義の不整合を、Fukaya 圏の対応物を用いて解消すること。
• 計算された Fukaya 積が、Kronecker のような既知の古典的恒等式を回復するかどうかを検証すること。
• 導来圏における coherent sheaves と Fukaya 圏との間の計算的ブリッジを提供すること。
• Massey 積が正しく定義されていなくても、その Fukaya 対応物が意味的かつ一貫した結果をもたらすことを示すこと。

提案手法

• ミラー対称性の代数的側面として、楕円曲線の coherent sheaves の導来圏を用いる。
• 楕円曲線のミラーであるシンプレクティックトーラスの Fukaya 圏を用いて三重積を計算する。
• 導来圏における三重 Massey 積とシンプレクティック圏における三重 Fukaya 積を比較する。
• 楕円曲線に対して、導来圏 D^b(coh(E)) と Fukaya 圏 Fuk(T^2) の間のミラー対称性の同値性を適用する。
• 特定の Massey 積が高次の積が消えないために定義されないが、その Fukaya 対応物は依然として計算可能であるという事実を用いる。
• 複素乗法とテータ関数に関する古典的結果を用いて、Kronecker の恒等式との整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線の coherent sheaves の導来圏における三重 Massey 積は、その Fukaya 圏の対応物とどのように関係しているか？
• RQ2 高次の積が消えないために定義されない Massey 積を、Fukaya 積を用いて計算することは可能か？
• RQ3 計算された Fukaya 積は、Kronecker の恒等式のような既知の古典的恒等式を回復するか？
• RQ4 ミラー対称性は、楕円曲線上の代数的およびシンプレクティック的三重積をどのように関連付けるか？
• RQ5 Massey 積が失敗する場合でも、Fukaya 積が常に定義され続けるのはどのような状況か？

主な発見

• 楕円曲線上の三重 Massey 積は、ミラー対称性の下で、その Fukaya 圏の対応物と正確に対応する。
• 本論文は、Massey 積と Fukaya 積の対応関係から、Kronecker の古典的恒等式を回復する。
• 高次の積が消えないために Massey 積が定義されない場合でも、その Fukaya 対応物は計算可能であり、一貫した結果をもたらす。
• Fukaya 積の計算により、導来圏における特定の Massey 積の定義不能性が解消される。
• 導来圏と Fukaya 圏の間のミラー対称性の同値性により、高次の積の一貫した比較が可能になる。
• 結果は、特に高次の作用素を取り扱う際の、楕円曲線におけるカテゴリカルなミラー対称性の枠組みの強固さを確認する。