ボゴモロフ・宮岡・ヤウの不等式
数学では、ボゴモロフ・宮岡・ヤウの不等式(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 を一般型のコンパクトな複素曲面として、c1 = c1(X) と c2 = c2(X) をそれぞれ、曲面の複素接バンドルの第一チャーン類、第二チャーン類とすると、
となり、さらに等号が成り立つ場合は、X は球の商空間である。等号のステートメントは、カラビ予想のヤウによる証明の基礎となった微分幾何学的アプローチの結果である。
はトポロジカルなオイラー標数であり、 を第二コホモロジー上の交叉形式の符号とすると、トム・ヒルツェブルフの符号定理により、 である。従って、ボゴモロフ・宮岡・ヤウの不等式は、一般型曲面の位相形の制限として次の書くことが可能である。
さらに、 であれば、普遍被覆は球である。
ネターの不等式とともに、ボゴモロフ・宮岡・ヤウの不等式は、複素曲面を探すことへ境界を与える。複素曲面として実現されるように写像の位相形を限定することから、曲面の地理学(geography of surfaces)が導かれる。一般型曲面を参照。
c12 = 3c2 である曲面
X が を満たす一般型曲面であるとする。すなわち、ボゴモロフ・宮岡・ヤウの不等式において等号が成り立つ曲面とする。このとき、Yau (1977) により、 X は 内の単位球の無限離散群による商空間と同型であることが証明された。この等号が成り立つような曲面の例を探すことは困難である。Borel (1963) は、 c2
1 = 3c2 を満たすような無限に多くの値に対して、そのようなチャーン数を持つ曲面が存在することを示した。Mumford (1979) は、マンフォード曲面(英語版)(Mumford surface)と呼ばれる c2
1 = 3c2 = 9 を満たす曲面を発見した。c2
1 + c2 は 12 で割り切れるのでこの値は可能な限り最小値である。さらに、Donald I. Cartwright and Tim Steger (2010) はちょうど 50個のマンフォード曲面が存在することを示した。
Barthel, Hirzebruch & Höfer (1987) は、例を発見する方法を与え、特に、c2
1 = 3c2 = 3254 である曲面 X を与えた。Ishida (1988) は c2
1 = 3c2 = 45 である曲面の商空間を発見し、この商空間の不分岐被覆をとると、全ての正の整数 k に対して c2
1 = 3c2 = 45k である曲面の例を与えた。 Donald I. Cartwright and Tim Steger (2010) は、全ての正の整数 n に対し、c2
1 = 3c2 = 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, MR2030225
- 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, MR912097
- 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, MR522939
- 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, MR0146301
- 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, MR2390492
- 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, MR957050
- 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, MR717611
- 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, MR0460343
- Mumford, David (1979), “An algebraic surface with K ample, (K2)=9, pg=q=0”, American Journal of Mathematics (The Johns Hopkins University Press) 101 (1): 233–244, doi:10.2307/2373947, ISSN 0002-9327, JSTOR 2373947, MR527834, https://jstor.org/stable/2373947
- Van de Ven, Antonius (1966), “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, MR0198496, https://jstor.org/stable/57245
- Yau, Shing Tung (1977), “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, MR0451180, https://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, MR480350