「ボゴモロフ・宮岡・ヤウの不等式」の版間の差分
ja>Cewbot (bot: 解消済み仮リンクフリードリッヒ・ヒルツェブルフ、曲面の地理学を内部リンクに置き換える) |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 17:02時点における最新版
数学では、ボゴモロフ・宮岡・ヤウの不等式(Bogomolov–Miyaoka–Yau inequality)は、コンパクトな一般型複素曲面のチャーン数についての不等式
- [math] c_1^2 \le 3 c_2\ [/math]
のことである。主要な興味は、代数曲面の基礎となっている実 4-次元多様体の可能な位相形を限定したいがためである。この不等式は、シン=トゥン・ヤウ(丘成桐)テンプレート:Harvs、 宮岡洋一テンプレート:Harvsにより証明され、後日 Van de Ven (1966) と ボゴモロフ(Fedor Bogomolov)テンプレート:Harvs により定数 3 を 8 と 4 へ置き換えた弱いバージョンが証明された。
アルマン・ボレル(Armand Borel)とフリードリッヒ・ヒルツェブルフ(Friedrich Hirzebruch)は、等号が保たれている無限に多くの場合を発見することにより、不等式が可能な限り保たれることを示した。不等式が成立しない場合は、標数が正の場合で、{{#invoke:Footnotes | harvard_citation }} と Easton (2008) が一般化されたレノー曲面(generalized Raynaud surface)のような、成立しない場合の標数 p での曲面の例を与えた。
不等式の定式化
ボゴモロフ・宮岡・ヤウの不等式の伝統的な定式化は以下である。
X を一般型のコンパクトな複素曲面として、c1 = c1(X) と c2 = c2(X) をそれぞれ、曲面の複素接バンドルの第一チャーン類、第二チャーン類とすると、
- [math] c_1^2 \le 3 c_2. \, [/math]
となり、さらに等号が成り立つ場合は、X は球の商空間である。等号のステートメントは、カラビ予想のヤウによる証明の基礎となった微分幾何学的アプローチの結果である。
[math] c_2(X) = e(X) [/math] はトポロジカルなオイラー標数であり、[math]\sigma(X)[/math] を第二コホモロジー上の交叉形式の符号とすると、トム・ヒルツェブルフの符号定理により、[math] c_1^2(X) = 2 e(X) + 3\sigma(X) [/math] である。従って、ボゴモロフ・宮岡・ヤウの不等式は、一般型曲面の位相形の制限として次の書くことが可能である。
- [math] \sigma(X) \le \frac{1}{3} e(X)\ .[/math]
さらに、[math]\sigma(X) = (1/3)e(X)[/math] であれば、普遍被覆は球である。
ネターの不等式とともに、ボゴモロフ・宮岡・ヤウの不等式は、複素曲面を探すことへ境界を与える。複素曲面として実現されるように写像の位相形を限定することから、曲面の地理学(geography of surfaces)が導かれる。一般型曲面を参照。
c12 = 3c2 である曲面
X を一般型でボゴモロフ・宮岡・ヤウの不等式を満たすように [math] c_1^2 = 3 c_2[/math] である曲面とすると、Yau (1977) では X が無限離散群により [math]{\mathbb C}^2[/math] の中の単位球の商空間に同型であることが証明された。この不等式を満たす曲面の例を探すことは極めて困難である。Borel (1963) は無限に多くの曲面に対して、cテンプレート:Sup sub = 3c2 の値が無限に多く存在する。Mumford (1979) は、マンフォード曲面(Mumford surface)と呼ばれる cテンプレート:Sup sub = 3c2 = 9 を満たす曲面を発見した。cテンプレート:Sup sub + c2 は 12 で割り切れるのでこの値は可能な限り最小値である。さらに、テンプレート:Harvs はちょうど 50個のマンフォード曲面が存在することを示した。
Barthel, Hirzebruch & Höfer (1987) は、例を発見する方法を与え、特に、cテンプレート:Sup sub = 3c2 = 3254 である曲面 X を与えた。Ishida (1988) は cテンプレート:Sup sub = 3c2 = 45 である曲面の商空間を発見し、この商空間の不分岐被覆をとると、全ての正の整数 k に対して cテンプレート:Sup sub = 3c2 = 45k である曲面の例を与えた。 テンプレート:Harvs は、全ての正の整数 n に対し、cテンプレート:Sup sub = 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, 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), “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, MR 527834
- 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, MR 0198496
- 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, MR 0451180
- 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