This thesis consists of two papers on the spectral geometry of locally symmetric spaces of Riemannian and Lorentzian signature. Both works are concerned with the idea of relating analysis on such spaces to structures on their boundaries. The first paper is motivated by a conjecture of Patterson on the Selberg zeta function of Kleinian groups. We consider geometrically finite hyperbolic cylinders with non-compact Riemann surfaces of finite area as cross sections. For these cylinders, we present a detailed investigation of the Bunke-Olbrich extension operator under the assumption that the cross section of the cylinder has one cusp. We establish the meromorphic continuation of the extension of Eisenstein series and incomplete theta series through the limit set. Furthermore, we derive explicit formulas for the residues of the extension operator in terms of boundary values of automorphic eigenfunctions. The motivation for the second paper comes from conformal geometry in Lorentzian signature. We prove the existence and uniqueness of a sequence of differential intertwining operators for spherical principal series representations, which are realized on boundaries of anti de Sitter spaces. Algebraically, these operators correspond to homomorphisms of generalized Verma modules. We relate these families to the asymptotics of eigenfunctions on anti de Sitter spaces.

L'objet de cette thèse est l'étude de certaines classes de variétés complexes compactes non kählériennes. On regarde d'abord la classe des surfaces de Kato. Étant donnés une surface de Kato minimale S, D le diviseur maximal de S formé des courbes rationnelles de S et ϖ : Š ͢ S le revêtement universel de S, on démontre que Š \ϖ-1 (D) est une variété de Stein. Les variétés LVMB sont la seconde classe de variétés non kählériennes étudiées. Ces variétés complexes sont obtenues en quotientant un ouvert U de Pn par un sous-groupe de Lie fermé G de (C*)n de dimension m. On reformule ce procédé en remplaçant U par la donnée d'un sous-éventail de celui de Pn et G par un sous-espace vectoriel de Rn convenable. On construit ensuite de nouvelles variétés complexes compactes non kählériennes en combinant une méthode due à Sankaran et celle donnant les variétés LVMB. Sankaran considère un ouvert U d'une variété torique dont le quotient par un groupe W discret est une variété compacte. Ici, on munit une certaine variété torique Y de l'action d'un sous-groupe de Lie G de (C*)n de sorte que le quotient X de Y par G soit une variété, puis on quotiente un ouvert de X par un groupe discret W analogue à celui de Sankaran.Enfin, on étudie les variétés OT, une autre classe de variétés non kählériennes, dont on démontre que leur dimension algébrique est nulle. Ces variétés sont obtenues comme quotient d'un ouvert de Cm par le produit semi-direct du réseau des entiers d'une extension de corps finie K de Q et d'un sous-groupe des unités de K bien choisi. / In this thesis we study certain classes of complex compact non-Kähler manifolds. We first look at the class of Kato surfaces. Given a minimal Kato surface S, D the divisor consisting of all rational curves of S and ϖ : Š ͢ S the universal covering of S, we show that Š \ϖ-1 (D) is a Stein manifold. LVMB manifolds are the second class of non-Kähler manifolds that we study here. These complex compact manifolds are obtained as quotient of an open subset U of Pn by a closed Lie subgroup G of (C*)n of dimension m. We reformulate this procedure by replacing U by the choice of a subfan of the fan of Pn and G by a suitable vector subspace of R^{n}. We then build new complex compact non Kähler manifolds by combining a method of Sankaran and the one giving LVMB manifolds. Sankaran considers an open subset U of a toric manifold whose quotient by a discrete group W is a compact manifold. Here, we endow some toric manifold Y with the action of a Lie subgroup G of (C^{*})^{n} such that the quotient X of Y by G is a manifold, and we take the quotient of an open subset of X by a discrete group W similar to Sankaran's one.Finally, we consider OT manifolds, another class of non-Kähler manifolds, and we show that their algebraic dimension is 0. These manifolds are obtained as quotient of an open subset of C^{m} by the semi-direct product of the lattice of integers of a finite field extension K over Q and a subgroup of units of K well-chosen.

Provamos resultados sobre a geometria de hipersuperfícies em diferentes espaços ambiente. Primeiro, definimos uma aplicação de Gauss generalizada para uma hipersuperfície Mn-1 c/ Nn, onde N é um espaço simétrico de dimensão n ≥ 3. Em particular, generalizamos um resultado de Ruh-Vilms e apresentamos aplicações. Em seguida, estudamos superfícies em espaços de dimensão 3: estudamos a equação da curvatura média em um produto semidireto R2oAR e obtemos estimativas da altura e a existência de gráficos mínimos do tipo Scherk. Finalmente, no espaço ambiente de uma variedade hiperbólica de dimensão 3: nós apresentamos condições suficientes para que um mergulho completo de uma superfície ∑ de topologia finita em N com curvatura média |H∑| ≤ 1 seja próprio. / We prove results concerning the geometry of hypersurfaces on di erent ambient spaces. First, we de ne a generalized Gauss map for a hypersurface Mn-1 c/ Nn, where N is a symmetric space of dimension n ≥ 3. In particular, we generalize a result due to Ruh-Vilms and make some applications. Then, we focus on surfaces on spaces of dimension 3: we study the mean curvature equation of a semidirect product R2 oA R to obtain height estimates and the existence of a Scherk-like minimal graph. Finally, on the ambient space of a hyperbolic manifold N of dimension 3 we give su cient conditions for a complete embedding of a nite topology surface ∑ on N with mean curvature |H∑| ≤ 1 to be proper.

Made available in DSpace on 2015-05-15T11:46:04Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 816279 bytes, checksum: 28c5081e37dbd539abb463a0ed89b87c (MD5) Previous issue date: 2012-07-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this paper we studied surfaces with constant mean curvature and surfaces with constant Gaussian curvature in the Sol space which are invariant under the action of two one-parameter subgroups of isometries of the ambient space. Furthermore, we classify the surfaces that satisfy a relationship of type k1 = mk2, where k1 and k2 are the principal curvatures of the surface and m ∈ R. / O presente trabalho aborda um estudo das superfícies com curvatura média constante e das superfícies com curvatura Gaussiana constante no espaço Sol que são invariantes sob a ação de dois grupos a 1-parâmetro de isometrias do espaço ambiente. Além disso, classificamos as superfícies que satisfazem uma relação do tipo k1 = mk2, onde k1 e k2 são as curvaturas principais da superfície e m ∈ R.

Provamos resultados sobre a geometria de hipersuperfícies em diferentes espaços ambiente. Primeiro, definimos uma aplicação de Gauss generalizada para uma hipersuperfície Mn-1 c/ Nn, onde N é um espaço simétrico de dimensão n ≥ 3. Em particular, generalizamos um resultado de Ruh-Vilms e apresentamos aplicações. Em seguida, estudamos superfícies em espaços de dimensão 3: estudamos a equação da curvatura média em um produto semidireto R2oAR e obtemos estimativas da altura e a existência de gráficos mínimos do tipo Scherk. Finalmente, no espaço ambiente de uma variedade hiperbólica de dimensão 3: nós apresentamos condições suficientes para que um mergulho completo de uma superfície ∑ de topologia finita em N com curvatura média |H∑| ≤ 1 seja próprio. / We prove results concerning the geometry of hypersurfaces on di erent ambient spaces. First, we de ne a generalized Gauss map for a hypersurface Mn-1 c/ Nn, where N is a symmetric space of dimension n ≥ 3. In particular, we generalize a result due to Ruh-Vilms and make some applications. Then, we focus on surfaces on spaces of dimension 3: we study the mean curvature equation of a semidirect product R2 oA R to obtain height estimates and the existence of a Scherk-like minimal graph. Finally, on the ambient space of a hyperbolic manifold N of dimension 3 we give su cient conditions for a complete embedding of a nite topology surface ∑ on N with mean curvature |H∑| ≤ 1 to be proper.

Provamos resultados sobre a geometria de hipersuperfícies em diferentes espaços ambiente. Primeiro, definimos uma aplicação de Gauss generalizada para uma hipersuperfície Mn-1 c/ Nn, onde N é um espaço simétrico de dimensão n ≥ 3. Em particular, generalizamos um resultado de Ruh-Vilms e apresentamos aplicações. Em seguida, estudamos superfícies em espaços de dimensão 3: estudamos a equação da curvatura média em um produto semidireto R2oAR e obtemos estimativas da altura e a existência de gráficos mínimos do tipo Scherk. Finalmente, no espaço ambiente de uma variedade hiperbólica de dimensão 3: nós apresentamos condições suficientes para que um mergulho completo de uma superfície ∑ de topologia finita em N com curvatura média |H∑| ≤ 1 seja próprio. / We prove results concerning the geometry of hypersurfaces on di erent ambient spaces. First, we de ne a generalized Gauss map for a hypersurface Mn-1 c/ Nn, where N is a symmetric space of dimension n ≥ 3. In particular, we generalize a result due to Ruh-Vilms and make some applications. Then, we focus on surfaces on spaces of dimension 3: we study the mean curvature equation of a semidirect product R2 oA R to obtain height estimates and the existence of a Scherk-like minimal graph. Finally, on the ambient space of a hyperbolic manifold N of dimension 3 we give su cient conditions for a complete embedding of a nite topology surface ∑ on N with mean curvature |H∑| ≤ 1 to be proper.

L’alignement d’images paramétrique a de nombreuses applications pour la réalité augmentée, la compression vidéo ou encore le suivi d’objets. Dans cette thèse, nous nous intéressons notamment aux techniques de recalage d’images (template matching) reposant sur l’optimisation locale d’une fonctionnelle d’erreur. Ces approches ont conduit ces dernières années à de nombreux algorithmes efficaces pour le suivi d’objets. Cependant, les performances de ces algorithmes ont été peu étudiées lorsque les images sont dégradées par un bruit important comme c’est le cas, par exemple, pour des captures réalisées dans des conditions de faible luminosité. Dans cette thèse, nous proposons un nouveau formalisme, appelé formalisme bidirectionnel, qui unifie plusieurs approches de l’état de l’art. Ce formalisme est utilisé dans un premier temps pour porter un éclairage nouveau sur un grand nombre d’approches de la littérature et en particulier sur l’algorithme ESM (Efficient Second-order Minimization). Nous proposons ensuite une étude théorique approfondie de l’influence du bruit sur le processus d’alignement. Cette étude conduit à la définition de deux nouvelles familles d’algorithmes, les approches ACL (Asymmetric Composition on Lie Groups) et BCL (Bidirectional Composition on Lie Groups) qui permettent d’améliorer les performances en présence de niveaux de bruit asymétriques (Rapport Signal sur Bruit différent dans les images). L’ensemble des approches introduites sont validées sur des données synthétiques et sur des données réelles capturées dans des conditions de faible luminosité. / Parametric image alignment is a fundamental task of many vision applications such as object tracking, image mosaicking, video compression and augmented reality. To recover the motion parameters, direct image alignment works by optimizing a pixel-based difference measure between a moving image and a fixed-image called template. In the last decade, many efficient algorithms have been proposed for parametric object tracking. However, those approaches have not been evaluated for aligning images of low SNR (Signal to Noise ratio) such as images captured in low-light conditions. In this thesis, we propose a new formulation of image alignment called Bidirectional Framework for unifying existing state of the art algorithms. First, this framework allows us to produce new insights on existing approaches and in particular on the ESM (Efficient Second-order Minimization) algorithm. Subsequently, we provide a theoretical analysis of image noise on the alignment process. This yields the definition of two new approaches : the ACL (Asymmetric Composition on Lie Groups) algorithm and the BCL (Bidirectional Composition on Lie Groups) algorithm, which outperform existing approaches in presence of images of different SNR. Finally, experiments on synthetic and real images captured under low-light conditions allow to evaluate the new and existing approaches under various noise conditions.

On s'intéresse dans cette thèse à l'étude de variables aléatoires sur les groupes de Lie compacts classiques. On donne une déformation du calcul de Weingarten tel qu'il a été introduit par B. Collins et P. Sniady. On fait une étude asymptotique du mouvement brownien sur les groupes de Lie compacts de grande dimension en obtenant des nouveaux résultats de fluctuations. Deux nouveaux objets, que l'on appelle champ maître gaussien planaire et champ maître orienté planaire, sont introduits pour décrire le comportement asymptotique des mesures de Yang-Mills pour des groupes de structure de grande dimension. / In the following text, we are interested in the study of Lie-groups valued random variables. We give a deformation of the Weingarten calculus introduced by Benoît Collins and Piotr Sniady. We study the asymptotic behavior of Brownian motion on compact Lie groups in high dimensions and obtain new fluctuations results. Two new objects called the planar gaussian master field and the planar oriented master field are introduced here to describe the asymptotic behavior of the Yang-Mills measure as the dimension of the structure group is large.

In this thesis I describe construction of Lie group and Lie algebra and its following usage for physical problems. To be able to construct Lie groups and Lie algebras we need define basic terms such as topological manifold, tensor algebra and differential geometry. First part of my thesis is aimed on this topic. In second part I am dealing with construction of Lie groups and algebras. Furthermore, I am showing different properties of given structures. Next I am trying to show, that there exists some connection among Lie groups and Lie algebras. In last part of this thesis is used just for showing how this apparat can be used on physical problems. Best known usage is to find physical symmetries to establish conservation laws, all thanks to famous Noether theorem.

Nous étudions deux problèmes différents qui ont leur origine dans la théorie du contrôle géométrique. Le Problème I consiste à étendre le concept du groupe d'holonomie horizontale sur une variété affine. Plus précisément, nous considérons une variété connexe lisse de dimension finie M, une connexion affine ∇ avec le groupe d'holonomie H∇ et une distribution lisse ∆ complètement non intégrable. Dans un premier temps, nous définissons le groupe d'holonomie ∆-horizontale H∆∇ comme le sous-groupe de H∇ obtenu par le transport parallèle le long des lacets tangents à ∆. Nous donnons les propriétés élémentaires de H∆∇ et ensuite nous faisons une étude détaillée en utilisant le formalisme de roulement. Il est montré en particulier que H∆∇ est un groupe de Lie. Dans un second temps, nous avons étudié un exemple explicite où M est un groupe de Carnot libre d'ordre 2 avec m ≥ 2 générateurs, et ∇ est la connexion de Levi-Civita associé à une métrique riemannienne sur M. Nous avons montré dans ce cas particulier que H∆∇ est compact et strictement inclus dans H∇ dès que m≥3. Le Problème II étudie la modélisation du problème du solveur d'esquisse. Ce problème est une des étapes d'un logiciel de CFAO. Notre but est d'arriver à une modélisation mathématique bien fondée et systématique du problème du solveur d'esquisse. Il s'agira ensuite de comprendre la convergence de l'algorithme, d'en améliorer les résultats et d'en étendre les fonctionnalités. L'idée directrice de l'algorithme est de remplacer tout d'abord les points de l'espace des sphères par des déplacements (éléments du groupe) et puis d'utiliser une méthode de Newton sur les groupes de Lie ainsi obtenus. Dans cette thèse, nous avons classifié les groupes de déplacements possibles en utilisant la théorie des groupes de Lie. En particulier, nous avons distingué trois ensembles, chaque ensemble contenant un type d'objet: le premier est l'ensemble des points, noté Points , le deuxième est l'ensemble des droites, noté Droites, et le troisième est l'ensemble des cercles et des droites, que nous notons ∧. Pour chaque type d'objet nous avons étudié tous les groupes de déplacements possibles, selon les propriétés souhaitées. Nous proposons finalement d'utiliser les groupes de déplacements suivant: pour le déplacement des points, le groupe des translations, qui agit transitivement sur Points ; pour les droites, le groupe des translations et rotations, qui est de dimension 3 et agit transitivement (globalement mais pas localement) sur Droites ; sur les droites et cercles, le groupe des anti-translations, rotations et dilatations qui est de dimension 4 et agit transitivement (globalement mais pas localement) sur ∧. / We study two problems arising from geometric control theory. The Problem I consists of extending the concept of horizontal holonomy group for affine manifolds. More precisely, we consider a smooth connected finite-dimensional manifold M, an affine connection ∇ with holonomy group H∇ and ∆ a smooth completely non integrable distribution. We define the ∆-horizontal holonomy group H∆∇ as the subgroup of H∇ obtained by ∇-parallel transporting frames only along loops tangent to ∆. We first set elementary properties of H∆∇ and show how to study it using the rolling formalism. In particular, it is shown that H∆∇ is a Lie group. Moreover, we study an explicit example where M is a free step-two homogeneous Carnot group with m≥2 generators, and ∇ is the Levi-Civita connection associated to a Riemannian metric on M, and show in this particular case that H∆∇ is compact and strictly included in H∇ as soon as m≥3. The Problem II is studying the modeling of the problem of solver sketch. This problem is one of the steps of a CAD/CAM software. Our goal is to achieve a well founded mathematical modeling and systematic the problem of solver sketch. The next step is to understand the convergence of the algorithm, to improve the results and to expand the functionality. The main idea of the algorithm is to replace first the points of the space of spheres by displacements (elements of the group) and then use a Newton's method on Lie groups obtained. In this thesis, we classified the possible displacements of the groups using the theory of Lie groups. In particular, we distinguished three sets, each set containing an object type: the first one is the set of points, denoted Points, the second is the set of lines, denoted Lines, and the third is the set of circles and lines, we note that ∧. For each type of object, we investigated all the possible movements of groups, depending on the desired properties. Finally, we propose to use the following displacement of groups for the displacement of points, the group of translations, which acts transitively on Lines ; for the lines, the group of translations and rotations, which is 3-dimensional and acts transitively (globally but not locally) on Lines ; on lines and circles, the group of anti-translations, rotations and dilations which has dimension 4 and acts transitively (globally but not locally) on ∧.