[論文レビュー] tt*-geometry in quantum cohomology

Hiroshi Iritani|ArXiv.org|Jun 6, 2009

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

ひとこと要約

本稿では、やや弱い条件下で、オルビフォールド量子コホノロジーにおける実構造が、大半半径極限近傍で純粋かつ極化された $tt^*$-幾何を誘導することを確立する。半無限のホッジ構造の変動と $tt^*$-幾何の枠組みを用いて、$\mathbb{P}^1$ に対して、この構造が、Kählerモジュリ空間 $H^2(\mathbb{P}^1,\mathbb{C}^*)$ 全体にわたって純粋かつ極化されていることを証明する。

ABSTRACT

We study possible real structures in the space of solutions to the quantum differential equation. We show that, under mild conditions, a real structure in orbifold quantum cohomology yields a pure and polarized tt^*-geometry near the large radius limit. We compute an example of P^1 which is pure and polarized over the whole Kaehler moduli space H^2(P^1,C^*).

研究の動機と目的

• 量子コホノロジーにおける実構造の存在と、それらが $tt^*$-幾何に与える影響を理解すること。
• このような実構造が、大半径極限近傍で純粋かつ極化された $tt^*$-幾何をもたらす条件を確立すること。
• $\mathbb{P}^1$ に対して、$tt^*$-構造がKählerモジュリ空間全体で純粋かつ極化されていることを示すこと。
• 量子コホノロジーの $tt^*$-幾何を、Painlevé III方程式および計量の漸近的挙動と結びつけること。

提案手法

• 半無限ホッジ構造の変動（\frac{\infty}{2} VHS）を用いて、量子コホノロジーを、$\mathbb{F}_\tau \subset \mathcal{H}^X = H^*(X) \otimes \mathcal{O}(\mathbb{C}^*)$ という部分空間の族としてモデル化する。
• 実構造を、局所的サブシステム $R_\mathbb{R} \subset R$ を通じて導入し、$\mathcal{H}^X$ 上に $\mathcal{H}^X_\mathbb{R}$ を保存する対合 $\kappa_\mathcal{H}$ を定義する。
• Dubrovin接続 $\nabla^z$ 及びその平坦性を用いて、平坦な切断と基本解 $L(\tau,z)$ を定義し、重力的後代数と関連付ける。
• Sobolevループのヒルベルト多様体上でBirkhoffの定理と逆関数定理を適用し、指数的減衰を示す漸近的Birkhoff分解を導出する。
• 二重線形型 $(\alpha,\beta)_{\mathcal{H}^X} = \int_X \alpha(-z) \cup \beta(z)$ を分析して、ホッジ分解と正定性条件を検証する。
• Painlevé III方程式を用いて計量 $h_{\overline{0}0}$ 及びその漸近挙動を分析し、全球的正定性および曲率挙動を確認する。

実験結果

リサーチクエスチョン

• RQ1 オルビフォールド量子コホノロジーにおける実構造が、大半径極限近傍で純粋かつ極化された $tt^*$-幾何をもたらす条件は何か？
• RQ2 $\mathbb{P}^1$ における $tt^*$-構造が、Kählerモジュリ空間 $H^2(\mathbb{P}^1,\mathbb{C}^*)$ 全体にわたって純粋かつ極化されていると示せるか？
• RQ3 量子コホノロジーの $tt^*$-幾何は、Painlevé III方程式およびその解とどのように関係しているか？
• RQ4 $\widehat{\Gamma}$-類および $K$-理論は、量子コホノロジーにおける自然な実構造を定義するために果たす役割は何か？
• RQ5 計量 $h_{\overline{0}0}$ の漸近展開は、Kählerモジュリ空間の曲率および全体的な幾何にどのように関係しているか？

主な発見

• $\mathbb{P}^1$ における $tt^*$-幾何は、大半径極限近傍にとどまらず、Kählerモジュリ空間 $H^2(\mathbb{P}^1,\mathbb{C}^*)$ 全体にわたって純粋かつ極化されている。
• 計量 $h_{\overline{0}0}$ は、$|q| \to \infty$ のとき、漸近展開 $h_{\overline{0}0} \sim \frac{1}{\sqrt{|q|}}\left(1 - \frac{1}{2\sqrt{\pi}|q|^{1/4}}e^{-8|q|^{1/2}}\right)$ を満たし、全球的正定性を確認する。
• $q=0$ の近傍におけるKählerモジュリ空間の曲率は負であるが、$|q| \to 0$ および $|q| \to \infty$ のとき、0に近づき、全曲率は $-\pi/4$ である。
• $h_{\overline{0}0}$ の微分方程式は、Painlevé III方程式 $\frac{d^2u}{dz^2} + \frac{1}{z}\frac{du}{dz} = 4\sinh(u)$ と同値であり、幾何学と可積分系を結びつける。
• $\mathbb{P}^1$ における $tt^*$-構造は、すべての点で正定値であり、二重線形不等式条件 $(\kappa_\mathcal{H}(\alpha), \alpha)_{\mathcal{H}^X} > 0$ が非ゼロ $\alpha$ の交差部分に於いて満たされることで確認される。
• モノドロミー情報のBirkhoff分解により、指数的減衰推定 $\|\tilde{B}_t - \mathbf{1}\|_{W^{1,2}} = O(e^{-\epsilon t})$ が得られ、漸近展開の有効性が保証される。