Cette thèse présente quelques résultats portant sur l'arithmétique de variétés rationnellement connexes et, plus spécifiquement, des hypersurfaces cubiques, dans trois directions principales : l'équivalence rationnelle, la R-équivalence, et l'approximation faible. Dans la première partie, on décrit de façon explicite la spécialisation de la R-équivalence. La seconde est consacrée à la nullité du groupe de Chow de 0-cycles de degré 0 sur une hypersurface cubique ayant bonne réduction sur les p-adiques. La troisième montre un résultat d'approximation faible aux places de bonne réduction sur les surfaces cubiques sur les corps de fonctions. La quatrième montre la R-trivialité des hypersurfaces cubiques de grande dimension sur les p-adiques. La cinquième partie explicite par un calcul la non-nullité du groupe de Chow de 0-cycles de degré 0 d'une hypersurface cubique de dimension 3 sur un corps de dimension 2. Enfin, on étudie la R-équivalence très libre sur les variétés toriques.

Dans cette thèse, on s'intéresse au groupe de Brauer non ramifié des espaces homogènes à stabilisateur non connexe et à ses applications arithmétiques. On développe notamment différentes formules de nature algébrique et/ou arithmétique permettant de calculer explicitement, tant sur un corps fini que sur un corps de caractéristique 0, la partie algébrique du groupe de Brauer non ramifié d'un espace homogène G\G' sous un groupe linéaire G' semi-simple simplement connexe à stabilisateur fini G, le tout en donnant des exemples de calculs que l'on peut faire avec ces formules. Pour ce faire, on démontre au préalable (à l'aide d'un théorème de Gabber sur les altérations) un résultat décrivant la partie de torsion première à p du groupe de Brauer non ramifié d'une variété V lisse et géométriquement intègre sur un corps fini ou sur un corps global de caractéristique p au moyen de l'évaluation des éléments de Br(V) sur ses points locaux. Les formules pour un stabilisateur fini sont ensuite généralisées au cas d'un stabilisateur G quelconque via une réduction de la cohomologie galoisienne du groupe G à celle d'un certain sous-quotient fini. Enfin, pour K un corps global et G un K-groupe fini résoluble, on démontre sous certaines hypothèses sur une extension déployant G que l'espace homogène V:=G\G' avec G' un K-groupe semi-simple simplement connexe vérifie l'approximation faible (ces hypothèses assurant la nullité du groupe de Brauer non ramifié algébrique). On utilise une version plus précise de ce résultat pour démontrer ensuite le principe de Hasse pour des espaces homogènes X sous un K-groupe G' semi-simple simplement connexe à stabilisateur géométrique fini et résoluble, sous certaines hypothèses sur le K-lien défini par X. / This thesis studies the unramified Brauer group of homogeneous spaces with non connected stabilizer and its arithmetic applcations. In particular, we develop different formulas of algebraic and/or arithmetic nature allowing an explicit calculation, both over a finite field and over a field of characteristic 0, of the algebraic part of the unramified Brauer group of a homogeneous space G\G' under a semisimple simply connected linear group G' with finite stabilizer G. We also give examples of the calculations that can be done with these formulas. For achieving this goal, we prove beforehand (using a theorem of Gabber on alterations) a result describing the prime-to-p torsion part of the unramified Brauer group of a smooth and geometrically integral variety V over a global field of characteristic p or over a finite field by evaluating the elements of Br(V) at its local points. The formulas for finite stabilizers are later generalised to the case where the stabilizer G is any linear algebraic group using a reduction of the Galois cohomology of the group G to that of a certain finite subquotient.Finally, for a global field K and a finite solvable K-group G, we show under certain hypotheses concerning the extension splitting G that the homogeneous space V:=G\G' with G' a semi-simple simply connected K-group has the weak approximation property (the hypotheses ensuring the triviality of the unramified algebraic Brauer group). We use then a more precise version of this result to prove the Hasse principle forhomogeneous spaces X under a semi-simple simply connected K-group G' with finite solvable geometric stabilizer, under certain hypotheses concerning the K-kernel (or K-lien) defined by X.

Le thème principal de cette thèse est l’interaction entre le “comportement” des points rationnels sur certaines classes de variétés définies sur des corps globaux et locaux, et la cohomologie de ces variétés.Dans la partie I, on étudie l’obstruction de Brauer-Manin à la validité des principes locaux-globaux (comme le principe de Hasse et l’approximation faible) qui vient du groupe de Brauer d’une variété. Dans certains cas, pour des fibrations en torseurs sous un tore constant défini sur un corps de nombres, on démontre que l’obstruction de Brauer-Manin est suffisante pour expliquer le défaut des principes locaux-globaux. On donne également des nouveaux examples de variétés pour lesquelles l’obstruction de Brauer-Manin et ses raffinements ne suffisent pas pour expliquer le défaut du principe de Hasse.Dans la partie II, on étudie la relation entre le volume rationnel d’une variété lisse, projective sur un corps strictement local, et la trace de l’opérateur de monodromie modérée sur la cohomologie étale de la variété. Ceci est motivé par un travail de Nicaise-Sebag sur une formule de traces pour l’invariant de Serre motivique, inspiré par la formule de Grothendieck-Lefschetz pour les variétés sur les corps fini. On utilise ici le formalisme de la géométrie logarithmique. / The main theme of this thesis is the interplay between the “behaviour” of the rational points on certain classes of algebraic varieties defined over global and local fields, andthe cohomology of these varieties. Part I studies the Brauer-Manin obstruction to the validity of local-global principles (such as the Hasse principle and weak approximation) coming from the Brauer groupof a variety. In some cases, for certain families of torsors under a constant torusdefined over a number field, we prove that the Brauer-Manin obstruction is sufficientto explain the failure of these local-global principles. We also give new examples of varieties for which the Brauer-Manin obstruction and its refinements are insufficientto explain the failure of the Hasse principle.In Part II, we investigate the relationship between the rational volume of a smooth, projective variety defined over a strictly local field, and the trace of the tame monodromy operator on the étale cohomology of this variety. The motivation is work of Nicaise–Sebag on a trace formula for the motivic Serre invariant, inspired by the Grothendieck–Lefschetz trace formula for varieties over finite fields. We study this relationship using the framework of logarithmic geometry.

Dans cette thèse, nous nous intéressons à l'étude de l'arithmétique (le principe de Hasse, l'approximation faible, et l'obstruction de Brauer-Manin) des zéro-cycles sur les variétés algébriques définies sur des corps de nombres. Nous introduisons la notion de sous-ensemble hilbertien généralisé. En utilisant la méthode de fibration, nous démontrons que l'obstruction de Brauer-Manin est la seule au principe de Hasse et à l'approximation faible pour les zéro-cycles de degré 1; et établissons l'exactitude d'une suite de type global-local concernant les groupes de Chow des zéro-cycles, pour certaines variétés qui admettent une structure de fibration au-dessus d'une courbe lisse ou au-dessus de l'espace projectif, où les hypothèses arithmétiques sont posées seulement sur les fibres au-dessus d'un sous-ensemble hilbertien généralisé.De plus, nous relions l'arithmétique des points rationnels et l'arithmétique des zérocycles de degré 1 sur les variétés géométriquement rationnellement connexes. Comme application, nous trouvons que l'obstruction de Brauer-Manin est la seule au principe de Hasse et à l'approximation faible pour les zéro-cycles de degré 1 sur- les espaces homogènes d'un groupe algébrique linéaire à stabilisateur connexe,- certains fibrés en surfaces de Châtelet au-dessus d'une courbe lisse ou au-dessus de l'espace projectif (en particulier, les solides de Poonen).

Cette thèse traite des équations différentielles stochastiques rétrogrades réfléchies du second ordre dans une filtration générale . Nous avons traité tout d'abord la réflexion à une barrière inférieure puis nous avons étendu le résultat dans le cas d'une barrière supérieure. Notre contribution consiste à démontrer l'existence et l'unicité de la solution de ces équations dans le cadre d'une filtration générale sous des hypothèses faibles. Nous remplaçons la régularité uniforme par la régularité de type Borel. Le principe de programmation dynamique pour le problème de contrôle stochastique robuste est donc démontré sous les hypothèses faibles c'est à dire sans régularité sur le générateur, la condition terminal et la barrière. Dans le cadre des Équations Différentielles Stochastiques Rétrogrades (EDSRs ) standard, les problèmes de réflexions à barrières inférieures et supérieures sont symétriques. Par contre dans le cadre des EDSRs de second ordre, cette symétrie n'est plus valable à cause des la non linéarité de l'espérance sous laquelle est définie notre problème de contrôle stochastique robuste non dominé. Ensuite nous un schéma d'approximation numérique d'une classe d'EDSR de second ordre réfléchies. En particulier nous montrons la convergence de schéma et nous testons numériquement les résultats obtenus. / This thesis deals with the second-order reflected backward stochastic differential equations (2RBSDEs) in general filtration. In the first part , we consider the reflection with a lower obstacle and then extended the result in the case of an upper obstacle . Our main contribution consists in demonstrating the existence and the uniqueness of the solution of these equations defined in the general filtration under weak assumptions. We replace the uniform regularity by the Borel regularity(through analytic measurability). The dynamic programming principle for the robust stochastic control problem is thus demonstrated under weak assumptions, that is to say without regularity on the generator, the terminal condition and the obstacle. In the standard Backward Stochastic Differential Equations (BSDEs) framework, there is a symmetry between lower and upper obstacles reflection problem. On the contrary, in the context of second order BSDEs, this symmetry is no longer satisfy because of the nonlinearity of the expectation under which our robust stochastic non-dominated stochastic control problem is defined. In the second part , we get a numerical approximation scheme of a class of second-order reflected BSDEs. In particular we show the convergence of our scheme and we test numerically the results.

Cette thèse se concentre sur l'étude de quelques propriétés arithmétiques de certaines variétés algébriques qui sont ''les plus simples'' en un sens géométrique et qui sont définies sur des corps de type géométrique. Elle se compose de trois chapitres. Dans le premier chapitre, indépendant des deux autres, on s'intéresse à la propriété d'approximation faible pour une variété projective lisse rationnellement connexe X définie sur le corps de fonctions K=k(C) d'une courbe algébrique C sur un corps k. Supposons que X possède un K-point rationnel. En utilisant des méthodes géométriques, on démontre que X(K) est Zariski dense dans X si k est un corps fertile, et que l'approximation faible en un certain ensemble de places de bonne réduction vaut pour X sous des hypothèses supplémentaires convenables. Lorsque k est un corps fini, on obtient l'approximation faible en une place quelconque de bonne réduction pour une surface cubique lisse sur K ainsi qu'un résultat sur l'approximation faible d'ordre zéro pour des hypersurfaces cubiques de dimension supérieure sur K.Les deux autres chapitres forment la seconde partie de la thèse, où on travaille sur le corps des fractions K d'un anneau intègre local R, hensélien, excellent de dimension 2 dont le corps résiduel k est souvent supposé fini et où on emploie des outils plus algébriques. On étudie d'abord la ramification et la cyclicité des algèbres à division sur un tel corps K. On démontre en particulier que toute classe de Brauer d'ordre n premier à la caractéristique résiduelle sur K est d'indice divisant n^2 et que la cyclicité d'une classe de Brauer d'ordre premier peut être testée localement sur les corps complétés par rapport aux valuations discrètes de K. Ces résultats sont appliqués dans le dernier chapitre pour étudier l'arithmétique des formes quadratiques sur K. On montre que toute forme quadratique de rang \ge 9 sur K possède un zéro non trivial. Si K est le corps des fractions d'un anneau de séries formelles A[[t]] sur un anneau de valuation discrète complet A, on a prouvé le principe local-global pour toute forme quadratique de rang \ge 5 sur K. Pour K général on a établi le principe local-global pour les formes de rang 5. Le cas des formes de rang 6,7 ou 8 est ouvert.

Dans cette thèse, nous nous intéressons à l'arithmétique de certains corps de fonctions. Nous cherchons à établir dans un premier temps des théorèmes de dualité arithmétique sur ces corps, pour les appliquer ensuite à l'étude des points rationnels sur certaines variétés algébriques. Dans les trois premiers chapitres, nous travaillons sur le corps des fonctions d'une courbe sur un corps local supérieur (comme Qp, Qp((t)), C((t)) ou C((t))((u))). Dans le premier chapitre, nous établissons sur un tel corps des théorèmes de dualité arithmétique « à la Poitou-Tate » pour les modules finis, les tores, et même pour certains complexes de tores. Nous montrons aussi l'existence, sous certaines hypothèses, de certaines portions des suites exactes de Poitou-Tate correspondantes. Ces résultats sont appliqués dans le deuxième chapitre à l'étude du principe local-global pour les algèbres simples centrales, de l'approximation faible pour les tores, et des obstructions au principe local-global pour les torseurs sous des groupes linéaires connexes. Dans le troisième chapitre, nous nous penchons sur les variétés abéliennes et établissons des théorèmes de dualité arithmétique « à la Cassels-Tate ». Cela demande aussi de mener une étude fine des variétés abéliennes sur les corps locaux supérieurs. Dans le quatrième et dernier chapitre, nous travaillons sur les corps des fractions de certaines algèbres locales normales de dimension 2 (typiquement C((x, y)) ou Fp((x, y))). Nous établissons d'abord un théorème de dualité en cohomologie étale « à la Artin-Verdier » dans ce contexte. Cela nous permet ensuite de montrer des théorèmes de dualité arithmétique en cohomologie galoisienne « à la Poitou-Tate » pour les modules finis et les tores. Nous appliquons finalement ces résultats à l'étude de l'approximation faible pour les tores et des obstructions au principe local-global pour les torseurs sous des groupes linéaires connexes. / In this thesis, we are interested in the arithmetic of some function fields. We first want to establish arithmetic duality theorems over those fields, in order to apply them afterwards to the study of rational points on algebraic varieties. In the first three chapters, we work on the function field of a curve defined over a higher-dimensional local field (such as Qp, Qp((t)), C((t)) or C((t))((u))). In the first chapter, we establish "Poitou-Tate type" arithmetic duality theorems over such fields for finite modules, tori and even some complexes of tori. We also prove the existence, under some hypothesis, of parts of the corresponding Poitou-Tate exact sequences. These results are applied in the second chapter to the study of the local-global principle for central simple algebras, of weak approximation for tori, and of obstructions to local-global principle for torsors under connected linear algebraic groups. In the third chapter, we are interested in abelian varieties and we establish "Cassels-Tate type" arithmetic duality theorems. To do so, we also need to carry out a precise study of abelian varieties over higher-dimensional local fields. In the fourth and last chapter, we work on the field of fractions of some 2-dimensional normal local algebras (such as C((x, y)) or Fp((x, y))). We first establish in this context an "Artin-Verdier type" duality theorem in étale cohomology. This allows us to prove "Poitou-Tate type" arithmetic duality theorems in Galois cohomology for finite modules and tori. In the end, we apply these results to the study of weak approximation for tori and of obstructions to local-global principle for torsors under connected linear algebraic groups.

Dans cette thèse, nous nous intéressons à l’étude de l’arithmétique (le principe de Hasse, l’approximation faible, et l’obstruction de Brauer-Manin) des zéro-cycles sur les variétés algébriques définies sur des corps de nombres. Nous introduisons la notion de sous-ensemble hilbertien généralisé. En utilisant la méthode de fibration, nous démontrons que l’obstruction de Brauer-Manin est la seule au principe de Hasse et à l’approximation faible pour les zéro-cycles de degré 1; et établissons l’exactitude d’une suite de type global-local concernant les groupes de Chow des zéro-cycles, pour certaines variétés qui admettent une structure de fibration au-dessus d’une courbe lisse ou au-dessus de l’espace projectif, où les hypothèses arithmétiques sont posées seulement sur les fibres au-dessus d’un sous-ensemble hilbertien généralisé.De plus, nous relions l’arithmétique des points rationnels et l’arithmétique des zérocycles de degré 1 sur les variétés géométriquement rationnellement connexes. Comme application, nous trouvons que l’obstruction de Brauer-Manin est la seule au principe de Hasse et à l’approximation faible pour les zéro-cycles de degré 1 sur- les espaces homogènes d’un groupe algébrique linéaire à stabilisateur connexe,- certains fibrés en surfaces de Châtelet au-dessus d’une courbe lisse ou au-dessus de l’espace projectif (en particulier, les solides de Poonen). / This Ph. D. thesis studies the arithmetic properties (the Hasse principle, the weak approximation, and the Brauer-Manin obstruction) for zero-cycles on algebraic varieties defined over number fields. We introduce the notion of generalized Hilbertian subset. By using the fibration method, we prove that the Brauer-Manin obstruction is the only obstruction tothe Hasse principle and to the weak approximation for zero-cycles of degree 1; and establish the exactness of a sequence of global-local type concerning Chow groups of zero-cycles, for certain varieties which admit a fibration structure overa smooth curve or over the projective space, where the arithmetic hypotheses are only posed on the fibers over a generalized Hilbertian subset. Moreover, we relate the arithmetic of rational points and that of zero-cycles of degree 1 on geometrically rationally connected varieties. As an application, we find that the Brauer-Manin obstruction is the only obstruction to the Hasse principle and to the weak approximation for zero-cycles of degree 1 on- homogeneous spaces of a linear algebraic group with connected stabilizer,- certain varieties fibered into Chatelet surfaces over a smooth curve or over the projective space (in particular, Poonen's threefolds).

Cette thèse se concentre sur l'étude de quelques propriétés arithmétiques de certaines variétés algébriques qui sont ``les plus simples'' en un sens géométrique et qui sont définies sur des corps de type géométrique. Elle se compose de trois chapitres. Dans le premier chapitre, indépendant des deux autres, on s'intéresse à la propriété d'approximation faible pour une variété projective lisse rationnellement connexe X définie sur le corps de fonctions K=k(C) d'une courbe algébrique C sur un corps k. Supposons que X possède un K-point rationnel. En utilisant des méthodes géométriques, on démontre que X(K) est Zariski dense dans X si k est un corps fertile, et que l'approximation faible en un certain ensemble de places de bonne réduction vaut pour X sous des hypothèses supplémentaires convenables. Lorsque k est un corps fini, on obtient l'approximation faible en une place quelconque de bonne réduction pour une surface cubique lisse sur K ainsi qu'un résultat sur l'approximation faible d'ordre zéro pour des hypersurfaces cubiques de dimension supérieure sur K.Les deux autres chapitres forment la seconde partie de la thèse, où on travaille sur le corps des fractions K d'un anneau intègre local R, hensélien, excellent de dimension 2 dont le corps résiduel k est souvent supposé fini et où on emploie des outils plus algébriques. On étudie d'abord la ramification et la cyclicité des algèbres à division sur un tel corps K. On démontre en particulier que toute classe de Brauer d'ordre n premier à la caractéristique résiduelle sur K est d'indice divisant n^2 et que la cyclicité d'une classe de Brauer d'ordre premier peut être testée localement sur les corps complétés par rapport aux valuations discrètes de K. Ces résultats sont appliqués dans le dernier chapitre pour étudier l'arithmétique des formes quadratiques sur K. On montre que toute forme quadratique de rang \ge 9 sur K possède un zéro non trivial. Si K est le corps des fractions d'un anneau de séries formelles A[[t]] sur un anneau de valuation discrète complet A, on a prouvé le principe local-global pour toute forme quadratique de rang \ge 5 sur K. Pour K général on a établi le principe local-global pour les formes de rang 5. Le cas des formes de rang 6,7 ou 8 est ouvert. / This thesis is concerned with the study of some arithmetic properties of certain algebraic varieties which are ``simplest'' in some geometric sense and which are defined over fields of geometric type. It consists of three chapters. In the first chapter, which is independent of the other two, we consider the weak approximation property for a smooth projective rationally connecte d variety X defined over the function field K=k(C) of an algebraic curve C over a field k. Suppose that X admits a K-rational point. Using geometric methods we prove that X(K) is Zariski dense in X if k is a large field, and that under suitable hypotheses weak approximation with respect to a set of places of good reduction holds for X. When k is a finite field, we obtain weak approximation at any given place of good reduction for a smooth cubic surface over K as well as a zero-th order weak approximation result for higher dimensional cubic hypersurfaces over K.The second part of the thesis consists of the last two chapters, where we work over the fraction field K of a 2-dimensional, excellent, henselian local domain R whose residue field k is often assumed to be finite, and where we use more algebraic tools. We first study the ramification and the cyclicity of division algebras over such a field K. We show in particular that every Brauer class over K of order n, which is prime to the residue characteristic, has index dividing n^2, and that the cyclicity of a Brauer class of prime order can be tested locally over the completions of K with respect to discrete valuations. These results are used in the last chapter to study the arithmetic of quadratic forms over K. We prove that every quadratic form of rank \ge 9 over K has a nontrivial zero. When K is the fraction field of a power series ring A[[t]] over a complete discrete valuation ring A, we prove the local-global principle for quadratic forms of rank \ge 5 over K. For general K we prove the local-global principle for quadratic forms of rank 5. The local-global principle for quadratic forms of rank 6, 7 or 8 is still open in the general case.