decidí correr la fecha de entrega para la clase del miércoles entrante. Haré horas de oficina entonces el lunes entre 9 y 10 am.

Note que hay tres maneras distintas de contestar el parcial:

1. Contestar los cinco puntos de cinturón blanco y uno solo de los de kyu.

2. Contestar uno solo de cinturón blanco y tres de nivel kyu.

3. Contestar solo uno de kyu y el cinturón negro.

Las tres maneras son igualmente aceptables – puede sacar cinco con cualquiera de los tres caminos.

Si el lunes de 9 a 10 am no le sirve, y tiene preguntas, escríbame para cuadrar una fecha.

Haga clic en la imagen para bajar el parcial.

av

Por pura casualidad, leyendo otra cosa, me encontré con lo siguiente en Baldwin-Shelah sobre ejemplos de no docilidad:

1. Una cea admite clausuras si para todo , existe una clausura minimal de , es decir, .

2. Cuando admite clausuras, esta relación tiene monotonía, carácter finito y transitividad.

3. Mencionan que lo anterior fue caracterizado en primer order por Michael Rabin en un artículo de 1962.

4. Incluye fuertemente minimales y o-minimales.

5. Se tiene trivialmente cuando hay funciones de Skolem.

6. Lo usan para lo siguiente: cuando una clase admite clausuras, la relación de equivalencia que usamos en la definición de tipo de Galois es transitiva, incluso cuando la clase no tiene AP. Este hecho es muy fuerte.

7. También permite calcular tipos de Galois mediante isomorfismos de las clausuras.

8. Finalmente, si uno está interesado en calcular espectros , tienen otro resultado interesante: dada una clase en lenguaje relacional que admita clausuras, se puede construir una clase asociada con el mismo espectro de y que admite clausuras con eliminación de cuantificadores. Esto último significa que el valor de “” depende únicamente del tipo (sintáctico) libre de cuantificadores de .

Esto fue lo que faltó: si dos sucesiones finitas a y b en ω₁ satisfacen los mismos cortes de Dedekind sobre J, entonces existe (I’,<’) que extiende a (ω₁,<) tal que a y b son automorfos en I’. Por lo tanto a y b inducen el mismo tipo de Galois sobre EM(J)|L en N’.

En clase ayer me salté este último punto, que es crucial. En ω₁ mismo no se puede concluir que si a y b tienen el mismo corte de Dedekind entonces sean automorfos (pues ω₁ es rígido); sin embargo, consiguiendo un orden suficientemente flexible, lo anterior se puede hacer.

Es un ejercicio verificar que el orden I’ = ω₁^<ω sirve.

La demostración anterior se puede modificar para ver que categoricidad en λ > LS(K) implica galois-estabilidad en todo el intervalo [LS(K),λ). No es inmediato, pero aparecen también los modelos de Ehrenfeucht-Mostowski EM(J), el uso del teorema de Presentación de Shelah, y el uso de órdenes muy homogéneos κ^<ω.

av

como mencioné ayer, nos basaremos inicialmente en el minicurso que dio Olivier Lessmann en Helsinki en 2005. Lessmann demuestra una versión del teorema de transferencia de categoricidad hacia arriba, suponiendo localidad, amalgamación de la clase elemental abstracta.

1. El artículo de Rami Grossberg (el “Bilgi paper“) es una fuente excelente de ejemplos y construcciones.

2. La monografía de Baldwin (ver página web de Baldwin – las versiones cambian con frecuencia) tiene cantidad de cosas importantes. Nos sirve como referencia de estudio.

3. El artículo E-53 de Shelah (del archivo Shelah) tiene discusión de muy alto nivel sobre aspectos de teoría de modelos en clases elementales abstractas.

No olviden: para mañana, demostrar la versión (A5′) del axioma (A5), y construir una cea que no tenga modelos arbitrariamente grandes.

En principio, entonces, el calendario de la mayoría de las clases restantes es así:

Los exámenes dos y tres siguen en las mismas fechas: 27 de octubre el segundo examen (Clases elementales abstractas y teoría de modelos de grupos abelianos), 24 de noviembre el tercer examen.

La semana entrante es Semana Universitaria.

Reanudamos clases el miércoles 27 de septiembre, con cuatro semanas a cargo de Alf Onshuus. El tema es Teoría de Modelos de Campos.

Las cuatro semanas de Alf serán las siguientes: del 27 al 29 de septiembre (una semana), y del 11 al 27 de octubre (otras tres semanas). La semana del 2 de octubre Alf estará fuera de la ciudad. Más adelante anunciaremos las actividades de esa semana. Habrá un examen de una hora el 27 de octubre, sobre Teoría de Modelos de Cuerpos.

Título de la Charla: Categorías exprimidoras de grupos.
Lugar y Hora: Auditorio 202 – Ed. 405 – 4 pm

Resumen: ¿Hasta qué punto un grupo está determinado por su categoría de representaciones? Las categorías de Galois y de Tannaka nos brindan respuestas parciales a esta pregunta. En esta charla exploraremos brevemente sus definiciones y presentaremos algunas de sus propiedades más importantes.

Javier Moreno está en Bogotá gracias al programa “Jóvenes Investigadores” del Departamento de Matemáticas, dirigido a estudiantes que están finalizando sus doctorados o a postdocs con doctorado reciente. (Alex Usvyatsov, graduado en 2005 de la Universidad Hebrea de Jerusalén y actualmente postdoc en UCLA, vendrá con el mismo programa entre el 6 y el 15 de septiembre y dará un minicurso que será anunciado aquí.)
Rodrigo Peláez está en Bogotá gracias al apoyo parcial de las Universidades de los Andes y Nacional.
Los minicursos (de tres sesiones de una hora cada uno) tendrán lugar en la Universidad Nacional, en el siguiente horario:

1. Teoría de Modelos del Álgebra Diferencial. (Javier Moreno)

   • Lunes 4 de septiembre – 4 pm – Salón 202- Edificio 405.

   • Miércoles 6 de septiembre – 2 pm – Salón 310 – Edificio 405.

   • Viernes 8 de septiembre – 2 pm – Salón 310 – Edificio 405.

2. Teorías G-compactas de Lascar. (Rodrigo Peláez)

   • Lunes 4 de septiembre – 5 pm – Salón 202 – Edificio 405.

   • Miércoles 6 de septiembre – 3 pm – Salón 310 – Edificio 405.

   • Viernes 8 de septiembre – 3 pm – Salón 310 – Edificio 405.