Grâce au théorème d'hyperbolisation, nous savons précisément quand une variété de dimension trois compacte admet une métrique hyperbolique. Par ailleurs, d'après le théorème de rigidité de Mostow, cette structure géométrique est unique. Cependant, trouver des liens pratiques entre la géométrie et la topologie est un problème difficile. La plupart des résultats décrits dans cette thèse visent à concrétiser ces liens. Toute géodésique fermée orientée dans une surface hyperbolique admet un relèvement canonique dans le fibré tangent unitaire de la surface, et on peut donc le voir comme un nœud dans une variété de dimension trois. Les extérieurs des nœuds ainsi construits admettent une structure hyperbolique. Cette thèse a pour objet d'estimer le volume des extérieurs des relèvements canoniques. Pour toute surface hyperbolique on construit une suite de géodésique sur la surface, tel que les extérieurs associées ne sont pas homéomorphes entre elles et dont la suite des volumes respectifs est bornée. Aussi on minore le volume de l'extérieur à l'aide d'un réel explicite qui décrit une relation entre la géodésique et une décomposition en pantalons de la surface. Ceci donne une méthode pour construire une suite de géodésiques dont les volumes des extérieurs associées sont minorées en termes de la longueur de la géodésique correspondant. Dans le cas particulier de la surface modulaire, on obtient des estimations du volume de l'extérieur en termes de la période de la fraction continue associée à la géodésique. / Due to the Hyperbolization Theorem, we know precisely when does a given compact three dimensional manifold admits a hyperbolic metric. Moreover, by the Mostow's Rigidity Theorem this geometric structure is unique. However, finding effective and computable connections between the geometry and topology is a challenging problem. Most of the results on this thesis fit into the theme of making the connections more concrete. To every oriented closed geodesic on a hyperbolic surface has a canonical lift on the unit tangent bundle of the surface, and we can see it as a knot in a three dimensional manifold. The knot complement given in this way has a hyperbolic structure. The objective of this thesis is to estimate the volume of the canonical lift complement. For every hyperbolic surface we give a sequence of geodesics on the surface, such that the knot complements associated are not homeomorphic with each other and the sequence of the corresponding volumes is bounded. We also give a lower bound of the volume of the canonical lift complement by an explicit real number which describes a relation between the geodesic and a pants decomposition of the surface. This give us a method to construct a sequence of geodesics where the volume of the associated knot complements is bounded from below in terms of the length of the corresponding geodesic. For the particular case of the modular surface, we obtain estimations for the volume of the canonical lift complement in terms of the period of the continuous fraction expansion of the corresponding geodesic.

A simplicial cell complex K is the face poset of a regular CW complex W such that the boundary complex of each cell is isomorphic to the boundary complex of a simplex of same dimension. If a topological space X is homeomorphic to W then we say that K is a pseudotriangulation of X. For d 1, a (d + 1)-colored graph is a graph = (V; E) with a proper edge coloring : E ! f0; : : : ; dg. Such a graph is called contracted if (V; E n 1(i)) is connected for each color A contracted graph = (V; E) with an edge coloring : E ! f0; : : : ; dg determines a d-dimensional simplicial cell complex K( ) whose vertices have one to one correspondence with the colors 0; : : : ; d and the facets (d-cells) have one to one correspondence with the vertices in V . If K( ) is a pseudotriangulation of a manifold M then ( ; ) is called a crystallization of M. In [71], Pezzana proved that every connected closed PL manifold admits a crystallization. This thesis addresses many important results of crystallization theory in combinatorial topology. The main contributions in this thesis are the followings. We have introduced the weight of a group which has a presentation with number of relations is at most the number of generators. We have shown that the number of vertices of any crystallization of a connected closed 3-manifold M is at least the weight of the fundamental group of M. This lower bound is sharp for the 3-manifolds RP3, L(3; 1), L(5; 2), S1 S1 S1, S2 S1, S2 S1 and S3=Q8, where Q8 is the quaternion group. Moreover, there is a unique such vertex minimal crystallization in each of these seven cases. We have also constructed crystallizations of L(kq 1; q) with 4(q + k 1) vertices for q 3, k 2 and L(kq +1; q) with 4(q + k) vertices for q 4, k 1. In [22], Casali and Cristofori found similar crystallizations of lens spaces. By a recent result of Swartz [76], our crystallizations of L(kq + 1; q) are vertex minimal when kq + 1 are even. In [47], Gagliardi found presentations of the fundamental group of a manifold M in terms of a crystallization of M. Our construction is the converse of this, namely, given a presentation of the fundamental group of a 3-manifold M, we have constructed a crystallization of M. These results are in Chapter 3. We have de ned the weight of the pair (hS j Ri; R) for a given presentation hS j R of a group, where the number of generators is equal to the number of relations. We present an algorithm to construct crystallizations of 3-manifolds whose fundamental group has a presentation with two generators and two relations. If the weight of (hS j Ri; R) is n then our algorithm constructs all the n-vertex crystallizations which yield (hS j Ri; R). As an application, we have constructed some new crystallization of 3-manifolds. We have generalized our algorithm for presentations with three generators and a certain class of relations. For m 3 and m n k 2, our generalized algorithm gives a 2(2m + 2n + 2k 6 + n2 + k2)-vertex crystallization of the closed connected orientable 3-manifold Mhm; n; ki having fundamental group hx1; x2; x3 j xm1 = xn2 = xk3 = x1x2x3i. These crystallizations are minimal and unique with respect to the given presentations. If `n = 2' or `k 3 and m 4' then our crystallization of Mhm; n; ki is vertex-minimal for all the known cases. These results are in Chapter 4. We have constructed a minimal crystallization of the standard PL K3 surface. The corresponding simplicial cell complex has face vector (5; 10; 230; 335; 134). In combination with known results, this yields minimal crystallizations of all simply connected PL 4-manifolds of \standard" type, i.e., all connected sums of CP2, CP2, S2 S2, and the K3 surface. In particular, we obtain minimal crystallizations of a pair 4-manifolds which are homeomorphic but not PL-homeomorphic. We have also presented an elementary proof of the uniqueness of the 8-vertex crystallization of CP2. These results are in Chapter 5. For any crystallization ( ; ) the number f1(K( )) of 1-simplices in K( ) is at least d+1 . It is easy to see that f1(K( )) = d+1 if and only if (V; 1(A)) is connected for each d 2 2 1)-set A called simple. All the crystallization in Chapter 5 (. Such a crystallization is are simple. Let ( ; ) be a crystallization of M, where = (V; E) and : E ! f0; : : : ; dg. We say that ( ; ) is semi-simple if (V; 1(A)) has m + 1 connected components for each (d 1)-set A, where m is the rank of the fundamental group of M. Let ( ; ) be a connected (d +1)-regular (d +1)-colored graph, where = (V; E) and : E ! f0; : : : ; dg. An embedding i : ,! S of into a closed surface S is called regular if there exists a cyclic permutation ("0; "1; : : : ; "d) (of the color set) such that the boundary of each face of i( ) is a bi-color cycle with colors "j; "j+1 for some j (addition is modulo d+1). Then the regular genus of ( ; ) is the least genus (resp., half of genus) of the orientable (resp., non-orientable) surface into which embeds regularly. The regular genus of a closed connected PL 4-manifold M is the minimum regular genus of its crystallizations. For a closed connected PL 4-manifold M, we have provided the following: (i) a lower bound for the regular genus of M and (ii) a lower bound of the number of vertices of any crystallization of M. We have proved that all PL 4-manifolds admitting semi-simple crystallizations, attain our bounds. We have also characterized the class of PL 4-manifolds which admit semi-simple crystallizations. These results are in Chapter 6.

Made available in DSpace on 2015-03-26T13:45:36Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2162893 bytes, checksum: 4b666208fbc222c17155380c6989fbf1 (MD5) Previous issue date: 2013-07-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work we study of the curvature projective plane at a point of a 3-manifold immersed in Rn n ≥ 4, based one the thesis of R. R. Binotto [1]. We analyzed the different types of surfaces that describe the projective. We show that it can to be described as an isomorphism of the Veronese s surface of order 2 followed by a linear transformation and a translation. We also relate the types of a point on a 3-manifold with the degenericity of projective in the normal space. We conclude this study by analyzing the curvature locus of points in a n-manifold immersed in codimension 2, according to [14]. We present some examples, analyzing a few geometric properties of the curvature locus and comment on some results related to the geometry of a 3-manifold in codimension 2. / Neste trabalho fazemos um estudo do projetivo de curvatura em um ponto de uma 3-variedade imersa em Rn , n ≥ 4, tendo como base a tese de de R. R. Binotto [1]. Analisamos os diferentes tipos de superfícies que descrevem o projetivo, mostramos que este pode ser descrito como um isomorfismo da superfície de Veronese de ordem 2 seguido de uma transformação linear e de uma translação. Também relacionamos os tipos de pontos da 3-variedade com a degenericidade do projetivo no espaço normal. Finalizamos o estudo analisando o locus de curvatura em pontos de uma n-variedade imersa em codimenso 2, de acordo com [14], apresentamos alguns exemplos, analisando algumas propriedades geométricas do locus de curvatura e comentamos alguns resultados relacionados à geometria de uma 3-variedade em codimensão 2.

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. / This thesis contributes to the study of geometric actions of word-hyperbolic groups on finite dimensional CAT(0) cube complexes. We are mainly interested in the case of fundamental groups of closed hyperbolic manifolds. The philosophy coming from pioneer work of M. Sageev is that a hyperbolic group with sufficiently many quasi-convex codimension one subgroups acts geometrically on a finite dimensional CAT(0) cube complex. We prove a precise criterion for cubulation in the case of closed hyperbolic manifolds, by constructing spaces with walls quasi-isometric to real hyperbolic space. We next focus on the case of three dimensional closed hyperbolic manifolds which are virtually fibered over the circle. In this setting, we use a construction of incompressibly immersed cut-and-cross-join surfaces due to D. Cooper, D. Long and A. Reid that yields surface subgroups of the fundamental group G of the 3-manifold M. By expanding on work of J. Masters and using the structure of the Cannon-Thurston map, we are able to build many quasi-convex surface subgroups of G whose limits sets may be used to separate any pair of distinct points in the boundary of the universal cover of M. As a consequence, G acts geometrically on a finite dimensional CAT(0) cube complex. D. Wise then asks if it is possible that G acts both geometrically and virtually co-specially (in the sense of F. Haglund and D. Wise) on a CAT(0) cube complex. A positive answer would solve the long-standing conjectures that G is large and M has infinite virtual first Betti number. We then explain why finding a virtually embedded cut-and-cross-join surface in a finite cover of M would be enough to solve this problem. Finally, we give some algebraic and then geometric and cohomological sufficient conditions for a given cut-and-cross-join surface to virtually embed.

Soit Σ une surface compacte connexe orientée avec une seule composante du bord. Notons par M le groupe d'homéotopie de Σ. En considérant l'action de M sur le groupe fondamental de Σ, il est possible de définir différentes filtrations de M ainsi que des homomorphismes sur chaque terme de ces filtrations. Le but de cette thèse est double. En premier lieu, nous étudions deux filtrations de M : la " filtration de Johnson-Levine " introduite par Levine et la " filtration de Johnson alternative " introduite recemment par Habiro et Massuyeau. Les définitions de ces deux filtrations prennent en compte un corps en anses bordé par la surface. Nous nous référons à ces filtrations comme " filtrations de type Johnson " et les homomorphismes correspondants sont appelés " homomorphismes de type Johnson " par leur analogie avec la filtration de Johnson originale et les homomorphismes de Johnson usuels. Nous donnons une comparaison de la filtration de Johnson avec la filtration de Johnson-Levine au niveau du monoïde des cobordismes d'homologie de Σ. Nous donnons également une comparaison entre la filtration de Johnson alternative, la filtration Johnson-Levine et la filtration de Johnson au niveau du groupe d'homéotopie. Deuxièmement, nous étudions la relation entre les " homomorphismes de type Johnson" et l'extension fonctorielle de l'invariant perturbatif universel des variétés de dimension trois (l'invariant de Le-Murakami-Ohtsuki ou invariant LMO). Cette extension fonctorielle s'appelle le foncteur LMO et il prend ses valeurs dans une catégorie de diagrammes. Nous démontrons que les "homomorphismes de type Johnson " peuvent être lus dans la réduction arborée du foncteur LMO. En particulier, cela fournit une nouvelle grille de lecture de la réduction arborée du foncteur LMO. / Let Σ be a compact oriented surface with one boundary component and let M denote the mapping class group of Σ. By considering the action of M on the fundamental group of Σ it is possible to define different filtrations of M together with some homomorphisms on each term of the filtrations. The aim of this thesis is twofold. First, we study two filtrations of M : the « Johnson-Levine filtration » introduced by Levine and « the alternative Johsnon filtration » introduced recently by Habiro and Massuyeau. The definition of both filtrations involve a handlebody bounded by Σ. We refer to these filtrations as ≪ Johnson-type filtrations » and the corresponding homomorphisms have referred to as « Johnson-type homomorphisms » by their analogy with the original Johnson filtration and the usual Johnson homomorphisms. We provide a comparison of the Johnson filtration with the Johnson-Levine filtration at the level of the monoid of homology cobordisms of Σ. We also provide a comparison of the alternative Johnson filtration with the Johnson-Levine filtration and the Johnson filtration at the level of the mapping class group. Secondly, we study the relationship between the « Johnson-type homomorphisms » and the functorial extension of the universal perturbative invariant of 3-manifolds (the Le-Murakami-Ohtsuki invariant or LMO invariant). This functorial extension is calling the LMO functor and it takes values in a category of diagrams. We prove that the « Johnson-type homomorphisms » is in the tree reduction of the LMO functor. In particular, this provides a new reading grid of the tree reduction of the LMO functor.

In this thesis we study several properties of finitely presented groups, through the unifying paradigm of encoding sought-after group properties into presentations and detecting group properties from presentations, in the context of Geometric Group Theory. A group law is said to be detectable in power subgroups if, for all coprime m and n, a group G satisfies the law if and only if the power subgroups G(^m) and G(ⁿ) both satisfy the law. We prove that for all positive integers c, nilpotency of class at most c is detectable in power subgroups, as is the k-Engel law for k at most 4. In contrast, detectability in power subgroups fails for solvability of given derived length: we construct a finite group W such that W(²) and W(³) are metabelian but W has derived length 3. We analyse the complexity of the detectability of commutativity in power subgroups, in terms of finite presentations that encode a proof of the result. We construct a census of two-generator one-relator groups of relator length at most 9, with complete determination of isomorphism type, and verify a conjecture regarding conditions under which such groups are automatic. Furthermore, we introduce a family of one-relator groups and classify which of them act properly cocompactly on complete CAT(0) spaces; the non-CAT(0) examples are counterexamples to a variation on the aforementioned conjecture. For a subclass, we establish automaticity, which is needed for the census. The deficiency of a group is the maximum over all presentations for that group of the number of generators minus the number of relators. Every finite group has non-positive deficiency. For every prime p we construct finite p-groups of arbitrary negative deficiency, and thereby complete Kotschick's proposed classification of the integers which are deficiencies of Kähler groups. We explore variations and embellishments of our basic construction, which require subtle Schur multiplier computations, and we investigate the conditions on inputs to the construction that are necessary for success. A well-known question asks whether any two non-isometric finite volume hyperbolic 3-manifolds are distinguished from each other by the finite quotients of their fundamental groups. At present, this has been proved only when one of the manifolds is a once-punctured torus bundle over the circle. We give substantial computational evidence in support of a positive answer, by showing that no two manifolds in the SnapPea census of 72 942 finite volume hyperbolic 3-manifolds have the same finite quotients. We determine examples of sizeable graphs, as required to construct finitely presented non-hyperbolic subgroups of hyperbolic groups, which have the fewest vertices possible modulo mild topological assumptions.