En geometría compleja , una superficie de Hopf es una superficie compleja compacta obtenida como cociente del espacio vectorial complejo (con cero eliminado) por una acción libre de un grupo discreto. Si este grupo son los números enteros la superficie de Hopf se llama primaria , en caso contrario se llama secundaria . (Algunos autores utilizan el término "superficie de Hopf" para significar "superficie de Hopf primaria".) El primer ejemplo fue encontrado por Heinz Hopf (1948), con el grupo discreto isomorfo a los números enteros, con un generador que actúa multiplicando por 2; este fue el primer ejemplo de una superficie compleja compacta sin métrica de Kähler .![{\displaystyle \mathbb {C} ^{2}\setminus \{0\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {C} ^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los análogos de dimensiones superiores de las superficies de Hopf se denominan variedades de Hopf .
Invariantes
Las superficies de Hopf son superficies de clase VII y en particular todas tienen dimensión Kodaira , y todos sus plurigéneros desaparecen. El género geométrico es 0. El grupo fundamental tiene un subgrupo cíclico infinito central normal de índice finito. El diamante Hodge es![{\displaystyle -\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En particular, el primer número de Betti es 1 y el segundo número de Betti es 0. Por el contrario, Kunihiko Kodaira (1968) demostró que una superficie compleja compacta en la que el segundo número de Betti desaparece y cuyo grupo fundamental contiene un subgrupo cíclico infinito de índice finito es una superficie de Hopf. .
Superficies primarias de Hopf
En el curso de la clasificación de superficies complejas compactas , Kodaira clasificó las superficies primarias de Hopf.
Una superficie de Hopf primaria se obtiene como
![{\displaystyle H={\Grande (}\mathbb {C} ^{2}\setminus \{0\}{\Grande )}/\Gamma ,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde es un grupo generado por una contracción polinómica . Kodaira ha encontrado una forma normal para . En coordenadas apropiadas,
se puede escribir como![{\displaystyle \Gamma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (x,y)\mapsto (\alpha x+\lambda y^{n},\beta y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde los números complejos
satisfacen y cualquiera o .![{\displaystyle \alpha ,\beta \in \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0<|\alpha |\leq |\beta |<1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lambda =0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha =\beta ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Estas superficies contienen una curva elíptica (la imagen del eje x ) y si la imagen del eje y es una segunda curva elíptica. Cuando , la superficie de Hopf es un espacio de fibra elíptica sobre la línea proyectiva si para algunos enteros positivos m y n , con el mapa de la línea proyectiva dado por , y en caso contrario las únicas curvas son las dos imágenes de los ejes.![{\displaystyle \lambda =0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lambda =0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha ^{m}=\beta ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (x,y)\mapsto x^{m}y^{-n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El grupo Picard de cualquier superficie primaria de Hopf es isomorfo a los números complejos distintos de cero .![{\displaystyle \mathbb {C} ^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Kodaira (1966b) ha demostrado que una superficie compleja es difeomorfa si y sólo si es una superficie primaria de Hopf.![{\displaystyle S^{3}\times S^{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Superficies secundarias de Hopf
Cualquier superficie de Hopf secundaria tiene una cubierta finita no ramificada que es una superficie de Hopf primaria. De manera equivalente, su grupo fundamental tiene un subgrupo de índice finito en su centro que es isomorfo a los números enteros. Masahido Kato (1975) los clasificó encontrando grupos finitos que actúan sin puntos fijos en superficies primarias de Hopf.
Se pueden construir muchos ejemplos de superficies secundarias de Hopf con el espacio subyacente como producto de la forma de un espacio esférico y un círculo.
Referencias
- Barth, Lobo P.; Hulek, Klaus; Peters, Chris AM; Van de Ven, Antonius (2004), Superficies complejas compactas , Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 4, Springer-Verlag, Berlín, doi :10.1007/978-3-642-57739-0, ISBN 978-3-540-00832-3, SEÑOR 2030225
- Hopf, Heinz (1948). "Zur Topologie der komplexen Mannigfaltigkeiten". Estudios y ensayos presentados a R. Courant en su 60 cumpleaños, el 8 de enero de 1948 . vol. 162. Interscience Publishers, Inc., Nueva York. págs. 167–185. Bibcode :1948Natur.162R.391.. doi :10.1038/162391d0. SEÑOR 0023054. S2CID 31975612.
- Kato, Masahide (1975), "Topología de superficies de Hopf", Revista de la Sociedad Matemática de Japón , 27 (2): 222–238, doi : 10.2969/jmsj/02720222 , ISSN 0025-5645, MR 0402128 Kato, Masahide (1989), "Errata de:" Topología de superficies de Hopf "", Revista de la Sociedad Matemática de Japón , 41 (1): 173–174, doi : 10.2969/jmsj/04110173 , ISSN 0025-5645, MR 0972171
- Kodaira, Kunihiko (1966), "Sobre la estructura de superficies analíticas complejas compactas. II", American Journal of Mathematics , The Johns Hopkins University Press, 88 (3): 682–721, doi :10.2307/2373150, ISSN 0002-9327 , JSTOR 2373150, SEÑOR 0205280, PMC 300219 , PMID 16578569
- Kodaira, Kunihiko (1968), "Sobre la estructura de superficies analíticas complejas compactas. III", American Journal of Mathematics , The Johns Hopkins University Press, 90 (1): 55–83, doi :10.2307/2373426, ISSN 0002-9327 , JSTOR 2373426, SEÑOR 0228019
- Kodaira, Kunihiko (1966b), "Estructuras complejas en S1 × S3", Actas de la Academia Nacional de Ciencias de los Estados Unidos de América , 55 (2): 240–243, Bibcode :1966PNAS...55..240K, doi : 10.1073/pnas.55.2.240 , ISSN 0027-8424, SEÑOR 0196769, PMC 224129 , PMID 16591329
- Matumoto, Takao; Nakagawa, Noriaki (2000), "Descripción explícita de las superficies de Hopf y sus grupos de automorfismo", Osaka Journal of Mathematics , 37 (2): 417–424, ISSN 0030-6126, MR 1772841
- Ornea, Liviu (2001) [1994], "Hopf manifold", Enciclopedia de Matemáticas , EMS Press