Dejemos que $p \in M$ sea un punto de una variedad lisa no orientable, $M$ . ¿Existe un difeomorfismo $f: M \rightarrow M$ con $p \mapsto p$ y tal que $df : T_pM \rightarrow T_pM$ ¿se invierte la orientación? Mi sensación es que sí. Estaba pensando en tratar de tomar una incrustación $\gamma : S^1 \rightarrow M, \star \mapsto p$ de manera que la traducción paralela en torno a $\gamma$ invierte la orientación, entonces empujando hacia adelante el campo vectorial $d/d\theta$ y ampliándola. Entonces, tomando el flujo en el tiempo $2\pi$ . Sin embargo no estaba seguro de la existencia de tal $\gamma$ y todo el planteamiento parece un poco artificioso. ¿Es cierto y si es así hay una manera más fácil? Gracias por su tiempo.
P.D. Esto está motivado por la cuestión de la buena definición de la suma de conexiones para las variedades no orientables.
1 votos
En cuanto a la existencia de $\gamma$ : considerar $\widetilde{M}$ la cubierta doble orientada de $M$ . El punto $p$ tiene dos preimágenes bajo el mapa de cobertura. Tomemos una curva simple que conecte estas preimágenes, y proyectémosla a $M$ . Si la imagen tiene auto-intersecciones, puede dejar que $p$ sea una auto-intersección de este tipo, y restringir a un bucle simple basado en $p$ . La suavidad en $p$ no está garantizado, pero se puede conseguir modificando la curva cerca de $p$ .
0 votos
@PavelM :¡Gracias! Tal vez me lo estoy imaginando mal, pero ¿por qué la restricción no puede tener aún más intersecciones propias? Tal vez usted puede elegir $p=\gamma(t_i)= \gamma (t_j)$ tal que $t_i-t_j$ ¿es mínimo entre esos puntos de auto-intersección o algo así?
0 votos
@PavelM Me parece que la pregunta elige $p$ primero y quieres que $p$ para ser fijado por $f$ . Además, si $M$ no es compacto, entonces un camino de inversión de orientación puede tener infinitas auto-intersecciones, ¿o me equivoco?
0 votos
@ZangoLotino : Me preocupaban esos dos temas pero: Creo que si se puede hacer por $q$ entonces puedes hacerlo por $p$ mediante la precomposición y postcomposición con cualquier difeomorfismo que tome $p$ a $q$ . En cuanto a las auto-intersecciones, creo que lo que escribí en el comentario anterior al tuyo funciona. El conjunto de todas las $t_i - t_j$ debe ser cerrado (por continuidad y compacidad secuencial del intervalo) y acotado lejos de 0 ya que el camino es localmente inyectivo porque es una proyección de cobertura de un bucle inyectivo. ¿Tiene esto sentido? No estoy totalmente seguro.
0 votos
@Timkinsella Cierto, en general habrá más auto-intersecciones bajo auto-intersección. Hay que elegir $p$ . Por ejemplo, fijar $t$ para que $\gamma(t)$ está dentro de un bucle y considera las restricciones de $\gamma$ a $(t-\epsilon,t+\epsilon)$ . Para los pequeños $\epsilon$ esto es una incrustación, pero para algunos $\epsilon>0$ es deja de ser. Eso significa que $\gamma(t+\epsilon)$ o $\gamma(t-\epsilon)$ golpea otro punto en $\gamma([t-\epsilon,t+\epsilon])$ . Ahora restrinja a un intervalo más pequeño, y tendrá una curva cerrada simple.