Dans [PRID], Pridham a montré que tout n-champs d'Artin M admet une présentation en tant que schéma simplicial X. → M, telle que le schéma simplicial X satisfait à certaines propriétés notées par G.Pn,k de [GROTH]. Dans la présentation (…→ X2 → X1 → X0 → M), le schéma X1 représente une carte pour X0 x MX0. Donc, la lissité de X0 → M est équivalente à la lissité des deux projections ә0,ә1 : X1 → X0. Ce sont les deux premières parties de la condition de Grothendieck-Pridham, notées G.P1,0 et G.P1,1. Dans [BENZ12] nous avons introduit un n-champ d'Artin M des éléments de Maurer-Cartan d'une dg-catégorie. On a construit une carte, et on a déjà fait la preuve des premières conditions de lissité explicitement. Pour tout n et tout 0 ≤ k ≤ n Pridham considère un schéma noté MatchΛkn(X) avec un morphisme Xn → MatchΛkn(X). On construira explicitement le schéma simplicial de Grothendieck-Pridham X, on montrera la lissité formelle de cette carte précédente, ainsi que M est un n-champ géométrique. / In [PRID], Pridham has shown that any Artin n-stack M has a presentation as a simplicial scheme X. → M such that the simplicial scheme X satisfies certain properties denoted G.Pn,k of [GROTH]. In the presentation (…→ X2 → X1 → X0 → M), the scheme X1 represents a chart for X0 x MX0. Thus, the smoothness of X0 → M is equivalent to the smoothness of the two projections ә0,ә1 : X1 → X0. These are the first two parts of the Grothendieck-Pridham condition, denoted G.P1,0 and G.P1,1. In [BENZ12] we introduced an Artin n-stack M of Maurer-Cartan elements of a dg-category. We constructed a chart, and have already proven the first smoothness conditions explicitly. For any n and any 0 ≤ k ≤ n Pridham considers a scheme denoted MatchΛkn(X) with a morphism Xn → MatchΛkn(X). We will construct explicitly the Grothendieck-Pridham simplicial scheme and show the smoothness of the preceding map, therefore M is a geometric n-stack.

Les algèbres cellulaires furent introduite par J.J. Graham et G.I. Lehrer en 1996. Elles forment une famille d’algèbres associatives de dimension finie définies en termes de « données cellulaires » satisfaisant certains axiomes. Ces données cellulaires, lorsqu’elles sont identifiées pour une certaine algèbre, permettent une construction explicite de tous ses modules simples, à isomorphisme près, et de leurs couvertures projectives. Dans ce mémoire, nous définissons ces algèbres cellulaires en introduisant progressivement chacun des éléments constitutifs d’une façon axiomatique. Deux autres familles d’algèbres associatives sont discutées, à savoir les algèbres quasihéréditaires et celles dont les modules forment une catégorie de plus haut poids. Ces familles furent introduites durant la même période de temps, au tournant des années quatre-vingtdix. La relation entre ces deux familles ainsi que celle entre elles et les algèbres cellulaires sont prouvées. / Cellular algebras were introduced by J.J. Graham and G.I. Lehrer in 1996. They are a class of finite-dimensional associative algebras defined in terms of a “cellular datum” satisfying some axioms. This cellular datum, when made explicit for a given associative algebra, allows for the explicit construction of all its simple modules, up to isomorphism, and of their projective covers. In this work, we define these cellular algebras by introducing each building block of the cellular datum in a fairly axiomatic fashion. Two other families of associative algebras are discussed, namely the quasi-hereditary algebras and those whose modules form a highest weight category. These families were introduced at about the same period. The relationships between these two, and between them and the cellular ones, are made explicit.

L'implantation actuelle des solveurs d'équations différentielles combine les deux méthodes de classification et de réduction d'ordre. La méthode de classification consiste à tester si l'équation à résoudre figure, modulo un renommage des variables, dans une liste d'équations que l'on sait résoudre. La méthode de réduction d'ordre, basée sur l'analyse des symétries de Lie, est réservée aux équations qui ne font pas partie de cette liste.<br /><br />En pratique, plusieurs difficultés apparaissent. Tout d'abord, le calcul des quadratures ainsi que l'intégration des systèmes d'EDP (même linéaires) n'est pas chose facile. De ce fait, il arrive souvent que le solveur se contente de retourner en sortie des résultats partiels, en particulier lorsque la dimension du (pseudo)groupe de symétries de l'équation à résoudre est petite. Enfonçons le clou : lorsque cette dimension est nulle, les solveurs, tel qu'il sont conçus actuellement, sont incapables d'intégrer ou même de réduire l'ordre de l'équation.<br /><br />Cette thèse s'inscrit donc dans l'effort d'amélioration des solveurs actuels. Nous allons présenter et montrer la faisabilité d'une architecture, totalement nouvelle, pour la conception d'un solveur d'équations différentielles basé sur la méthode d'équivalence de Cartan. Notre solveur utilise les invariants différentiels produits par la méthode de Cartan pour détecter l'existence d'une équation différentielle de la liste de Kamke, équivalente à l'équation que l'on veut résoudre et calculer le changement de variables qui réalise cette équivalence.<br /><br />Ceci dit, le calcul du changement de variables est une question qui peut être délicate. En général, il est solution d'un système d'EDP. Nous montrons que lorsque le pseudo-groupe des transformations autorisées est choisi tel que le pseudo-groupe de symétries de l'équation cible est discret, intuitivement, le changement de variables s'obtient sans intégrer d'équations différentielles uniquement en résolvant des équations algébriques.

Darbe nagrinėjamos simetrinės trečiosios eilės liestinės sluoksniuotės, kurios apibrėžiamos kaip 3 - džetų aibės. Surasta simetrinės erdvės izotropijų grupė, o taip pat jos izomorfijų grupė. Gautos izomorfijų grupės struktūrinės lygtys, surasti erdvės Maurerio – Kartano lygčių analogai, įrodytos formulės, išreiškiančios indukuotosios afiniosios sieties kreivumo tenzorių komponentes izomorfijų grupės struktūrinėmis konstantomis. Taip pat gauta visa eilė tapatybių, siejančių kreivumo objektus ir izomorfijų grupės struktūrines konstantas (apibendrintos Ričio ir Bianchi tapatybės). / The paper examined the symmetric third order tangent bundle, defined as 3- jet space. Found symmetric space isotropy group, as well as its isomorphy group. The resulting structural equation of isomorphy group, find this area Maurer - Cartan analogues of equations, an established formula, expressing inducted affines connection component of curvature tensors of the isomorphy group structural constants. Also received identities connecting the curvature objects structural constants of isomorphy group (generalized in Riči and Bianchi identity).

In this thesis, we investigate supersymmetric quantum mechanics (SUSYQM) and its relation to index theorems and equivariant cohomology. We define some basic constructions on super vector spaces in order to set the language for the rest of the thesis. The path integral in quantum mechanics is reviewed together with some related calculational methods and we give a path integral expression for the Witten index. Thereafter, we discuss the structure of SUSYQM in general. One shows that the Witten index can be taken to be the difference in dimension of the bosonic and fermionic zero energy eigenspaces. In the subsequent section, we derive index theorems. The models investigated are the supersymmetric non-linear sigma models with one or two supercharges. The former produces the index theorem for the spin-complex and the latter the Chern-Gauss-Bonnet Theorem. We then generalise to the case when a group action (by a compact connected Lie group) is included and want to consider the orbit space as the underlying space, in which case equivariant cohomology is introduced. In particular, the Weil and Cartan models are investigated and SUSYQM Lagrangians are derived using the obtained differentials. The goal was to relate this to gauge quantum mechanics, which was unfortunately not successful. However, what was shown was that the Euler characteristics of a closed oriented manifold and its homotopy quotient by U(1)n coincide.

La première partie présente des calculs explicites de terminaison effective de l'algorithme de Kohn proposée par Siu. Dans la deuxième partie, nous étudions la géométrie des hypersurfaces réelles dans Cⁿ, et nous calculons des invariants explicites avec la méthode d'équivalences de Cartan pour déterminer les lieux CR-ombilics. / The first part of the thesis consists of calculations around Siu's effective termination of Kohn's algorithm. The second part of the thesis studies the CR real hypersurfaces in complex spaces and calculates various explicit invariants using Cartan's equivalence method to study CR-umbilical points.

Ein bedeutender Satz von L. Bungart und H. Grauert besagt, dass, für eine Gruppe G von invertierbaren Elementen einer Banachalgebra, je zwei G-wertige holomorphe Kozyklen über einer beliebigen Steinschen Mannigfaltigkeit holomorph äquivalent sind, wenn sie dort stetig äquivalent sind. Eine einfachere Form dieses Satzes wurde erstmals von K. Oka bewiesen. Aussagen dieser Art werden deshalb auch Okasche Prinzipe oder Oka-Grauert-Prinzipe genannt. Der Bungert-Grauert-Satz ist auch in dem Fall von Bedeutung, in dem die Steinsche Mannigfaltigkeit ein Gebiet in der komplexen Ebene ist. Man kann deshalb in der Literatur auch direkte Beweise für den Spezialfall finden, in dem ein G-wertiger holomorpher, stetig trivialer Kozyklus betrachtet wird. Dieser ist, nach dem oben erwähnten Satz, dann auch holomorph trivial. Ziel dieser Dissertation ist es, den Bungart-Grauert-Satz für Gebiete in der komplexen Ebene auch im allgemeinen Fall direkt zu beweisen. Dieser direkte Beweis ist wesentlich einfacher als der bisherige und muss nicht, wie bei L. Bungart und H. Grauert, auf eine Theorie von mehreren Veränderlichen zurückgreifen. Wie in den Arbeiten von L. Bungart und H. Grauert gezeigt, kann dies durch das sogenannte Verdrillen, einer Methode aus einer allgemeinen Theorie von holomorphen Kozyklen mit Werten in Bündeln von Gruppen, erzielt werden. Der größte Teil der Dissertation besteht deshalb darin, eine solche Theorie im Fall von Gebieten in der komplexen Ebene direkt aufzubauen. / An important theorem of L. Bungart and H. Grauert says that for the group G of invertible elements of a banachalgebra, two holomorphic, G-valued cocycles over a Stein manifold, which are continiously equivalent, are holomorphically equivalent there. A simpler form of that theorem was first proven by K. Oka. That''s why theorems like this are known as Oka-Grauert-priciples as well. The Bungart-Grauert theorem is also significant if the Stein manifold is a domain in the complex plane. That''s why direct proofs of the special case, in which a continiously trivial, holomorphic cocycle is considered, can also be found in literature. Following the Bungart-Grauert theorem mentioned above, such a cocycle is also holomorphically trivial. The goal of this thesis is to prove the general case of the Bungart-Grauert theorem for a domain in the complex plane directly. That direct proof is much more simple than the old one. Furthermore this direct proof doesn''t have to resort to a theory of multiple variables, unlike the proof from L. Bungart and H. Grauert does. As shown in the original works, such a proof can be archieved by using the so called twisting. Twisting is a method from a theory of holomorphic cocycles with values in bundles of groups. In the main part of this thesis such a theory is build directly for domains in the complex plane.

Dans cette thèse on a étudié plusieurs problèmes<br />algébriques relatifs à une superalgèbre de Lie qui peuvent être<br />réduits à la résolution d'une équation fonctionnelle. Cette<br />technique a permis d'obtenir des résultats qui sont nouveaux<br />aussi pour une algèbre de Lie ordinaire et qui sont indépendants<br />de la classification des algèbres de Lie.