23/03/16 14:57:41.41 BEgNOLhF.net
つづき
ケーラー計量がある場合には、リッチ曲率はケーラー計量に比例するので、第一チャーン類は、負か、0か、または、正のいずれかである。
第一チャーン類が負の場合は、オーバン(Aubin)とヤウ(Shing-Tung Yau)が常にケーラー・アインシュタイン計量が存在することを証明した。
第一チャーン類が 0 の場合は、ヤウは常にケーラー・アインシュタイン計量が存在するというカラビ予想を証明した。ヤウはこの仕事でフィールズ賞を受賞した。これがカラビ・ヤウ多様体の名称の由来である。
残りの、第一チャーン類が正の場合（ファノ多様体と言う）が最も困難である。この場合は、存在に非自明な障害が存在する。2012年、チェン(Chen)、ドナルドソン(Donaldson)、スン(Sun)は、この場合の存在性は K-安定性と呼ばれる代数幾何学的な条件に同値であることを証明した。彼らの証明は、アメリカ数学会誌 (the Journal of the American Mathematical Society) の一連の論文に発表された[1][2][3]。
URLﾘﾝｸ(ja.wikipedia.org)
アインシュタイン多様体
（アインシュタイン計量から転送）
微分幾何と数理物理において、アインシュタイン多様体(Einstein manifold)は、リッチテンソルが計量テンソルに比例するリーマン多様体もしくは、擬リーマン多様体である。通常、一般相対論で研究する 4次元のローレンツ多様体とは違い、この条件は、符合と同様に計量の次元も任意であることが可能であるにもかかわらず、この条件と計量が（宇宙定数を持つ）真空のアインシュタイン方程式の解であることとが同値であるとの理由から、アインシュタイン多様体はアルベルト・アインシュタイン(Albert Einstein)の名前に由来している。
つづく