Th. univ.--Sci.--Lyon 1, 1994. N°: 122 94. / Bibliogr. p. 205-219. Résumé en français et en anglais.

Le théorème de Gauss sur les sommes de 3 carrés relie le nombre de points entiers primitifs sur la sphère de rayon la racine carrée de n au nombre de classes d'un ordre quadratique imaginaire. En 2011, Edixhoven a esquissée une preuve du théorème de Gauss en utilisant une approche de la géométrie arithmétique. Il a utilisé l'action du groupe orthogonal spécial sur la sphère et a donné une bijection entre l'ensemble des SO3(Z)-orbites de tels points, si non vide, avec l'ensemble des classes d'isomorphisme de torseurs sous le stabilisateur. Ce dernier ensemble est un groupe, isomorphe au groupe des classes d'isomorphisme de modules projectifs de rang 1 sur l'anneau Z[1/2, √- n], ce qui donne une structure d'espace affine sur l'ensemble des SO3(Z)-orbites sur la sphère. Au chapitre 3 de cette thèse, nous donnons une démonstration complète du théorème de Gauss suivant les travaux d'Edixhoven. Nous donnons aussi une nouvelle preuve du théorème de Legendre sur l'existence d'une solution entière primitive de l'équation x2 + y2 + z2 = n en utilisant la théorie des faisceaux. Nous montrons au chapitre 4 comment obtenir explicitement l'action, donnée par la méthode des faisceaux, du groupe des classes sur l'ensemble des SO3(Z)-orbites sur la sphère en termes de SO3(Q). / Gauss's theorem on sums of 3 squares relates the number of primitive integer points on the sphere of radius the square root of n with the class number of some quadratic imaginary order. In 2011, Edixhoven sketched a different proof of Gauss's theorem by using an approach from arithmetic geometry. He used the action of the special orthogonal group on the sphere and gave a bijection between the set of SO3(Z)-orbits of such points, if non-empty, with the set of isomorphism classes of torsors under the stabilizer group. This last set is a group, isomorphic to the group of isomorphism classes of projective rank one modules over the ring Z[1/2, √- n]. This gives an affine space structure on the set of SO3(Z)-orbits on the sphere. In Chapter 3 we give a complete proof of Gauss's theorem following Edixhoven's work and a new proof of Legendre's theorem on the existence of a primitive integer solution of the equation x2 + y2 + z2 = n by sheaf theory. In Chapter 4 we make the action given by the sheaf method of the Picard group on the set of SO3(Z)-orbits on the sphere explicit, in terms of SO3(Q). / De stelling van Gauss over sommen van 3 kwadraten relateert het aantal primitieve gehele punten op de bol van straal de vierkantswortel van n aan het klassengetal van een bepaalde imaginaire kwadratisch orde. In 2011 schetste Edixhoven een ander bewijs van deze stelling van Gauss metbehulp van aritmetische meetkunde. Hij gebruikte de actie van de special orthogonale groep op de bol en gaf een bijectie tussen de verzameling van SO3(Z)-banen van dergelijke punten, als die niet leeg is, met de verzameling van isomor_e klassen van torsors onder de stabilisator groep. Deze laatste verzameling is een groep, isomorf met de groep van isomor_e klassen van projectieve rang _e_en modulen over de ring Z[1/2, √- n]. Dit geeft een a_ene ruimte structuur op de verzameling van SO3(Z)-banen op de bol. In Hoofdstuk 3 geven we een volledig bewijs van de stelling van Gauss zoals geschetst door Edixhoven, en een nieuw bewijs van Legendre's stelling over het bestaan van een primitieve gehele oplossing van de vergelijking x2 +y2 +z2 = n met schoven theorie. In hoofdstuk 4 maken we de werking gegeven door de schoven theorie van de Picard groep op de verzameling van SO3(Z)-banen op de bol expliciet, in termen van SO3(Q).

Cette étude a pour but la conversion des spécifications géométriques de tolérance en zones d'incertitudes. Pour cela, une représentation des zones de tolérance a été faite, en tenant compte de tous les différents types de tolérancements pouvant y être imposés. Après cela, ces zones de tolérances ont été exprimées sous forme de torseurs de petits déplacements. Par la suite, les éléments de ces torseurs ont été bornés afin de délimiter la zone de tolérance. À ce stade, les équations gouvernant la conversion des spécifications géométriques en zones d'incertitudes sont établies.Cette procédure a été faite pour chaque type de zone de tolérance à savoir, un disque, un trou, le décalage d'une ligne, le décalage d'une paroi plane, un cylindre, un anneau, un parallélépipède et une rainure. Ce développement a aussi été enlisé pour les deux mouvements de recherche, à savoir les déterministes et les statisticiens. Finalement le principe du maximum de matière a été introduit pour toutes les équations.

Cette thèse traite des invariants cohomologiques en cohomologie galoisienne des groupes de Coxeter finis en caractéristique nulle. On établit d'abord un principe général d'annulation vérifié par tout invariant cohomologique d'un groupe de Coxeter fini sur un corps de caractéristique nulle suffisamment grand. On utilise ensuite ce principe pour déterminer tous les invariants cohomologiques des groupes de Weyl de type classique à coefficients modulo 2 sur un corps de caractéristique nulle.

Le but de cette thèse est d'étudier la structure galoisienne de torseurs sous des schémas en groupes finis (ou quasi-finis) et plats. Pour cela, nous utilisons (et généralisons) un homomorphisme défini par W. Waterhouse, ainsi que le << class invariant homomorphism >> défini par M. J. Taylor.<br /><br />Dans le chapitre I, nous étudions les propriétés fonctorielles de ces homomorphismes. Nous en déduisons une généralisation de résultats de Taylor, Srivastav, Agboola et Pappas concernant le noyau du class invariant homomorphism pour les variétés abéliennes ayant partout bonne réduction qui sont isogènes à un produit de courbes elliptiques.<br /><br />Dans le chapitre II, nous donnons une lecture du class invariant homomorphism dans le langage des 1-motifs.<br /><br />Dans le chapitre III, nous généralisons la construction du class invariant homomorphism pour un sous-groupe fini et plat d'un schéma en groupes semi-stable (sur un schéma de base intègre, normal et noethérien) dont la fibre générique est une variété abélienne. Nous étendons également les résultats de Taylor, Srivastav, Agboola et Pappas à cette situation.<br /><br />Dans le chapitre IV, nous généralisons la construction du chapitre III en considérant un sous-groupe fermé, quasi-fini et plat du modèle de Néron d'une variété abélienne (la base étant un schéma de Dedekind). Ceci nous permet de généraliser un résultat arakélovien du à Agboola et Pappas.

Soient $k$ un corps de caractéristique nulle et $G$ un $k$-groupe algébrique linéaire. Il est bien connu que si $G$ est abélien, les torseurs sous $G_(X)$ sur un $k$-schéma $\pi:X\rightarrow \textup(Spec)\;k$ fournissent une obstruction à l'existence de points $k$-rationnels sur $X$, puisque la suite spectrale de Leray donne dans les bons cas (\textit(e.g.) $X$ propre) une suite exacte de groupes sur laquelle on peut directement lire l'obstruction à ce qu'un $\bar(G)_(X)$-torseur $\bar(P)\rightarrow\bar(X)$ de corps des modules $k$ soit défini sur $k$, \textit(i.e.) qu'il provienne par extension des scalaires à la cl(ô)ture algébrique $\bar(k)$ de $k$ d'un $G_(X)$-torseur $P\rightarrow X$. Le point crucial est que cette obstruction est mesurée par une gerbe, qui est neutre lorsque $X$ possède un point $k$-rationnel. On essaye ici d'étendre ce résultat au cas non-commutatif, et on en déduit (sous certaines conditions) des obstructions cohomologiques non-abéliennes à l'existence de points $k$-rationnels sur $X$, et des résultats sur la descente des torseurs.

Reproduction de : Thèse de doctorat : Sciences : Mathématiques appliquées. Systèmes dynamiques : Toulon : 2005. / Titre provenant du cadre-titre. Bibliographie f.168-173. Index.

Cette thèse traite des invariants cohomologiques en cohomologie galoisienne des groupes de Coxeter finis en caractéristique nulle. On établit d'abord un principe général d'annulation vérifié par tout invariant cohomologique d'un groupe de Coxeter fini sur un corps de caractéristique nulle suffisamment grand. On utilise ensuite ce principe pour déterminer tous les invariants cohomologiques des groupes de Weyl de type classique à coefficients modulo 2 sur un corps de caractéristique nulle. / This PhD thesis deals with cohomological invariants in Galois cohomology of finite Coxeter groups in characteristic zero. We first state a general vanishing principle for the cohomological invariants of a finite Coxeter group over a sufficiently large field of characteristic zero. We then use this principle to determine all the cohomological invariants of the Weyl groups of classical type with coefficients modulo 2 over a field of characteristic zero.

Dans cette thèse, on introduit la notion de revêtement potentiellement inséparable et on se propose de développer une théorie de la ramification pour ces derniers. Le langage utilisé est celui des schémas en groupoïdes. Après avoir établi quelques résultats préliminaires au chapitre 1, on prouve au chapitre 2 un théorème de quotient d'un schéma en groupoïdes par un sous-groupoïde. Au chapitre 3, on utilise ces résultats pour entreprendre l'étude générale du formalisme des revêtements inséparables. Enfin, au chapitre 4, on spécialise au cas des revêtements sous un schéma en groupes diagonalisable et on étudie en détail la structure de ces derniers. En particulier, on exprime le lieu Gorenstein de ces morphismes en fonction des constantes de structure du revêtement et on prouve dans ce cadre une formule analogue à la formule de Riemann-Hurwitz des revêtements ramifiés classiques. / In this thesis, we introduce the notion of inseparable coverings and we try to develop a ramification theory for such objects. We make use of the groupoid scheme formalism. In section 1, we establish preliminary results on scheme epimorphisms. We use these results in the next section to prove a quotient theorem for groupoid schemes.Then in section 3 we introduce the general formalism of inseparable coverings.Finally, in the last section we consider in greater details inseparable coverings given by the action of a diagonalizable group scheme. We compute the Gorenstein locus of these morphisms and we prove a formula analogous to the classical Riemann-Hurwitz formula.

Pour une variété affine S définie sur un corps k de caracteristique nulle, il y a une correspondence bijective entre les actions algébriques du groupe additif k+=(k,+) sur S et les dérivations localement nilpotentes de l'algèb re des fonctions régulières sur S. Dans cette thèse, nous transposons cette équi valence entre actions et dérivations à la situation plus générale où π:S → X est un schéma de base X donnée, admettant des actions d'un fibré en droites p:L → X sur X. Nous étudions en détail une sous-classe de schémas S de ce type, ayant la propriété d'être muni d'une structure de fibré principal homogène sous l'action d'un second fibré en droites p':L' → Y sur un X-schéma δ:Y → X, de telle sorte que l'action de δ*L sur S se factorise via celle de L'. Nous les appelons schémas de Danielewski-Fieseler. Nous donnons plusieurs procédés de construction de ces schémas. En particulier, lorsque X est affine, nous décrivons un algorithmique permettant d'obtenir des plongements explicites d'un schéma de ce type dans un espace affine relatif de base X. Dans un second temps, nous étudions la situation où le schéma de base X est une droite affine sur un corps k de caractéristique nulle. Dans ce cas, nous établissons qu'un sc héma de Danielewski-Fieseler X est déterminé de manière unique par la donnée combinatoire d'un arbre pondéré. Nous donnons une classification de ces schémas en fonction des arbres associés. Finalement, nous caractérisons les schémas de ce type qui admettent plusieurs actions du groupe additif k+ avec orbites générales distinctes.