Los seguidores de Manolo

Clasificación de superficies simplécticas racionales y regladas parte 1

In Análisis Real y Complejo, Grupos y geometría on Viernes 3, julio, 2015 at 2:59 pm

por Agustín Moreno

En pos de contextualización, este post surgió de una discusión sobre matemática y afines con el sambita, mientras nos partiamos la boca con tremendos churrascos y un vinito en algún bar perdido de Paris. El tipo queria saber para que quiere uno las curvas holomorfas esas de las que tanto se ha oido hablar, definidas nada más y nada menos que por el mismísimo Gromov allá por el ’85 con su tremendo paper. Y ahi me acordé de un teoremaso de McDuff, sobre el cual este divague va a tratar. Todo lo que voy a decir sale de estas notas de mi supervisor, Chris Wendl.

Ya me disculpo por (y de aquí en más dimito responsabilidad por sobre) el coloquialismo, y la falta de formalidad y rigor y que el estimado lector puede encontrar. Proceda bajo su propio riesgo.

Primero, acordate de qué es una variedad simpléctica. Cortito y al pie, es una variedad (de dimensión par) con una 2-forma cerrada y no degenerada. En particular, son todas orientables, y en dimensión dos una forma simpléctica es simplemente una forma de volumen. Una subvariedad es simpléctica si la restricción de la forma simpléctica a dicha subvariedad es también simpléctica, i.e no degenerada.

Si ahora S \subseteq M es una superficie en una 4-variedad orientable, tenemos el pairing de intersección

H_2(M) \times H_2(M) \rightarrow \mathbb{Z}

(A,B) \rightarrow A.B,

que viene dado por dualidad de Poincaré, y que básicamente consiste en contar (con signos que vienen de la orientación) los puntos de intersección de dos superficies transversales que representan cada clase de homología. Recordar que también vale tomar el número de autointersección de una superficie; simplemente perturbala para que quede transversal a si misma y contá las intersecciones.

Notas de Caminatas al azar

In Uncategorized on Miércoles 24, junio, 2015 at 6:20 pm

por Pablo Lessa

Hace poco tuve la suerte de dar un cursito en una escuela para estudiantes de grado en la universidad Notre Dame (Indiana, EEUU).  Escribo este artículo para divulgar las notas (en inglés) que preparé para el curso que están disponibles acá.  Aprovecho también para dar una idea de que se trató el asunto.

Comenzamos con el Teorema de Pòlya que dice que una caminata al azar simple en \mathbb{Z}^2 es recurrente (i.e. con probabilidad 1 visitará cada vértice infinitas) mientras que en \mathbb{Z}^3 no lo es (con probabilidad 1 eventualmente escapa cualquier conjunto finito de vértices para nunca regresar).

Las caminatas al azar simples son el ejemplo más sencillo de proceso aleatorio en un grafo infinito.  Formalmente se define una caminata al azar simple como una sucesión de vértices al azar x_0,x_1,\ldots tales que x_{n+1} se construye a partir de x_n eligiendo un vecino al azar (todos los vecinos son equiprobables y todas las elecciones son independientes).  La idea es que es una trayectoria al azar “continua” pero sin memoria ni “inteligencia” (un borracho en un grafo básicamente).

La idea del curso fué discutir la pregunta más básica sobre caminatas al azar que es: ¿En cuáles grafos infinitos la caminata al azar simple es recurrente?

Hicimos esto enfocándonos en dos familias de ejemplos:  grafos de Cayley de grupos discretos, y árboles.

Los grafos de Cayley son ejemplos de grafos “homogéneos” en el sentido que son iguales en todos lados (formalmente diríamos que es posible enviar un vértice a cualquier otro con un isomorfismo del grafo).  Se definen como sigue:  el grafo de Cayley de un grupo discreto G respecto a un generador finito y simétrico F tiene como conjunto de vértices el conjunto G y una arista une dos vértices x,y \in G si y sólamente si x = yg para algún g \in F.

Una primer pregunta es: ¿La recurrencia de un grafo de Cayley es una propiedad del grupo o puede depender del generador finito simétrico elegido?

Dibujos Hiperbólicos

In Uncategorized on Miércoles 22, abril, 2015 at 4:14 pm

por Pablo Lessa

Agrego esta pequeña entrada para anunciar que estoy haciendo un programita cuyo objetivo es ayudar a generar figuras de cosas en el disco de Poincaré para incluir en archivos LaTex.  El programa es aún muy rudimentario pero ya funciona.   Me interesa recibir sugerencias o comentarios si algún valiente esta dispuesto a intentar usarlo. A modo de ejemplo, con la versión actual generé las siguientes figuras (en formatos png, pdf, y eps): test3 test4 test5 Para usar el programa se necesitan las siguientes 3 cosas (además de LaTex):

Seguir

Recibe cada nueva publicación en tu buzón de correo electrónico.

Únete a otros 50 seguidores