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.

Coloquio 18 de Diciembre 2013

ÁLGEBRA DE SÍMBOLOS PSEUDODIFERENCIALES FORMALES.

Expositor: Jarnishs Beltran Mejia.
Institución: USACH.

Miércoles 18 de diciembre de 2013.
16:00-17:00 hrs.

Resumen: Ver archivo.pdf

Coloquio 13 de Diciembre 2013

FÍSICA DE PARTÍCULAS, CAMPOS Y EL GRAN COLISIONADOR DE HADRONES (LHC)

Expositor: Cristian Peña
Institución: California Institute of Technology, Pasadena, EE.UU.

Viernes 13 de diciembre de 2013.
16:00-17:00 hrs.

Resumen:Presento una breve introducción a la física de partículas en sus aspectos teórico, fenomenológico y experimental. Conectado lo anterior con el estado actual de nuestro entendimiento en el denominado Modelo Estándar de Partículas concentrándome en la importancia del boson de Higgs en esta teoría.
La Presentación se concentrará en describir el programa del LHC y se enfocará en el experimento «Compact Muon Solenoid», sobre el cual detallare el proceso que finalmente llevo al descubrimiento del boson de Higgs y la actual búsqueda de señales que no corresponderían a las predichas por el Modelo Estándar. Finalmente mencionaré las contradicciones del Modelo Estándar así como también aquello que no es explicado por él.