ボゴモロフ・宮岡・ヤウの不等式とは - わかりやすく解説 Weblio辞書

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

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

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/02/01 20:53 UTC 版)

原文と比べた結果、この記事には多数（少なくとも 5 個以上）の誤訳があることが判明しています。情報の利用には注意してください。
正確な語句に改訳できる方を求めています。

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

のことである。主要な興味は、代数曲面の基礎となっている実 4-次元多様体の可能な位相形を限定したいがためである。この不等式は、シン＝トゥン・ヤウ（丘成桐）S.-T. Yau (1977, 1978)、宮岡洋一Yoichi Miyaoka (1977)により証明され、後日 Van de Ven (1966) とボゴモロフ（Fedor Bogomolov)Fedor Bogomolov (1978) により定数 3 を 8 と 4 へ置き換えた弱いバージョンが証明された。

アルマン・ボレル(Armand Borel)とフリードリッヒ・ヒルツェブルフ（英語版）(Friedrich Hirzebruch)は、等号が保たれている無限に多くの場合を発見することにより、不等式が可能な限り保たれることを示した。不等式が成立しない場合は、標数が正の場合で、(Lang 1983) と Easton (2008) が一般化されたレノー曲面（英語版）(generalized Raynaud surface)のような、成立しない場合の標数 p での曲面の例を与えた。

不等式の定式化

ボゴモロフ・宮岡・ヤウの不等式の伝統的な定式化は以下である。

X を一般型のコンパクトな複素曲面として、c₁ = c₁(X) と c₂ = c₂(X) をそれぞれ、曲面の複素接バンドルの第一チャーン類、第二チャーン類とすると、

となり、さらに等号が成り立つ場合は、X は球の商空間である。等号のステートメントは、カラビ予想のヤウによる証明の基礎となった微分幾何学的アプローチの結果である。

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

さらに、であれば、普遍被覆は球である。

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

c₁² = 3c₂ である曲面

X を一般型でボゴモロフ・宮岡・ヤウの不等式を満たすようにである曲面とすると、Yau (1977) では X が無限離散群によりの中の単位球の商空間に同型であることが証明された。この不等式を満たす曲面の例を探すことは極めて困難である。Borel (1963) は無限に多くの曲面に対して、c2
1 = 3c₂ の値が無限に多く存在する。Mumford (1979) は、マンフォード曲面（英語版）(Mumford surface)と呼ばれる c2
1 = 3c₂ = 9 を満たす曲面を発見した。c2
1 + c₂ は 12 で割り切れるのでこの値は可能な限り最小値である。さらに、Donald I. Cartwright and Tim Steger (2010) はちょうど 50個のマンフォード曲面が存在することを示した。

Barthel, Hirzebruch & Höfer (1987) は、例を発見する方法を与え、特に、c2
1 = 3c₂ = 3²5⁴ である曲面 X を与えた。Ishida (1988) は c2
1 = 3c₂ = 45 である曲面の商空間を発見し、この商空間の不分岐被覆をとると、全ての正の整数 k に対して c2
1 = 3c₂ = 45k である曲面の例を与えた。 Donald I. Cartwright and Tim Steger (2010) は、全ての正の整数 n に対し、c2
1 = 3c₂ = 9n である曲面の例を与えた。

参考文献

Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M.; Van de Ven, Antonius (2004), Compact Complex Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., 4, Springer-Verlag, Berlin, ISBN 978-3-540-00832-3, MR 2030225
Barthel, Gottfried; Hirzebruch, Friedrich; Höfer, Thomas (1987), Geradenkonfigurationen und Algebraische Flächen, Aspects of Mathematics, D4, Braunschweig: Friedr. Vieweg & Sohn, ISBN 978-3-528-08907-8, MR 912097
Bogomolov, Fedor A. (1978), “Holomorphic tensors and vector bundles on projective manifolds”, Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 42 (6): 1227–1287, ISSN 0373-2436, MR 522939
Borel, Armand (1963), “Compact Clifford-Klein forms of symmetric spaces”, Topology. an International Journal of Mathematics 2 (1-2): 111–122, doi:10.1016/0040-9383(63)90026-0, ISSN 0040-9383, MR 0146301
Cartwright, Donald I.; Steger, Tim (2010), “Enumeration of the 50 fake projective planes”, Comptes Rendus Mathematique (Elsevier Masson SAS) 348 (1): 11–13, doi:10.1016/j.crma.2009.11.016
Easton, Robert W. (2008), “Surfaces violating Bogomolov-Miyaoka-Yau in positive characteristic”, Proceedings of the American Mathematical Society 136 (7): 2271–2278, doi:10.1090/S0002-9939-08-09466-5, ISSN 0002-9939, MR 2390492
Ishida, Masa-Nori (1988), “An elliptic surface covered by Mumford's fake projective plane”, The Tohoku Mathematical Journal. Second Series 40 (3): 367–396, doi:10.2748/tmj/1178227980, ISSN 0040-8735, MR 957050
Lang, William E. (1983), “Examples of surfaces of general type with vector fields”, Arithmetic and geometry, Vol. II, Progr. Math., 36, Boston, MA: Birkhäuser Boston, pp. 167–173, MR 717611
Miyaoka, Yoichi (1977), “On the Chern numbers of surfaces of general type”, Inventiones Mathematicae 42 (1): 225–237, doi:10.1007/BF01389789, ISSN 0020-9910, MR 0460343
Mumford, David (1979), [http://jstor.org/stable/2373947 “An algebraic surface with K ample, (K²)=9, p_g=q=0”], American Journal of Mathematics (The Johns Hopkins University Press) 101 (1): 233–244, doi:10.2307/2373947, ISSN 0002-9327, JSTOR 2373947, MR 527834, http://jstor.org/stable/2373947
Van de Ven, Antonius (1966), [http://jstor.org/stable/57245 “On the Chern numbers of certain complex and almost complex manifolds”], Proceedings of the National Academy of Sciences of the United States of America (National Academy of Sciences) 55 (6): 1624–1627, doi:10.1073/pnas.55.6.1624, ISSN 0027-8424, JSTOR 57245, MR 0198496, http://jstor.org/stable/57245
Yau, Shing Tung (1977), [http://jstor.org/stable/67110 “Calabi's conjecture and some new results in algebraic geometry”], Proceedings of the National Academy of Sciences of the United States of America (National Academy of Sciences) 74 (5): 1798–1799, doi:10.1073/pnas.74.5.1798, ISSN 0027-8424, JSTOR 67110, MR 0451180, http://jstor.org/stable/67110
Yau, Shing Tung (1978), “On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation. I”, Communications on Pure and Applied Mathematics 31 (3): 339–411, doi:10.1002/cpa.3160310304, ISSN 0010-3640, MR 480350