ボゴモロフ・宮岡・ヤウの不等式

数学では、ボゴモロフ・宮岡・ヤウの不等式(Bogomolov–Miyaoka–Yau inequality)は、コンパクトな一般型複素曲面のチャーン数についての不等式

のことである。主要な興味は、代数曲面の基礎となっている実 4-次元多様体の可能な位相形を限定したいがためである。この不等式は、シン＝トゥン・ヤウ（丘成桐）year2=1978、 宮岡洋一year=1977により証明され、後日 1966 と ボゴモロフ（Fedor Bogomolov)year=1978 により定数 3 を 8 と 4 へ置き換えた弱いバージョンが証明された。
アルマン・ボレル(Armand Borel)とフリードリッヒ・ヒルツェブルフ(Friedrich Hirzebruch)は、等号が保たれている無限に多くの場合を発見することにより、不等式が可能な限り保たれることを示した。不等式が成立しない場合は、標数が正の場合で、1983 と 2008 がgeneralized Raynaud surface(generalized Raynaud surface)のような、成立しない場合の標数 p での曲面の例を与えた。

**不等式の定式化**
ボゴモロフ・宮岡・ヤウの不等式の伝統的な定式化は以下である。
X を一般型のコンパクトな複素曲面として、c1 = c1(X) と c2 = c2(X) をそれぞれ、曲面の複素接バンドルの第一チャーン類、第二チャーン類とすると、
 
となり、さらに等号が成り立つ場合は、X は球の商空間である。等号のステートメントは、カラビ予想のヤウによる証明の基礎となった微分幾何学的アプローチの結果である。

はトポロジカルなオイラー標数であり、 を第二コホモロジー上の交叉形式の符号とすると、トム・ヒルツェブルフの符号定理により、 である。従って、ボゴモロフ・宮岡・ヤウの不等式は、一般型曲面の位相形の制限として次の書くことが可能である。

さらに、 であれば、普遍被覆は球である。
ネターの不等式とともに、ボゴモロフ・宮岡・ヤウの不等式は、複素曲面を探すことへ境界を与える。複素曲面として実現されるように写像の位相形を限定することから、曲面の地理学(geography of surfaces)が導かれる。一般型曲面を参照。

**c12 = 3c2 である曲面**
X が  を満たす一般型曲面であるとする。すなわち、ボゴモロフ・宮岡・ヤウの不等式において等号が成り立つ曲面とする。このとき、1977 により、 X は  内の単位球の無限離散群による商空間と同型であることが証明された。この等号が成り立つような曲面の例を探すことは困難である。1963 は、　c1 = 3c2 を満たすような無限に多くの値に対して、そのようなチャーン数を持つ曲面が存在することを示した。1979 は、fake projective plane(Mumford surface)と呼ばれる c1 = 3c2 = 9 を満たす曲面を発見した。c1 + c2 は 12 で割り切れるのでこの値は可能な限り最小値である。さらに、year=2010 はちょうど 50個のマンフォード曲面が存在することを示した。
は、例を発見する方法を与え、特に、c1 = 3c2 = 3254 である曲面 X を与えた。1988 は c1 = 3c2 = 45 である曲面の商空間を発見し、この商空間の不分岐被覆をとると、全ての正の整数 k に対して c1 = 3c2 = 45k である曲面の例を与えた。
は、全ての正の整数 n に対し、c1 = 3c2 = 9n である曲面の例を与えた。

**参考文献**
  volume=4- year=1987- pages=1227–1287
*Citation | last1=Borel | first1=Armand | author1-link=Armand Borel | title=Compact Clifford-Klein forms of symmetric spaces | doi=10.1016/0040-9383(63)90026-0  
journal=Topology. an International Journal of Mathematics | issn=0040-9383 | volume=2 | issue=1-2 | pages=111–122
*year=2010
*Citation | last1=Easton | first1=Robert W. | title=Surfaces violating Bogomolov-Miyaoka-Yau in positive characteristic | doi=10.1090/S0002-9939-08-09466-5  
journal=Proceedings of the American Mathematical Society | issn=0002-9939 | volume=136 | issue=7 | pages=2271–2278- pages=367–396- pages=167–173
*Citation | last1=Miyaoka | first1=Yoichi | title=On the Chern numbers of surfaces of general type | doi=10.1007/BF01389789 | mr=0460343  
journal=Inventiones Mathematicae | issn=0020-9910 | volume=42 | issue=1 | pages=225–237
*Citation | doi=10.2307/2373947 | last1=Mumford | first1=David | author1-link=David Mumford | title=An algebraic surface with K ample, (K2)=9, pg=q=0 | mr=527834  
journal=American Journal of Mathematics | issn=0002-9327 | volume=101 | issue=1 | pages=233–244 | publisher=The Johns Hopkins University Press | jstor=2373947
*Citation | doi=10.1073/pnas.55.6.1624 | last1=Van de Ven | first1=Antonius | title=On the Chern numbers of certain complex and almost complex manifolds | jstor=57245 | mr=0198496  
journal=Proceedings of the National Academy of Sciences of the United States of America | issn=0027-8424 | volume=55 | pages=1624–1627 | issue=6 | publisher=National Academy of Sciences
*Citation | doi=10.1073/pnas.74.5.1798 | last1=Yau | first1=Shing Tung | title=Calabi's conjecture and some new results in algebraic geometry | jstor=67110 | mr=0451180  
journal=Proceedings of the National Academy of Sciences of the United States of America | issn=0027-8424 | volume=74 | issue=5 | pages=1798–1799 | publisher=National Academy of Sciences
*Citation | last1=Yau | first1=Shing Tung | title=On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation. I | doi=10.1002/cpa.3160310304  
journal=Communications on Pure and Applied Mathematics | issn=0010-3640 | volume=31 | issue=3 | pages=339–411