Dejar ser una variedad suave (una variedad topológica con una estructura suave) dotada de una acción suave transitiva por un grupo de Lie . Poder ¿Será una variedad con límite, o necesariamente sin límite?
Trabajo/Confusiones:
En una variedad topológica (posiblemente con límite), cada punto debe tener un vecindario abierto que es homeomorfo a un conjunto abierto en o a un conjunto abierto en . El conjunto se llama límite de .
Si está en el dominio de un gráfico que es un hormeomorfismo a un subconjunto abierto de , entonces se dice que es un punto interior, y si es un dominio de un gráfico de límites (un mapa tal que es un subconjunto abierto de y , dónde es un subconjunto abierto).
cada punto de es un punto límite o un punto interior, pero no ambos.
como una variedad no puede tener un límite: todo punto es interior. En efecto, es un grupo topológico, y por lo tanto la inversión y las multiplicaciones por en ellos mismos son homeomorfismos de a sí mismo. (leyendo ¿Puede un grupo de Lie ser una variedad con límite? )
Pero si una acción es continua, entonces cada mapa es un homeomorfismo de ( es solo ).
Ahora, actis en transitivamente. Entonces, si un punto está en el interior, ¿entonces todos los puntos lo están? Pero al menos un punto debe ser un punto interior porque de lo contrario todos los puntos están en el límite y tenemos -dimensional (a diferencia de ) múltiple? Entonces, ¿cada punto debe ser el interior?
También, se puede identificar con , dónde con un arbitrario . [JM Lee, variedades suaves, Teorema 21.18 (Teorema de Caracterización del Espacio Homogéneo).]
Pero he oído cuando y son solo espacios topológicos y la acción es continuo, y no son necesariamente homeomorfos bajo la topología del cociente, por lo que necesitamos más estructura en o ?
Ser un punto límite de una variedad se puede caracterizar puramente topológicamente (en términos de grupos de homología locales, digamos). Así que para cada elemento del grupo como es un homeomorfismo de a sí mismo, entonces es un punto límite iff es. Como es transitiva, entonces todos los puntos de son puntos límite o ninguno lo es. No todos pueden ser puntos límite.
debo.yo.soy
debo.yo.soy
angina de pecho
debo.yo.soy
debo.yo.soy