Reproduction de : Thèse de doctorat : Mathématiques appliquées : Toulouse, INPT : 2006. / Titre provenant de l'écran-titre. Bibliogr. 68 réf. Index.

Nous explicitons la cohomologie d'André-Quillen des algèbres sur une opérade à l'aide de la dualité de Koszul des opérades. Cette cohomologie est représentée par le complexe cotangent. Nous donnons des critères assurant que cette cohomologie s'écrit en termes de foncteur Ext. En particulier, c'est le cas des algèbres sur des opérades cofibrantes, ce qui fournit une nouvelle propriété de stabilité homotopique de ces algèbres. Nous généralisons ensuite la dualité de Koszul des algèbres associatives dans deux directions indépendantes. D'un côté, nous étendons la dualité de Koszul aux opérades non nécessairement augmentées de façon à étudier les algèbres unitaires. La notion de courbure apparaît pour coder le défaut d'augmentation. Nous obtenons ainsi les théories homotopiques et cohomologiques des algèbres associatives unitaires ou des algèbres de Frobenius avec unité et counité. Nous détaillons le cas des algèbres associatives unitaires. D'un autre côté, nous généralisons la dualité de Koszul aux algèbres sur une opérade. Nous montrons pour cela que le complexe cotangent est la bonne généralisation du complexe de Koszul.

Th. doct.--Informatique--Paris 7, 1995. / Bibliogr. p. 181-190. Lexique. Résumé en anglais et en français. 1996 d'après la déclaration de dépôt légal.

Freie Universiẗat, Diss., 2003--Berlin. / Dateiformat: zip, Dateien im PDF-Format.

Le but principal de cette thèse est de définir une extension de la traduction de double-négation de Gödel à tous les types tronqués, dans le contexte de la théorie des types homotopique. Ce but utilisera des théories déjà existantes, comme la théorie des faisceaux de Lawvere-Tierney, quenous adapterons à la théorie des types homotopiques. En particulier, on définira le fonction de faisceautisation de Lawvere-Tierney, qui est le principal théorème présenté dans cette thèse.Pour le définir, nous aurons besoin de concepts soit déjà définis en théorie des types, soit non existants pour l’instant. En particulier, on définira une théorie des colimits sur des graphes, ainsi que leur version tronquée, et une notion de modalités tronquées basée sur la définition existante de modalité.Presque tous les résultats présentés dans cette thèse sont formalisée avec l’assistant de preuve Coq, muni de la librairie [HoTT/Coq] / The main goal of this thesis is to define an extension of Gödel not-not translation to all truncated types, in the setting of homotopy type theory. This goal will use some existing theories, like Lawvere-Tierney sheaves theory in toposes, we will adapt in the setting of homotopy type theory. In particular, we will define a Lawvere-Tierney sheafification functor, which is the main theorem presented in this thesis.To define it, we will need some concepts, either already defined in type theory, either not existing yet. In particular, we will define a theory of colimits over graphs as well as their truncated version, and the notion of truncated modalities, based on the existing definition of modalities.Almost all the result presented in this thesis are formalized with the proof assistant Coq together with the library [HoTT/Coq]

On introduit dans ce mémoire le plan projectif RP[indice supérieur 2] et certaines notions de géométrie projective telles que les coordonnées homogènes, les transformations projectives et le birapport. On s'intéresse plus particulièrement aux structures projectives convexes réelles sur une paire de pantalons. L'objectif est de paramétriser l'ensemble des classes d'équivalence de telles structures. On démontre que cet ensemble est de dimension huit et on identifie chaque structure projective à une configuration géométrique que nous visualiserons à l'aide du logiciel Mathematica. Finalement, on s'intéresse à l'effet des différents paramètres sur l'image de l'application développante, qui forme une région convexe du plan projectif.

On s'interesse ici a la resolution numerique de problemes de controle optimal peu reguliers. On utilise a la base les methodes dites indirectes, a la fois precises et rapides, mais en pratique tres sensibles a l'initialisation. Cette difficulte nous amene a utiliser une demarche homotopique, dans laquelle on part d'un probleme apparente plus facile a resoudre. Le "suivi de chemin" de l'homotopie connectant les deux problemes est ici realise par un algorithme de type simplicial. On s'interesse en premier lieu a un probleme de transfert orbital avec maximisation de la masse utile, puis a deux problemes d'arcs singuliers. Les perspectives futures liees a ces travaux comprennent en particulier l'etude de problemes a contraintes d'etat, egalement delicats a resoudre par les methodes indirectes. Par ailleurs, on souhaite comparer cette approche avec les methodes directes, qui impliquent la discretisation totale ou partielle du probleme.

Dans cette thèse, nous nous intéressons aux feuilletages orientables en surfaces des variétés fermées de dimension 3. Nous prouvons que deux tels feuilletages sur une variété fermée orientable sont homotopes s'ils sont tendus et suffisamment proches. Pour cela, nous établissons d'abord une version ''à paramètre'' d'un théorème de Thurston selon lequel il est possible de prolonger certains feuilletages du tore-surface au tore solide. Dans ce travail, nous construisons un tel prolongement et nous utilisons le théorème d'Herman sur la conjugaison des difféomorphismes du cercle à des rotations pour établir la continuité de ce prolongement par rapport aux feuilletages. Ensuite nous montrons que l'espace des feuilletages en surfaces transverses à une fibration au-dessus d'une surface fermée orientable est homotope à un point. Enfin, nous prouvons le résultat annoncé en utilisant une idée de Thurston et la construction précédente. Nous en déduisons quelques conséquences sur la topologie locale de l'espace des feuilletages en surfaces sur les variétés fermées de dimension 3.

Ce travail introduit la notion de schéma d'Atiyah et Hitchin. Une variété algébrique raisonnable Y étant fixée, il s'agit d'une famille de nouveaux schémas, indexée par un entier positif m et notée $R_m(Y)$. Nous étudions les propriétés homotopiques de ces « espaces » au sens de Morel et Voevodsky. Les schémas $F_m$ des fractions rationnelles pointées de degré m constituent un exemple fondateur et fondamental. Du point de vue topologique, les travaux de G. Segal et F. Cohen et al. montrent que l'espace $F_m(C)$ approxime l'espace de lacets $Ω^2 S^3$. Nous formulons une série précise de conjectures visant à généraliser ces résultats dans un cadre algébrique. Le schéma $R_m(Y)$ approximerait l'espace de lacets motivique $Ω^{P¹} Σ^{P¹} Y$. Nous obtenons plusieurs résultats dans cette direction. En particulier : 1) Nous déterminons l'ensemble des composantes connexes algébriques naïves du schéma de fractions rationnelles $F_m$, au-dessus d'un corps de base. Le calcul est simple et élémentaire. On retrouve, à une complétion près, le groupe des classes d'homotopie d'endomorphismes pointés de la droite projective $P¹$, tel que calculé par Morel. 2) Nous construisons un morphisme algébrique reliant $R_mY$ à $Ω^{P¹} Σ^{P¹} Y$. 3) Lorsque Y est une variété algébrique complexe, nous explicitons le type d'homotopie de l'espace topologique $R_m(Y)(C)$ comme un foncteur en $Y(C)$. De plus, nous montrons que l'espace $R_m(Y)(C)$ admet un scindement stable dont les facteurs sont ceux du scindement de Snaith de l'espace $Ω² Σ² Y (C)$.

Thesis--Princeton University. / Includes bibliographical references.