[論文レビュー] Two Proofs of a Conjecture of Hori and Vafa

Aaron Bertram, Ionuţ Ciocan-Fontanine+1 more|ArXiv.org|Apr 25, 2003

Algebraic Geometry and Number Theory参考文献 18被引用数 7

ひとこと要約

本稿は、ホリ＝バウアの予想の2つの証明を提供する。その予想は、グレイスマンアンの$J$-関数が、射影空間の積の$J$-関数にバーデルモンド微分作用素を作用させ、その後で対称化することによって得られることを確立する。最初の証明は、等化同相コホモロジーにおける技術的困難を避けるためにオイラー列を用いる。第二の証明は、量子コホモロジーを介して予想を解釈し、ギヴェンタルの$R$-予想およびグレイスマンアンにおけるバーリンゾロ予想の証明に至る。組合せ的恒等式はベイリーの補題によって確認される。

ABSTRACT

We give two proofs of a conjecture of Hori and Vafa which expresses the J-function (i.e, the generating function for 1-point descendant Gromov-Witten invariants) of a Grassmannian in terms of the J-function of a product of projective spaces. Similar relations are obtained for two-point descendants, and three-point (primary) Gromov-Witten invariants. As an application we prove Givental's "R-Conjecture" - hence the Virasoro conjecture - for Grassmannians.

研究の動機と目的

• グレイスマンアン$G(r,n)$の$J$-関数と、射影空間の積の$J$-関数に作用する微分作用素を関連づけるホリ＝バウアの予想を証明すること。
• グレイスマンアンに限らない、幾何的不変理論商における$J$-関数のファンクター性を一般化すること。
• ホリ＝バウアの公式を用いて、ギヴェンタルの$R$-予想およびグレイスマンアンにおけるバーリンゾロ予想を証明すること。
• 特定の組合せ的恒等式を$G(2,n)$における$J$-関数の定数項に関して検証し、[BCKS1]の予想と結びつけること。

提案手法

• 最初の証明は、等化同相コホモロジー環に依存しないように、オイラー列を用いて$G(r,n)$の$J$-関数を導出する。これにより、従来の手法における技術的困難を回避する。
• 第二の証明は、ホリ＝バウアの予想を量子コホモロジーの条件として解釈し、平坦接続および$\hbar$-変形接続$\nabla_\hbar = d + \frac{1}{\hbar}*$と結びつける。
• $J$-関数は、ギヴェンタル理論の基本的解行列を用いて、グラビターショナルデセンドァントを含むグロモフ＝ウィッテン不変量の母関数として構成される。
• 予想は、$r=2$の場合に、非常に非自明な組合せ的恒等式の検証に帰着され、$q \to 1$極限におけるベイリーの補題の反復を用いて証明される。
• 重要なステップとして、アンドリュースの研究から得られる$q$-超幾何恒等式の$q \to 1$極限を取ることで、ネストされた整数分割の和を単一の和の形に表現する。
• 恒等式の証明は、極における超幾何関数の導関数を計算することに依存し、これにより必要な調和数$\gamma(m)$を含む和の構造が得られる。

実験結果

リサーチクエスチョン

• RQ1 量子コホモロジー的手法を用いて、グレイスマンアンの$J$-関数に関するホリ＝バウアの予想を厳密に証明できるか？
• RQ2 グレイスマンアン$G(r,n)$の$J$-関数は、$\prod \mathbb{P}^{n-1}$の$J$-関数に作用する微分作用素によって得られるのか？
• RQ3 ホリ＝バウアの公式を用いて、ギヴェンタルの$R$-予想およびグレイスマンアンにおけるバーリンゾロ予想を証明できるか？
• RQ4 $G(2,n)$における$J$-関数の定数項は、[BCKS1]の予想5.2.3における組合せ的和に等しいか？
• RQ5 グレイスマンアン$G(2,n)$におけるネストされた和を単一の和に変換する組合せ的恒等式を厳密に確立できるか？

主な発見

• ホリ＝バウアの予想は、2通りの異なる方法で証明された。1つはオイラー列を用いたもので、もう1つは$J$-関数の量子コホモロジー的解釈に基づくものである。
• $G(r,n)$の$J$-関数は、$J^\mathbf{G} = e^{-\sigma_1(r-1)\pi i / \hbar} \frac{\mathcal{D}_\Delta(J^\mathbf{P})}{\Delta}\big|_{t_i = t + (r-1)\pi i}$として示され、これは量子コホモロジーにおける深い対称性を裏付ける。
• この予想はギヴェンタルの$R$-予想を含み、したがってグレイスマンアンにおけるバーリンゾロ予想も含む。これは、量子不変量と表現論との強い関係を確立する。
• $G(2,n)$では、$J$-関数の定数項が、[BCKS1]の予想5.2.3における和に等しいことが、$q \to 1$極限におけるベイリーの補題の適用によって証明された。
• 恒等式の証明は、極における超幾何関数の導関数の計算に依拠し、調和数$\gamma(m)$を含む和の構造が得られた。
• 恒等式の証明は、$m \to d-m$における対称性を用いて、項を組み合わせ、必要な調和数の和の構造を分離するのを可能にする。