量子コホモロジー
表示
![]() | 原文と比べた結果、この記事には多数の︵または内容の大部分に影響ある︶誤訳があることが判明しています。情報の利用には注意してください。 |
シンプレクティックトポロジーや代数幾何学では、量子コホモロジー環(quantum cohomology ring)は、閉じたシンプレクティック多様体の通常のコホモロジー環の拡張である。量子コホモロジー環は2つのバージョンからなり、ひとつは小さな版と呼ばれ、もうひとつ大きな版と呼ばれる。一般に大きな版は小さな版よりも込み入った、詳細な情報を持っている。両方とも係数環の選択が︵以下に述べるが、典型的にはノビコフ環の) 構造に重要な影響を持つ。
通常のコホモロジーのカップ積は、多様体の交叉理論により部分多様体が互いにどのようになっているかを記述するが、量子コホモロジーの量子カップ積は、部分空間がどのように﹁曖昧﹂に﹁量子的な﹂方法で交叉しているかを記述する。さらに詳しく述べると、もし一つ以上の擬正則曲線を通して連結であれば、交叉しているということを意味する。グロモフ・ウィッテン不変量は、これらの曲線の数を数え、量子カップ積を拡張して考えると係数として現れる。
量子コホモロジー環はグロモフ・ウィッテン不変量のパターンや構造を表しているので、それは数え上げ幾何学の中で重要な意味を持っている。量子コホモロジー環は、また、数理物理学とミラー対称性の多くのアイデアとも関係している。特に、フレアーホモロジーに環同型である。
この記事を通して、Xは閉シンプレクティック多様体を表し、ω はシンプレクティック形式を表すこととする。
ノビコフ環[編集]
詳細は「ノビコフ環(Novikov ring) 」を参照
Xの量子コホモロジーの係数環は様々に選択ができる。普通、環の選択は、X第二ホモロジーについての情報をエンコードするように選択される。こうすると、下記に定義する量子カップ積がXの中の擬正則曲線についての情報を記録することができるようになる。例えば、
を第二ホモロジーの捩れ部分群を法(modulo)とした商環とし、Rを単位元を持つ任意の可換環とし、Λ を次の形の微分形式の形式的ベキ級数の環とする。
ここに
●係数
はRから来る、
●
は、
を満たす形式的な変数、
●全ての実数Cに対して、高々有限のAがあり、Cに等しいかまたは小さな ω(A) がゼロではない係数
を持つ。
変数
は次数
であると考えられ、ここに
は、接バンドルTXの第一チャーン類であり、ω と整合性を持つ任意の概複素構造の選択で得られる複素ベクトルバンドルと考えられる。このようにすると、Λ は次数付き環で、ω のノビコフ環と呼ばれる。(別の定義も存在するが、同値である。)
をトーションをmoduloとするXのコホモロジーとする。Λ を係数として持つ小さな量子コホモロジー を次のように定義する。
その要素は次の語りの有限和である。
小さな量子コホモロジーは次数付き R-加群で、
を持っている。通常のコホモロジー H*(X) は QH*(X, Λ) へ
を通して埋め込まれ、QH*(X, Λ) は H*(X) により、Λ-加群として生成される。
H*(X) の中の純粋な次数の任意の2つのコホモロジー類 a, b と、
の中の任意の元Aに対し、(a ∗ b)A を次を式を満たすような H*(X) の唯一の元とする。
(右辺は種数が 0 であり、3-点のグロモフ・ウィッテン不変量) として、
と定義すると、次のように、線型性により問題なく定義できる Λ-加群の写像へ拡張できる。
。
これを小さな量子カップ積と呼ぶ。
言い換えると、
このように、量子カップ積は通常のカップ積を含んでいて、通常のカップ積をゼロではないクラスのAへ拡張する。
一般に、(a ∗ b)A のポアンカレ双対は、aとbのポアンカレ双対を通してクラスAの擬正則曲線の空間に対応している。それで、通常のコホモロジーはaとbが交叉するのは、ひとつもしくは複数の点で交わるときに限るが、量子コホモロジーは擬正則曲線でつながっている場所は全てでaとbのゼロでない交叉として数え上げる。ノビコフ環はまさに全てのクラスAの交叉情報を記録するに十分な大きさの系である。
を直線Lのポアンカレ双対とすると、
が得られる。ゼロでない唯一のグロモフ・ウィッテン不変量は、クラス A = 0 でか。もしくは A = L である。
であり、
であることが分かる。ここに δ はクロネッカーデルタである。従って次を得る。
この場合には、
をqと置き換え、単純な係数環 Z[q] を使うのが都合がよい。このqは次数
である。すると、
を得る。
と
が成り立つ。小さな量子カップ積は分配法則を満たし、Λ-双線型である。単位元
もまた、小さな量子コホモロジーの単位元である。
小さなカップ積は結合法則も満たす。これはグロモフ・ウィッテン不変量の張り合わせ規則の結果であり、難しいテクニカルな結果である。このことはグロモフ・ウィッテンポテンシャル (種数 0 のグロモフ・ウィッテン不変量の母函数) が WDVV方程式として知られているある3階の微分方程式を満たすことと同じことである。
交叉ペア
は次の式で定義される。
(uの添字の 0 は A = 0 の係数であることを示している。) このペアは次の結合的な性質を満たす。
を持つHは、フロベニウス代数となる。
量子カップ積は接バンドルTH上の接続とみなすことができ、ドゥブロビン接続 と呼ばれる。すると、量子カップ積の可換性と結合性はこの接続上のトーションがゼロであるという条件と、曲率がゼロであるという条件に、それぞれ対応している。
とドゥブロビン接続がUにフロベニウス多様体の構造を与える。Uの中の任意のaは、公式
により、量子カップ積
を定義する。
まとめると、H上のこれらの積は、大きな量子コホモロジーと呼ばれる。種数 0 のグロモフ・ウィッテン不変量の全ては、これから再現可能であり、より単純な小さな量子コホモロジーからは再現可能であるとは限らない。
小さな量子コホモロジーは、3点グロモフ・ウィッテン不変量の情報のみしか持たないが、大きな量子コホモロジーはすべての︵n ≧ 4) n-グロモフ・ウィッテン不変量を取り込む。多様体の数え上げ幾何学の情報を得るには、大きな量子コホモロジーが必要である。小さな量子コホモロジーは、物理学でいう 3-点相関函数に対応するが、大きな量子コホモロジーはすべての n-点相関函数に対応するともいうことができる。
小さな量子コホモロジー[編集]
一般的な解釈[編集]
クラス A = 0 の中の唯一の擬正則曲線は定数写像で、像は点となる。このことから次の式が導ける。例[編集]
Xを︵フビニ-スタディ計量に対応する︶標準シンプレクティック形式と複素形式を持つ複素射影平面とし、小さい量子カップ積の性質[編集]
純粋な次数を持つ a, b に対し、ドゥブロビン接続[編集]
基礎となる環Rが Cであるときには、ベクトル空間 QH*(X, Λ) の偶数の次数の部分Hを複素多様体とみなすことができる。小さなカップ積はH上の可換な積へうまく限定することができる。従って、ある無理のない前提を設けると、交叉ペア大きな量子コホモロジー[編集]
0 ∈ H の近傍Uが存在して、参考文献[編集]
- McDuff, Dusa & Salamon, Dietmar (2004). J-Holomorphic Curves and Symplectic Topology, American Mathematical Society colloquium publications. ISBN 0-8218-3485-1.
- Fulton, W; Pandharipande, R (1996). "Notes on stable maps and quantum cohomology". arXiv:alg-geom/9608011。
- Piunikhin, Sergey; Salamon, Dietmar & Schwarz, Matthias (1996). Symplectic Floer–Donaldson theory and quantum cohomology. In C. B. Thomas (Ed.), Contact and Symplectic Geometry, pp. 171–200. Cambridge University Press. ISBN 0-521-57086-7
- 深谷賢治 シンプレクティック幾何学 岩波書店 1999.