En geometría diferencial , el teorema de la rebanada establece: [ 1 ] dada una variedaden el que un grupo de mentirasactúa como difeomorfismos , para cualquieren, el mapase extiende a un entorno invariante de(considerado como una sección cero) ende modo que define un difeomorfismo equivariante del vecindario a su imagen, que contiene la órbita de.
La aplicación importante del teorema es una prueba del hecho de que el cocienteadmite una estructura múltiple cuandoEs compacto y la acción es libre.
En geometría algebraica , existe un análogo del teorema de las rebanadas; se llama teorema de las rebanadas de Luna .
Idea de demostración cuando G es compacto
Desdees compacto, existe una métrica invariante; es decir,actúa como isometrías . Luego se adapta la prueba habitual de la existencia de un entorno tubular utilizando esta métrica.
Véase también
- El teorema de la rebanada de Luna , un resultado análogo para acciones de grupos algebraicos reductivos sobre variedades algebraicas.
Referencias
- ↑ Audin 2004 , Teorema I.2.1
Enlaces externos
- Teoremas en geometría diferencial
- Elementos esbozados de geometría diferencial