|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ テン : [てん] 【名詞】 1. 10 2. ten 3. (P), (n) 10/ten ・ 予想 : [よそう] 1. (n,vs) expectation 2. anticipation 3. prediction 4. forecast ・ 想 : [そう] 【名詞】 1. conception 2. idea 3. thought
代数幾何学におけるウィッテン予想 (Witten conjecture) は、の安定類の交点数についての予想であり、 において導入され、 において一般化された。ウィッテンの元々の予想は、 によって証明された。 ウィッテン予想は、2つの異なる2次元量子重力モデルが同じ分配函数を持つはずであるということに動機がある。これらのモデルの一方の分配函数は、代数曲線のモジュライスタック上の交点数の項で記述することができ、もう一方のモデルの分配函数は(KdV hierarchy)の τ函数の対数である。これらの分配函数を同一視することから、交点数から作られた母函数が KdV階層の微分方程式を満すはずであるというウィッテン予想が得られる。 ==ステートメント== を ''n'' 個の異るマークした点 ''x''1,...,''x''''n'' を持つ種数 ''g'' のコンパクトリーマン面のモジュライスタックとして、 をそのドリーニュ–マンフォードコンパクト化とすると、 上に ''n'' 個のラインバンドル が存在し、そのモジュライスタックの点でのファイバーは、マークした点 ''x''''i'' でのリーマン面の余接空間であるようにすることができる。交叉指数(intersection index) は、 上の の交叉指数である。ここに であり、もしそのような ''g'' が存在しない場合は、この総和は 0 とする。また ''c''1 はラインバンドルの第一チャーン類とする。ウィッテンの母函数 : は、すべての交叉指数を係数の中にエンコードする。 ウィッテン予想は、分配函数 が(KdV hierarchy)の τ函数であるという予想であり、言い替えると、この函数は、''i'' ≥ −1 に対するヴィラソロ代数の元 と対応する一連の偏微分方程式系を満たす。
|