Desigualdad de Bogomolov-Miaoki-Yau
La desigualdad de Bogomolov-Miaoki-Yau es una desigualdad
entre números de Zhen de superficies complejas compactas de forma general . El principal interés de esta desigualdad es la posibilidad de limitar los posibles tipos topológicos de la cuadriplicidad real bajo consideración. La desigualdad fue probada de forma independiente por Yau [1] [2] y Miaoki [3] , después de que Van de Ven [4] y Fedor Bogomolov [5] probaran versiones más débiles de la desigualdad con constantes 8 y 4 en lugar de 3.
Borel y Hirzebruch demostraron que la desigualdad no puede mejorarse encontrando infinitos casos en los que se cumple la igualdad. La desigualdad no es cierta para las características positivas: Leng [6] y Easton [7] dieron ejemplos de superficies con la característica p , como la superficie de Raynaud generalizada , para las que la desigualdad no se cumple.
Enunciado de la desigualdad
La desigualdad de Bogomolov-Miaoki-Yau generalmente se formula de la siguiente manera.
Sea X una superficie compleja compacta de tipo general , y sean y la primera y la segunda clase Zhen del haz tangente complejo de la superficie. Después
Además, si se cumple la igualdad, entonces X es un factor de la pelota. La última afirmación es consecuencia del enfoque de Yau sobre la geometría diferencial, que se basa en su resolución de la conjetura de Calabi .
Dado que es la característica topológica de Euler , y por el teorema de la firma de Thom-Hirzebruch , donde es la firma de la forma de intersección en la segunda cohomología, la desigualdad de Bogomolov-Miaoki-Yau se puede reescribir como una restricción en el tipo topológico de una superficie general:
y además, si , la tapa universal es una bola.
Junto con la desigualdad de Noether , la desigualdad de Bogomolov-Miaoki-Yau establece límites en la búsqueda de superficies complejas. La consideración de tipos topológicos que se pueden realizar como superficies complejas se denomina geografía de superficie . Ver el artículo Superficies genéricas .
Superficies con c 1 2 = 3 c 2
Sea X una superficie de tipo general con , de modo que la desigualdad de Bogomolov-Miaoki-Yau sea igual. Para tales superficies, Yau [1] demostró que X es isomorfo al factor de bola unitario en un grupo discreto infinito. Es difícil encontrar ejemplos de superficies para las que se cumple la igualdad. Borel [8] demostró que existen infinitos valores para los cuales existen superficies. Mumford [9] encontró un plano proyectivo falso con , que tiene el menor valor posible porque siempre es divisible por 12, mientras que Prasad y Yen [10] [11] y Cartwright y Steger [12] demostraron que hay exactamente 50 planos proyectivos falsos. superficies
Barthel, Hirzebruch y Höfer [13] dieron un método de búsqueda de ejemplo que, en particular, produce superficies X con . Ishida [14] encontró el factor c de tal superficie, y si tomamos coberturas no ramificadas de este factor, obtenemos ejemplos de c para cualquier k positivo . Cartwright y Steger [12] encontraron ejemplos con para cualquier entero positivo n .
Notas
- ↑ 12 Yau , 1977 .
- ↑ Yau, 1978 .
- ↑ Miyaoka, 1977 .
- ↑ Van de Ven, 1966 .
- ↑ Bogomólov, 1978 .
- ↑ Lang, 1983 .
- ↑ Eastton, 2008 .
- ↑ Borel, 1963 .
- ↑ Mumford, 1979 .
- ↑ Prasad, Yeung, 2007 .
- ↑ Prasad, Yeung, 2010 .
- ↑ 1 2 Cartwright, Steger, 2010 , pág. 11–13.
- ↑ Barthel, Hirzebruch, Höfer, 1987 .
- ↑ Ishida, 1988 .
Literatura
- Donald I. Cartwright, Tim Steger. Enumeración de los 50 falsos planos proyectivos // Comptes Rendus Mathematique. - Elsevier Masson SAS, 2010. - T. 348 , no. 1 . -doi : 10.1016/ j.crma.2009.11.016 .
- Donald I. Cartwright, Tim Steger. Enumeración de los 50 falsos planos proyectivos // Comptes Rendus Mathematique. - Elsevier Masson SAS, 2010. - T. 348 , no. 1 . — P. 11–13 . -doi : 10.1016/ j.crma.2009.11.016 .
- Wolf P. Barth, Klaus Hulek, Chris AM Peters, Antonius Van de Ven. Superficies Complejas Compactas. - Springer-Verlag, Berlín, 2004. - T. 4. - (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge.). - ISBN 978-3-540-00832-3 .
- Gottfried Barthel, Friedrich Hirzebruch , Thomas Höfer. Geradenkofigurationen und Algebraische Flächen. Braunschweig: Friedr. Vieweg & Sohn, 1987. - (Aspectos de las Matemáticas, D4). — ISBN 978-3-528-08907-8 .
- Fyodor A. Bogomolov. Tensores holomorfos y paquetes vectoriales en variedades proyectivas // Izvestiya Akademii Nauk SSSR. Seriya Mathematicheskaya. - 1978. - T. 42 , núm. 6 _ - S. 1227-1287 . — ISSN 0373-2436 .
- Armando Borel . Formas compactas de Clifford-Klein de espacios simétricos // Topología. una Revista Internacional de Matemáticas . - 1963. - Vol. 2 , núm. 1-2 . — S. 111–122 . — ISSN 0040-9383 . - doi : 10.1016/0040-9383(63)90026-0 .
- Donald I. Cartwright, Tim Steger. Enumeración de los 50 falsos planos proyectivos. Comptes Rendus Matemáticas. - Elsevier Masson SAS, 2010. - T. 348. - S. 11-13. -doi : 10.1016/ j.crma.2009.11.016 .
- Roberto W. Easton. Superficies que violan Bogomolov-Miyaoka-Yau en característica positiva // Actas de la Sociedad Matemática Estadounidense . - 2008. - T. 136 , núm. 7 . — S. 2271–2278 . — ISSN 0002-9939 . -doi : 10.1090 / S0002-9939-08-09466-5 .
- Masa Nori Ishida. Una superficie elíptica cubierta por el falso plano proyectivo de Mumford // The Tohoku Mathematical Journal. segunda serie. - 1988. - T. 40 , núm. 3 . — S. 367–396 . — ISSN 0040-8735 . -doi : 10.2748 / tmj/1178227980 .
- Guillermo E. Lang. Aritmética y geometría, vol. II. - Boston, MA: Birkhäuser Boston, 1983. - T. 36. - S. 167-173. - (Progr. Matemáticas).
- Yoichi Miyaoka. Sobre los números de Chern de superficies de tipo general // Inventiones Mathematicae . - 1977. - T. 42 , núm. 1 . — S. 225–237 . — ISSN 0020-9910 . -doi : 10.1007/ BF01389789 .
- David Mumford . Una superficie algebraica con K amplio, (K 2 )=9, p g =q=0 // American Journal of Mathematics . - The Johns Hopkins University Press, 1979. - V. 101 , no. 1 . — Pág. 233–244 . — ISSN 0002-9327 . -doi : 10.2307/ 2373947. — .
- Gopal Prasad, Sai-Kee Yeung. Falsos planos proyectivos // Inventiones Mathematicae . - 2007. - T. 168 , núm. 2 . — S. 321–370 . -doi : 10.1007/ s00222-007-0034-5 . -arXiv : matemáticas / 0512115 .
- Gopal Prasad, Sai-Kee Yeung. Anexo a "Falsos planos proyectivos" // Inventiones Mathematicae . - 2010. - T. 182 , núm. 1 . — S. 213–227 . -doi : 10.1007/ s00222-010-0259-6 .
- Antonio Van de Ven. Sobre los números de Chern de ciertas variedades complejas y casi complejas // Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . - Academia Nacional de Ciencias, 1966. - V. 55 , no. 6 _ - S. 1624-1627 . — ISSN 0027-8424 . -doi : 10.1073/ pnas.55.6.1624 . — .
- Shing Tung Yau. La conjetura de Calabi y algunos resultados nuevos en geometría algebraica // Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . - Academia Nacional de Ciencias, 1977. - V. 74 , no. 5 . - S. 1798-1799 . — ISSN 0027-8424 . -doi : 10.1073/ pnas.74.5.1798 . — .
- Shing Tung Yau. Sobre la curvatura de Ricci de una variedad compacta de Kähler y la ecuación compleja de Monge-Ampère. I // Comunicaciones sobre Matemática Pura y Aplicada . - 1978. - T. 31 , núm. 3 . — S. 339–411 . — ISSN 0010-3640 . -doi : 10.1002/ cpa.3160310304 .