24 Février - 2 Mars


Retour à la vue des calendrier
Mardi 25 Février
Heure: 10:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Cluster fans
Description: Gleb Koshevoy One of the main motivation of S.Fomin and A.Zelevinskyfor introducing cluster algebras was the desire toprovide a combinatorial framework to understand the structure of ''dualcanonical bases'' in coordinate rings of various algebraic varieties related to semisimple groups. For a finite cluster algebra, they show that the cluster complex can be implemented as a simplical fan in the vector space span by the simple roots of the corresponding Lie algebra. We show that the cluster complex for cluster algebra of the base affine space for GL(n) can be implementedas a simplicial fan in the space span by interval one-column semistandard Young tableaux filled in the alphabet {1,...,n}. For n>6, such a fan contains infinitely many cones and its support covers semistandard Young tableaux corresponding toreal elements of the dual canonical basis. For types ADE, cluster complexes of the corresponding finite cluster algebras aresubfans of our cluster complex with appropriate n's.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: A left/right dynamic on permutations
Description: Quentin de Mourgues Soit s une permutation dans Sigma_n.Soit i(s)=s(1), j(s)=s^{-1}(1),Soit C_k le cycle 1>2>...>(k-1)>1 (k,k+1,..,n points fixes).On definit L et R comme suit:L(s) = C_{j(s)}.s etR(s) = s.C_{i(s)}^{-1}Il est facile de voir que L et R sont inversibles, la dynamique L/R partitionne donc Sigma_n en classes d'équivalence qui sont des graphes orientés uniformes (une arête entrant/sortant par "couleur" L et R) fortement connexes.Dans cet exposé, on étudiera ces classes : leur nombre, leur taille, leur structure, etc.
Vendredi 28 Février
Heure: 00:59 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Ludique et types: éléments de déconstruction
Description: Christophe Fouqueré We will discuss/analyze the following observations and the questions they rise:Observations:
- Each formula of MALL2 is denoted by a behaviour in Ludics.
- Cut-elimination is fully plugged into / at the heart of Ludics.
- And with properties expected for a logic.

Questions:
- Can we characterize exactly behaviours that denote MALL(c/2/inf) formulas?
- Can we define the algebraic structure of a behaviour? I.e. a language
for behaviours?
- Can we develop a sequent calculus for this language?