Los seguidores de Manolo

Archive for the ‘Topología’ Category

Topologias en conjuntos finitos

In Topología on Lunes 28, abril, 2014 at 3:24 pm

por Andrés Sambarino

Voy a parafrasear este artículo de wikipedia que me dejó como loco.

El asunto es poner una topología en un conjunto de 4 elementos, y ver que el grupo fundamental es \mathbb{Z}. La cosa es así: Considerás X=\{a,b,c,d\}, con la topología \tau=\{\emptyset, X, \{a,b,c\},\{a,b,d\}, \{a,b\},\{a\},\{b\}\}.

cuatroSe puede construir fácil una función contínua sobreyectiva del círculo en (X,\tau) como en el dibujo: Consideramos el círculo como vectores de norma 1 en \mathbb{R}^2, y definimos

f(x,y)=\left\{\begin{array}{cccc}a\textrm{ si }x<0,\\ b\textrm{ si }x>0\end{array}\right.,

f(1,0)=c y f(-1,0)=d.

Para calcular el grupo fundamental, la idea es ver que el espacio X es union de dos abiertos contractibles, \{a,b,c\} y \{a,b,d\} cuya intersección son dos conjuntos contractibles. Para ver que \{a,b,c\} es contractible basta observar que \{a,b\} es abierto y \{c\} es cerrado y considerar el mapa H:\{a,b,c\}\times[0,1]\to\{a,b,c\} dado por

H(x,t)=x para t<1/2 y H(x,t)=c para t\geq1/2.

En esta situación no se puede usar el teorema de van Kampen, porque la intersección de \{a,b,c\} con \{a,b,d\} no es conexa, pero parece que hay una generalizacion que permite usar van Kampen con varios puntos base.

Resulta ademas, que en este artículo, McCord prueba que cualquier CW complejo finito (finitas celulas) es debilmente homotopicamente equivalente (i.e. hay una función que es un isomorfismo en todos los gruos de homotopia) a una topología en un conjunto finito…

 

 

 

 

 

Conjuntos ambiente homogeneos

In Grupos y geometría, Topología on Lunes 17, febrero, 2014 at 8:54 pm

por Rafael Potrie

El objetivo de este post es presentar un resultado que por mucho tiempo me resultó bastante misterioso pero que es sencillo y bastante lindo. Es una caracterización de las subvariedades encajadas a través de propiedades locales de sus encajes.

Para mantener la discusión simple (sin perder generalidad) trabajaremos en \mathbb{R}^d. Es fácil ver, dado que todos los argumentos y definiciones son locales, que esto se extiende de forma directa a variedades diferenciables en general.

Sea \Lambda \subset \mathbb{R}^d un conjunto localmente compacto. Decimos que \Lambda es C^1ambiente homogeneo si se cumple que para todo par de puntos x, y \in \Lambda existen entornos U_x y U_y en \mathbb{R}^d de ellos y un difeomorfismo \varphi: U_x \to U_y de clase C^1  que manda x en y y cumple que \varphi(U_x \cap \Lambda)= U_y \cap \Lambda.

Probaremos un resultado debido a Repovs. Skopenkov y Scepin que afirma que un conjunto C^1-ambiente homogeneo es una subvariedad C^1 encajada en \mathbb{R}^d. Notar que es un ejercicio sencillo mostrar que las sub-variedades encajadas de clase C^1 son efectivamente C^1-ambiente homogeneas. No veremos muchas aplicaciones, referimos al  lector por ejemplo a este paper de Amie Wilkinson que utiliza este resultado y da una prueba del caso C^r. Si mencionamos que este resultado tiene como consecuencia directa que los subgrupos cerrados de un grupo de Lie son grupos de Lie.

Es un ejercicio interesante mostrar que el conjunto de Cantor puede ser encajado en \mathbb{R}^2 de forma tal de ser Lipschitz ambiente homogéneo. Otro interesante ejercicio es mostrar el resultado para el caso de subconjuntos C^0-ambiente homogeneos de \mathbb{R}.

Lee el resto de esta entrada »

Clasificacion de las 1-variedades

In Grupos y geometría, Topología on Domingo 10, abril, 2011 at 2:33 am

por Pablo Lessa

En esta pequeña nota quiero dar una prueba de la clasificación de las variedades diferenciables de dimensión 1.

La otra demostración que conozco (e.g. en el libro de Milnor) utiliza que la variedad puede partirse en piezas que son segmentos parametrizados por longitud de arco, y luego analiza combinatoriamente como se pegan estas piezas llegando a los dos casos:  O se cierran y la variedad es un círculo, o no y la variedad es un intervalo.  Una demostración similar puede llevarse a cabo para variedades topológicas de dimensión 1 y además la demostración captura la escencia de porqué es verdad el resultado.  Cabe preguntarse entonces: ¿Porqué molestarse en dar otra demostración?

Creo que el mérito de la siguiente demostración es que, a pesar de no ser elemental, sólamente utiliza herramientas que son utiles para muchas otras cosas.  Sin más preambulos acá va la demostración.

Teorema: Toda variedad diferenciable conexa de dimensión 1 es difeomorfa a un intervalo o a \mathbb{R}/\mathbb{Z}.

Lee el resto de esta entrada »

Algunas variedades que no admiten difeomorfismos de Anosov.

In Sistemas Dinámicos, Topología on Viernes 12, noviembre, 2010 at 8:43 am

por Rafael Potrie

En un post anterior, estudiamos unos trabajos de Franks y Manning acerca de la clasificación de difeomorfismos de Anosov en el Toro \mathbb{T}^d. En particular, vimos que para que dicha variedad admita un Anosov, había ciertas restricciones en la clase de homotopía de dicho difeomorfismo (tenía que ser homotópico a un difeomorfismo de Anosov lineal), esto era consecuencia del Teorema de Indice de Lefschetz.

En este post, voy a mostrar como esa idea puede ser levemente empujada en función de obtener más restricciones en la topología de una variedad que admite un difeomorfismo de Anosov (y en particular, en como tiene que actuar en la homología de la variedad).

Una consecuencia particular del estudio, nos va a dar que:

Teorema 1 La esfera S^d no admite difeomorfismos de Anosov.

Notar que al día de hoy, los unicos difeomorfismos de Anosov conocidos son los que aparecen en infranilvariedades (estos estan clasificados hasta dimensión 8, ver aqui), y se sabe también que en dimensión menor o igual a 3, todos tienen que ser difeomorfismos de Toros y estos son los únicos ejemplos en dichas dimensiones. Se conjetura que todos los difeomorfismos de Anosov deberían ser en infranilvariedades (lo cual implicaría que son conjugados a ejemplos algebraicos) y en particular, deberían ser transivos (pero incluso esto último, es un problema abierto).  El Teorema 1  fue probado en este artículo (creo yo que por primera vez, pero no se).

Lee el resto de esta entrada »

Superficies Esenciales.

In Grupos y geometría, Topología on Jueves 23, septiembre, 2010 at 2:20 pm

por Andrés Sambarino

Supongamos que estamos en la siguiente situación: Tenemos una variedad Riemanniana M de curvatura \leq0 cuyo grupo fundamental \Gamma es el \pi_1 de alguna superficie hiperbólica \Sigma_g. El contexto es tal que tenemos \dim M>2.

A uno le gustaría decir entonces que M contiene una copia de \Sigma_g cuyo \pi_1 se inyecta en el de M. Resulta que esto es cierto y es (relativamente) fácil de demostrar.

Sea \tilde M el cubrimiento universal de M. Recordamos que \Gamma actúa en \tilde M por isometrías y que M=\tilde M\slash \Gamma.

Teorema A. Identificamos \Gamma con un subgrupo discreto de isometrías de \mathbb H^2. Entonces existe F:\mathbb H^2\to\tilde M continua y \Gamma-equivariante, es decir que para todos \gamma\in\Gamma y x\in\mathbb H^2 se tiene F(\gamma x)=\gamma F(x).

 

Lee el resto de esta entrada »

Difeomorfismos de Anosov en el Toro.

In Sistemas Dinámicos, Topología on Martes 3, agosto, 2010 at 3:42 pm

por Rafael Potrie

En este post pienso comentar la demostración (debida a Franks y Manning) de que un difeomorfismo de Anosov de una infranilvariedad (un cociente de una nilvariedad) es de hecho conjugado a un difeomorfismo de Anosov lineal. Por simplicidad, me voy a concentrar en el caso de difeomorfismos de Anosov en toros. Vale la pena observar que todos los ejemplos conocidos de difeomorfismos de Anosov lineales son en infranilvariedades (que incluyen obviamente a los toros).

Intentaré siempre poner links a las definiciones necesarias y resultados utilizados ya que no voy a centrarme en rellenar los prerequisitos, pero no creo que alguien que no este familiarizado con los conceptos que aparezcan pueda seguir la prueba.

Lee el resto de esta entrada »

Grupos fundamentales de variedades y grupos finitamente presentados.

In Grupos y geometría, Topología on Miércoles 28, julio, 2010 at 11:53 am

por Rafael Potrie

Me gustaría en este post discutir un poco la relación entre grupos y variedades para mostrar un poco como a veces cosas que parecen ejemplos de una estructura abstracta, en realidad la contienen. Un buen ejemplo, son los grupos de simetrías de espacios finitos, que de hecho contienen absolutamente todos los posibles grupos finitos (y de esa manera, nos permite comprender los grupos desde un punto de vista más geométrico).

En este post, voy a ver la relación entre los grupos finitamente presentados y los grupos fundamentales de variedades. Vamos a mostrar que un grupo es finitamente presentado si y solamente si es el grupo fundamental de una variedad. De hecho, mostraremos esto para {4-}variedades (pero es válido para variedades de cualquier dimensión mayor o igual a {4}).

Antes de empezar, mismo antes de definir grupo finitamente presentado, voy a dar un argumento (rápido) de porque en dimensiones dos y tres esto no es posible. Lo único a decir sobre los grupos finitamente presentados, es que naturalmente, los grupos finitos lo son.

En dimensión dos, tenemos bien definida una lista de variedades, con lo cual es fácil ver que grupos como {\mathbb{Z}_3} no son grupo fundamental de ninguna superficie.

En dimensión tres, argumentos parecidos pueden ser hechos, uno rápido es tener en cuenta que toda {3}-variedad con grupo fundamental finito tiene que ser cubierta por la {3}-esfera (esto lo sabemos gracias a que recientemente la conjetura de Poincare en dimensión {3} fue demostrada) y se sabe que no todo grupo finito puede actuar libre y discontinuamente en la {3}-esfera (esto hay que chequearlo, pero a mi al menos me resulta suficientemente convincente).

Lee el resto de esta entrada »

Grupo fundamental de las esferas.

In Topología on Jueves 3, junio, 2010 at 7:12 am

por Rafael Potrie

En el post anterior, se discutió una prueba de que el grupo fundamental de las esferas de dimensión S^n (n\geq 2) es trivial. Escencialmente, la prueba consistía en hacer una homotopía de un mapa f: S^1 \to S^n a un mapa que no fuese sobreyectivo (eso permite concluir ya que la esfera menos un punto es contractible, como se puede ver utilizando la proyección estereográfica).

En este post, pretendo dar una prueba “distinta” de este hecho. Las comillas tienen que ver con que es realmente difícil definir que es que dos pruebas sean la misma o no (por una discusión sobre esto, recomiendo este post). Luego de dar la prueba, voy a comentar porque me parece (al menos un poco) distinta.

Lee el resto de esta entrada »

Grupos de homotopía (no tan) superiores de las esferas.

In Topología on Jueves 27, mayo, 2010 at 8:38 am

por Rafael Potrie

Uno de los problemas más difíciles de la topología algebraica es determinar los \pi_k(S^n) con k grande.

Parece ser un problema de carácter elemental, y a simple vista no es claro el porque genera tanto interés. Una razón, para mi importante, es que está muy relacionado con los grupos de homotopía de los CW complejos (hay que notar que si se considera el n-esqueleto de un CW-complejo cocientado por el n-1-esqueleto no queda otra cosa que una suma de esferas n-dimensionales, por lo tanto, calcular la homotopía de las esferas es un paso necesario para conocer los grupos de homotopía de los CW-complejos (por definiciones de estos conceptos, ver este post, de todas maneras, el post actual es elemental, y no es necesario haber comprendido este párrafo).

Nos interesaremos en este post por conocer los más fáciles de calcular, los que de hecho parecen evidentes, \pi_k(S^n) con k<n.

Lee el resto de esta entrada »

Reparametrizaciones de flujos de Anosov

In Sistemas Dinámicos, Topología on Miércoles 19, mayo, 2010 at 4:56 pm

por Andrés Sambarino

Si tenemos un flujo \phi_t:M\circlearrowleft y una función estrictamente positiva y contínua f:M\to\mathbb R podemos reparametrizar el flujo \phi usando f de la siguiente manera: Sea \alpha:M\times \mathbb R\to\mathbb R dada por

{\displaystyle \alpha(x,t)=\int_0^t f(\phi_s(x))ds.}

Lee el resto de esta entrada »