Cette thèse se compose de deux parties: dans la première on démontre une généralisation du théorème de Gabriel sur les faisceaux cohérents au cas des faisceaux cohérents tordus. Plus précisément, on démontre que tout schéma noethérien X peut être reconstruit à partir de sa catégorie abélienne Coh(X,\alpha) des faisceaux cohérents tordus par un élément \alpha du groupe de Brauer cohomologique de X. Dans la deuxième partie on étudie les deux espaces des modules M_{10} et M_{6} introduits par O'Grady, qu'il utilise pour obtenir ses deux nouveaux examples de variétés irréductibles symplectiques de dimension 10 et 6 respectivement. On calcule les groupes de Picard de M_{10} et M_{6}, et on démontre que ces deux variétés ne sont pas localement factorielles, mais 2-factorielles. Ceci est accompli en utilisant les résultats de Rapagnetta sur la cohomologie et la forme de Beauville-Bogomolov de M_{10} et M_{6}, et en étudiant les propriétés du morphisme de Le Potier dans ces deux cas.

Ce travail se divise en deux parties. Dans la première partie, nous généralisons le travail de Khuri-Makdisi qui décrit des algorithmes pour l'arithmétique des diviseurs sur une courbe sur un corps. Nous montrons que les analogues naturelles de ses résultats se vérifient pour les diviseurs de Cartier relatifs effectifs sur un schéma projectif, lisse et de dimension relative un sur un schéma affine noetherien quelconque, et que les analogues naturelles de ses algorithmes se vérifient pour une certaine classe d'anneaux de base. Nous présentons un formalisme pour tels anneaux qui sont caractérisés par l'existence d'un certain sous-ensemble des opérations standards de l'algèbre linéaire pour les modules projectifs sur ces anneaux.Dans la deuxième partie de ce travail, nous considérons un type de problème de Riemann-Roch pour les diviseurs sur certaines surfaces algébriques. Plus précisément, nous analysons les surfaces algébriques qui émanent d'un produit ou d'un produit symétrique d'une courbe hyperelliptique de genre supérieur à un sur un corps (presque) arbitraire. Les résultats principaux sont une décomposition des espaces de sections globales de certains diviseurs sur telles surfaces et des formules explicites qui décrivent les dimensions des espaces de sections de ces diviseurs. Dans le dernier chapitre, nous présentons un algorithme qui produit une base pour l'espace de sections globales d'un tel diviseur. / The contribution of this thesis is divided naturally into two parts. In Part I we generalise the work of Khuri-Makdisi (2004) on algorithms for divisor arithmetic on curves over fields to more general bases. We prove that the natural analogues of the results of Khuri-Makdisi continue to hold for relative effective Cartier divisors on projective schemes which are smooth of relative dimension one over an arbitrary affine Noetherian base scheme and that natural analogues of the algorithms remain valid in this context for a certain class of base rings. We introduce a formalism for such rings,which are characterised by the existence of a certain subset of the usual linear algebra operations for projective modules over these rings.Part II of this thesis is concerned with a type of Riemann-Roch problem for divisors on certain algebraic surfaces. Specifically we consider algebraic surfaces arising as the square or the symmetric square of a hyperelliptic curve of genus at least two over an (almost) arbitrary field. The main results are a decomposition of the spaces of global sections of certain divisors on such surfaces and explicit formulæ for the dimensions of the spaces of sections of these divisors. In the final chapter we present an algorithm which generates a basis for the space of global sections of such a divisor.

Soit π : X→ D un pinceau réel en courbes de genre $2$. L'objectif de cette thèse est de donner une classification partielle des fibres singulières possibles ; je donne les types de configurations réelles des fibres singulières et je détermine la topologie des fibres voisines. Je donne aussi les invariants déterminant d'une manière unique la classe réelle de tels pinceaux. / Let π : X→ D be a real pencil of curves of genus two. The goal of this thesis is to give a partial classification of possible singular fibers; we give the types of real configurations of singular fibers and we determine the topology of neighbors fibers. Also we give the invariants determining in a unique way the real class of such pencils

Cette thèse s'intéresse aux automorphismes des surfaces algébriques réelles, c'est-à-dire les transformations polynomiales admettant un inverse polynomial. La question centrale est de savoir si leur restriction au lieu réel reflète toute la richesse de la dynamique complexe. Celle-ci est traitée sous deux aspects : celui de l'entropie topologique et celui de l'ensemble de Fatou. Pour le premier point, on introduit une quantité purement géométrique, appelée concordance, qui ne dépend que de la surface. Puis on montre que le rapport des entropies réelle et complexe est relié à cette quantité. La concordance est calculée explicitement sur de nombreux exemples de surfaces, notamment les surfaces abéliennes qui sont traitées en détails, ainsi que certaines surfaces K3. Dans la seconde partie, on étudie l'ensemble de Fatou, qui correspond aux pointscomplexes pour lesquels la dynamique est simple. On montre, grâce à des résultats antérieurs de Dinh et Sibony sur les courants positifs fermés, que celui-ci est hyperbolique au sens de Kobayashi, quitte à lui enlever certaines courbes fixées par (unitéré de) notre transformation. Cette propriété permet d'en déduire que ce lieu réel ne peut pas être entièrement contenu dans l'ensemble de Fatou, hormis quelques cas exceptionnels où la topologie du lieu réel est simple et la dynamique bien comprise. Ainsi la complexité de la dynamique est presque toujours observable sur les points réels.