m

F Nous contacter

0

Documents  03C64 | enregistrements trouvés : 22

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Logic and Foundations

In recent papers by Alon et al. and Fox et al. it is demonstrated that families of graphs with a semialgebraic edge relation of bounded complexity have strong regularity properties and can be decomposed into very homogeneous semialgebraic pieces up to a small error (typical example is the incidence relation between points and lines on a real plane, or higher dimensional analogues). We show that in fact the theory can be developed for families of graphs definable in a structure satisfying a certain model theoretic property called distality, with respect to a large class of measures (this applies in particular to graphs definable in arbitrary o-minimal theories and in p-adics). (Joint work with Sergei Starchenko.) In recent papers by Alon et al. and Fox et al. it is demonstrated that families of graphs with a semialgebraic edge relation of bounded complexity have strong regularity properties and can be decomposed into very homogeneous semialgebraic pieces up to a small error (typical example is the incidence relation between points and lines on a real plane, or higher dimensional analogues). We show that in fact the theory can be developed for families of ...

03C45 ; 03C60 ; 03C64

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 371 p.
ISBN 978-0-8218-3419-0

Contemporary mathematics , 0373

Localisation : Collection 1er étage

développement asymptotique # fonction # EDP # équation différentielle # théorie des modèles des structures ordonnées # phénomène de résurgence # asymptotique # perturbation singulière # méthode de Borel

39A05 ; 03C64 ; 34M30 ; 34M37 ; 58J37 ; 34D15 ; 40G10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xx; 466 p.
ISBN 978-88-7999-411-8

Quaderni di matematica , 0011

Localisation : Colloque 1er étage (RAVE)

théorie des modèles # logique # théorie des nombres # théorie des groupes # théorie des corps

20E08 ; 05C25 ; 03C64 ; 03C60 ; 03C10 ; 20F60 ; 20E32 ; 20D05 ; 03C45 ; 20A15 ; 03C07 ; 03C98 ; 32B05 ; 12F10 ; 03C20 ; 11G25 ; 11G10 ; 11U09 ; 14G15 ; 20G15 ; 22E30 ; 12H05 ; 12L12 ; 30D60 ; 58A17 ; 20E42 ; 14K15 ; 03-06 ; 00B25 ; 11-06 ; 12-06 ; 20-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 496 p.
ISBN 978-2-85629-351-5

Astérisque , 0348

Localisation : Périodique 1er étage

Algèbres de von Neumann # analyse complexe discrète # asymétrie # asymptotique # champs # cohomologie complétée # compatibilité local-global # conjecture d'André-Oort # conjecture de Bogomolov # conjecture de Serre II # conjecture de Zilber-Pink # connexité rationnelle # corps convexes # courbes pseudo-holomorphes # creusage spectral # décomposition de John approchée # Déterminant jacobien # diffusion # espaces de Sobolev # équation de Schrödinger nonlinéaire # équations aux dérivées partielles # équirépartition # existence # fibration de Hitchin # fonction modulaire # fonctions BV # formule des traces # géométrie algébrique réelle # géométrie symplectique réelle # graphes expanseurs # groupes d'homotopie stable # Groupes non-moyennables # hauteurs # inégalité de Sobolev à trace # intersections exceptionnelles # invariance conforme # invariant de Kervaire # invariants de Gromov-Witten # inversibilité restreinte # lemme fondamental # mécanique des fluides # méthodes de crible # modèle d'Ising # multiplication complexe # obstruction de Brauer # percolation # physique statistique # points spéciaux # problème de Lehmer # problèmes énumératifs # propriét'e (tau) # réduction dimensionnelle # relations d'équivalence mesurées # spectres en anneaux structurés # surfaces K3 # théorème de Torelli global # théorie de l'homotopie chromatique # théorie de l'homotopie stable équivariante # théorie du contrôle # théorie symplectique des champs # théories o-minimales # transport de Brenier # variétés de Shimura # Variétés hyperkählériennes # variétés semi-abéliennes Algèbres de von Neumann # analyse complexe discrète # asymétrie # asymptotique # champs # cohomologie complétée # compatibilité local-global # conjecture d'André-Oort # conjecture de Bogomolov # conjecture de Serre II # conjecture de Zilber-Pink # connexité rationnelle # corps convexes # courbes pseudo-holomorphes # creusage spectral # décomposition de John approchée # Déterminant jacobien # diffusion # espaces de Sobolev # équation de ...

93C20 ; 35Q30 ; 11N05 ; 11N35 ; 11N36 ; 20F69 ; 05C25 ; 55Q45 ; 60K35 ; 82B20 ; 52C26 ; 81T40 ; 11S37 ; 11F70 ; 11F80 ; 22E55 ; 11G10 ; 11G50 ; 14K15 ; 65F50 ; 15A63 ; 46B07 ; 26A45 ; 53A10 ; 49Q15 ; 28A75 ; 14N10 ; 14N35 ; 14P99 ; 53D35 ; 53D45 ; 11G18 ; 03C64 ; 11E72 ; 14G05 ; 37A20 ; 20E05 ; 20P05 ; 46L10 ; 53C26 ; 14J28 ; 32J27 ; 46E35 ; 35Q55 ; 35B40 ; 35P25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xi; 556 p.
ISBN 978-2-85629-371-3

Astérisque , 0352

Localisation : Périodique 1er étage

Algorithme d'approximation # carte brownienne # cartes planaires # champ libre gaussien # champ moyen # choix social # concentration-compacité # condition nulle # configuration polynomiale # courbe elliptique # D-module holonome # difficulté d'approximation # équation aux dérivées partielles # équations d'Einstein # équations différentielles partielles # équations non-linéaires dispersives # espaces adiques # espaces de Berkovich # espaces homogènes # espaces métriques # espaces normés # espaces perfectoïdes # existence globale # fibré de Higgs # fibré holomorphe plat # forme quartique binaire # formule de KPZ # gravité quantique # groupe de Galois motivique # groupe de Selmer # groupes de Lie # groupes quasi-fuchsiens # hamiltonien # marches aléatoires # mélange exponentiel du fibré des repères # mesures de Liouville # mesures stationnaires # métrique harmonique # modération topologique # monodromie-poids # motifs de Tate mixtes # multizêtas # nonlinéaire # norme d'uniformité # orbites coadjointes # plongement métrique # principe de transfert # programmation semi-définie # Programme de Ribe # progression arithmétique # pureté # rang # réarrangement # Relativité générale # représentations des groupes algébriques réductifs # représentations des groupes de Lie compacts # résonances en espace temps # rigidité # singularités irrégulières # stabilité orbitale # surfaces enfermées # système stellaire auto-gravitant # théorème de Lefschetz difficile # théorie de Hodge # théorie géométrique des invariants # topologie étale # trous noirs # types stablement dominés # variétés de drapeaux # variétés hyperboliques de dimension 3 # Vlasov-Poisson Algorithme d'approximation # carte brownienne # cartes planaires # champ libre gaussien # champ moyen # choix social # concentration-compacité # condition nulle # configuration polynomiale # courbe elliptique # D-module holonome # difficulté d'approximation # équation aux dérivées partielles # équations d'Einstein # équations différentielles partielles # équations non-linéaires dispersives # espaces adiques # espaces de Berkovich # espaces ...

14L24 ; 14M15 ; 20G05 ; 22E46 ; 35-XX ; 35Qxx ; 37-XX ; 37NXX ; 37N20 ; 82-XX ; 82Cxx ; 85-XX ; 85AXX ; 05C12 ; 05C85 ; 46N10 ; 68Q17 ; 68R10 ; 68W25 ; 90C22 ; 91B14 ; 11G99 ; 11G05 ; 11E76 ; 14J60 ; 32C38 ; 53C07 ; 83C57 ; 83C75 ; 83C05 ; 35L67 ; 60C05 ; 60F17 ; 60-02 ; 05C10 ; 05C80 ; 82B20 ; 82B05 ; 82B27 ; 35B34 ; 35E20 ; 35B60 ; 35Q60 ; 35Q35 ; 11N13 ; 11B25 ; 30F99 ; 03C64 ; 03C65 ; 03C99 ; 14G22 ; 11G25 ; 14F20 ; 14G20 ; 22E40 ; 37D40 ; 60B99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xii; 221 p.
ISBN 978-1-107-46249-6

London mathematical society lecture note series , 0421

Localisation : Collection 1er étage

théorie des nombres # courbe elliptique # théorème de Pila-Wilkie # orbite Galoisienne # transcendance fonctionnelle # variété de Shimura # variété Abélienne # o-minimalité

11-06 ; 11G05 ; 11G10 ; 11G18 ; 14G35 ; 14H52 ; 03C64 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Logic and Foundations

Diophantine properties of subsets of $\mathbb{R}^n$ definable in an o-minimal expansion of the ordered field of real numbers have been much studied over the last few years and several applications to purely number theoretic problems have been made. One line of inquiry attempts to characterise the set of definable functions $f : \mathbb{R} \to \mathbb{R}$ having the property that $f(\mathbb{N}) \subset \mathbb{N}$. For example, a result of Thomas, Jones and myself shows that if the structure under consideration is $\mathbb{R}_{exp}$ (the real field expanded by the exponential function) and if, for all positive $r, f(x)$ eventually grows more slowly than $exp(x^r)$, then $f$ is necessarily a polynomial with rational coefficients. In this talk I shall improve this result in two directions. Firstly, I take the structure to be $\mathbb{R}_{an,exp}$ (the expansion of $\mathbb{R}_{exp}$ by all real analytic functions defined on compact balls in $\mathbb{R}^n$) and secondly, I allow the growth rate to be $x^N \cdot 2^x$ for arbitrary (fixed) $N$. The conclusion is that $f(x) = p(x) \cdot 2^x + q(x)$ for sufficiently large $x$, where $p$ and $q$ are polynomials with rational coefficients.

I should mention that over ninety years ago Pólya established the same result for entire functions $f : \mathbb{C} \to \mathbb{C}$ and that in 2007 Langley weakened this assumption to $f$ being regular in a right half-plane of $\mathbb{C}$. I follow Langley’s method, but first we must consider which $\mathbb{R}_{an,exp}$-definable functions actually have complex continuations to a right half-plane and, as it turns out, which of them have a definable such continuation.
Diophantine properties of subsets of $\mathbb{R}^n$ definable in an o-minimal expansion of the ordered field of real numbers have been much studied over the last few years and several applications to purely number theoretic problems have been made. One line of inquiry attempts to characterise the set of definable functions $f : \mathbb{R} \to \mathbb{R}$ having the property that $f(\mathbb{N}) \subset \mathbb{N}$. For example, a result of ...

03C64 ; 26E05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Logic and Foundations

The Pila-Wilkie theorem gives a bound on the number of rational points of bounded height lying on the transcendental part of a set definable in an o-minimal expansion of the real field. After discussing this result, I’ll describe various classes of curves for which the Pila-Wilkie bound can be improved. I’ll also give some examples and perhaps some applications.

03C64 ; 26E05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Algebraic and Complex Geometry;Logic and Foundations

The concept of a "transseries" is a natural extension of that of a Laurent series, allowing for exponential and logarithmic terms. Transseries were introduced in the 1980s by the analyst Écalle and also, independently, by the logicians Dahn and Göring. The germs of many naturally occurring real-valued functions of one variable have asymptotic expansions which are transseries. Since the late 1990s, van den Dries, van der Hoeven, and myself, have pursued a program to understand the algebraic and model-theoretic aspects of this intricate but fascinating mathematical object. A differential analogue of “henselianity" is central to this program. Last year we were able to make a significant step forward, and established a quantifier elimination theorem for the differential field of transseries in a natural language. My goal for this talk is to introduce transseries without prior knowledge of the subject, and to explain our recent work. The concept of a "transseries" is a natural extension of that of a Laurent series, allowing for exponential and logarithmic terms. Transseries were introduced in the 1980s by the analyst Écalle and also, independently, by the logicians Dahn and Göring. The germs of many naturally occurring real-valued functions of one variable have asymptotic expansions which are transseries. Since the late 1990s, van den Dries, van der Hoeven, and myself, have ...

03C10 ; 03C64 ; 26A12

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Dynamical Systems and Ordinary Differential Equations;Algebraic and Complex Geometry;Logic and Foundations

It is by now well known that collections of compact (real-)analytic vector fields and locally connected trajectories thereof are mutually well behaved in a way that can be made precise via notions from mathematical logic, namely, by saying that the structure on the real field generated by the collection is o-minimal (that is, every subset of the real numbers definable in the structure is a finite union of points and open intervals). There are also many examples known where the assumption of analyticity or compactness can be removed, yet o-minimality still holds. Less well known is that there are examples where o-minimality visibly fails, but there is nevertheless a well-defined notion of tameness in place. In this talk, I will: (a) make this weaker notion of tameness precise; (b) describe a class of examples where the weaker notion holds; and (c) present evidence for conjecturing that there might be no other classes of examples of “non-o-minimal tameness”. (Joint work with Patrick Speissegger.)
A few corrections and comments about this talk are available in the PDF file at the bottom of the page.
It is by now well known that collections of compact (real-)analytic vector fields and locally connected trajectories thereof are mutually well behaved in a way that can be made precise via notions from mathematical logic, namely, by saying that the structure on the real field generated by the collection is o-minimal (that is, every subset of the real numbers definable in the structure is a finite union of points and open intervals). There are ...

03C64 ; 34E05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Exposés de recherche;Algebra;Logic and Foundations

The field of Laurent series (with real coefficients, say) has a natural derivation but is too small to be closed under integration and other natural operations such as taking logarithms of positive elements. The field has a natural extension to a field of generalized series, the ordered differential field of transseries, where these defects are remedied in a radical way. I will sketch this field of transseries. Recently it was established (Aschenbrenner, Van der Hoeven, vdD) that the differential field of transseries also has very good model theoretic properties. I hope to discuss this in the later part of my talk. The field of Laurent series (with real coefficients, say) has a natural derivation but is too small to be closed under integration and other natural operations such as taking logarithms of positive elements. The field has a natural extension to a field of generalized series, the ordered differential field of transseries, where these defects are remedied in a radical way. I will sketch this field of transseries. Recently it was established ...

12L12 ; 12H05 ; 03C60 ; 03C64

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Algebra;Logic and Foundations

O-minimalism is the first-order theory of o-minimal structures, an important class of models of which are the ultraproducts of o-minimal structures. A complete axiomatization of o-minimalism is not known, but many results are already provable in the weaker theory DCTC given by definable completeness and type completeness (a small extension of local o-minimality). In DCTC, we can already prove how many results from o-minimality (dimension theory, monotonicity, Hardy structures) carry over to this larger setting upon replacing ‘finite’ by ‘discrete, closed and bounded’. However, even then cell decomposition might fail, giving rise to a related notion of tame structures. Some new invariants also come into play: the Grothendieck ring is no longer trivial and the definable, discrete subsets form a totally ordered structure induced by an ultraproduct version of the Euler characteristic. To develop this theory, we also need another first-order property, the Discrete Pigeonhole Principle, which I cannot yet prove from DCTC. Using this, we can formulate a criterion for when an ultraproduct of o-minimal structures is again o-minimal. O-minimalism is the first-order theory of o-minimal structures, an important class of models of which are the ultraproducts of o-minimal structures. A complete axiomatization of o-minimalism is not known, but many results are already provable in the weaker theory DCTC given by definable completeness and type completeness (a small extension of local o-minimality). In DCTC, we can already prove how many results from o-minimality (dimension theory, ...

03C64

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxi; 849 p.
ISBN 978-0-691-17543-0

Annals of mathematics studies

Localisation : Ouvrage RdC (ASCH)

série arithmétique # série divergente # expansion asymptotique # algèbre différentielle

12-02 ; 03-02 ; 12L12 ; 12H05 ; 03C64

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 110 p.
ISBN 978-0-8218-2705-5

Fields institute monographs , 0015

Localisation : Collection 1er étage;Réserve

théorie algébrique des modèles # corps algébrique # modèle # corps différentiel # logique # o-minimalité # congrugence # algèbre finie

12L12 ; 03C05 ; 03C64

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- vii; 216 p.
ISBN 978-0-691-16169-3

Annals of mathematics studies , 0192

Localisation : Ouvrage RdC (HRUS)

théorie des modèles # topologie # algèbre modérée # espace de Berkovich

14G22 ; 14-02 ; 03C98 ; 03C64 ; 03C60 ; 54F99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiv; 284 p.
ISBN 978-2-85629-856-5

Panoramas et synthèses , 0052

Localisation : Collection 1er étage

bi-algébricité # borne explicite # conjecture d’André-Oort # conjecture de Manin-Mumford # conjecture de Zilber-Pink # géométrie diophantienne # géométrie tropicale # hauteur # intersection exceptionnelle # multiplication complexe # o-minimalité # problème de Lehmer # sous-groupe algébrique # sous-variété de tores algébriques # théorème de Pila-Wilkie # théorie ergodique # transcendance fonctionnelle # variété abélienne # variété de Shimura

03C64 ; 11G10 ; 11G15 ; 11G50 ; 11J81 ; 14G35 ; 14K15 ; 14G40 ; 14J20 ; 14T05 ; 22E40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxiii; 180 p.
ISBN 978-2-85629-857-2

Panoramas et synthèses , 0051

Localisation : Collection 1er étage

17e problème de Hilbert # algorithme # anneau de Grothendieck # application rationnelle continue # application régulue # carte routière # certificat de positivité # classification des germes analytiques # complexité # difféomorphisme birationnel # éclatement # élimination des quantificateurs # ensemble algébrique réel # ensemble semi-algébrique # ensemble symétrique par arcs # espace des arcs # fonction zéta # géométrie diophantienne # groupe d’automorphismes # modèle rationnel # nombres de Betti # nombres de Betti virtuels # polynôme hyperbolique # polynôme positif # positivstellensätze # quasianalyticité # somme de carrés # structure o-minimale # surface algébrique rationnelle # surface topologique 17e problème de Hilbert # algorithme # anneau de Grothendieck # application rationnelle continue # application régulue # carte routière # certificat de positivité # classification des germes analytiques # complexité # difféomorphisme birationnel # éclatement # élimination des quantificateurs # ensemble algébrique réel # ensemble semi-algébrique # ensemble symétrique par arcs # espace des arcs # fonction zéta # géométrie diophantienne # groupe ...

03C64 ; 11G99 ; 11U09 ; 14A10 ; 14P10 ; 14P15 ; 14P25 ; 14Pxx ; 26E10 ; 32B10 ; 68W30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 452 p.
ISBN 978-3-7643-2189-5

Monografie matematyszne , 0063

Localisation : Ouvrage RdC (SCHU)

topologie # espace singulier # faisceau constructible # complexe cellulaire # ensemble semi-algébrique # ensemble sous-analytique # ensemble algébrique complexe # espace stratifié # espace de quotient # fibration de Milnox # géométrie réelle # localisation # point fixe # cohomologie # lemme de Thom # théorie de Morse

14-02 ; 14F17 ; 14F25 ; 14F45 ; 14Pxx ; 32-02 ; 32C18 ; 32F10 ; 32F27 ; 30B20 ; 32Sxx ; 03C64 ; 55N25 ; 55N30 ; 55N33 ; 55N91

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- v; 130 p.
ISBN 978-0-8218-4870-8

Memoirs of the american mathematical society , 0208

Localisation : Collection 1er étage

théorie des modèles # ensemble ordonné # analyse globale # variétés analytiques réelles # grassmannien # flot de Morse # stratifications # condition de Whitney et Verdier # index de Conley

03C64 ; 06F30 ; 37B30 ; 58A07 ; 58A10 ; 58A17 ; 58A25 ; 58A35 ; 58E05 ; 58K50 ; 55P05 ; 55U10 ; 57Q05 ; 57R05 ; 58-02 ; 55-02 ; 57-02 ; 37-02 ; 58Axx ; 37B10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- vii-242 p.
ISBN 978-1-4614-4041-3

Fields institute communications , 0062

Localisation : Collection 1er étage

théorie des modèles # corps de Hardy # ensemble de Pfaff # théorème des compléments # O-minimalité # structure O-minimale

00B15 ; 03C64 ; 14P15 ; 26A99 ; 32C05 ; 34C08

... Lire [+]

Z