FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Nesta dissertaÃÃo abordamos o problema de injetividade de difeomorsmos locais em dimensÃo dois, do ponto de vista da geometria de curvatura negativa. O teorema principal fornece um conjunto de condiÃÃes sucientes para injetividade de um difeomorfismo local f : M1 → M2, entre superfÃcies de Hadamard, que se baseiam inteiramente em certas condiÃÃes de transversalidade simples de serem satisfeitas por folheaÃÃes defifinidas pelos horociclos associados a mÃtrica de curvatura nÃo positiva variÃvel em M1 e M2 , e o pull-back por f de tais folheaÃÃes. O Teorema fornece tambem uma definiÃÃo geomÃtrica para alguns dos resultados sobre a conjectura de estabilidade global assintÃtica, em particular, apresenta uma extensÃo parcial da condiÃÃo espectral para o caso de variedades de Hadamard. / In this work, we study the problem of injectivity of a local dieomorphism on dimension two of the point of view of the geometry of negative curvature. The main theorem provides a set of sucient conditions for injectivity of a local diffeomorphism f : M1 → M2 , between Hadamard surfaces, which depends on certain transversality conditions to be satisfied by simple foliations defined by horocycles associated to the metric with non positive curvature varying in M1 and M2 , and the pull-back in f of such foliations. This result gives a geometric definition for some of the results about the global asymptotic stability conjecture, in particular, it has a partial extension of the spectral condition for the case of Hadamard manifolds.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Estudamos folheaÃÃes de formas espaciais por hipersuperfÃcies completas, sob certas condiÃÃes sobre as suas curvaturas mÃdias de ordem superior. Em particular, no espaÃo euclidiano obtemos um Teorema tipo-Bernstein para grÃficos cujas curvaturas mÃdia e escalar nÃo mudam de sinal (podendo ser nÃo constantes). NÃs tambÃm estabelecemos a nÃo existÃncia de folheaÃÃes da esfera padrÃo cujas folhas sÃo completas e tÃm curvatura escalar constante, alargando assim um teorema de Barbosa, Kenmotsu e Oshikiri. Para o caso mais geral de folheaÃÃes r-mÃnimas do espaÃo euclidiano, possivelmente com um conjunto singular, somos capazes de invocar um teorema de D. Ferus para dar condiÃÃes sob as quais as folhas nÃo-singulares sÃo folheadas por hiperplanos. / We study foliations of space forms by complete hypersurfaces, under some mild conditions on its higher order mean curvatures. In particular, in Euclidean space we obtain a Bernstein-type theorem for graphs whose mean and scalar curvature do not change sign but may otherwise be nonconstant. We also establish the nonexistence of foliations of the standard sphere whose leaves are complete and have constant scalar curvature, thus extending a theorem of Barbosa, Kenmotsu and Oshikiri. For the more general case of r-minimal foliations of the Euclidean space, possibly with a singular set, we are able to invoke a theorem of Ferus to give conditions under which the nonsigular leaves are foliated by hyperplanes.