Dans l'optique d'étudier les modules de génération finie sur des algèbres de dimension finie, il a été développé ces dernières années une méthode diagramatique, essentiellement due à P. Gabriel, basée sur des carquois, c'est-à-dire sur des graphes orientées finis. Plus précisément, il a été démontré que pour toute algèbre A sobre de dimension finie sur un corps k algébriquement clos, il existe un carquois unique Q et au moins un idéal I admissible de l'algèbre kQ, l'algèbre des chemins de Q, tels que A soit isomorphe à kQ=I. Un tel couple (Q; I) est nommé une présentation de A par carquois et relations. Pour chaque paire (Q; I), nous pouvons définir un groupe fondamental Pi1(Q; I). En général, cependant, différentes présentations d'une même algèbre peuvent conduire à des groupes fondamentaux difféerents. Ainsi, une algèbre dont toutes les présentations donnent un groupe fondamental trivial est appelée simplement connexe. L'importance des algèbres simplement connexes dans la théorie des représentations d'algèbres réside dans le fait que souvent il est possible de réduire, avec l'aide des recouvrements, l'étude des modules indécomposables d'une algèbre à ceux d'une algèbre simplement connexe bien choisie. Le premier résultat consiste à donner une vision géométrique du groupe fondamental pour une certaine classe d'algèbre : les algèbres d'incidence. Ces algèbres ont une particularité : leur groupe fondamental ne dépend pas du choix de la présentation. Ainsi, à chaque algèbre d'incidence, il est possible d'associer un groupe fondamental algébrique. Par ailleurs, à partir de ce poset, est possible de construire un complexe simplicial qui possède quant à lui un groupe fondamental topologique. Nous prouvons, ici, que ces groupes sont isomorphes. Ce lien permet non seulement d'adapter certains théorèmes de topologie tel que le théorème de Van Kampen, mais également de faire le lien entre des résultats déjà établis en topologie et d'autres en théorie des représentations. Dans un deuxième temps, afn de donner une vision géométrique de tout groupe fondamen- tal algébrique, nous avons associé à toute présentation (Q; I) d'algèbre une algèbre d'incidence A dont le groupe fondamental a la particularité, d'après le résultat précédent, de se réaliser géométriquement. Nous montrons ensuite que les groupes fondamentaux précédents s'insèrent dans la suite exacte : 1 --> H --> Pi1(Q; I) --> Pi1(A) --> 1 où H est un sous-groupe décrit par générateur et relations. Nous donnons également de nom- breux cas où le sous groupe H est trivial. Enfin, nous donnons un algorithme de calcul du groupe fondamental, qui permet de présenter rapidement le groupe fondamental par générateurs et relations. Pour calculer le groupe fondamental d'un couple (Q; I), nous montrons qu'il est isomorphe au groupe fondamental d'un couple (Q0; I0) où Q0 contient un sommet de moins que Q. Ainsi en réitérant le processus, le groupe fondamental Pi1(Q; I) est isomorphe au groupe fondamental d'un carquois ne contenant qu'un seul sommet, ce qui donne une présentation par générateurs et relations.

En 1984 Jones découvrit son invariant polynomial, qui ne ressemblait à aucun concept connu auparavant. En quelques années cette découverte a provoqué l'invention de nombreux autres invariants polynomiaux et des invariants dits quantiques ou de type fini, issus des représentations du groupe des tresses et souvent inspirés par des analogies avec la physique théorique. Malgré leurs mérites pour la théorie des nœuds et des 3-variétés, ces invariants restent peu compris du coté de la topologie algébrique, et parfois de la topologie tout court. Ce mémoire présente et discute quelques éléments de réponse.

En s'inspirant du point de vue adopté par Francis Brown, nous examinons la structure d'algèbre de Hopf des multizêtas motiviques cyclotomiques, qui sont des périodes motiviques du groupoïde fondamental de la droite projective moins 0, l'infini et les racines Nèmes de l'unité. Par application d'un morphisme période surjectif (conjecturé isomorphisme), nous pouvons déduire des résultats (identités, familles génératrices, etc.) sur les multizêtas cyclotomiques (complexes). La coaction de cette algèbre de Hopf (formule combinatoire explicite) est duale à l'action d'un dénommé groupe de Galois motivique sur ces périodes motiviques. Ces recherches sont ainsi motivées par l'espoir d'une théorie de Galois pour les périodes, étendant la théorie de Galois usuelle pour les nombres algébriques. (i) Nous présentons de nouvelles relations entre les sommes d'Euler (N=2) motiviques et deux nouvelles bases (conjecturées identiques) pour les multizêtas motiviques (N=1): Hoffman star (sous une conjecture analytique) et une seconde via les sommes d'Euler motiviques. (ii) Nous appliquons des idées de descentes galoisiennes à l'étude de ces périodes, en regardant notamment comment les multizêtas motiviques relatifs aux racines N' èmes de l'unité se plongent dans ceux associés aux racines Nèmes, lorsque N' divise N. Après avoir fourni des critères généraux, nous nous tournons vers les cas N égal à 2,3,4,6, 8, pour lesquels le groupoïde fondamental motivique engendre la catégorie des motifs de Tate mixtes sur l'anneau des entiers du Nème corps cyclotomique ramifié en N (non ramifié pour 6). Pour ces valeurs, nous explicitons les descentes galoisiennes, et étendons les résultats de Pierre Deligne / Following F. Brown's point of view, we look at the Hopf algebra structure of motivic cyclotomic multiple zeta values, which are motivic periods of the fundamental groupoid of the projective line minus 0, infinity and N roots of unity. By application of a surjective period map (conjectured isomorphism), we deduce results (generating families, identities, etc.) on cyclotomic multiple zeta values, which are complex numbers. The coaction of this Hopf algebra (explicit combinatorial formula) is the dual of the action of a so-called motivic Galois group on these specific motivic periods. This entire study was motivated by the hope of a Galois theory for periods, which should extend the usual one for algebraic numbers.(i)In the first part, we focus on the case of motivic multiple zeta values (N = 1) and Euler sums (N = 2). In particular, we present new bases for motivic multiple zeta values: one via motivic Euler sums, and another (depending on an analytic conjecture) which is known as the Hoffman star basis; under a general motivic identity that we conjecture, these bases are identical.
(ii)In the second part, we apply some Galois descents ideas to the study of these periods, and examine how multiple zeta values relative to N' roots of unity are embedded into those relative to N roots, when N' divide N. After giving some general criteria for any N, we focus on the cases N=2,3,4, 6, 8, for which the motivic fundamental group generates the category of mixed Tate motives on the ring of integer of the N cyclotomic field ramified in N (unramified if N=6). For those N, we are able to construct Galois descents explicitly, and extend P. Deligne's results.

Nous commençons par développer la notion de groupe fondamental d'un champ algébrique, à l'aide de sa catégorie de revêtements étales. Cette définition coïncide avec celle, en termes de schémas simpliciaux, de T. Oda. Nous montrons aussi qu'elle permet de retrouver le groupe fondamental profini de l'orbifold analytique associé puis établissons une suite exacte reliant groupe fondamental géométrique et algébrique d'un champ algébrique sur un corps. Dans un deuxième chapitre, après avoir défini les notions d'espace tangent et de diviseur à croisements normaux dans le cadre des champs algébriques, nous généralisons celle de point base tangentiel, bien connue pour les schémas de carcatéristique nulle, aux champs algébriques en caractéristique quelconque. Dans un troisième chapitre, nous montrons que les strates ouvertes de la stratification de l'espace de modules de courbes stables de genre $g$ à $n$ points marqués peuvent se décrire à l'aide des espaces de modules de courbes lisses de dimension inférieure. Nous expliquons aussi comment un graphe en rubans permet de décrire un point-base tangenciel sur ces espaces de modules. Dans un dernier chapitre, nous détaillons certains liens entre la tour des groupoïdes fondamentaux des espaces de modules de courbes lisses relatifs aux points-bases tangenciels précédemment construits et le groupoïde de Lyubashenko, en y construisant certains chemins (torsion, tressage) et en établissant certaines relations entre ces chemins. Dans deux appendices, nous détaillons les notions de champ algébrique et de 2-catégorie.

Dans le premier chapitre, on démontre divers résultats sur le plus grand quotient du groupe fondamental étale premier aux caractéristiques, parmi lesquels la formule de Künneth et l'invariance par changement de corps séparablement clos pour les schémas de type fini sur un corps. Ces énoncés sont déduits de faits généraux sur les images directes de champs, une fois spécialisés au cas des torseurs sous un groupe constant fini d'ordre inversible sur la base. Des résultats analogues<br />pour le groupe fondamental modéré sont également discutés.<br /><br />Au deuxième chapitre, on déduit de la formule du conducteur, conjecturée par S. Bloch, celle de P. Deligne exprimant, dans le cas d'une singularité isolée, la dimension totale des cycles évanescents en fonction du nombre de Milnor.<br />En particulier, la formule de Deligne est établie en dimension relative un.<br /><br />Dans le troisième chapitre, on compare les 1-isomotifs de P. Deligne sur un corps avec la théorie de V. Voevodsky en dimension inférieure à 1.

L'objectif de cette thèse consiste en l'étude du revêtement universel des variétés kählériennes compactes, de leurs systèmes pluricanoniques et des liens qui les unissent. Dans un premier temps, nous étudions la $\Gamma$-réduction d'une variété kählérienne compacte vue comme quotient de Remmert biméromorphe de son revêtement universel. La dimension de l'espace quotient est par définition la $\Gamma$-dimension d'une telle variété. Les grandes lignes de l'étude de cet invariant sont les suivantes : lien avec l'existence de formes holomorphes $L^2$ sur le revêtement universel, comportement de la $\Gamma$-dimension dans les fibrations, place de la $\Gamma$-réduction dans la théorie de la classification, structure des variétés de type $\pi_1$-général (au moins en petite dimension). La fin de cette première partie est consacrée à l'étude de l'invariance par déformation de la $\Gamma$-dimension en dimension 3. Cette propriété est établie dans diverses situations, par exemple dans les cas des familles de variétés kählériennes qui ne sont pas de type général. La deuxième partie porte sur la méthode One-Tower d'extension de formes pluricanoniques. Nous mettons en effet cette partie à profit pour montrer comment adapter cette méthode dans différentes situations. Ainsi, après quelques rappels sur les différentes notions de positivité des fibrés en droites et sur les idéaux multiplicateurs, nous établissons des résultats d'extension de sections pluricanoniques dans les contextes suivants : famille projective de variétés (avec fibré canonique tordu par un fibré en droites pseudo-effectif), hypersurface d'une variété projective, fibre générale de la $\Gamma$-réduction pour les variétés de type général et famille des revêtements universels.

Ce travail se fonde sur le lien entre le corps des modules d'un revêtement et les espaces de Hurwitz. Pour un revêtement donné, l'arithmétique de ces espaces fournit des résultats sur la ramification du corps des modules au-dessus du corps de rationalité des points de branchement. Le théorème de Beckmann, qui circonscrit la ramification dans cette extension à certaines places, les mauvaises places, trouve ainsi une démonstration naturelle. Une analyse plus fine des espaces de Hurwitz fournit des informations sur les mauvaises places ne divisant pas l'ordre du groupe de monodromie du revetement (mais où les points de branchement se rencontrent) : l'idée consiste à considérer le revêtement du complété de l'espace de Hurwitz au-dessus du complété de l'espace de configuration de points. Pour une telle place, le lieu de branchement du revêtement se prolonge en une section arithmétique sur ce dernier espace, et la restriction du revêtement de Hurwitz à cette section fournit de l'information sur la ramification dans le corps des modules en la place considérée. Nous étudions ce problème de restriction dans un cadre plus général, en considérant le cas d'un revêtement modérément ramifié le long de diviseurs à croisements normaux restreint à une section, et en nous basant sur le théorème d'Abhyankar. Nous donnons une version effective de ce résultat de ramification dans le corps des modules, en fonction d'entiers qui dépendent des relations de congruence entre les points de branchement, ainsi que d'un choix de générateurs de l'inertie autour des composantes du bord de l'espace de configuration de points croisant la section. À cet effet, nous introduisons un certain type de twists de Dehn, les twists sarments, et nous décrivons leur action sur l'ensemble des classes de Nielsen. Une dernière partie de ce travail regroupe des résultats divers de descente du corps de définition d'un revêtement, qui utilisent des gerbes au-dessus des espaces de Hurwitz.

Cette thèse est consacrée à l'étude des revêtements galoisiens et à la recherche du revêtement universel et du groupe fondamental pour les algèbres de dimension finie, connexes et basiques sur un corps algébriquement clos. Pour ce faire, nous partons d'une construction déjà existante: le groupe fondamental associé à toute présentation d'une telle algèbre A par son carquois ordinaire Q et des relations admissibles. Nous commençons par comparer les différentes présentations de A. Les automorphismes de l'algèbre kQ des chemins de Q permettent de relier deux présentations de A et parmi ceux-là, nous distinguons les dilatations et les transvections: elles engendrent le groupe des automorphismes de kQ, en outre, les groupes fondamentaux de deux présentations de A reliées par une dilatation ou une transvection sont liés entre eux par un passage au quotient. Ceci permet d'exhiber un groupe fondamental pour A lorsque le corps de base est de caractéristique nulle et lorsque Q n'a pas de double raccourci. Ces raisonnements se transposent à l'étude des revêtements galoisiens de A puisqu'à chaque présentation de A est associé un revêtement galoisien de A et de groupe le groupe fondamental de la présentation. Ainsi, sous les hypothèses précédentes fournissant le groupe fondamental de A, un revêtement universel de A existe. Ce dernier résultat est également démontré pour un corps de caractéristique quelconque, lorsque A est monomiale et lorsque Q n'a ni flèches multiples ni cycle orienté tout en admettant d'éventuels double raccourcis.

Le but de cette thèse est de considérer différentes questions sur les groupes projectifs et sur les arrangements de droites dans le plan projectif. Un groupe projectif est un groupe qui est isomorphe au groupe fondamental d'une variété projective lisse complexe. Pour étudier les groupes projectifs, des techniques sophistiquées de topologie algébrique et de géométrie algébrique ont été développées pendant les dernières décennies, par exemple la théorie des variétés caractéristiques combinée avec la théorie de Hodge s'est montrée être un outil puissant. Les arrangements de droites dans le plan projectif ont une place centrale dans l'étude des groupes projectifs. En effet, il y a beaucoup de questions ouvertes sur les groupes projectifs, et la théorie des arrangements d'hyperplans, en particulier celle des arrangements de droites, qui est un domaine très actif de recherche, peut suggérer des solutions à ces problèmes. En outre, les problèmes sur les groupes fondamentaux de complémentaires des arrangements d'hyperplans peuvent être réduits au cas des arrangements de droites, en utilisant le bien connu Théorème de Zariski du type de Lefschetz. Assez souvent, pour étudier les groupes projectifs ou quasi-projectifs, on considère d'abord les arrangements de droites pour obtenir des idées intuitives. Dans cette thèse nous obtenons aussi des résultats d'intérêts indépendants, par exemple sur les morphismes définis sur un produit d'espaces projectifs dans le Chapitre 4, sur la fibre générale de certains morphismes dans le Chapitre 5 et les critères sur les surfaces de type générales au Chapitre 7. / The objective of this thesis is to investigate various questions about projective groups and line arrangements in the projective plane. A projective group is a group which is isomorphic to the fundamental group of a smooth complex projective variety. To study projective groups, sophisticated techniques in algebraic topology and algebraic geometry have been developed in the passed decades, for instance, the theory of cohomology jump loci, together with Hodge theory, has been proven a powerful tool. Line arrangements in the projective plane are of special interest in the study of projective groups. Indeed, there are many open questions related to projective groups, and the theory of hyperplane arrangements, and in particular that of line arrangements, which is quite an active area of research, may provide insights for these problems. Furthermore, problems concerning the fundamental groups of the complements of hyperplane arrangements can be reduced to the case of line arrangements, due to the celebrated Zariski theorem of Lefschetz type. Very often, in the study of projective groups or quasi-projective groups, one usually considers line arrangements first to get some intuitive ideas. In this thesis, we also prove some theorems that are of independent interest and can be used elsewhere, for instance, we prove properties concerning morphisms from products of projective spaces in Chapter 4, we show that some morphisms have generic connected fibers in Chapter 5 and we give criteria for a projective surface to be of general type in Chapter 7.

Cette thèse est divisée en huit chapitres. D’abord, dans le Chapitre 1, on présente des résultats et des outils déjà connus qu’on utilisera dans la suite de la thèse. Le Chapitre 2 est consacré à résumer de maniére uniforme les nouveaux résultats présentés dans ce manuscrit.Les six chapitre restants sont originals. Dans les Chapitres 3 et 4 on démontre la chose suivante: soit $f:Yrightarrow X$ un morphisme lisse et prope sur une base $X$ lisse et géométriquament connexe sur un corps infini, finiment engendré et de caractéristique positive. Alors il y a beaucoup de points fermées $xin |X|$ tels que le rang du groupe de Néron-Severi de la fibre géometrique de $f$ en $x$ est le même du groupe de Néron-Severi de la fibre géométrique générique. On preuve ça de la façon suivante: on étudie la spécialisation du faisceau lisse $ell$-adique $R^2f_*Ql(1)$ ($ellneq p$); en suite, on le relit avec la spécialisation du F-isocristal $R^2f_{*,cris}mathcal O_{Y/K}(1)$ en passant par la catégorie des F-isocristaux surconvergents. Au final, la conjecture de Tate varationelle dans la cohomologie cristalline, nous permet de déduire le résultat sur les groupes de Néron-Severi depuis le résultat sur $R^2f_{*,cris}mathcal O_{Y/K}(1)$. Cela étend en caractéristique positive les résultats de Cadoret-Tamagawa et André en caractéristique zero.Les Chapitres 5 et 6 sont consacrés à l’étude des groupes de monodromie des F-isocristaux (sur)convergents. En particulier, les résultats dans le Chapitre 5 sont un travail en common avec Marco D'Addezio. On étude les tores maximaux des groupes de monodromie des F-isocristaux (sur)convergents et on utilise ça pour démontrer un cas particulier d’un conjecture de Kedlaya sur les homomorphismes de $F$-isocristeaux convergents. En utilisant ce cas particulier, on démontre que si $A$ est une variété abélienne sans facteurs d'isogonie isotrivial sur un corps de fonctions $F$ sur $overline{F}_p$, alors le groupe $A(F^{mathrm{perf}})_{tors}$ est fini. Cela peut être considéré comme une extension du théoreme de Lang—Néron et donne une réponse positive a une question d'Esnault. Dans le Chapitre 6, on défini une catégorie $overline Q_p$-linéaire des $F$-isocristeaux surconvergents et les groupes de monodromie de ces objets. En exploitant la théorie des compagnons pour les $F$-isocristeaux surconvergents et les faisceaux lisses, on étudie la théorie de spécialisation de ces groupes de monodromie en transférant les résultats du Chapitre 3 dans ce contexte.Les derniers deux chapitres complètent et affinent les résultats des chapitres précédents. Dans le Chapitre 7, on démontre que la conjecture de Tate pour les diviseurs sur les corps finiment engendrés et de caractéristique $p>0$ est une conséquence de la conjecture de Tate pour les diviseurs sur les corps finis de caractéristique $p>0$. Dans le Chapitre 8, on démontre des résultats de borne uniforme en caractéristique positive pour le groupes de Brauer des formes des variétés qui satisfasse la conjecture de Tate $ell$-adique pour les diviseurs. Cela étend en caractéristique positive un résultat de Orr-Skorobogatov en caractéristique zéro. / This thesis is divided in 8 chapters. Chapter ref{chapterpreliminaries} is of preliminary nature: we recall the tools that we will use in the rest of the thesis and some previously known results. Chapter ref{chapterpresentation} is devoted to summarize in a uniform way the new results obtained in this thesis.The other six chapters are original. In Chapters ref{chapterUOIp} and ref{chapterneron}, we prove the following: given a smooth proper morphism $f:Yrightarrow X$ over a smooth geometrically connected base $X$ over an infinite finitely generated field of positive characteristic, there are lots of closed points $xin |X|$ such that the rank of the N'eron-Severi group of the geometric fibre of $f$ at $x$ is the same of the rank of the N'eron-Severi group of the geometric generic fibre. To prove this, we first study the specialization of the $ell$-adic lisse sheaf $R^2f_*Ql(1)$ ($ellneq p$), then we relate it with the specialization of the F-isocrystal $R^2f_{*,crys}mathcal O_{Y/K}(1)$ passing trough the category of overconvergent F-isocrystals. Then, the variational Tate conjecture in crystalline cohomology, allows us to deduce the result on the N'eron-Severi groups from the results on $R^2f_{*,crys}mathcal O_{Y/K}(1)$. These extend to positive characteristic results of Cadoret-Tamagawa and Andr'e in characteristic zero.Chapters ref{chaptermarcuzzo} and ref{chapterpadic} are devoted to the study of the monodromy groups of (over)convergent F-isocrystals. Chapter ref{chaptermarcuzzo} is a joint work with Marco D'Addezio. We study the maximal tori in the monodromy groups of (over)convergent F-isocrystals and using them we prove a special case of a conjecture of Kedlaya on homomorphism of convergent $F$-isocrystals. Using this special case, we prove that if $A$ is an abelian variety without isotrivial geometric isogeny factors over a function field $F$ over $overline{F}_p$, then the group $A(F^{mathrm{perf}})_{tors}$ is finite. This may be regarded as an extension of the Lang--N'eron theorem and answer positively to a question of Esnault. In Chapter ref{chapterpadic}, we define $overline Q_p$-linear category of (over)convergent F-isocrystals and the monodromy groups of their objects. Using the theory of companion for overconvergent F-isocrystals and lisse sheaves, we study the specialization theory of these monodromy groups, transferring the result of Chapter ref{chapterUOIp} to this setting via the theory of companions.The last two chapters are devoted to complements and refinement of the results in the previous chapters. In Chapter ref{chaptertate}, we show that the Tate conjecture for divisors over finitely generated fields of characteristic $p>0$ follows from the Tate conjecture for divisors over finite fields of characteristic $p>0$. In Chapter ref{chapterbrauer}, we prove uniform boundedness results for the Brauer groups of forms of varieties in positive characteristic, satisfying the $ell$-adic Tate conjecture for divisors. This extends to positive characteristic a result of Orr-Skorobogatov in characteristic zero.