We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or are local quotient stacks. We also extend Toën and Antieau–Gepner’s results on derived Azumaya algebras and compact generation of sheaves on linear categories from derived schemes to derived Deligne–Mumford stacks. These are all consequences of our main theorem: compact generation of a presheaf of triangulated categories on an algebraic stack is local for the quasi-finite flat topology.

L'espace des lacets lisses C(S^1,M) associé à une variété symplectique M se voit doté d'une structure (quasi-)symplectique induite par celle de M.Nous traiterons dans cette thèse d'un analogue algébrique de cet énoncé.Dans leur article, Kapranov et Vasserot ont introduit l'espace des lacets formels associé à un schéma. Il s'agit d'un analogue algébrique à l'espace des lacets lisses.Nous generalisons ici leur construction à des lacets de dimension supérieure. Nous associons à tout schéma X -- pas forcément lisse -- l'espace L^d(X) de ses lacets formels de dimension d.Nous démontrerons que ce dernier admet une structure de schéma (dérivé) de Tate : son espace tangent est de Tate, c'est-à-dire de dimension infinie mais suffisamment structuré pour se soumettre à la dualité.Nous définirons également l'espace B^d(X) des bulles de X, une variante de l'espace des lacets, et nous montrerons que le cas échéant, il hérite de la structure symplectique de X. Notons que ces résultats sont toujours valides dans des cas plus généraux : X peut être un champs d'Artin dérivé.Pour démontrer nos résultats, nous définirons ce que sont les objets de Tate dans une infinie-catégorie C stable et complète par idempotence.Nous prouverons au passage que le spectre de K-théorie non-connective de Tate(C) est équivalent à la suspension de celui de C, donnant une version infini-catégorique d'un résultat de Saito.Dans le dernier chapitre, nous traiterons d'un problème différent. Nous démontrerons l'existence d'une structure d'algèbre de Lie sur le tangent décalé de n'importe quel champ d'Artin dérivé X. Qui plus est, ce tangent agit sur tout quasi-cohérent E, l'action étant donnée par la classe d'Atiyah de E.Ces résultats sont par exemple valides dans le cas d'un schéma X sans hypothèse de lissité. / If M is a symplectic manifold then the space of smooth loops C(S^1,M) inherits of a quasi-symplectic form. We will focus in this thesis on an algebraic analogue of that result.In their article, Kapranov and Vasserot introduced and studied the formal loop space of a scheme X. It is an algebraic version of the space of smooth loops in a differentiable manifold.We generalize their construction to higher dimensional loops. To any scheme X -- not necessarily smooth -- we associate L^d(X), the space of loops of dimension d. We prove it has a structure of (derived) Tate scheme -- ie its tangent is a Tate module: it is infinite dimensional but behaves nicely enough regarding duality.We also define the bubble space B^d(X), a variation of the loop space.We prove that B^d(X) is endowed with a natural symplectic form as soon as X has one.To prove our results, we develop a theory of Tate objects in a stable infinity category C. We also prove that the non-connective K-theory of Tate(C) is the suspension of that of C, giving an infinity categorical version of a result of Saito.The last chapter is aimed at a different problem: we prove there the existence of a Lie structure on the tangent of a derived Artin stack X. Moreover, any quasi-coherent module E on X is endowed with an action of this tangent Lie algebra through the Atiyah class of E. This in particular applies to not necessarily smooth schemes X.

Le premier chapitre montre par des méthodes toriques ($G-$graphes) que pour tout entier positif $n$, le quotient de l'espace affine à $n$ dimensions par le groupe cyclique $G_n$ d'ordre $2^n-1$ admet le $G_n$-schema de Hilbert comme résolution lisse crepante. Le deuxième chapitre contient des résultats sur les champs algébriques (construction du champ algébrique lisse associé à une log-paire). Le troisième chapitre montre l'équivalence entre la catégorie dérivée bornée des faisceaux cohérents $G_n-$équivariants sur l'espace affine et celle des faisceaux cohérents sur la résolution $G_n-$Hilb. Chapitre 4 donne une réalisation géométrique de la conjecture de Broué via la correspondance de McKay. L'annexe contient des résultats sur les groupes trihédraux, y compris un programme magma.

This thesis consists of three articles treating topics in the theory of algebraic stacks. The first two papers deal with motivic invariants. In the first, we show that the class of the classifying stack BPGLn is the inverse of the class of PGLn in the Grothendieck ring of stacks for n ≤ 3. This shows that the multiplicativity relation holds for the universal torsors, although it is known not to hold for torsors ingeneral for the groups PGL2 and PGL3. In the second paper, we introduce an exponential function which can be viewed as a generalisation of Kapranov's motivic zeta function. We use this to derive a binomial theorem for a power operation defined on the Grothendieck ring of varieties. As an application, we give an explicit expression for the motivic class of a universal quasi-split torus, which generalises a result by Rökaeus. The last paper treats destackification. We give an algorithm for removing stackiness from smooth, tame stacks with abelian stabilisers by repeatedly applying stacky blow-ups. As applications, we indicate how the result can be used for destackifying general Deligne–Mumford stacks in characteristic zero, and to obtain a weak factorisation theorem for such stacks. / <p>At the time of the doctoral defense, the following papers were unpublished and had a status as follows: Paper 1: Manuscript. Paper 2: Manuscript. Paper 3: Manuscript.</p>