原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。正確な表現に改訳できる方を求めています。
6次元カラビ・ヤウ・クインティックの 2次元スライス
カラビ・ヤウ多様体（カラビ・ヤウたようたい、英:Calabi-Yau manifold）は、代数幾何などの数学の諸分野や数理物理で注目を浴びている特別なタイプの多様体である。特に超弦理論では、時空の余剰次元が6次元（実次元）のカラビ・ヤウ多様体の形をしていると予想されている。この余剰次元の考え方が、ミラー対称性の考えを導くことになった。
カラビ・ヤウ多様体は、1次元の楕円曲線や2次元のK3曲面の高次元版の複素多様体であり、コンパクトケーラー多様体で標準バンドルが自明なものとして定義されることが多い。ただし、他にも類似の（しかし互いに同値ではない）いくつかの定義がある。Candelas et al. (1985)では、"カラビ・ヤウ空間"と呼ばれた。最初は微分幾何学の立場から、エウジェニオ・カラビE. Calabi (1954, 1957)で研究され、シン＝トゥン・ヤウが、これらがリッチ平坦[1]な計量を持つであろうというカラビ予想を証明したことから、カラビ・ヤウ多様体と命名された。
定義カラビ・ヤウ空間
カラビ・ヤウ多様体には、いくつかの異なる定義がある。ここでは、そのうち一般的なものをいくつか挙げ、それらの関係を述べる。
n次元のカラビ・ヤウ多様体とは、次の等価な条件のうちの一つを満たすコンパクトな n次元ケーラー多様体 M である。
M の標準バンドルが自明。
どこでもゼロにならない正則 n形式が M 上に存在する。
M の構造群が U(n) から SU(n) へ退化する。
SU(n) に含まれる大域的なホロノミー
これらの条件から、M の整係数第一チャーン類 c1(M) がゼロになることが導かれるが、この逆は成立しない。その最も簡単な例は超楕円曲面（複素2次元の複素トーラスの有限商）である。超楕円曲面では、整数係数の第一チャーン類はゼロであるが、標準バンドルは自明ではない。
コンパクトな n次元ケーラー多様体 M に対して、次の条件は互いに同値になるが、上記の条件よりは弱い条件となる。しかし、この条件をカラビ・ヤウ多様体の定義として使うこともある。
M の第一実チャーン類は、0 である。
M は、リッチ曲率が 0 となるケーラー計量を持つ。
M は、SU(n) に含まれる局所ホロノミー（英語版）を持つケーラー計量を持つ。
M の標準バンドルは、ある正のべきで自明となる。
M は、自明な標準バンドルを持つような有限被覆を持つ。
M は、自明な標準バンドルを持つ単連結多様体とトーラスとの積となるような有限被覆を持つ。
特に、コンパクトなケーラー多様体が単連結であれば、上記の弱い定義と強い定義は一致する。エンリケス曲面は、リッチ平坦な複素多様体の例になる。エンリケス曲面の標準バンドルは自明ではないが、第二の条件に従うと、カラビ・ヤウ多様体の例となる。しかし第一の条件ではカラビ・ヤウ多様体の例にはならない。 エンリケス曲面の二重被覆は、どちらの定義も満たすカラビ・ヤウ多様体である(事実、K3曲面がその例となる)。
上記の様々な条件の同値性を証明するときに最も難しい箇所は、リッチ計量の存在を証明する部分である。このことはカラビ予想のヤウによる証明から従う。つまり、第一実チャーン類がゼロとなるコンパクトなケーラー多様体は、リッチ計量がゼロである同じ類のケーラー計量を持つことを意味する(ケーラー計量の類はケーラー計量に結び付いている2-形式のコホモロジー類である)。 カラビはそのような計量が唯一であることを示した。
カラビ・ヤウ多様体の定義には、他にも等価ではない多くのものがある。以下に、それらの間の主な差異を示す: 最も重要な基本的事実として、一般に射影空間に埋め込まれた滑らかな代数多様体はケーラー多様体であるということがある。このことを示すには、射影空間に自然に入るフビニ・スタディ計量をその代数多様体に制限すればよいからである。X をカラビ・ヤウ多様体、ωを X 上のケーラー計量とすると、定義から標準バンドル KX は自明であり、[ω0]=[ω]∈H2(X,R)となるようなリッチ平坦なケーラー計量 ω0 が一意的に定まる。これはエウゲニオ・カラビにより予想され、ヤウ(S. T. Yau)により証明された定理である（カラビ予想を参照）。 複素次元が 1 の場合、コンパクトな唯一の例はトーラスであり、これは1-パラメーター族をなす。 トーラスのリッチ計量は実際、平坦計量
第一チャーン類が、整係数の類としてがゼロとなるのか、それとも実係数の類としてゼロになるのか。
大半の定義は、カラビ・ヤウ多様体がコンパクトな場合であるが、非コンパクトな場合にも通用する定義もある。非コンパクトな多様体への一般化の中では、差異となっている ( Ω ∧ Ω ¯ − ω n / n ! ) {\displaystyle (\Omega \wedge {\bar {\Omega }}-\omega ^{n}/n!)} が漸近的にゼロに近づく必要がある。 ここに ω {\displaystyle \omega } はケーラー計量 g {\displaystyle g} に付随するケーラー形式である(Gang Tian;Shing-Tung Yau 1990, 1991)。
カラビ・ヤウ多様体の基本群に対して、それが有限群あるいは自明群というような制約条件を課すこともある。任意のカラビ・ヤウ多様体は、トーラスと単連結カラビ・ヤウ多様体の積となるような有限被覆を持つ。
定義の中には、ホロノミーをSU(n)の部分群ではなくSU(n)そのものとするものもあり、これはホッジ数 h i , 0 {\displaystyle h^{i,0}} が 0 < i < dim(M) に対してゼロとなることを意味する。アーベル曲面は、ホロノミーが SU(2) よりも（ SU(2) 自体は含まない）小さいホロノミーであるリッチ計量を持つ（実際に、自明）ので、厳密に SU(2) にホロノミーが一致するという定義の下ではカラビ・ヤウ多様体にはならない。
カラビ・ヤウ多様体の大半の定義はリーマン計量を持っていることを前提としているが、計量のない複素多様体を扱っている定義もある。
大半の定義は多様体が非特異であることを前提としているが、マイルドな特異点を許容することもある。特異点を持つカラビ・ヤウ多様体ではチャーン類をうまく定義できないが、特異点がすべてゴレンシュタイン（英語版）特異点であれば標準バンドルと標準類を定義することはでき、滑らかなカラビ・ヤウ多様体での定義を、特異点を持つカラビ・ヤウ多様体へと拡張することが可能である。
例
複素次元が 2 の場合は、K3曲面が唯一のコンパクトで単連結なカラビ・ヤウ多様体である。非単連結な例は、アーベル多様体により与えられる。エンリケス曲面と超楕円曲面は、第一チャーン類が実係数コホモロジー群の元としてはゼロになるが、整係数コホモロジー群の元としてはゼロにならず、リッチ計量の存在についてのヤウの定理を適用することはできるものの、カラビ・ヤウ多様体とは見なされないことが多い。アーベル曲面はカラビ・ヤウ多様体には分類しないことも多い。その理由は、ホロノミーが自明であり、SU(2)自体に同型となるのではなく、SU(2)の固有部分群となるからである。
複素次元が 3 の場合は、カラビ・ヤウ多様体の分類問題は未解決だが、有限個の族が存在するとヤウにより予想されている。ただし、その数は20年前に彼が見積もった数より遥かに大きくなる。さらには、マイルス・リード(Miles Reid)は、3次元カラビ・ヤウ多様体の位相的な種類が無限個あることを予想し、それらすべてを（たとえば、コニフォールド（英語版）(conifold)のような）マイルドな特異性を通して、リーマン面で可能なように、連続的に変換することが可能なことも予想している[2] 3次元カラビ・ヤウ多様体の一つの例として、CP4の中の非特異なクインティックスリーフォールドは、CP4 の同次座標での同次 5次多項式のゼロ点からなる代数多様体がある。もう一つの例は、バース・ニエトの5次多様体（英語版）(Barth?Nieto quintic)のスムースなモデルである。クインティックスリーフォールドの Z5 作用による離散的な商もカラビ・ヤウ多様体となり、多くの文献で注目を集めている。これらうちの一つが、ミラー対称性 (弦理論)により、元々のクインティックスリーフォールドと関連付けられている。
すべての正の整数 n に対して、複素射影空間 CPn+1 の同次座標における同次 n+2 多項式の非特異なゼロ点集合は、コンパクトなカラビ-ヤウ多様体となる。
