Fibrados de discos sobre superfícies uniformizados pelo bidisco hiperbólico

• Ano de defesa: 2017
• Autor(a) principal: Costa, Sidnei Furtado
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Disc bundles over surfaces; Estruturas geométricas em variedades; Fibrados de disco sobre superfície; Geometric structures on manifolds; Hyperbolic bidisc; Original: bidisco hiperbólico; Poincaré's polyhedron theorem; Teorema poliedral de Poincaré
• Link de acesso: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-16112017-114801/

Generalizando para o caso do bidisco hiperbólico as construções em (ANANIN; GROSSI; GUSEVISKII, 2011) e em (GROSSI, 2015), provamos que o fibrado trivial (tangente) sobre superfícies de gênero ≥ 1 (≥ 2) admite geometria modelada no bidisco hiperbólico. (O caso do fibrado trivial sobre o toro é particularmente curioso, pois a curvatura é nula na base e em cada fibra, mas não no fibrado.) Além do seu próprio valor intrínseco, estes exemplos se inserem no contexto da conjectura de Gromov, Lawson e Thurston. Originalmente, a conjectura de Gromov, Lawson e Thurston diz que um fibrado de discos sobre uma superfície conexa fechada orientável de gênero ≥ 2 admite métrica hiperbólica completa de curvatura constante se e só se ΙeΙ ≤ Ι XΙ, onde e é o número de Euler do fibrado e X é a caraterística de Euler da base. Posteriomente, observou-se que esta desigualdade também era válida em todos os fibrados de discos sobre superfícies com estrutura hiperbólica complexa (i.e., uniformizados pela 2-bola holomorfa) conhecidos. Por esta razão, passou-se a acreditar que a conjectura depende apenas de curvatura negativa lato sensu (digamos, à la Alexandrov) e não das especificidades de uma geometria hiperbólica particular. O bidisco hiperbólico é o caso mais simples que nos permite testar tal hipótese, pois está no limite de ser hiperbólico (a curvatura é ≤ 0). Construímos os dois casos extremais: = 0 (fibrado trivial) e ΙeΙ = ΙXΙ (fibrado tangente). Além disso, provamos alguns resultados relacionados à teoria de Teichmüller no contexto de fibrados de discos uniformizados pelo bidisco hiperbólico.