stringtranslate.com

Cubriendo el espacio

Intuitivamente, una cubierta proyecta localmente una "pila de panqueques" sobre un vecindario abierto .

En topología , una cobertura o proyección de cobertura es un mapa entre espacios topológicos que, intuitivamente, actúa localmente como una proyección de múltiples copias de un espacio sobre sí mismo. En particular, las coberturas son tipos especiales de homeomorfismos locales . Si es una cobertura, se dice que es un espacio de cobertura o cobertura de , y se dice que es la base de la cobertura , o simplemente la base . Por abuso de la terminología , y a veces también pueden llamarse espacios de cobertura . Dado que las coberturas son homeomorfismos locales, un espacio de cobertura es un tipo especial de espacio étale .

Los espacios de cobertura surgieron por primera vez en el contexto del análisis complejo (específicamente, la técnica de continuación analítica ), donde fueron introducidos por Riemann como dominios en los que las funciones complejas naturalmente multivaluadas se vuelven univaluadas. Estos espacios ahora se denominan superficies de Riemann . [1] : 10 

Los espacios de recubrimiento son una herramienta importante en varias áreas de las matemáticas. En la geometría moderna , los espacios de recubrimiento (o recubrimientos ramificados , que tienen condiciones ligeramente más débiles) se utilizan en la construcción de variedades , orbifolds y los morfismos entre ellos. En la topología algebraica , los espacios de recubrimiento están estrechamente relacionados con el grupo fundamental : por un lado, dado que todos los recubrimientos tienen la propiedad de elevación de homotopía , los espacios de recubrimiento son una herramienta importante en el cálculo de grupos de homotopía . Un ejemplo estándar en esta línea es el cálculo del grupo fundamental del círculo por medio del recubrimiento de por (ver más abajo). [2] : 29  Bajo ciertas condiciones, los espacios de recubrimiento también exhiben una correspondencia de Galois con los subgrupos del grupo fundamental.

Definición

Sea un espacio topológico. Una cubierta de es una función continua

tal que para cada existe un entorno abierto de y un espacio discreto tal que y es un homeomorfismo para cada . Los conjuntos abiertos se llaman láminas , que están unívocamente determinadas hasta el homeomorfismo si es conexo . [2] : 56  Para cada el conjunto discreto se llama fibra de . Si es conexo (y no está vacío), se puede demostrar que es sobreyectiva , y la cardinalidad de es la misma para todos ; este valor se llama grado de la cobertura. Si es conexo por caminos , entonces la cobertura se llama cobertura conexa por caminos . Esta definición es equivalente a la afirmación de que es un fibrado de fibras localmente trivial .

Algunos autores también exigen que sea sobreyectiva en el caso que no sea conexa. [3]

Ejemplos

El espacio es un espacio de cobertura de . Los conjuntos abiertos disjuntos se mapean homeomórficamente sobre . La fibra de consta de los puntos .
y las láminas de la cubierta son para La fibra de es
.

Propiedades

Homeomorfismo local

Dado que una aplicación de recubrimiento mapea cada uno de los conjuntos abiertos disjuntos de homeomorfizadamente sobre él, es un homeomorfismo local, es decir, es una aplicación continua y para cada existe un vecindario abierto de , tal que es un homeomorfismo.

De ello se deduce que el espacio de cobertura y el espacio base comparten localmente las mismas propiedades.

Factorización

Sean y espacios conexos por trayectorias, conexos por trayectorias localmente, y y mapas continuos, tales que el diagrama

desplazamientos diarios.

Producto de recubrimientos

Sean y espacios topológicos y y recubrimientos, entonces con es un recubrimiento. [6] : 339  Sin embargo, los recubrimientos de no son todos de esta forma en general.

Equivalencia de recubrimientos

Sea un espacio topológico y y sean recubrimientos. Ambos recubrimientos se denominan equivalentes , si existe un homeomorfismo tal que el diagrama

conmuta. Si tal homeomorfismo existe, entonces se dice que los espacios de recubrimiento son isomorfos .

Propiedad de elevación

Todos los recubrimientos satisfacen la propiedad de elevación , es decir:

Sea el intervalo unitario y sea una cobertura. Sea una función continua y sea una elevación de , es decir, una función continua tal que . Entonces existe una función continua determinada de manera única para la cual y que es una elevación de , es decir , . [2] : 60 

Si es un espacio conexo por caminos, entonces se deduce que el mapa es una elevación de un camino en y para es una elevación de una homotopía de caminos en .

Como consecuencia, se puede demostrar que el grupo fundamental del círculo unitario es un grupo cíclico infinito , que se genera por las clases de homotopía del bucle con . [2] : 29 

Sea un espacio conexo por caminos y sea una cubierta conexa. Sean dos puntos cualesquiera, que estén conectados por un camino , es decir y . Sea la única elevación de , entonces la función

con

es biyectiva . [2] : 69 

Si es un espacio conexo por caminos y una cubierta conexa, entonces el homomorfismo de grupo inducido

con ,

es inyectiva y el subgrupo de consiste en las clases de homotopía de bucles en , cuyos elevadores son bucles en . [2] : 61 

Cobertura ramificada

Definiciones

Mapas holomorfos entre superficies de Riemann

Sean y superficies de Riemann , es decir, variedades complejas unidimensionales , y sea una aplicación continua. es holomorfa en un punto , si para cualesquiera gráficos de y de , con , la aplicación es holomorfa .

Si es holomorfo , decimos que es holomorfo.

El mapa se llama expresión local de en .

Si es una función holomórfica no constante entre superficies de Riemann compactas , entonces es sobreyectiva y una función abierta , [5] : 11  es decir, para cada conjunto abierto la imagen también es abierta.

Punto de ramificación y punto de ramificación

Sea una función holomorfa no constante entre superficies de Riemann compactas. Para cada existen gráficos para y y existe un determinado de manera única , tal que la expresión local de en tiene la forma . [5] : 10  El número se denomina índice de ramificación de en y el punto se denomina punto de ramificación si . Si para un , entonces es no ramificado . El punto imagen de un punto de ramificación se denomina punto de ramificación.

Grado de un mapa holomorfo

Sea una función holomorfa no constante entre superficies de Riemann compactas. El grado de es la cardinalidad de la fibra de un punto no ramificado , es decir .

Este número está bien definido, ya que para cada fibra es discreto [5] : 20  y para cualesquiera dos puntos no ramificados , es:

Se puede calcular:

[5] : 29 

Cobertura ramificada

Definición

Una función continua se denomina recubrimiento ramificado si existe un conjunto cerrado con complemento denso , tal que es un recubrimiento.

Ejemplos

Cobertura universal

Definición

Sea una envoltura simplemente conexa . Si es otra envoltura simplemente conexa, entonces existe un homeomorfismo determinado de manera única , tal que el diagrama

desplazamientos. [6] : 482 

Esto significa que está, hasta la equivalencia, unívocamente determinado y por ello es una propiedad universal denominada cobertura universal del espacio .

Existencia

No siempre existe una cobertura universal, pero las siguientes propiedades garantizan su existencia:

Sea un espacio topológico conexo, localmente simplemente conexo ; entonces, existe una cobertura universal .

se define como y por . [2] : 64 

La topología de se construye de la siguiente manera: Sea un camino con . Sea un vecindario simplemente conexo del punto final , entonces para cada los caminos dentro de a están determinados de manera única hasta la homotopía . Ahora considere , entonces con es una biyección y puede estar equipado con la topología final de .

El grupo fundamental actúa libremente a través de sobre y con es un homeomorfismo, es decir .

Ejemplos

El pendiente hawaiano. Solo se muestran los diez círculos más grandes.

Recubrimientos G

Sea G un grupo discreto que actúa sobre el espacio topológico X . Esto significa que cada elemento g de G está asociado a un homeomorfismo H g de X sobre sí mismo, de tal manera que H g h es siempre igual a H g ∘ H h para cualesquiera dos elementos g y h de G . (O en otras palabras, una acción de grupo del grupo G sobre el espacio X es simplemente un homomorfismo de grupo del grupo G en el grupo Homeo( X ) de autohomeomorfismos de X .) Es natural preguntar bajo qué condiciones la proyección desde X al espacio de órbitas X / G es una función de recubrimiento. Esto no siempre es cierto ya que la acción puede tener puntos fijos. Un ejemplo de esto es el grupo cíclico de orden 2 que actúa sobre un producto X × X por la acción de torsión donde el elemento no identidad actúa por ( x , y ) ↦ ( y , x ) . Por lo tanto, el estudio de la relación entre los grupos fundamentales de X y X / G no es tan sencillo.

Sin embargo, el grupo G actúa sobre el grupoide fundamental de X , por lo que el estudio se maneja mejor considerando grupos que actúan sobre grupoides y los grupoides de órbitas correspondientes . La teoría para esto se establece en el Capítulo 11 del libro Topología y grupoides al que se hace referencia más adelante. El resultado principal es que para acciones discontinuas de un grupo G sobre un espacio de Hausdorff X que admite una cubierta universal, entonces el grupoide fundamental del espacio de órbitas X / G es isomorfo al grupoide de órbitas del grupoide fundamental de X , es decir, el cociente de ese grupoide por la acción del grupo G . Esto conduce a cálculos explícitos, por ejemplo del grupo fundamental del cuadrado simétrico de un espacio.

Revestimientos lisos

Sean E y M variedades suaves con o sin borde . Una cobertura se denomina cobertura suave si es una función suave y las láminas se aplican difeomórficamente al subconjunto abierto correspondiente de M . (Esto contrasta con la definición de cobertura, que simplemente requiere que las láminas se apliquen homeomórficamente al subconjunto abierto correspondiente).

Transformación de la cubierta

Definición

Sea una cubierta. Una transformación de cubierta es un homeomorfismo , tal que el diagrama de mapas continuos

conmuta. Junto con la composición de mapas, el conjunto de transformación de cubierta forma un grupo , que es lo mismo que .

Supongamos ahora que es un mapa de recubrimiento y (y por lo tanto también ) está conectado y conectado localmente por trayectorias. La acción de sobre cada fibra es libre . Si esta acción es transitiva sobre alguna fibra, entonces es transitiva sobre todas las fibras, y llamamos al recubrimiento regular (o normal o Galois ). Cada uno de estos recubrimientos regulares es un fibrado principal , donde se considera como un grupo topológico discreto.

Toda cubierta universal es regular, siendo el grupo de transformación de la cubierta isomorfo al grupo fundamental .

Ejemplos

Propiedades

Sea un espacio conexo por caminos y sea una cubierta conexa. Puesto que una transformación de cubierta es biyectiva , permuta los elementos de una fibra con y está determinada de forma única por el lugar al que envía un único punto. En particular, solo el mapa de identidad fija un punto en la fibra. [2] : 70  Debido a esta propiedad, cada transformación de cubierta define una acción de grupo sobre , es decir, sea un vecindario abierto de a y un vecindario abierto de an , entonces es una acción de grupo .

Recubrimientos normales

Definición

Una cubierta se llama normal si . Esto significa que para cada uno y cualesquiera dos existe una transformación de cubierta tal que .

Propiedades

Sea un espacio conexo por caminos y sea una cubierta conexa. Sea un subgrupo de , entonces es una cubierta normal si y solo si es un subgrupo normal de .

Si es una cubierta normal y , entonces .

Si es una cubierta conexa por caminos y , entonces , donde es el normalizador de . [2] : 71 

Sea un espacio topológico. Un grupo actúa de manera discontinua sobre , si cada uno tiene un entorno abierto con , tal que para cada uno con uno tiene .

Si un grupo actúa de manera discontinua en un espacio topológico , entonces el mapa cociente con es una cobertura normal. [2] : 72  Por lo tanto, es el espacio cociente y es la órbita de la acción del grupo.

Ejemplos

Cálculo

Sea un grupo, que actúa de forma discontinua sobre un espacio topológico y sea la cobertura normal.

Ejemplos

Correspondencia de Galois

Sea un espacio conexo y localmente simplemente conexo , entonces para cada subgrupo existe una cobertura conexa por caminos con . [2] : 66 

Sean y dos recubrimientos conexos por caminos, entonces son equivalentes si y solo si los subgrupos y son conjugados entre sí. [6] : 482 

Sea un espacio conexo y localmente simplemente conexo, entonces, hasta equivalencia entre recubrimientos, existe una biyección:

Para una secuencia de subgrupos se obtiene una secuencia de recubrimientos . Para un subgrupo con índice , el recubrimiento tiene grado .

Clasificación

Definiciones

Categoría de revestimientos

Sea un espacio topológico. Los objetos de la categoría son los recubrimientos de y los morfismos entre dos recubrimientos y son aplicaciones continuas , tales que el diagrama

desplazamientos diarios.

Conjunto G

Sea un grupo topológico . La categoría es la categoría de conjuntos que son G-conjuntos . Los morfismos son G-aplicaciones entre G-conjuntos . Satisfacen la condición para cada .

Equivalencia

Sea un espacio conexo y localmente simplemente conexo, y sea el grupo fundamental de . Puesto que define, mediante elevación de caminos y evaluando en el punto final de la elevación, una acción de grupo sobre la fibra de una cubierta, el funtor es una equivalencia de categorías . [2] : 68–70 

Aplicaciones

El bloqueo del cardán se produce porque cualquier mapa T 3RP 3 no es un mapa de cobertura. En particular, el mapa relevante lleva cualquier elemento de T 3 , es decir, un triple ordenado (a,b,c) de ángulos (números reales mod 2 π ), a la composición de las tres rotaciones de ejes de coordenadas R x (a)∘R y (b)∘R z (c) por esos ángulos, respectivamente. Cada una de estas rotaciones, y su composición, es un elemento del grupo de rotación SO(3), que es topológicamente RP 3 . Esta animación muestra un conjunto de tres cardanes montados juntos para permitir tres grados de libertad. Cuando los tres cardanes están alineados (en el mismo plano), el sistema solo puede moverse en dos dimensiones desde esta configuración, no en tres, y está en bloqueo del cardán . En este caso, puede cabecear o guiñar, pero no rodar (rotar en el plano en el que se encuentran todos los ejes).

Una aplicación práctica importante de los espacios de recubrimiento se da en los gráficos sobre SO(3) , el grupo de rotación . Este grupo se da ampliamente en ingeniería, debido a que las rotaciones tridimensionales se utilizan mucho en navegación , ingeniería náutica e ingeniería aeroespacial , entre muchos otros usos. Topológicamente, SO(3) es el espacio proyectivo real RP 3 , con grupo fundamental Z /2, y el único espacio de recubrimiento (no trivial) es la hiperesfera S 3 , que es el grupo Spin(3) , y está representado por los cuaterniones unitarios . Por lo tanto, los cuaterniones son un método preferido para representar rotaciones espaciales; consulte cuaterniones y rotación espacial .

Sin embargo, a menudo es deseable representar rotaciones por un conjunto de tres números, conocidos como ángulos de Euler (en numerosas variantes), tanto porque esto es conceptualmente más simple para alguien familiarizado con la rotación plana, como porque uno puede construir una combinación de tres cardanes para producir rotaciones en tres dimensiones. Topológicamente esto corresponde a una función del 3-toro T 3 de tres ángulos al espacio proyectivo real RP 3 de rotaciones, y la función resultante tiene imperfecciones debido a que esta función no puede ser una función de recubrimiento. Específicamente, el fracaso de la función para ser un homeomorfismo local en ciertos puntos se conoce como bloqueo de cardán , y se demuestra en la animación de la derecha: en algunos puntos (cuando los ejes son coplanares) el rango de la función es 2, en lugar de 3, lo que significa que solo se pueden realizar 2 dimensiones de rotaciones desde ese punto cambiando los ángulos. Esto causa problemas en las aplicaciones y se formaliza mediante la noción de un espacio de recubrimiento.

Véase también

Literatura

Referencias

  1. ^ Forster, Otto (1981). "Capítulo 1: Recubrimiento de espacios". Lecciones sobre superficies de Riemann . GTM. Traducido por Bruce Gillian. Nueva York: Springer. ISBN 9781461259633.
  2. ^ abcdefghijklmnop Hatcher, Allen (2001). Topología algebraica . Cambridge: Cambridge Univ. Press. ISBN 0-521-79160-X.
  3. ^ Rowland, Todd. "Mapa de cobertura". De MathWorld, un recurso web de Wolfram, creado por Eric W. Weisstein. https://mathworld.wolfram.com/CoveringMap.html
  4. ^ Kühnel, Wolfgang (6 de diciembre de 2010). Matrizen und Lie-Gruppen . Stuttgart: Springer Fachmedien Wiesbaden GmbH. ISBN 978-3-8348-9905-7.
  5. ^ abcdefg Forster, Otto (1991). Conferencias sobre superficies de Riemann . Múnich: Springer Berlín. ISBN 978-3-540-90617-9.
  6. ^ abcde Munkres, James (2000). Topología . Upper Saddle River, Nueva Jersey: Prentice Hall, Inc. ISBN 978-0-13-468951-7.
  7. ^ Aguilar, Marcelo Alberto; Socolovsky, Miguel (23 de noviembre de 1999). "El grupo de cobertura universal de U(n) y representaciones proyectivas". Revista internacional de física teórica . 39 (4). Springer US (publicado en abril de 2000): 997–1013. arXiv : math-ph/9911028 . Código Bibliográfico :1999math.ph..11028A. doi :10.1023/A:1003694206391. S2CID  18686364.