Dans cet exposé nous allons nous intéresser aux structures réelles de certaines variétés algébriques complexes munies d'une action d'un groupe algébrique réductif : les variétés presque homogènes. Nous verrons comment déterminer si de telles structures existent et, le cas échéant, comment les décrire et les dénombrer. En particulier, nous tâcherons d'illustrer notre approche sur deux familles classiques de variétés presque homogènes : les variétés horosphériques (qui incluent les variétés toriques et les variétés de drapeaux) et les SL(2)-variétés presque homogènes de dimension 3. Il s'agit d'un travail en collaboration avec Lucy Moser-Jauslin (IMB, Dijon).
Nous nous intéressons aux deux problèmes suivants : (1) Le problème de prolongement de Whitney consistant à déterminer si une fonction g:X->R définie sur un fermé Xsubset R^n admet un prolongement de classe C^m sur R^n (2) Le problème de Brenner-Fefferman-Hochster-Kollár portant sur l'existence d'une solution G pour un système A(x)G(x)=F(x) où A est une matrice de fonctions définies sur R^n Dans un travail en collaboration avec E. Bierstone et P.D. Milman nous démontrons que si les données de ces problèmes sont semi-algébriques alors il en est de même pour leurs solutions. Néanmoins nos résultats impliquent une perte de régularité. Formellement, pour (1), nous montrons que pour X semi-algébrique, il existe r:N->N telle que si g:X->R semi-algébrique admet un prolongement de classe C^(r(m)) alors g admet un prolongement semi-algébrique de classe C^m. Concernant (2), nous montrons qu'étant donnée A semi-algébrique, il existe r:N->N telle que si F est semi-algébrique et si A(x)G(x)=F(x) admet une solution G de classe C^(r(m)), alors il existe une solution semi-algébrique de classe C^m.
Une application polynomiale dominante du plan complexe dans lui-même donne lieu à un ensemble fini de courbes et de points isolés en dehors de son image. Z. Jelonek a fourni une borne supérieure sur le nombre de ces points isolés qui ne dépend que des degrés des polynômes de l'application, et qui est quadratique en ces degrés. J'introduirai dans cet exposé une grande famille d'applications dominantes non propres pour lesquelles cette borne supérieure dépend linéairement de degrés. J'illustrerai également une construction montrant que cette borne supérieure est asymptotiquement exacte.
Les champignons endomycorhiziens forment des communautés mutualistes qui aident les plantes à accroître leur système racinaire et donc leur biomasse. Depuis plusieurs décennies, ces champignons sont utilisés comme engrais vert. Cependant quel est l'impact de ces champignons commerciaux sur les communautés sauvages? Afin de comprendre ces interactions j'ai développé en collaboration avec M. Martignoni, R. Tyson et M. Hart (Univ British Columbia) un nouveau modèle mutualiste basé sur des équations aux dérivées partielles. Dans cette exposé, je vous présenterai des critères analytiques d'existence et de stabilité des solutions stationnaires pour lesquels la coexistence apparaît. Ensuite je m'intéresserai à l'invasion spatiale d'une communauté par une autre en montrant l'existence de solutions de type front progressif pour le système et en caractérisant leur vitesse de propagation.
On étudie la version réelle suivante d'un théorème célèbre d'Abhyankar-Moh : quelles applications rationnelles de la droite affine dans le plan affine, dont le lieu réel est un plongement fermé non singulier de R dans R^2, sont équivalentes, à difféomorphisme birationnel du plan près, au plongement trivial ? Dans ce cadre, on montre qu’il existe des plongements non équivalents. Certains d’entre eux sont détectés pas la non-négativité de la dimension de Kodaira réelle du complémentaire de leur image. Ce nouvel invariant est dérivé des propriétés topologiques de « faux plans réels » particuliers associés à ces plongements. (Travail en commun avec Adrien Dubouloz.)
Many of the most important results in mathematics are based on some inequality, of geometric or analytic nature. On the other hand, this separation between geometry and analysis is not sharp and the most intriguing inequalities are indeed the ones that have a mixed nature and enhance the interplay of the two realms. Moreover, many apparently purely geometric inequalities have some powerful functional counterpart, like for instance the Isoperimetric Inequality and Sobolev Inequality. I will try to give some general overview on geometric-analytic inequalities and will concentrate on one of them, precisely the Brunn-Minkowski inequality, an apparently geometric inequality which is at the core of modern convex geometry, and on its functional counterpart, the Borell-Brascamp-Lieb inequality. And also possibly show some applications to PDEs.
Let $R$ be a real closed field. We prove that if $R$ is uncountable, then any separately Nash (resp. arc-Nash) function defined over $R$ is semialgebraic (resp. continuous semialgebraic). To complete the picture, we provide an example showing that the assumption on $R$ to be uncountable cannot be dropped. Moreover, even if $R$ is uncountable but non-Archimedean then the shape of the domain of a separately Nash function matters for the conclusion. For $R = R$ we prove that arc-Nash functions coincide with arc-analytic semialgebraic functions. Joint work with W. Kucharz and A. El-Siblani.
The speculative ambition of replacing the old theory of program approximation based on syntactic continuity with the theory of resource consumption based on Taylor expansion and originating from the differential λ-calculus is nowadays at hand. Using this resource sensitive theory, we provide simple proofs of important results in λ-calculus that are usually demonstrated by exploiting Scott’s continuity, Berry’s stability or Kahn and Plotkin’s sequentiality theory. A paradigmatic example is given by the Perpendicular Lines Lemma for the Böhm tree semantics, which is proved here simply by induction, but relying on the main properties of resource approximants: strong normalization, confluence and linearity.
In 1979 O. Zariski proposed a general theory of equisingularity for algebraic or algebroid hypersurfaces over an algebraically closed field of characteristic zero. It is based on the notion of dimensionality type that is defined recursively by considering the discriminants loci of subsequent ``generic'' projections. The singularities of dimensionality type 1 are isomorphic to the equisingular families of plane curve singularities. In this talk we consider the case of dimensionality type 2, the Zariski equisingular families of surface singularities in 3-space. Using an approach going back to Briançon and Henry, we show that in this case generic linear projections are generic in the sense of Zariski (this is still open for dimensionality type greater than 2). Over the field of complex numbers, we show that such families are bi-Lipschitz trivial, by construction of an explicit Lipschitz stratification. (Based on joint work with L. Paunescu.)
TBA
In this talk we consider the Cauchy problem for the 2D Euler equations for incompressible inviscid fluids. It is well-known that given a smooth initial datum, the Cauchy problem is well-posed and in particular the energy is conserved and the vorticity is transported by the flow of the velocity. When we consider weak solutions this might not be the case anymore. We will review some recent results obtained in collaboration with Gianluca Crippa and Gennaro Ciampa where we extend those properties to the case of irregular vorticities. In particular, under low integrability assumptions on the vorticity we show that certain approximations important from a physical and a numerical point of view converge to solutions satisfying those properties.
Quantum hydrodynamic (QHD) systems arise in the effective description of phenomena where quantistic behavior can be seen also at a macroscopic scale. This is the case for instance in Bose-Einstein condensation, superfluidity or in the modeling of semiconductor devices. Standard results for global existence of finite energy weak solutions to the QHD system often exploit the analogy with a nonlinear Schrödinger equation; by using the Madelung transform it is possible to define a solution to the QHD by considering the momenta (mass and current density) associated to a wave function. In particular this argument requires the initial data to be determined by a given wave function. This usual approach hence shows the existence of solutions but can not be used to study their stability properties in a general framework. In this talk I will present some recent developments that overcome those difficulties for the one dimensional QHD system. First of all I will provide an existence result for a large class of initial data, without requiring them to be generated by a wave function. Furthermore, I will prove a stability result for weak solutions. This exploits a novel functional which formally controls the L^2 norm of the chemical potential, weighted with the particle density. This is a joint work with P. Marcati and H. Zheng.
(Joint work with P. LeFanu Lumsdaine.)
Lawvere theories and (coloured) operads provide particularly nice representations for suitable algebraic theories with a given set of sorts, as monoids in certain categories of collections.
We extend this to dependent type theories: For an inverse category C, we show how suitable “C-sorted type theories” may be viewed (1) as monoids in a category of collections, and (2) as generalised Lawvere theories in the sense of Berger–Melliès–Weber. Moreover, (essentially) every dependent type theory arises in this way.
Inverse categories are known from homotopy theory, where they (or their opposite categories) provide a good notion of a category of ``cells''. Examples are the category of semi-simplices, the category of globes, the category of opetopes, etc.