カラビ・ヤウ多様体
カラビ・ヤウ多様体は、代数幾何などの数学の諸分野や数理物理で注目を浴びている特別なタイプの多様体。特に超弦理論では、時空の余剰次元が6次元（実次元）のカラビ・ヤウ多様体の形をしていると予想されている。この余剰次元の考え方が、ミラー対称性の考えを導くことになった。
カラビ・ヤウ多様体は、1次元の楕円曲線や2次元のK3曲面の高次元版の複素多様体であり、コンパクトケーラー多様体で標準バンドルが自明なものとして定義されることが多い。ただし、他にも類似の（しかし互いに同値ではない）いくつかの定義がある。では、"カラビ・ヤウ空間"と呼ばれた。最初は微分幾何学の立場から、エウゲニオ・カラビで研究され、シン＝トゥン・ヤウが、これらがリッチ平坦な計量を持つであろうというカラビ予想を証明したことから、カラビ・ヤウ多様体と命名された。
カラビ・ヤウ多様体には、いくつかの異なる定義がある。ここでは、そのうち一般的なものをいくつか挙げ、それらの関係を述べる。
n次元のカラビ・ヤウ多様体とは、次の等価な条件のうちの一つを満たすコンパクトな n次元ケーラー多様体 M である。
これらの条件から、M の整係数第一チャーン類 c(M) がゼロになることが導かれるが、この逆は成立しない。その最も簡単な例は超楕円曲面（複素2次元の複素トーラスの有限商）である。超楕円曲面では、整数係数の第一チャーン類はゼロであるが、標準バンドルは自明ではない。
コンパクトな n次元ケーラー多様体 M に対して、次の条件は互いに同値になるが、上記の条件よりは弱い条件となる。しかし、この条件をカラビ・ヤウ多様体の定義として使うこともある。
特に、コンパクトなケーラー多様体が単連結であれば、上記の弱い定義と強い定義は一致する。エンリケス曲面は、リッチ平坦な複素多様体の例になる。エンリケス曲面の標準バンドルは自明ではないが、第二の条件に従うと、カラビ・ヤウ多様体の例となる。しかし第一の条件ではカラビ・ヤウ多様体の例にはならない。 エンリケス曲面の二重被覆は、どちらの定義も満たすカラビ・ヤウ多様体である(事実、K3曲面がその例となる)。
上記の様々な条件の同値性を証明するときに最も難しい箇所は、リッチ計量の存在を証明する部分である。このことはカラビ予想のヤウによる証明から従う。つまり、第一実チャーン類がゼロとなるコンパクトなケーラー多様体は、リッチ計量がゼロである同じ類のケーラー計量を持つことを意味する(ケーラー計量の類はケーラー計量に結び付いている2-形式のコホモロジー類である)。 カラビはそのような計量が唯一であることを示した。
カラビ・ヤウ多様体の定義には、他にも等価ではない多くのものがある。以下に、それらの間の主な差異を示す:
最も重要な基本的事実として、一般に射影空間に埋め込まれた滑らかな代数多様体はケーラー多様体であるということがある。このことを示すには、射影空間に自然に入るフビニ・スタディ計量をその代数多様体に制限すればよいからである。X をカラビ・ヤウ多様体、ωを X 上のケーラー計量とすると、定義から標準バンドル K は自明であり、[ω]=[ω]∈H(X,R)となるようなリッチ平坦なケーラー計量 ω が一意的に定まる。これはエウゲニオ・カラビにより予想され、ヤウ(S. T. Yau)により証明された定理である（カラビ予想を参照）。
複素次元が 1 の場合、コンパクトな唯一の例はトーラスであり、これは1-パラメーター族をなす。 トーラスのリッチ計量は実際、であるので、ホロノミーは自明な群SU(1)である。 1次元カラビ・ヤウ多様体は複素楕円曲線であり、代数多様体である。
複素次元が 2 の場合は、K3曲面が唯一のコンパクトで単連結なカラビ・ヤウ多様体である。非単連結な例は、アーベル多様体により与えられる。エンリケス曲面と超楕円曲面は、第一チャーン類が実係数コホモロジー群の元としてはゼロになるが、整係数コホモロジー群の元としてはゼロにならず、リッチ計量の存在についてのヤウの定理を適用することはできるものの、カラビ・ヤウ多様体とは見なされないことが多い。アーベル曲面はカラビ・ヤウ多様体には分類しないことも多い。その理由は、ホロノミーが自明であり、SU(2)自体に同型となるのではなく、SU(2)の固有部分群となるからである。
複素次元が 3 の場合は、カラビ・ヤウ多様体の分類問題は未解決だが、有限個の族が存在するとヤウにより予想されている。ただし、その数は20年前に彼が見積もった数より遥かに大きくなる。さらには、マイルス・リード(Miles Reid)は、3次元カラビ・ヤウ多様体の位相的な種類が無限個あることを予想し、それらすべてを（たとえば、(conifold)のような）マイルドな特異性を通して、リーマン面で可能なように、連続的に変換することが可能なことも予想している 3次元カラビ・ヤウ多様体の一つの例として、CPの中の非特異なクインティックスリーフォールドは、CP の同次座標での同次 5次多項式のゼロ点からなる代数多様体がある。もう一つの例は、(Barth–Nieto quintic)のスムースなモデルである。クインティックスリーフォールドの Z 作用による離散的な商もカラビ・ヤウ多様体となり、多くの文献で注目を集めている。これらうちの一つが、ミラー対称性 (弦理論)により、元々のクインティックスリーフォールドと関連付けられている。
すべての正の整数 n に対して、複素射影空間 CP の同次座標における同次 n+2 多項式の非特異なゼロ点集合は、コンパクトなカラビ-ヤウ多様体となる。その n = 1 の場合が楕円曲線、n = 2 の場合がK3曲面である。
すべての超ケーラー多様体は、カラビ・ヤウ多様体である。
カラビ・ヤウ多様体は超弦理論で重要となる。ほとんどの伝統的な超弦モデルで、弦理論で予想される次元 10 は、認識可能な4次元が6次元のの一種を持つと提起されている。カラビ・ヤウ n 次元多様体でのコンパクト化は、元の超対称性のいくつかを保存するので、重要である。詳しくいうと、（フラックス）のないところでは、カラビ・ヤウ3次元多様体（実次元は 6）は、ホロノミーが完全に SU(3) に一致している場合は、コンパクト化する前の超対称性の1/4を保存する。
さらに一般的には、ホロノミーSU(n) をもつ n-多様体でのフラックスのないコンパクト化では、もとの超対称性の 2 を破ることはなく、これがタイプ II のコンパクト化の場合にはスーパーチャージの 2 に対応し、タイプIのコンパクト化の場合にはスーパーチャージの 2 に対応する。フラックスを持っている場合は、超対称性条件はコンパクト化する多様体が一般化されたカラビ・ヤウ多様体となる。この考え方は で導入され、これらのモデルはフラックスコンパクト化として知られている。
本質的には、カラビ・ヤウ多様体が弦理論の｢見えない｣6次元（空間次元）の空間を形成する。現在観測可能である長さよりも小さいために、それらを検知することが出来ない。として良く知られているモデルは、ブレーンワールドモデルで、カラビ・ヤウ多様体は大きいが、Dブレーンを横切り交叉する部分の上に、私たちが閉じ込められていることを意味している。
の様々なカラビ・ヤウ4次元多様体でのコンパクト化は、いわゆるの中で、様々な古典解を見つけ出す方法を物理学者に提供する。
低エネルギーの弦の振動パターンは、カラビ・ヤウ空間の各々の穴に関係している。弦理論では我々の慣れ親しんでいる基本粒子が低エネルギーの弦の振動に対応しているので、多重化した穴の存在は、弦のパターンを多重なグループや世代に振り分けることになる。次のステートメントは単純化されているが、理論のロジックを含んでいる。｢カラビ・ヤウ空間が 3つの穴を持っていると、3つの振動パターンの世代ができ、粒子の 3世代は実験的に観察されるであろう。｣
論理的には、弦の振動はすべての次元を通して巻き付く数を変化させるので、それらの振動数や、従って観察される基本粒子の性質に影響を与えるであろう。例えば、アンドリュー・ストロミンジャーとエドワード・ウィッテンは、粒子の質量がカラビ・ヤウ空間の中の様々な穴の交叉のしかたに依存していることを示した。言い換えると、穴のたがいの相対位置とカラビ・ヤウ空間の物質との相対的位置は、ストロミンジャーとウィッテンによって発見され、ある方法によって粒子の質量に影響する。もちろん、これはすべての粒子について正しい。