[論文レビュー] Relations in the Tautological Ring and Frobenius Manifolds near the Discriminant

Felix Janda|arXiv (Cornell University)|May 13, 2015

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、一般に半単純な特徴を持つコhomological field theoryから導かれる関係——特にGivental-Teleman分類における極のキャンセルによって得られるもの——が、曲線のモジュライ空間のタウトロジカルな環におけるPixtonの一般化されたFaber-Zagier関係によってすべて表現可能であることを確立している。さらに、非半単純部分集合に近い一般に半単純なフォーベニウス多様体の局所的構造が、$A_2 \times A_1^{N-2}$-特異点によってモデル化されることを示しており、Pixtonの関係がタウトロジカルな関係をすべて尽くすという予想を支持する。

ABSTRACT

For generically semisimple cohomological field theories pole cancellation in the Givental-Teleman classification implies relations between classes in the tautological ring of the moduli space of curves. For the theory of the $A_2$-singularity these are known to be equivalent to Pixton's generalized Faber-Zagier relations. We show that the relations from any other semisimple cohomological field theory can be written in terms of Pixton's relations. This gives large evidence for the conjecture that Pixton's relations are all relations between tautological classes. As part of the proof, we study the structure of an $N$-dimensional generically semisimple Frobenius manifold near smooth points of the non-semisimple locus, giving a local description modeled on the Frobenius manifold corresponding to the $A_2 imes A_1^{N - 2}$-singularity, and give criteria for extending generically semi-simple Frobenius manifolds to cohomological field theories.

研究の動機と目的

• 一般に半単純なコhomological field theoryに由来する、曲線のモジュライ空間のタウトロジカルな環における関係の構造を調査すること。
• 任意の半単純なコhomological field theoryから得られる関係が、Pixtonの一般化されたFaber-Zagier関係によって表現可能かどうかを特定すること。
• 非半単純部分集合の滑らかな点の近傍における、一般に半単純なフォーベニウス多様体の局所幾何を分析し、それらを$A_2 \times A_1^{N-2}$-特異点に関連付けること。
• 一般に半単純なフォーベニウス多様体が完全なコhomological field theoryに拡張可能であるための基準を提供すること。

提案手法

• コhomological field theoryのGivental-Teleman分類を用い、J関数における極のキャンセル条件を分析することでタウトロジカルな関係を導出する。
• フォーベニウス多様体の理論を用い、$N$次元の一般に半単純なフォーベニウス多様体における非半単純部分集合の滑らかな点の近傍の局所的構造を研究する。
• このフォーベニウス多様体の局所的モデルを$A_2 \times A_1^{N-2}$-特異点に基づいて構築し、フォーベニウス多様体構造の同値性を示す。
• Givental-Teleman形式を用いて、任意の半単純なコhomological field theoryから得られるタウトロジカルな関係とPixtonの関係との間の対応を確立する。
• この分析は、半単純なコhomological field theoryの分類およびタウトロジカルな環の構造、特に$A_2$-特異点理論の役割に依存している。
• 判別集合近傍でのフォーベニウス多様体の振る舞いに基づき、一般に半単純なフォーベニウス多様体が完全なコhomological field theoryに拡張可能であるための条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての半単純なコhomological field theoryに由来するタウトロジカルな関係は、Pixtonの一般化されたFaber-Zagier関係によって表現可能か？
• RQ2 一般に半単純なフォーベニウス多様体が非半単純部分集合の滑らかな点の近傍で示す局所的幾何的構造は何か？
• RQ3 非半単純部分集合近傍におけるフォーベニウス多様体構造は、$A_2 \times A_1^{N-2}$-特異点とどのように関連しているか？
• RQ4 一般に半単純なフォーベニウス多様体がいつコhomological field theoryに拡張可能か？
• RQ5 $A_2$-特異点理論から得られる関係の集合は、タウトロジカルな環におけるすべてのタウトロジカルな関係を生成するのに十分か？

主な発見

• 任意の一般に半単純なコhomological field theoryから導かれるすべてのタウトロジカルな関係は、Pixtonの一般化されたFaber-Zagier関係によって生成される関係に含まれる。
• $N$次元の一般に半単純なフォーベニウス多様体が非半単純部分集合の滑らかな点の近傍で示す局所的構造は、$A_2 \times A_1^{N-2}$-特異点に関連するフォーベニウス多様体によってモデル化される。
• 判別集合近傍でのフォーベニウス多様体の振る舞いに基づき、一般に半単純なフォーベニウス多様体を完全なコhomological field theoryに拡張可能であるための明示的基準を提示した。
• $A_2$-特異点理論から得られる関係は、Pixtonの関係と同値であり、Pixtonの関係がタウトロジカルな環において完全であるという予想を強く支持する。
• 極のキャンセルがGivental-Teleman形式において、すべての半単純なコhomological field theoryにおいて、Pixtonの関係によって表現可能な関係に正確に帰着することを確認した。
• 結果は、Pixtonの関係が曲線のモジュライ空間のタウトロジカルな環におけるすべてのタウトロジカルな関係を占めるという広範な予想を支持する。