Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

18 janvier 2018: 1 événement

Séminaire

  • Séminaire Logique et Interactions

    Jeudi 18 janvier 11:00-12:30 - Hadrien BATMALLE - IRIF, Paris 7

    Préservation de propriétés du modèle de départ en réalisabilité classique

    Résumé : La réalisabilité classique permet d’interpréter des théories mathématiques classiques, comme la théorie des ensembles ZF, dans divers modèles de calcul (lambda-calcul avec continuations, domaines…axiomatisés au moyen d’algèbres de réalisabilité). Elle produit ainsi des modèles de ces théories, et se révèle être une généralisation du forcing de Cohen. Jusqu’ici, la réalisabilité classique a seulement été étudiée à partir d’un modèle de départ "raisonnable", supposé au moins valider AC, voire même défini comme l’univers constructible.
    Dans cet exposé, on étudiera des modèles de réalisabilité classique issus d’algèbres de réalisabilité usuelles, mais construits sur des modèles de départ "non-triviaux", et on utilisera un nouveau résultat de Krivine pour exporter certaines propriétés du modèle de départ au modèle de réalisabilité.

    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

En savoir plus : Séminaire Logique et Interactions

18 janvier 2018: 1 événement

groupe de travail

  • Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)

    Jeudi 18 janvier 13:45-14:45 - Sary DRAPPEAU

    Fonctions multiplicatives et identités combinatoires

    Lieu : Luminy, TPR2, salle 304-306

    Exporter cet événement

En savoir plus : Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)

18 janvier 2018: 1 événement

Manifestation scientifique

  • Manifestations scientifiques (colloques, écoles,...)

    Du 15 au 19 janvier - COLLOQUE

    Constant Scalar Curvature Metrics in Kähler and Sasaki Geometry

    Résumé : COLLOQUE,
    "Métriques à courbure scalaire constante en géométrie Kählérienne et Sasakienne"
    -
    The Yau-Tian-Donaldson conjecture restricted to a particular case has been proved in 2012 : the existence of Kahler-Einstein/Sasaki-Einstein metrics has been related to K-polystability after a breakthrough of X.X Chen, S.K. Donaldson and S. Sun.
    Originally the Y-T-D conjecture was sketched by the Fields medallist S-T. Yau, and refined later by G. Tian and the Fields medallist S.K. Donaldson.
    Complex geometers are turning now to the general version of the Y-T-D correspondence about existence of constant scalar curvature (csc) Kahler/Sasaki metrics (that do not belong to the anti-canonical class). This generalization is far from being a trivial question since the csc equation is much more di-fficult (non linear 4-th order PDE, while the Einstein case turned out to be a Monge-Amp-ere
    equation of 2-nd order). Many questions arise, and without being exhaustive we shall quote some of them now :
    - how to define the right notion of algebraic stability to obtain the correspondence ? how to check the stability in practice ?
    - what about the degenerations of metrics in relation with algebraic deformations ?
    - what about moduli space of metrics with special curvature properties (compactifications, topological invariants,...) ;
    - what is happening in the case of toric geometry ? Can we find explicit ansatz ?
    - study of the Calabi flow from the point of view of geometric analysis ;
    - classification in low dimension ;
    - study of the Kähler cone in the perspective of cscK metrics ;
    - relationship with mathematical physics etc.
    ​Young researchers and members of underrepresented groups will be financially helped as much as possible.
    -
    Organization :
    - Hugues Auvray (Univ. Paris-Sud)
    - Hongnian Huang (Univ. New Mexico)
    - Julien Keller (I2M, Marseille)
    - Eveline Legendre (Univ. Paul Sabatier)
    - Rosa Sena Dias (IST, Portugal)
    -
    Partenaires :
    - Agence Nationale de la Recherche (ANR)
    - Fédération CARMIN
    - Centre International de Rencontres Mathématiques (CIRM)
    - Centre National de la Recherche Scientifique (CNRS)
    - Institut de Mathématiques de Marseille (I2M)
    - Institut de Mathématiques de Toulouse (IMT)
    - LabEx Archimède
    - National Science Foundation (NSF)
    - Université Paris-Sud
    -

    Site web du colloque
    JPEG - 16.3 ko

    Autre lien : CIRM

    Lieu : CIRM - 163 avenue de Luminy
    Case 916
    13288 Marseille - Cedex 9
    France

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

    En savoir plus : Manifestations scientifiques (colloques, écoles,...)