Coloquios

Coloquio 3 Abril 2014

ESPACIOS DE MODULI DE SUPERFICIES ALGEBRAICAS DE GÉNERO CERO

Expositor: Giancarlo Urzúa
Institución: PUC.

Jueves 3 de abril de 2014.
16:00-17:00.

Resumen: Superficies algebraicas de tipo general sin diferenciales holomorfas globales han sido objeto de estudio desde comienzos del siglo pasado hasta hoy. (Para una visión general de estas superficies mirar. “Surfaces of general type with geometric genus zero: a survey» Bauer-Catanese-Pignatelli.) Una meta mayor es identificar los parámetros que las describen (i.e. espacio de moduli). Es especialmente un misterio el caso de superficies simplemente conexas. Aparte de contar un poco la historia, en esta charla mostraré ideas sobre el ataque moderno al problema de moduli (parte en conjunto con Jenia Tevelev y Paul Hacking), algunos resultados y varias preguntas.


Coloquio 27 de Marzo 2014

COHERENCE IN CATEGORIES AND IN DEPENDENT TYPE THEORY

Expositor: Pierre Louis Curien
Institución: DR CNRS, Laboratoire PPS, University Paris 7, Francia.

Jueves 27 de marzo de 2014.
16:00-17:00.

Resumen:We shall recall briefly Mac Lane’s coherence theorem for monoidal categories, and discuss two quite different proofs of it. We shall then explain how similar coherence issues arise in dependent type theory and how they can be solved using similar techniques. To be as self-contained as possible, we shall provide a brief introduction to type theory, hinting even more briefly at recent developments going on under the name of Homotopy Type Theory.


Coloquio 12 Marzo 2014

ASYMPTOTIQUES DES TABLEAUX DE YOUNG

Expositor: Pierre Cartier
Institución: IHES, Francia.

Miércoles 12 de marzo de 2014.
16:00-17:00.


Coloquio 29 de Enero 2014

MOMENT GRAPHS: A LINK BETWEEN REPRESENTATION THEORY, GEOMETRY AND ALGEBRAIC COMBINATORICS

Expositor: Martina Lanini
Institución: University of Melbourne, Australia

Miércoles 29 de enero de 2014.

Resumen:Moment graphs appear naturally in the representation theory of Lie algebras, the theory of Coxeter groups and the geometry of certain algebraic varieties equipped with an action of a torus. I will discuss the case in which the graphs arising from different settings coincide, witnessing the interplay of representation theory, geometry and algebraic combinatorics.


Coloquio 19 de Diciembre 2013

CANOPY OF BINARY TREES, INTERVALS IN TAMARI LATTICES AND EXCLUSION MODELS IN PHYSICS.

Expositor: Xavier Viennot
Institución: DRE, CNRS, LaBri, Université Bordeaux

Jueves 19 de diciembre de 2013.
16:00-17:00 hrs.

Resumen: In recent years many works have been done on associahedra, in particular intervals in the underlying Tamari lattice. We introduce the notion of canopy of a binary tree, which is the analog for binary trees of the classical notion of up-down sequence for permutations. We show the relation between this notion of canopy and some intervals in the associahedron. The determination of the size of such intervals is related to the computation of some stationary probabilities in a model of moving particles with exclusion (called TASEP) in the physics of dynamical systems.