inicio de estabilidad

Hoy empezamos (en suave) estabilidad geométrica, estilo Zilber. Fuera de las notas vistas hoy (esencialmente toda la primera sección de Zilber), con los tres ejemplos cuidadosamente explicados - ACF_p, DCF₀ y la sentencia ψ_C^e, correspondiente a la estructura bisorteada que proviene de la exponenciación como homomorfismo. No quedó clara la diferencia con los complejos con exponencial usuales - fue al final de la clase. Si piensan en eso para el viernes, me gustaría dedicar unos instantes a mirar de nuevo las dos presentaciones. Estoy casi seguro de que son biinterpretables.

Por otro lado, vimos un poco del enunciado de Baldwin-Lachlan. La idea el viernes es mirar la estructura de la prueba más clásica de Morley (en esencia, la que vimos en Modelos I) - Carlos Echeverri expondrá ese tema.

Y seguiremos en slalom entre las notas de Zilber y temas extras. Esté atento al blog, pues posiblemente postearé un poco más frecuentemente ahora que los temas son menos claros que al inicio.