L’objectif principal de cette thèse est d’étudier les structures périphériques des groupes relativement hyperboliques. En contraste avec l’hyperbolicité ordinaire, l’hyperbolicité relative est définie par rapport à une famille finie de sous-groupes, appelée structure périphérique. Dans cette thèse, on introduit et caractérise une classe de structures paraboliques étendues pour des groupes relativement hyperboliques. En particulier, on montre que si un groupe relativement hyperbolique agit de façon géométriquement finie sur son bord de Floyd, alors les structures paraboliques étendues se révèlent être les seules possibles.La thèse met également l’accent sur l’étude des sous-groupes relativement quasiconvexes, qui jouent un rôle important en théorie des groupes relativement hyperboliques. Grâce à la flexibilité des structures périphériques, la quasiconvexité relative d’un sous-groupe est caractérisée par rapport aux structures paraboliques étendues. En outre, les sous-groupes relativement quasiconvexes sont étudiés par des méthodes dynamiques en terme des groupes de convergence. Ceci nous conduit à obtenir un théorème décrivant l’intersection des ensembles limites pour une paire de sous-groupes relativement quasiconvexes ; et donner des preuves dynamiques de plusieurs résultats bien connus sur les sous-groupes relativement quasiconvexes. De plus, le nombre de classes de conjugaison de sous-groupes finis est étudié dans des groupes relativement hyperboliques. Dans le cas des groupes kleiniens, on obtient plusieurs résultats sur le lien entre les ensembles d’axes et la commensurabilité de deux groupes kleiniens. Un résultat de la thèse d’intérêt indépendant montre qu’un sous-groupe separable a la propriété d’empilement borné. Ceci implique que cette propriété est vraie pour tout sous-groupe d’un groupe polycyclique, répondant à une question de Hruska-Wise. / The main objective of this thesis is to study peripheral structures of relatively hyperbolic groups. In contrast with hyperbolicity, relative hyperbolicity is defined with respect to a finite collection of subgroups, which is referred to as a peripheral structure. In the thesis, we introduce and characterize a class of peripheralstructures: parabolically extended structures for relatively hyperbolic groups. In particular, it is shown that if a relatively hyperbolic group acts geometrically finitely on its Floyd boundary, then parabolically extended structures turn out to be the only possible ones. The thesis also focuses on the study of relatively quasiconvex subgroups, which play an important role in the theory of relatively hyperbolic groups. With the flexibility of peripheral structures, relative quasiconvexity of a subgroup is characterized with respect to parabolically extended structures. Moreover, relatively quasiconvex subgroups are studied using dynamical methods in terms of convergence group actions. This leads us to obtain a limit set intersection theorem for a pair of relatively quasiconvex subgroups, and give dynamical proofs of several well-known results on relatively quasiconvex subgroups. In addition, the number of conjugacy classes of finite subgroups is explored in relatively hyperbolic groups. In Kleinian groups, we prove several results on the relationship between the axes sets and commensurability of two Kleinian groups. A result of independent interest in the thesis is that a separable subgroup has the bounded packing property. This implies that the property is true for each subgroup of a polycyclic group, answering a question of Hruska-Wise.

Dans ce mémoire, on présente un espace de la géométrie hyperbolique, le bidisque. On y parle de la géométrie du bidisque et pour ce faire on expose en détail la géométrie du plan hyperbolique. Ensuite, on présente les groupes d’isométries du bidisque pour lesquels on décrit les groupes d’isométrie du plan hyperbolique. Enfin, on donne des conditions nécessaires et suffisantes pour que des sous-groupes cycliques d’isométries du bidisque soient discrets.

Dans cette thèse, nous établissons un théorème de rigidité topologique pour une large classe de sous-groupes du groupe de difféomorphismes analytiques réels préservant l'orien- tation du cercle Diff (S1). En effet, les objets principaux étudiés dans cette thèse sont les sous-groupes localement C 2-non-discrets de type fini de Diff (S1). Dans le premier Chapitre, on donne des rappels sur la relation entre la théorie de la mesure et les systèmes dynamiques et on donne aussi des rappels sur les définitions et les propriétés des espaces hyperboliques, des groupes hyperboliques et des leurs bords. Le deuxième Chapitre contient des définitions précises pour la plupart des notions pertinentes pour cette thèse, revisite les résultats concernant la théorie de Shcherbakov- Nakai sous une forme adaptée à nos besoins et fournit une description des dynamiques topologiques associées au sous-groupe localement C 2-non-discret de Diff (S1). Le troisième Chapitre est consacré à la preuve du Théorème A "le théorème de rigidité topologique". Dans la première section de ce chapitre, on démontre le Théorème A dans divers cas particuliers, dont le cas où le groupe a une orbite finie et le cas où le groupe est résoluble mais non-abélien. Il restera alors démontrer le Théorème A dans le cas dit "générique" et cela sera l'objet du restant de ce chapitre. Dans la deuxième section de ce chapitre, nous construisons une suite de difféomorphismes de G1 convergeant vers l'identité dans C 2-topologie sur l'intervalle I C S1. Dans la dernière section de ce chapitre, nous allons démontrer le Théorème A modulo la Proposition 3.3.3. En effet, le Théorème 3.3.1 sera prouvé et ce théorème constitue un énoncé plus forte que celui du Théorème A. L'énoncé principal du quatrième Chapitre est le Théorème 4.2.1. La démonstration du Théorème 4.2.1 est une combinaison des faits standards sur les groupes hyperboliques avec l'éxistence d'une mesure µ sur G1 donnant lieu à une mesure stationnaire absolu- ment continue. Ce théorème entraînera la démonstration du Théorème B. Finalement, l'Annexe contient une réponse partielle dans la catégorie analytique à une question posée dans [De]. L'annexe se termine ensuite par un résumé du rôle joué par l'hypothèse de régularité (C) dans cette thèse. / In this thesis we establish a topological rigidity theorem for a large class of subgroups of the group Diff (S1) consisting of (orientation-preserving) real analytic diffeomorphisms of the circle S1. Indeed, the primary object studied in this thesis are finitely generated, locally C 2-non-discrete subgroups of Diff (S1). In the first Chapter, we briefly recall several basic facts in the relation between measure theory and dynamical systems and recall the definitions and basic properties of hyperbolic spaces, hyperbolic groups and their boundaries. The second Chapter contains accurate definitions for most of the notions relevant for this thesis, revisits results related to Shcherbakov-Nakai theory in a form adapted to our needs and provides a description of the topological dynamics associated with a locally C 2-non-discrete subgroup of Diff (S1). The third Chapter is devoted to proving Theorem A "topological rigidity theorem". In the first section of this chapter, we prove Theorem A in various special cases, including the case where the group has a finite orbit as well as the case in which the group is solvable but non-abelian. It will then prove Theorem A in the case called "generic" and this will be the subject of the remainder of this chapter. In the second section of this chapter, we construct an explicit sequence of diffeomorphisms in G1 converging to the identity in the C 2-topology on the interval I C S1. In the last section of this chapter, we shall prove Theorem A modulo Proposition 3.3.3. In fact, Theorem 3.3.1 will be proved and this theorem provides a statement fairly stronger than what is strictly needed to derive Theorem A. The main statement in the fourth Chapter is Theorem 4.2.1. The proof of The- orem 4.2.1 is combined standard facts about hyperbolic groups with the existence of a measure µ on G1 giving rise to an absolutely continuous stationary measure. This theorem will lead to the proof of Theorem B. In the end, the Appendix contains a partial answer in the analytic category to a question raised in [De]. The appendix then ends with a summary of the role played by the regularity assumption (C) in this thesis.

Le but de cette thèse est d'analyser et de développer les objets mathématiques apparus dans l'article "New classical limits of quantum theories" de S. G. Rajeev, notamment les (loc.sit) "limites néoclassiques" dans le contexte de la théorie des formes modulaires. Afin de voir au mieux quels sont les objets en jeu dans l'étude de Rajeev, on a dans une première étape construit certains modèles-jouets afin de mener dedans des calculs similaires que ceux exposés dans l'article en question tout en essayant d'étudier le rapprochement avec des objets et théories mathématiques rigoureuses, notamment la quantification kählerienne, la géométrie algébrique arithmétique et la formule pour la trace des opérateurs de Hecke. Dans une deuxième étape, on a développé un cadre mathématique rigoureux où vivent naturellement les objets de l'étude de Rajeev. Ce cadre devrait servir dans la suite afin de faire de manière rigoureuse les calculs de "limite néoclassique" dans ce contexte ci. Ainsi les objets développés devraient servir aux mathématiciens de mieux comprendre les idées des physiciens et aux physiciens de pouvoir pousser plus loin les calculs de perturbations / The goal of this thesis is to analyze and to develop the mathematical objects that appeared in "New classical limits of quantum theories" of S. G. Rajeev, especially the (loc. sit) "neoclassical limits" in the context of the contexte of the theory of modular forms. To see what are the objects involved in the study of Rajeev, we constructed certain toy models where could develop similar calculations as those done in the article mentioned above. This was done by trying to compare these toy models with rigorous mathematical theories, for example Kähler quantization, algebric geometry and the trace formula for Hecke operators. After that we developed a rigorous mathematical frame where the objects introduced by Rajeev naturally live. This frame should be used in the futur to do the "neoclassical limit" calculations in this context. So the objects developed could be used by the mathematicians to understand the physical ideas and by the physicists to push further the calculations of perturbation

Des formules en termes élémentaires de la Théorie des Nombres pour les nombres de classes de conjugaison de sous-groupes finis dans le groupe de norme 1 des ordres maximaux d'algèbres de quaternions sont établies.

La lombalgie (LBP) touche 80% de la population mondiale adulte et devient chronique dans 10 à 15% des cas. Pour la grande majorité des cas adultes (85%), aucune cause ne peut être clairement identifiée pour expliquer ces douleurs et l’on parle alors de lombalgie chronique « non-spécifique » (NSCLBP). Chez l’enfant et l’adolescent, la prévalence de la NSCLBP est semblable à celle de l’adulte. Malgré la faible incidence de pathologies graves associées, la lombalgie de l’enfant et de l’adolescent implique, souvent dans sa prise en charge diagnostique, une exposition augmentée aux radiations et un stress parental important. Cependant, la présence d’anomalies radiologiques est aussi fréquente dans la population asymptomatique que dans la population avec NSCLBP. Ceci remet en question l’intérêt clinique de la radiologie pour dépister une cause possible de NSCLBP. Dans ce contexte, il est nécessaire d’identifier de nouveaux outils, si possible non-irradiants et peu coûteux, pour identifier des caractéristiques spécifiques aux enfants et adolescents souffrant de NSCLBP et ainsi améliorer la compréhension de cette pathologie.L’analyse électromyographique (EMG) de l’activité des muscles paravertébraux lombaires s’est avérée cliniquement pertinente dans la population adulte pour discriminer les patients souffrant de NSCLBP des participants asymptomatiques. Plusieurs paramètres EMG enregistrés lors de différentes tâches ont été identifiés chez l’adulte pour caractériser les participants NSCLBP. Les paramètres EMG des muscles lombaires les plus couramment rapportés dans la littérature sont : un temps de maintien réduit ainsi qu’une fatigue musculaire accélérée pendant le test d’endurance des muscles extenseurs du tronc, la réduction ou l’absence du phénomène de flexion-relaxation (FRP) pendant la tâche de flexion maximale du tronc ainsi qu’un pattern atypique supportant l’hypothèse de précaution pendant la marche à différentes vitesses. Si ces caractéristiques EMG spécifiques aux patients souffrant de NSCLBP ont été bien établies chez l’adulte, la question est désormais de savoir ce qu’il en est chez l’enfant et l’adolescent souffrant de NSCLBP.Dans ce contexte clinique, l’objectif de ce travail doctoral était d’évaluer les caractéristiques EMG décrites ci-dessus dans une cohorte d’enfants et d’adolescents souffrant de NSCLBP en comparaison à des participants asymptomatiques (CTRL). Pour y répondre, plusieurs études complémentaires ont été effectuées.Dans leur ensemble, les travaux de cette thèse de doctorat ont montré que les phénomènes EMG reportés dans une population adulte avec NSCLBP ne sont pas retrouvés dans une population pédiatrique avec NSCLBP. Ces résultats remettent en question le diagnostic et la prise en charge actuelle des enfants et adolescents souffrant de NSCLBP, qui est, à ce jour, calquée sur le modèle adulte. Des études supplémentaires sont cependant nécessaires pour confirmer ces résultats sur une cohorte plus importante. Il serait aussi intéressant d’évaluer une même cohorte à partir de l’enfance jusqu’à l’âge adulte afin d’évaluer quels facteurs pourraient prédire l’apparition des phénomènes rapportés dans la littérature adulte. / The majority of the worldwide population (80%) suffers from low back pain (LBP) over life. LBP becomes chronic (CLBP) in 10 to 15% of (all) adult cases yielding important functional and socio-economic adverse repercussions. The majority of LBP (85%) is classified as “non-specific” (NSCLBP), i.e. with an absence of any identified cause. LBP prevalence on children and adolescents is comparable to adults. Despite the low incidence of serious associated diseases, the fear of missing them increased patient’s exposure to radiation. However, an absence of significant correlation between radiology changes in the lower spine and low back pain was reported for school children. In this context, it is necessary to identify new tools, if possible non-irradiating and inexpensive, to identify specific characteristics of children and adolescents suffering from NSCLBP and thus improve the understanding of this pathology.An interesting tool, highlighted in adult population, is to evaluate surface electromyography (EMG) of low back muscles. Existing EMG phenomena were reported to discriminate adults with and without NSCLBP: reduced trunk muscle endurance, absence of flexion-relaxation phenomenon and guarding hypothesis during gait at different velocities. These EMG characteristics have not yet been confirmed for children and adolescents suffering of NSCLBP.This clinical context justifies the present doctoral work. The aim was to evaluate EMG characteristics in children and adolescents with NSCLBP in comparison with control participants. To achieve these objectives, several complementary studies were successively conducted.Taken together, the results of this doctoral work showed that the EMG characteristics frequently reported for NSCLBP in adults were absent or reduced in children and adolescent suffering from NSCLBP. These findings are inconsistent with the existing literature on adults and might affect the future therapeutic management of children and adolescents with NSCLBP, which is, to date, an imitation of the adult model. It would be interesting to confirm these results on the basis of a larger cohort and to reassess the same children and adolescents in adulthood to identify whether the EMG phenomenon, as known in NSCLBP adults, appears over time.

L'objet de cette thèse est l'étude de deux exemples d'action d'un groupe sur un espace homogène et de leur dynamique topologique. Chacune de ces actions est conjuguée à un flot sur une fibration sur un espace localement symétrique. Le premier chapitre est consacré à des généralités sur les espaces hyperboliques, leur produit et leur groupe d'isométries. Dans le second chapitre, nous étudions l'action du groupe unipotent supérieur sur le quotient du groupe projectif unimodulaire complexe $2\times2$ par un sous-groupe discret. Cette action est conjuguée à un flot des repères orthonormés directs de l'espace tangent d'une variété hyperbolique de dimension $3$. Nous caractérisons les orbites denses et les orbites fermées et obtenons ainsi une caractérisation dynamique de certaines catégories de groupes kleiniens (géométriquement finis, convexe-cocompacts, réseaux). Nous considérons, dans le troisième chapitre, le produit de deux groupes projectifs unimodulaires réels $2\times2$ et nous étudions l'action du produit des sous-groupes diagonaux sur les quotients de mesure finie. Lorsqu'un tel quotient est irréductible, une conjecture de Margulis affirme que les orbites sont alors denses ou fermées. Nous caractérisons les orbites fermées et nous exhibons certains points de la frontière de Furstenberg du bi-disque donnant lieu à des orbites denses. Dans le quatrième chapitre, nous relions, pour les réseaux de Hilbert, la conjecture précédente à l'approximation diophantienne des couples de réels par les éléments d'un corps réel quadratique.

A travers la conception de robots porte-sonde ultrasonore pour une application médicale de télééchographie mobile, une étude de conception de structures cinématiques à modules sphériques optimisés est proposée. Le geste médical pendant l'examen d'échographie est analysé ; les résultats sont utilisés pour la définition du cahier des charges concernant la structure cinématique du robot. Une étude de synthèse basée sur les groupes de Lie des déplacements d'un corps rigide est effectuée pour établir un ensemble de mécanismes candidats pour le module de positionnement de translation plane et le module sphérique d'orientation constituant ce robot médical. Une optimisation multicritères sous contraintes est proposée pour les structures sphériques et appliquée sur trois structures : série, parallèle et hybride. La performance cinématique, le volume de l'espace de travail ainsi que des indices exprimant la compacité et la légèreté de la structure interviennent dans l'optimisation. La parcourabilité des structures cinématiques optimisées est étudiée. Les structures cinématiques des robots porte-sonde utilisés dans le système « Otelo » sont présentées.

Cette thèse est une contribution au domaine des cubulations de groupes hyperboliques au sens de Gromov. Nous nous intéressons au cas particulier des groupes fondamentaux de variétés hyperboliques réelles compactes. La philosophie inspirée dans ce domaine par les travaux de M. Sageev est que si un groupe hyperbolique possède suffisamment de sous-groupes de codimension 1 quasi-convexes, alors il agit géométriquement sur un complexe cubique CAT(0) de dimension finie. Nous démontrons un critère précis de cubulation pour les groupes fondamentaux de variétés hyperboliques compactes, à l'aide de constructions d'espaces à murs quasi-isométriques à l'espace hyperbolique réel. Nous nous restreignons par la suite au cas particulier de la dimension 3 et plus particulièrement aux 3-variétés hyperboliques compactes virtuellement fibrées sur le cercle. Nous exploitons alors une construction de surfaces immergées incompressibles dites coupées-croisées due à D. Cooper, D. Long et A. Reid dans une telle 3-variété M pour fabriquer des sous-groupes de surface de son groupe fondamental~G. En raffinant des arguments de J. Masters et en exploitant la structure de l'application de Cannon-Thurston, nous parvenons à construire des sous-groupes de surfaces quasi-convexes de G en quantité suffisante pour que leurs ensembles limites permettent de séparer toutes les paires de points distincts du bord du revêtement universel de M. En conséquence de cette construction, G agit géométriquement sur un complexe cubique CAT(0) de dimension finie. D. Wise soulève alors la question de savoir si ce groupe G peut agir géométriquement et également virtuellement co-spécialement (au sens de F. Haglund et D. Wise) sur un complexe cubique CAT(0). Une réponse positive résoudrait les conjectures selon lesquelles G est large et le premier nombre de Betti virtuel de M est infini. Nous faisons remarquer que pour obtenir une réponse positive à cette question, il suffit de trouver une surface coupée-croisée virtuellement plongée dans un revêtement fini fibré sur le cercle de M. Nous concluons en présentant des conditions algébriques, puis géométriques et cohomologiques suffisantes pour qu'une surface coupée-croisée donnée soit virtuellement plongée.

La construction d'un quotient, en topologie, est relativement simple; si $G$ est un groupe topologique agissant sur un espace topologique $X$, on peut considérer l'application naturelle de $X$ dans $X/G$, l'espace d'orbites muni de la topologie quotient. En géométrie algébrique, malheureusement, il n'est généralement pas possible de munir l'espace d'orbites d'une structure de variété. Dans le cas de l'action d'un groupe linéairement réductif $G$ sur une variété projective $X$, la théorie géométrique des invariants nous permet toutefois de construire un morphisme de variété d'un ouvert $U$ de $X$ vers une variété projective $X//U$, se rapprochant autant que possible d'une application quotient, au sens topologique du terme. Considérons par exemple $X\subseteq P^{n}$, une $k$-variété projective sur laquelle agit un groupe linéairement réductif $G$ et supposons que cette action soit induite par une action linéaire de $G$ sur $A^{n+1}$. Soit $\widehat{X}\subseteq A^{n+1}$, le cône affine au dessus de $\X$. Par un théorème de la théorie classique des invariants, il existe alors des invariants homogènes $f_{1},...,f_{r}\in C[\widehat{X}]^{G}$ tels que $$C[\widehat{X}]^{G}= C[f_{1},...,f_{r}].$$ On appellera le nilcone, que l'on notera $N$, la sous-variété de $\X$ définie par le locus des invariants $f_{1},...,f_{r}$. Soit $Proj(C[\widehat{X}]^{G})$, le spectre projectif de l'anneau des invariants. L'application rationnelle $$\pi:X\dashrightarrow Proj(C[f_{1},...,f_{r}])$$ induite par l'inclusion de $C[\widehat{X}]^{G}$ dans $C[\widehat{X}]$ est alors surjective, constante sur les orbites et sépare les orbites autant qu'il est possible de le faire; plus précisément, chaque fibre contient exactement une orbite fermée. Pour obtenir une application régulière satisfaisant les mêmes propriétés, il est nécessaire de jeter les points du nilcone. On obtient alors l'application quotient $$\pi:X\backslash N\rightarrow Proj(C[f_{1},...,f_{r}]).$$ Le critère de Hilbert-Mumford, dû à Hilbert et repris par Mumford près d'un demi-siècle plus tard, permet de décrire $N$ sans connaître les $f_{1},...,f_{r}$. Ce critère est d'autant plus utile que les générateurs de l'anneau des invariants ne sont connus que dans certains cas particuliers. Malgré les applications concrètes de ce théorème en géométrie algébrique classique, les démonstrations que l'on en trouve dans la littérature sont généralement données dans le cadre peu accessible des schémas. L'objectif de ce mémoire sera, entre autres, de donner une démonstration de ce critère en utilisant autant que possible les outils de la géométrie algébrique classique et de l'algèbre commutative. La version que nous démontrerons est un peu plus générale que la version originale de Hilbert \cite{hilbert} et se retrouve, par exemple, dans \cite{kempf}. Notre preuve est valide sur $C$ mais pourrait être généralisée à un corps $k$ de caractéristique nulle, pas nécessairement algébriquement clos. Dans la seconde partie de ce mémoire, nous étudierons la relation entre la construction précédente et celle obtenue en incluant les covariants en plus des invariants. Nous démontrerons dans ce cas un critère analogue au critère de Hilbert-Mumford (Théorème 6.3.2). C'est un théorème de Brion pour lequel nous donnerons une version un peu plus générale. Cette version, de même qu'une preuve simplifiée d'un théorème de Grosshans (Théorème 6.1.7), sont les éléments de ce mémoire que l'on ne retrouve pas dans la littérature. / The topological notion of a quotient is fairly simple. Given a topological group $G$ acting on a topological space $X$, one gets the natural application from $X$ to the quotient space $X/G$. In algebraic geometry, unfortunately, it is generally not possible to give the orbit space the structure of an algebraic variety. In the special case of a linearly reductive group acting on a projective variety $X$, the geometric invariant theory allows us to get a morphism of variety from an open $U$ of $X$ to a projective variety $X//G$, which is as close as possible to a quotient map, from a topological point of view. As an example, let $ X\subseteq P^{n}$ be a $k$-projective variety on which acts a linearly reductive group $G$. Suppose further that this action is induced by a linear action of $G$ on $A^{n+1}$ and let $\widehat{X}\subseteq A^{n +1}$ be the affine cone over $X$. By an important theorem of the classical invariants theory, there exist homogeneous invariants $f_{1},..., f_{r}\in C[\widehat{X}]^{G}$ such as $$\C[\widehat{X}]^{G}=\C[f_{1},...,f_{r}].$$ The locus in $X$ of $f_{1},...,f_{r}$ is called the nullcone, noted $N$. Let $Proj(C[\widehat{X}]^{G})$ be the projective spectrum of the invariants ring. The rational map $$\pi:X\dashrightarrow Proj(C[f_{1},...,f_{r}])$$ induced by the inclusion of $C[\widehat{X}]^{G}$ in $C[\widehat{X}] $ is then surjective, constant on the orbits and separates orbits as much as possible, that is, the fibres contains exactly one closed orbit. A regular map is obtained by removing the nullcone; we then get a regular map $$\pi:X \backslash N\rightarrow Proj(C[f_{1},...,f_{r}])$$ which still satisfy the preceding properties. The Hilbert-Mumford criterion, due to Hilbert and revisited by Mumford nearly half-century later, can be used to describe $N$ without knowing the generators of the invariants ring. Since those are rarely known, this criterion had proved to be quite useful. Despite the important applications of this criterion in classical algebraic geometry, the demonstrations found in the literature are usually given trough the difficult theory of schemes. The aim of this master thesis is therefore, among others, to provide a demonstration of this criterion using classical algebraic geometry and of commutative algebra. The version that we demonstrate is somewhat wider than the original version of Hilbert \cite{hilbert}; a schematic proof of this general version is given in \cite{kempf}. Finally, the proof given here is valid for $C$ but could be generalised to a field $k$ of characteristic zero, not necessarily algebraically closed. In the second part of this thesis, we study the relationship between the preceding constructions and those obtained by including covariants in addition to the invariants. We give a Hilbert-Mumford criterion for covariants (Theorem 6.3.2) which is a theorem from Brion for which we prove a slightly more general version. This theorem, together with a simplified proof of a theorem of Grosshans (Theorem 6.1.7), are the elements of this thesis that can't be found in the literature.