|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 予想 ： [よそう] 1. (n,vs) expectation 2. anticipation 3. prediction 4. forecast ・ 想 ： [そう] 【名詞】 1. conception 2. idea 3. thought
数学においてカラビ予想（）とは、ある種の複素多様体上に「良い」性質を持つリーマン計量が存在することを主張する予想である。 が1950年代に提出し、1977年頃ににより解決された。この証明を理由のひとつとしてヤウは1982年フィールズ賞を受賞した。 カラビ予想とは、コンパクト ケーラー多様体は、2-形式により与えられる任意のリッチ曲率〔本記事では、Ricci curvatureとRicci formを同じ訳語とし、「リッチ曲率」に統一する。〕に対し、リッチ曲率の所属する第一チャーン類に対し、多様体上に一意にケーラー計量が決まるであろうという予想である。特に、第一チャーン類がゼロである場合には、リッチ曲率がゼロとなる同じクラスのなかに一意的にケーラー計量が決まり、これらをカラビ・ヤウ多様体と言う。 さらに公式に、カラビ予想を記述すると、 :M がケーラー計量 とケーラー形式 を持つコンパクトケーラー多様体で R が多様体 M の第一チャーン類を表す(1,1)-形式とすると、一意にケーラー計量 とケーラー形式 が M 上に存在し、 と がコホモロジー H2(M,R) の同じクラスを表し のリッチ曲率が R となる。 カラビ予想は、どのようなケーラー多様体がケーラー・アインシュタイン計量を持つのかという問題と密接に関連する。 ==ケーラー・アインシュタイン計量== カラビ予想と密接な関連する予想として、コンパクトケーラー多様体が負、ゼロ、正の第一チャーン類を持つと、定数倍を除外してケーラー計量としてチャーン類に対応するケーラー・アインシュタイン計量を持つという予想がある。この予想の証明は、負のチャーン類に対して、(Thierry Aubin)とシン＝トゥン・ヤウ(Shing-Tung Yau)により1976年になされた。チャーン類が 0 のときは、ヤウにより、0 の場合の結果より証明された。 第一チャーン類が正の場合は、ヤウが 2点でブローアップしたはケーラー・アインシュタイン計量を持たないことを証明した。従って、正の場合の反例となる。また、ケーラー・アインシュタイン計量が存在しても一意には決定されないことも証明した。正の第一チャーン類に対して、さらに多くの結果がある。ケーラー・アインシュタイン計量が存在するための必要条件は、正則ベクトル場のリー代数が簡約的であることなどがある。ヤウは、正の第一チャーン類に対しケーラー多様体がケーラー・アインシュタイン計量を持つことと、幾何学的不変式論の意味でケーラー多様体が安定なことが同値であることを予想した。
|