"Transformaciones en la enseñanza de la Matemática para estudiantes ingresantes a la Facultad de Arquitectura, Diseño y Urbanismo" -

Omarg Gil - FADU

Presentaré una estrategia de transformación de la enseñanza aplicada entre 2013 y 2017 en el curso de Matemática de la carrera de Arquitectura en la Facultad de Arquitectura Diseño y Urbanismo de la Universidad de la República, articulada en torno a los siguientes ejes: organización del aula en equipos de trabajo y enseñanza activa; contextualización de la Matemática en la formación del estudiante; atención a los aspectos afectivos y de vínculo en clase; aplicación de un sistema de evaluación con instancias individuales, grupales, autoevaluación y evaluación por pares, que ofrece oportunidades de revisión del trabajo; diversificación de la oferta de actividades; sistematización de la gestión y organización de los cursos; retroalimentación de la toma de decisiones a partir del seguimiento de los cursos, el análisis de las características de la población estudiantil y la evaluación de las políticas implementadas. Se constató una importante mejora del rendimiento de los estudiantes, evidenciada en la reducción del tiempo empleado en aprobar el curso de Matemática. Por otra parte, en las entrevistas realizadas, los estudiantes expresan satisfacción con los dispositivos grupales y por la mejor vinculación de los temas del curso con otros contenidos de su formación. Se discutirán también avances de resultados de la implementación del nuevo plan de estudios 2015, en el que ya ningún curso de Matemática es obligatorio, pero los estudiantes deben completar seis créditos en esta disciplina, escogiendo al menos uno de tres cursos con objetivos generales comunes pero objetivos específicos y contenidos netamente diferenciados. Se presentarán algunos análisis prospectivos acerca de posibles líneas de profundización de la experiencia, que incluyen el desarrollo de programas de tutoría entre pares, la implementación de nuevos sistemas de orientación, seguimiento y apoyo a los estudiantes, la intervención sobre las estrategias de recursado de los estudiantes y el desarrollo de líneas de investigación sobre núcleos específicos de problemas emergentes de este programa de acciones.

Construccion de laminaciones minimales por superficies hiperbolicas

Joaquín Brum - IMERL

Mostraré como construir algunos ejemplos nuevos de laminaciones minimales, prestando particular atención a la topología de sus hojas. Estos ejemplos son límites inversos de torres de cubrimientos finitos de superficies hiperbólicas. Las técnias involucrarán, teoría de cubrimientos, geometría hiperbólica y convergencia de Gromov-Hausdorff entre espacios métricos. Esta es una charla pensada para estudiantes, definiré todos los objetos que utilice.

Es un trabajo en conjunto con Sebastien Alvarez, Matilde Martinez y Rafael Potrie.

"Noncommutative absolute neighborhood retracts"

Hannes Thiel - Universität Münster

A compact metric space X is said to be an absolute neighborhood retract (ANR) if every continuous map from a closed subset K of a compact space Y to X can be extended to a neighborhood of K. This is a weak form of injectivity in the category of compact, metric spaces. Every manifold is an ANR, but not every space is an ANR. To X we associate algebra C(X) of continuous complex-valued functions on X. This is a C*-algebra with the supremum norm and pointwise operations. The categories of compact, metric spaces, and the category of commutative, unital, separable C*-algebras are (contravariantly) equivalent. In this sense, we think of C*-algebras as "noncommutative topological spaces". Using this correspondence to translate the concept of an ANR to (noncommutative) C*-algebras, we obtain a weak form of projectivity in the category of C*-algebras, called semiprojectivity. Thus, we think of semiprojective C*-algebras as the noncommutative absolute neighborhood retracts. A long-standing question asked to determine, in terms of X, when C(X) is semiprojective among all C*-algebras. Clearly X must be an ANR, but is that sufficient? Surprisingly, a dimensional restriction appears. We show that the following are equivalent: (1) C(X) is a semiprojective C*-algebra. (2) X is an ANR and its covering dimension is at most one. This solves a conjecture of Bruce Blackadar. This is joint work with Adam Soerensen (University of Oslo)

"Un Diálogo entre la Conectividad y la Confiabilidad de Redes" -

Pablo Romero - IMERL

Uno de mis mayores caprichos de este año fue buscar conexiones entre aspectos puramente determinísticos, como lo es la teoría de conectividad de redes, y otros puramente probabilísticos, como la confiabilidad de redes. La teoría extremal de grafos provee comunión entre ambos mundos. Como parte del corto camino trazado, se reconceptualizan trabajos de Gustav Kirchhoff, Frank Harary y Klaus Wagner. Si esta charla sirve como excusa para admirar verdaderas contribuciones científicas que conforman la historia, o al menos para notar que el lenguaje con el que estos investigadores comunicaron sus trabajos es extremadamente simple, el tiempo nos habrá valido la pena.

"Hay que volver a la raíz" -

Federico Dalmao - DMEL

El estudio de las raíces de ecuaciones y de ceros de funciones es uno de los más antiguos y transversales en la matemática. Hace cinco siglos Cardano, Tartaglia, Ferrari entre otros dieron algoritmos (y fórmulas) para hallar las raíces de las ecuaciones de tercer y cuarto grado. Hace dos siglos, Ruffini, Abel y Galois probaron la imposibilidad de expresar mediante radicales las soluciones de ecuaciones generales de quinto o mayor grado. Ya en el siglo XX, una de las formas de abordar el problema se expresa de la forma ¿dónde se ubican las raíces de una ecuación típica?,  ¿cuántas raíces reales tiene una ecuación típica?, etc. Estas preguntas son ambiguas, ¿qué quiere decir típico?. En la década de 1930 comenzó el estudio de los ceros de polinomios aleatorios por Bloch, Pólya, Kac, Littlewood, Offord, etc. De esta forma, a grandes rasgos, se entiende por típico el promedio. De más está decir que desde entonces la literatura en el tema no ha parado de crecer.  La charla está orientado a todo público. En ella se hará un recorrido por diferentes problemas vinculados a los ceros de polinomios y ondas aleatorios (número y ubicación, longitud y geometría de las curvas de nivel, etc) mostrando algunos resultados clásicos y también algunos recientes.

"Dendritaciones de superficie"

Alfonso Artigue - DMEL

Las dendritaciones son una generalización de foliaciones singulares en superficies desde el punto de vista de la teoría de continuos. El ejemplo base es la foliación estable de un difeomorfismo seudo Anosov. El objetivo de la charla es explicar la definición de esta estructura, dar ejemplos, resultados generales y mostrar aplicaciones al estudio de homeomorfismos con alguna forma de expansividad.

"La distancia de Gromov-Hausdorff, programación semidefinida y deep learning"

Soledad Villar – New York University

Resumen: La distancia de Gromov-Hausdorff, definida en el conjunto de espacios métricos compactos modulo isometrías, fue introducida por Gromov como herramienta para probar su célebre teorema sobre crecimiento de grupos. Desde el punto de vista computacional, calcular la distancia de Gromov-Hausdorff es un problema difícil, incluso en espacios métricos finitos. En esta charla se explicará una técnica llamada programación semidefinida, y cómo utilizarla para aproximar localmente la distancia de Gromov-Hausdorff en espacios métricos finitos. Tambien se discutirán las propiedades topológicas de la distancia aproximada. Si el tiempo es suficiente se discutirá la aplicación nuevas técnicas, conocidas como 'deep learning' que muestran buenos resultados en la práctica pero su marco teórico es un problema abierto.

"Hacia nuevos modelos para la lógica y la matemática"

Alexandre Miquel - IMERL

La teoría de modelos tiene un papel muy importante en lógica, en la medida en que permite demostrar la consistencia o la independencia de algunos axiomas de la matemática (axioma de elección, hipótesis del continuo) relativamente a sistemas bien establecidos. El objetivo de esta charla (con destino a matemáticos no especialistas en lógica) es presentar los conceptos y problemas fundamentales de la teoría de modelos, así como algunas de las herramientas más avanzadas que se desarrollan en Montevideo. En una primera parte, recordaremos el marco fundamental de los modelos de Tarski (basados en el álgebra de Boole con dos elementos), así como algunas paradojas que surgen naturalmente en tal marco, a pesar de su simplicidad. Luego, mostraremos cómo se puede extender la noción de modelo, cambiando la noción de valor de verdad subyacente, e ilustraremos el interés de tal cambio con algunos ejemplos. Al final, presentaremos la noción de álgebra implicativa desarrollada en Montevideo, así como las perspectivas para la teoría de modelos.

"Sobre la conjetura de Mc.Duff sobre la C1 minimalidad de los conjuntos de Cantor"

Aldo Portela - IMERL

En la teoría de sistemas dinámicos los conjuntos minimales son de gran importancia. En la charla veremos como son los posibles conjuntos minimales para un homeomorfismo que actua en el círculo. También estudiaremos las posibilidades cuando el sistema dinámico se obtiene por la acción de un difeomorfismo de clase C^1. En este caso, la conjetura de McDuff da condiciones sobre un conjunto que implican la no minimalidad de dicho conjunto.

"Modelos matemáticos para composición musical" -

Verónica Rumbo - CMAT

¿Es posible componer de forma automática música con determinado "estilo"? En esta charla se presentarán algunas herramientas que procuran capturar los rasgos comunes de un conjunto de obras musicales y utilizar lo aprendido para generar aleatoriamente nuevas composiciones. Veremos (y escucharemos) algunos de los resultados. La charla está orientada a un público en general, aunque se recomienda tener nociones de probabilidad y estadística (correspondientes a un primer curso de probabilidad).

"Acciones de grupos, promediabilidad, y equivalencia orbital" -

Eusebio Gardella – Universität Münster

La noción de promediabilidad para grupos topológicos fue introducida por von Neumann en el contexto de la paradoja de Banach-Tarski, y desde entonces ha tenido muchas aplicaciones, fundamentalmente en análisis armónico y álgebras de operadores. En teoría ergódica, promediabilidad está íntimamente relacionada con el lema de Rokhlin. En esta dirección, Ornstein-Weiss y Dye demostraron que cualquier dos acciones libres y ergódicas de un grupo promediable en un espacio de probabildiad estándar (como el intervalo), son orbitalmente equivalentes. Es decir, acciones de grupos promediables son muy flexibles. El caso de acciones de grupos no promediables es mucho más rígido: varios resultados parciales en la literatura culminaron en el siguiente teorema de Epstein e Ioana: todo grupo no promediable admite una cantidad no numerable de acciones libres y ergódicas en un espacio de probabilidad estándar que no son orbitalmente equivalentes. Un problema de Halmos pregunta si existe un método específico que, dadas dos acciones (libres y ergódicas) de un grupo, permite determinar si ellas son orbitalmente equivalentes. Para grupos promediables, la respuesta es sencilla: siempre lo son. Para grupos no promediables, esta pregunta cobra más sentido en el contexto de complejidad de Borel: cuán compleja es la relación de equivalencia orbital para acciones de grupos no promediables? En colaboración con Martino Lupini (Caltech), hemos respondido esta pregunta: la relación de equivalencia orbital (como subconjunto del espacio producto) no es Borel. Es decir, no existe ningún método específico que permita determinar si dos acciones de un grupo no promediable son orbitalmente equivalentes. Nuestras técnicas provienen del álgebra de operadores y son esencialmente analíticas, y demuestran la rica interacción existente entre las C*-álgebras y álgebras de von Neumann, por un lado, y la teoría ergódica, por el otro.

"El número de oro, geometría, álgebra y aritmética"

Gerardo González Sprinberg - Centro de Matemática UdelaR - Université Grenoble Alpes

Breve historia del número de oro. De Euclides a Klein, desarrollo en fracciones continuas de números racionales e irracionales, una introducción. Interpretación geométrica en dimensión dos. Dimensión superior y problemas abiertos.

Rigidez y geometricidad de acciones de grupos de superficies sobre el círculo.

Maxime Wolff – Paris VI

Consideramos representaciones desde un grupo de superficie cerrada a Homeo^+(S^1). Kathryn Mann ha probado que las representaciones geometricas (ie, que levantan una representacion fiel y discreta en PSL(2,R)) son rigidas (ie, todas sus deformaciones son semi-conjugadas). Junto con ella, probamos la reciproca: todas las representaciones rigidas son geometricas.

"Conjuntos minimales para sistemas de funciones iteradas en S1"

Jorge Iglesias - IMERL

La idea del curso es, mediante ejemplos, clasificar desde el punto de vista topológico los conjuntos minimales para un sistema de funciones iteradas en S1 Se daran las definiciones básicas ( muy poca teoría), se construirán muchos ejemplos y se discutirá la diferencia entre un sistema dinámico usual y un sistema iterado de funciones. El único prerrequisito es tener aprobado el curso de topología de la licenciatura en matemática.

"PML, a new proof assistant"

Christophe Raffalli - Université Savoie

Proof assistants allow to write and verify mathematical proofs or software using a computer. Many are available around the world (Coq, Agda, PVS, NuPrl, ...) and PML is the one we are developing. Why do we need one more? I will present PML features, gradually and illustrated with examples explaining why it is different (and hopefully better) than the other proof assistants.

K-teoría bivariante y conjeturas de isomorfismo -

Eugenia Ellis - IMERL

La K-teoría algebraica es un invariante útil para ciertas interrogantes de la topología algebraica.  En la teoría de operadores existen otras interrogantes que son facilitadas por la K-teoría topológica.  Los grupos de K-teoría en ambos casos son difíciles de calcular y las conjeturas de isomorfismo aspiran a conocer estos grupos.  En la charla hablaré de la K-teoría bivariante y su relación con el lado izquierdo de las conjeturas de isomorfismo. 

"Un paseo por la complejidad en análisis numérico"

Diego Armentano - CMAT

La complejidad de un algoritmo es el número de pasos requeridos para pasar de un input a un output. El conocimiento de este número nos permitiría comparar distintos métodos y poder determinar cuáles son más eficientes. Sin embargo el estudio de la complejidad es un tema muy compicado del cuál se sabe muy poco, aún en problemas básicos como encontrar raíces de polinomios o valores propios de matrices. En esta charla daremos un paseo por distintos problemas y métodos, discutiendo en cada caso qué se sabe (o no se sabe) sobre la complejidad. A su vez mostraremos cómo este problema motiva preguntas interesantes en las distintas áreas de la matemática.

Charlas sobre IMAGINARY

Mariana Pereira - IMERL

IC16: IMAGINARY in Uruguay - Diego Armentano and Mariana Pereira from IMAGINARY on Vimeo

Dinamica de cubrimientos del anillo -

Alvaro Rovella - CMAT

Abundan resultados acerca de la dinámica unidimensional y de los homeomorfismos del anillo u otras superficies,  pero no así de los mapas no invertibles en dimensión dos. En esta charla se trata de mostrar algunos resultados  relativos a los cubrimientos del anillo abierto, generalizando algunos conceptos útiles como el número de rotación  y las semiconjugaciones con dinámicas supuestamente más conocidas. Se explicarán unos pocos teoremas pero  muchos ejemplos y preguntas. 

Holomorphic curves and celestial mechanics

Umberto Hryniewicz - Universidade Federal do Rio de Janeiro

We would like to describe how the modern methods of symplectic topology, such as pseudo-holomorphic curve theory, can be used to study celestial mechanics. Particular emphasis will be given to the planar circular restricted three-body problem. When the value of the Jacobi constant is high enough, components of the energy level covering a bounded Hill region are amenable to both Levi-Civitta or Moser regularization. Both schemes yield contact-type energy levels, allowing for the use pseudo-holomorphic curves. We will address a conjecture of Birkhoff asserting that the lift of a retrograde orbit via Levi-Civita bounds a disk-like global surface of section, and describe a version of the Poincare-Birkhoff theorem for Reeb flows which applies in the presence of a Hopf link of periodic orbits. If time permits we shall describe general results on the existence of genus zero global surfaces of section.

Experiencias en matemática aplicada a la ingeniería de redes

Fernando Paganini - ORT

Las aplicaciones de la matemática obligan a traspasar los límites de sus subdisciplinas. Así, en problemas de ingenería de redes (telecomunicaciones, potencia, transporte, etc.) los aportes más interesantes combinan métodos de sistemas dinámicos y control, procesos aleatorios, teoría de grafos, y economía matemática, entre otras ramas. En esta presentación relataremos algunos aspectos de nuestra investigación en la materia, en particular haremos foco en contribuciones que conjugan la teoría de colas con la teoría de control, aplicados al tráfico en Internet, los servicios de computación en la nube, y la regulación inteligente de cargas de potencia.

Solución de las ecuaciones de Hamilton-Jacobi como límite clásico de integrales con respecto al Movimiento Browniano

Rafael León Ramos - IMERL

Se presenta un enfoque simplificado del problema de obtener la mecánica clásica a partir de una ecuación de difusión. Al final presentaremos una lista de ejemplos que incluye: el comportamiento de una partícula en un campo electromagnético y también una aproximación informal al comportamiento de la solución de la ecuación de onda, en el límite de altas frecuencias.

Charlando sobre geometría biracional

Iván Pan - CMAT

De manera informal, estudiar geometría en un conjunto X significa fijar un grupo G de biyecciones e investigar qué propiedades permanecen invariantes bajo la acción de elementos de G. Si X admite estructura adicional (espacio topológico, variedad diferenciable, variedad algebraica, etc), se puede elegir G=G_X como siendo constituido por los isomorfismos en relación a dicha estructura (resp. homeomorfismos, difeomorfismos, automorfismos, etc). Si X es una variedad algebraica, en la topología subyacente de X todo abierto no vacío es esencialmente denso, por lo tanto dos automorfismos que coincidan en un abierto son iguales, i.e., la estructura geométrica de X es muy rígida. Por lo tanto, si se quieren entender propiedades de X que sean de naturaleza local (y entonces globales salvo en un conjunto "pequeño") en natural permitir que G_X contenga aplicaciones del tipo Φ:U V, con Φ isomorfismo y U, V dos abiertos densos de X; en términos algebraicos, y expresándose de modo impreciso, eso corresponde a estudiar propiedades de un dominio de integridad que sólo dependen de su cuerpo de fracciones. En este caso estamos estudiando la llamada Geometría Birracional de X. En esta charla, en la cual no pretendemos entrar en tecnicismos y en general argumentaremos utilizando conceptos básicos de álgebra y geometría, y apelando a la intuición, comenzaremos dando nociones generales sobre Geometría Birracional y una muy somera descripción del problema de clasificación de los pares (X,G_X), objeto de intensa investigaci\'on actualmente. Luego nos concentraremos en el caso en que X es una variedad lineal, que como veremos, su simplicidad contrasta con el hecho de que su geometría birracional (i.e. G_X) sea la más complicada, y casi completamente desconocida si X tiene dimensión mayor que dos. También veremos aplicaciones al estudio de foliaciones holomorfas y derivaciones en anillos de polinomios.

(orientado a docentes)

"¿Aprender a defraudar o a detectar fraude? Aplicaciones de la Ley de Benford" -

María Caputi

La Ley de Benford establece, contrariamente a la intuición, que, en algunos conjuntos de datos numéricos, la frecuencia de aparición del primer dígito significativo no es uniforme. La frecuencia con la que aparece cada dígito sigue una proporción particular que se explicita en la denominada por Benford en 1938 como “Ley de los números anómalos”. El 1 aparece como primer dígito significativo un 30,1% de las veces, el 2 un 17,6%, el 3 un 12,5%, el 4 un 9,7%, el 5 un 7,9%, el 6 un 6,7%, el 7 un 5,8%, el 8 un 5,1% y el 9 un 4,6%, aproximadamente. Esta ley permaneció como una mera “curiosidad estadística” por varias décadas. En 1992 fue catapultada a la luz e interés público por el contador norteamericano Mark Nigrini, quien en su tesis de doctorado la utilizó para detectar fraudes en las declaraciones fiscales. Se analizan varios métodos estadísticos para analizar si un conjunto de datos sigue o no la Ley de Benford. Se ejemplifican dichos métodos con conjuntos de datos clásicos que siguen la ley y se analiza cumplimiento de la Ley de Benford en los resultados del censo realizado en Uruguay en 2011.

(orientado a docentes)

Criptografía sobre Curvas Elípticas -

Horacio Castagna

Los temas vinculados a la seguridad son de preocupación mundial. En particular, la seguridad en las comunicaciones y el ciberespacio. En el presente trabajo presentamos de manera sencilla las ideas básicas que están detrás de los métodos involucrados en la protección de las comunicaciones y los datos. En particular trataremos los aspectos teóricos referentes a las curvas elípticas, y cómo éstas pueden usarse para implementar algoritmos de codificado, cifrado y firma digital de documentos. Además construiremos un ejemplo sencillo, para ilustrar el mecanismo de protección de datos en una comunicación.

(orientado a docentes)

"Un proyecto de intervención a partir de tareas de generalizar y particularizar: trabajo colaborativo entre investigador y formador de profesores" -

Victoria Mesa

Se presentará una intervención en Matemática Educativa llevada a cabo, en el marco del Diploma en Matemática (IPES–UdelaR), en conjunto con un docente de Profundización en Geometría en torno a la creación e implementación de actividades de particularizar y generalizar sobre el concepto de baricentro. El proceso vivenciado permitió constatar que las actividades de generalizar y particularizar un problema o enunciado matemático, pensadas como actividades de final abierto en una metodología de clase que fomente la producción del conocimiento matemático por parte del estudiante, favorecen que los estudiantes de profesorado de Matemática vinculen los conocimientos que aprenden en sus clases de Matemática de la carrera con los que deberán enseñar en enseñanza media.

(orientado a docentes)

"Las tareas enfocadas en similitudes y diferencias en el aprendizaje de las transformaciones lineales en la formación inicial de profesores de Matemática" -

Ana Maldonado

En el marco del Diploma en Matemática mención Enseñanza (ANEP-UdelaR) se realiza un proyecto de investigación en Matemática Educativa que intenta contribuir a la mejora de la enseñanza de las transformaciones lineales en la formación inicial de profesores de matemática. Para lograr tal propósito, se diseñaron actividades enfocadas en similitudes y diferencias considerando que estas permiten generar cierto grado de incertidumbre en el estudiante. Se realizó la experimentación de una de las actividades y se analizó la producción matemática de los estudiantes centrándose en la elaboración de conjeturas y el establecimiento de conexiones entre conceptos.

(orientado a docentes)

Talleres para profesores y estudiantes olímpicos

Eugenia Ellis, Alejandro Passeggi

En este bloque La Compartida de Matemática del Uruguay, la Olimpíada de Casavalle y el equipo del Cmat-Imerl contarán las actividades conjuntas. El objetivo en conjunto es hacer llegar a conocer el disfrute en resolver un problema de matemática a un amplio público. Habrá talleres de resolución de problemas en Teoría de Números, Geometría, Álgebra y Combinatoria.   Docentes y estudiantes interesados en conocer las actividades son bienvenidos.

Facebook de Talleres de Matemática

"Nuevos planes de estudio y contenidos de cursos de matemática en UdelaR"

Oradores:

Roberto Markarian (Rector UdeLaR)

Omar Gil (Facultad de Arquitectura)

Gonzalo Tornaria (Facultad de Ciencias)

Marcelo Fiori (Facultad de Ingenieria)

Moderador:

Fernando Pelaez (Prorector de educación UdelaR)

En la Facultad de Ciencias, Ingeniería y Arquitectura se han dado recientemente importantes cambios en los programas, contenidos y puesta en práctica de los cursos de Matemática. En la Facultad Ciencias se ha rediseñado completamente la carrera, haciéndola más flexible y diversificada. En Ingeniería, con notorios problemas de masificación y egreso, se han rediseñado completamente los cursos de cálculo. En Arquitectura, finalmente, ha habido transformaciones en la didáctica y dinámica en el aula, innovadoras si las comparamos con la práctica tradicional o histórica. Muchos de esos cambios (entendemos) se imponen por varios motivos: (i) urgencia nacional en mejorar el egreso y la calidad de la enseñanza terciaria. (ii) influencia de transformaciones y tendencias mundiales. (iii) el aporte del notorio crecimiento y profesionalización de la comunidad Matemática uruguaya. La idea es discutir los cambios, los resultados y su medición, y los desafíos a futuro.

Cada orador tiene 15 minutos (justos) para exponer. Luego de las exposiciones habrá una sesión de discusión que incluye las inquietudes del moderador y preguntas del público (que se juntan durante las exposiciones).