In this thesis, we present a detailed exposition of Koszul algebras and Koszul duality. We begin with an overview of the required concepts of graded algebras and homological algebra. We then give a precise treatment of Koszul and quadratic algebras, together with their dualities. We fill in some arguments that are omitted in the literature and work out a number of examples in full detail to illustrate the abstract concepts.

Recent work of Bambozzi, Ben-Bassat, and Kremnitzer suggests that derived analytic geometry over a valued field k can be modelled as geometry relative to the quasi-abelian category of Banach spaces, or rather its completion Ind(Ban_k). In this thesis we develop a robust theory of homotopical algebra in Ch(E) for E any sufficiently 'nice' quasi-abelian, or even exact, category. Firstly we provide sufficient conditions on weakly idempotent complete exact categories E such that various categories of chain complexes in E are equipped with projective model structures. In particular we show that as soon as E has enough projectives, the category Ch₊(E) of bounded below complexes is equipped with a projective model structure. In the case that E also admits all kernels we show that it is also true of Ch≥0(E), and that a generalisation of the Dold-Kan correspondence holds. Supplementing the existence of kernels with a condition on the existence and exactness of certain direct limit functors guarantees that the category of unbounded chain complexes Ch(E) also admits a projective model structure. When E is monoidal we also examine when these model structures are monoidal. We then develop the homotopy theory of algebras in Ch(E). In particular we show, under very general conditions, that categories of operadic algebras in Ch(E) can be equipped with transferred model structures. Specialising to quasi-abelian categories we prove our main theorem, which is a vast generalisation of Koszul duality. We conclude by defining analytic extensions of the Koszul dual of a Lie algebra in Ind(Ban_k).

A prop profile of a differential geometric structure is a minimal resolution of an algebraic prop such that representations of this resolution are in one-to-one correspondence with structures of the given type. We begin this thesis with a detailed account of the algebraic tools necessary to construct prop profiles; we treat operads and props, and resolutions of these through Koszul duality. Our main results can be summarized as follows. Firstly, we contribute to the work of S.A. Merkulov on the prop profiles of Poisson and Nijenhuis structures. We prove that the operad of the latter prop profile is Koszul by showing that it has a PBW-basis, and we provide a geometrical interpretation of the former in terms of an L-infinity structure on the structure sheaf of a manifold. Secondly, we construct prop profiles of compatible Poisson and Nijenhuis structures. Representations of minimal resolutions of props correspond to Maurer-Cartan elements of certain Lie algebras associated to the resolved props. Also the differential geometric structures are defined as solutions of Maurer-Cartan equations. We show the correspondence between props and differential geometry by providing explicit isomorphisms between these Lie algebras. Thirdly, in order to construct the prop profiles of compatible Poisson and Nijenhuis structures we study operads of compatible algebraic structures. By studying Cohen-Macaulay properties of posets associated to such operads we prove the Koszulness of a large class of operads of compatible structures.

This thesis consists of four papers on the topics of free loop spaces, Koszul duality and A∞-algebras.  In Paper I we consider a definition of differential operators for noncommutative algebras. This definition is inspired by the connections between differential operators of commutative algebras, L∞-algebras and BV-algebras. We show that the definition is reasonable by establishing results that are analoguous to results in the commutative case. As a by-product of this definition we also obtain definitions for noncommutative versions of Gerstenhaber and BV-algebras.  In Paper II we calculate the free loop space homology of (n-1)-connected manifolds of dimension of at least 3n-2. The Chas-Sullivan loop product and the loop bracket are calculated. Over a field of characteristic zero the BV-operator is determined as well. Explicit expressions for the Betti numbers are also established, showing that they grow exponentially.  In Paper III we restrict our coefficients to a field of characteristic 2. We study the Dyer-Lashof operations that exist on free loop space homology in this case. Explicit calculations are carried out for manifolds that are connected sums of products of spheres.  In Paper IV we extend the Koszul duality methods used in Paper II by incorporating A∞-algebras and A∞-coalgebras. This extension of Koszul duality enables us to compute free loop space homology of manifolds that are not necessarily formal and coformal. As an example we carry out the computations for a non-formal simply connected 7-manifold. / Denna avhandling består av fyra artiklar inom ämnena fria öglerum, Koszuldualitet och A∞-algebror. I Artikel I behandlar vi en definition av differentialoperatorer för ickekommutativa algebror. Denna definition är inspirerad av kopplingar mellan differentialoperatorer för kommutativa algebror, L∞-algebror och BV-algebror. Vi visar att definitionen är rimlig genom att etablera resultat som är analoga med resultat i det kommutativa fallet. Som en biprodukt får vi också definitioner för ickekommutativa varianter av Gerstenhaber och BV-algebror. I Artikel II beräknar vi den fria öglerumshomologin av (n-1)-sammanhängande mångfalder av dimension minst 3n-2. Chas-Sullivans ögleprodukt och öglehake beräknas. Över en kropp av karakteristik noll beräknas även BV-operatorn. Explicita uttryck för Bettitalen fastställs också, vilka visar att de växer exponentiellt. I Artikel III begränsar vi koefficienterna till en kropp av karakteristik 2. Vi studerar Dyer- Lashofoperationer som existerar på den fria öglerumshomologin i detta fall. Explicita beräkningar görs för mångfalder som är sammanhängande summor av produkter av sfärer. I Artikel IV utvidgar vi Koszuldualitetmetoden som används i Artikel II genom att inkorporera A∞-algebror och A∞-koalgebror. Denna utvidgning av Koszuldualitet gör det möjligt att beräkna fri öglerumshomologi för mångfalder som inte nödvändigtvis är formella och koformella. Som ett exempel utför vi beräkningar för en ickeformell enkelt sammanhängande 7-mångfald. / <p>At the time of the doctoral defense, the following papers were unpublished and had a status as follows: Paper 3: Manuscript. Paper 4: Manuscript.</p>

No description available.

Nous introduisons les notions de forêts préordonnées et préordonnées en tas, généralisant les constructions des forêts ordonnées et ordonnées en tas. On démontre que les algèbres des forêts préordonnées et préordonnées en tas sont des algèbres de Hopf pour le coproduit de coupes et on construit un morphisme d'algèbres de Hopf dans l'algèbre des mots tassés. Ensuite, nous définissons un autre coproduit sur les forêts préordonnées donné par la contraction d'arêtes et nous donnons une description combinatoire de morphismes définis sur des algèbres de Hopf de forêts et à valeurs dans les algèbres de Hopf de battages et de battages contractants. Par ailleurs, nous introduisons la notion d'algèbre bigreffe, généralisant les notions d'algèbres de greffes à gauche et à droite. Nous décrivons l'algèbre bigreffe libre engendrée par un générateur et nous munissons cette algèbre d'une structure d'algèbre de Hopf et d'un couplage. Nous étudions ensuite le dual de Koszul de l'operade bigreffe et nous donnons une description combinatoire de l'algèbre bigreffe dual engendrée par un générateur. A l'aide d'une méthode de réécriture, nous prouvons que l'opérade bigreffe est Koszul. Nous définissons la notion de bialgèbre bigreffe infinitésimale et nous prouvons un analogue des théorèmes de Poincaré-Birkhoff-Witt et de Cartier-Milnor-Moore pour les bialgèbres bigreffe infinitésimales connexes. Pour finir, à partir de deux opérateurs de greffes, nous construisons des algèbres de Hopf d'arbres enracinés et ordonnés $ mathbf{B}^{i} $, $ i in mathbb{N}^{ast} $, $ mathbf{B}^{infty} $ et $ mathbf{B} $ vérifiant les relations d'inclusions $ mathbf{B}^{1} subseteq hdots mathbf{B}^{i} subseteq mathbf{B}^{i+1} subseteq hdots subseteq mathbf{B}^{infty} subseteq mathbf{B} $. On munit $ mathbf{B} $ d'une structure de bialgèbre dupliciale dendriforme et on en déduit que $ mathbf{B} $ est colibre et auto-duale. Nous démontrons que $ mathbf{B} $ est engendrée comme algèbre bigreffe par un générateur. / We introduce the notions of preordered and heap-preordered forests, generalizing the construction of ordered and heap-ordered forests. We prove that the algebras of preordered and heap-preordered forests are Hopf for the cut coproduct, and we construct a Hopf morphism to the Hopf algebra of packed words. In addition, we define another coproduct on the preordered forests given by the contraction of edges, and we give a combinatorial description of morphims defined on Hopf algebras of forests with values in the Hopf algebras of shuffes or quasi-shuffles. Moreover, we introduce the notion of bigraft algebra, generalizing the notions of left and right graft algebras. We describe the free bigraft algebra generated by one generator and we endow this algebra with a Hopf algebra structure, and a pairing. Next, we study the Koszul dual of the bigraft operad and we give a combinatorial description of the free dual bigraft algebra generated by one generator. With the help of a rewriting method, we prove that the bigraft operad is Koszul. We define the notion of infinitesimal bigraft bialgebra and we prove an analogue of Poincaré-Birkhoff-Witt and Cartier-Milnor-Moore theorems for connected infinitesimal bigraft bialgebras. Finally, with two grafting operators, we construct Hopf algebras of rooted and ordered trees $ mathbf{B}^{i} $, $ i in mathbb{N}^{ast} $, $ mathbf{B}^{infty} $ and $ mathbf{B} $ satisfying the inclusion relations $ mathbf{B}^{1} subseteq hdots mathbf{B}^{i} subseteq mathbf{B}^{i+1} subseteq hdots subseteq mathbf{B}^{infty} subseteq mathbf{B} $. We endow $ mathbf{B} $ with a structure of duplicial dendriform bialgebra and we deduce that $ mathbf{B} $ is cofree and self-dual. We prove that $ mathbf{B} $ is generated as bigraft algebra by one generator.

Dans cette thèse, nous nous intéressons aux propriétés homotopiques des algèbres sur une opérade, desopérades elles-mêmes et des opérades colorées, dans le monde des complexes de chaînes. Nousintroduisons une nouvelle adjonction bar-cobar entre les opérades unitaires et les coopéradesconilpotentes courbées. Ceci nous permet de munir ces dernières d'une structure de modèles induite parla structure projective des opérades le long de cette adjonction, qui devient alors une équivalence deQuillen. Ce résultat permet de passer, sans perte d'information homotopique, dans le monde descoopérades qui est plus puissant : on peut y décrire, par exemple, les objets fibrants-cofibrants en termesd'opérades à homotopie près. Nous appliquons ensuite la même stratégie aux algèbres sur une opérade.Pour cela, on munit la catégorie des cogèbres sur la coopérade duale de Koszul d'une structure demodèles induite par celle de la catégorie des algèbres d'origine le long de leur adjonction bar-cobar, quidevient une équivalence de Quillen. Cela nous permet de décrire explicitement pour la première fois despropriétés homotopique des algèbres sur une opérade non nécessairement augmentée. Dans unedernière partie, nous introduisons la notion d'opérade colorée à homotopie près que nous arrivons àcomparer aux infinies-opérades de Moerdijk--Weiss au moyen d'un foncteur : le nerf dendroidal. Nousmontrons qu'il étend des constructions dues à Lurie et à Faonte et nous étudions ses propriétéshomotopiques. En particulier, sa restriction aux opérades colorées est un foncteur de Quillen à droite.Tout ceci permet de relier explicitement deux mondes des opérades supérieures / This thesis deals with the homotopical properties of algebras over an operad, of operads themselves andof colored operads, in the framework of chain complexes. We introduce a new bar-cobar adjunctionbetween unital operads and curved conilpotent cooperads. This allows us to endow the latter with aDépôt de thèseDonnées complémentairesmodel structure induced by the projective model structure on operads along this adjunction, which thenbecomes a Quillen-equivalence. This result allows us to study the homotopy theory of operads in theworld of cooperads which is more powerful: for instance, fibrant-cofibrant objects can be described interms of operads up to homotopy. We then apply the same strategy to algebras over an operad. Morespecifically, we endow the category of coalgebras over the Koszul dual cooperad with a model structureinduced by that of the category of algebras along their bar-cobar adjunction, which becomes a Quillenequivalence.This allows us to describe explicitly for the first time some homotopy properties of algebrasover a not necessarily augmented operad. In the last part, we introduce the notion of homotopy coloredoperad that we compare to Moerdijk--Weiss' infinity-operads by means of a functor: the dendroidalnerve. We show that it extends existing constructions due to Lurie and Faonte and we study itshomotopical properties. In particular, we show that its restriction to colored operads is a right Quillenfunctor. All this allows us to connect explicitly two different worlds of higher operads