12 votos

Restricción de " $\pi_{1}$ " a los grupos topológicos

Dejemos que $G$ y $H$ sean dos grupos topológicos. Supongamos que $\phi:\pi_{1}(G) \to \pi_{1}(H)$ es un homomorfismo de grupo. ¿Existe una función continua $f:G\to H$ tal que $f_{*}=\phi$ ?

22voto

Thalberg Puntos 36

No. Toma $G=SO(5)$ y $H=SO(3)$ , ambos con grupo fundamental $\mathbb{Z}/2$ . Afirmo que no hay un mapa continuo $f: G\to H$ que induce el homomorfismo de identidad.

Si lo hubiera, entonces $f$ induciría un homomorfismo no trivial $f_\ast: H_1(G;\mathbb{Z}/2)\to H_1(H;\mathbb{Z}/2)$ y un homomorfismo de anillo graduado $f^\ast: H^\ast(H;\mathbb{Z}/2)\to H^\ast(G;\mathbb{Z}/2)$ que no es trivial en $H^1$ . Para ver que no existe tal homomorfismo de anillo, recordemos (ver Topología Algebraica de Hatcher, sección 3.D) que $$H^\ast(H;\mathbb{Z}/2)\cong \mathbb{Z}/2[\alpha_1]/(\alpha_1^4)$$ y $$H^\ast(G;\mathbb{Z}/2)\cong \mathbb{Z}/2[\beta_1]/(\beta_1^8)\otimes\mathbb{Z}/2[\beta_3]/(\beta_3^2),$$ donde cada $\alpha_i,\beta_i$ está en grado $i$ .

0 votos

Muchas gracias por su interesante respuesta. ¿Qué hay de la suposición de que "G y H son grupos topológicos abelianos conectados"?

0 votos

En el caso de los abelios conectados por trayectorias Mentira grupos la respuesta es sí (porque todos son $K(\pi,1)$ s). No sé lo suficiente sobre los grupos topológicos generales para responder a tu pregunta. De hecho, no se me ocurre un ejemplo de grupo topológico abeliano conectado por un camino que no sea un $K(\pi,1)$ .

2 votos

Los grupos abelianos topológicos son productos de espacios Eilenberg-MacLane, por lo que la respuesta es sí.

1voto

loloc Puntos 6

No siempre. Toma $G=H=\mathrm{PGL}(n,\mathbb{R})$ con $n\geq 7$ . Todo homomorfismo continuo no trivial $G\rightarrow G$ es un automorfismo de Lie; el grupo de tales automorfismos está generado por automorfismos internos y $A\mapsto {}^tA^{-1} $ , por lo que actúa sobre $\pi _1(G)$ a través de { $\pm 1$ }. Por otro lado $\pi _1(G)=\mathbb{Z}/n$ tiene automorfismos $\neq \pm 1$ .

Editar : Lo siento, interpreté mal la pregunta - esto responde a una pregunta diferente.

0 votos

$f$ se supone que es continua, no un homomorfismo.

0 votos

¡Uy! Lo siento, he leído mal la pregunta.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X