Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

4 octobre 2018: 3 événements

Séminaire

  • Séminaire Géométrie Complexe

    Jeudi 4 octobre 11:00-12:00 - Alessandra SARTI - LMA, Université de Poitiers

    Involutions du schéma de Hilbert de deux points sur une surface K3

    Résumé : Dans cet exposé je montrerai comme utiliser des surfaces K3 avec une géométrie spéciale pour construire des involutions sur leur schéma d’Hilbert de deux points. En effet même si en utilisant le théorème de Torelli on peut montrer l’existence d’automorphismes du schéma d’Hilbert, il reste difficile d’en donner une réalisation explicite.
    Il s’agit d’un travail en commun avec S. Boissière, A. Cattaneo et D. Markushevich.

    JPEG - 18.4 ko
    Alessandra SARTI

    Lieu : CMI, salle C003 - I2M - Château-Gombert
    39 rue Frédéric Joliot-Curie
    13453 MARSEILLE cedex 13

    Notes de dernières minutes : Attention, jour inhabituel.

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Séminaire Géométrie Complexe

  • Séminaire Logique et Interactions

    Jeudi 4 octobre 11:00-12:30 - Giulio MANZONETTO - LIPN, Paris 13

    Revisiting Call-by-value Bohm trees in light of their Taylor expansion

    Résumé : The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get stuck during the reduction. We show that such an extension allows to define a satisfying notion of Bohm(-like) tree and a theory of program approximation in the call-by-value setting. We prove that all lambda terms having the same Bohm tree are observationally equivalent, and characterize those Bohm-like trees arising as actual Bohm trees of lambda terms.
    We also compare this approach with Ehrhard’s theory of program approximation based on the Taylor expansion of lambda terms, translating each lambda term into a possibly infinite set of so-called resource terms. We provide sufficient and necessary conditions for a set of resource terms in order to be the Taylor expansion of a lambda term. Finally, we show that the normal form of the Taylor expansion of a lambda term can be computed by performing a normalized Taylor expansion of its Bohm tree. From this it follows that two lambda terms have the same Bohm tree if and only if the normal forms of their Taylor expansions coincide.
    Joint work with Emma Kerinec and Michele Pagani.

    JPEG - 5.9 ko
    Giulio MANZONETTO

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Séminaire Logique et Interactions

  • Séminaire Singularités

    Jeudi 4 octobre 14:00-15:00 - Elisa PRATO - Université de Florence

    Nonrational symplectic toric reduction and cutting

    Résumé : In this talk, I will discuss generalizations of the symplectic reduction and symplectic cutting operations to the context of nonrational toric geometry (joint work with F. Battaglia). Some examples and applications will be examined.

    Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
    3, place Victor Hugo - case 39
    13331 MARSEILLE Cedex 03

    Exporter cet événement

En savoir plus : Séminaire Singularités

4 octobre 2018: 1 événement

Manifestation scientifique

  • Agenda ERC IChaos

    Du 3 au 12 octobre - Alexander BUFETOV

    Research in Pairs with Boris SOLOMYAK

    Résumé : + Punctual Participation : Pascal HUBERT/ Pierre LAZAG/ Juan MARSHALL/ Adrien BOULANGER
    Titre : Spectral properties of parabolic flows
    This working group will continue work on spectral properties of parabolic flows. The global objective is to give a quantitative description of the spectral measure. The first quantitative estimates for the spectral measures were obtained by the authors in a series of papers starting in 2012 through 2018. We have however only so far been able to obtain upper bounds for the spectral measure, and the aim of this workshop will be to give lower bounds as well.

    JPEG - 12.5 ko

    Lieu : CIRM Luminy - Marseille

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Agenda ERC IChaos