O objetivo dessa Dissertação é detalhar resultados conhecidos de Cohomologia em Topos de Grothendieck. Para isso, apresentamos a Álgebra Homológica em seu contexto mais geral, através de Categorias Abelianas, introduzindo as principais noções da área como funtores derivados e sequências espectrais. Desenvolvemos também o essencial da Teoria de Topos, explicando como um topos de Grothendieck surge como uma certa generalização dos feixes de conjuntos e fornecemos aspectos lógicos dos topos elementares. Focamos sobretudo nos Topos de Grothendieck pois a partir deles podemos construir categorias abelianas com suficientes injetivos, as quais são necessárias para expressar os grupos de cohomologia. / The final objective of this Dissertation is to detail known results of Cohomology in Grothendieck Topos. For this, we present Homological Algebra in its more general context, through Abelian Categories, introducing the main notions of the area as derived functors and spectral sequences. We also develop the basics of the Topos Theory, explaining how a Grothendieck Topos arises as a certain generalization of sheafs and we provide logical aspects of the elementary topos. We focus mainly in the Grothendieck Topos because from them we can construct abelians categories.

Sea R un anillo asociativo no unitario. Un módulo M se dice firme si es isomorfo de forma canónica al producto tensorial sobre R de R por M. La categoría formada por los módulos firmes es una generalización natural de la categoría de módulos unitarios para anillos unitarios.Una propiedad fundamental y que permanecía como problema abierto era la abelianidad de la categoría de módulos firmes. En la memoria se prueba que en general la categoría no es abeliana, mostrando un ejemplo de anillo asociativo R y de un monomorfismo que no es núcleo de ningún otro morfismo de la categoría. Se realiza un estudio profundo de la categoría de módulos firmes y de multitud de propiedades equivalentes a la abelianidad, así como otras propiedades más débiles y que tampoco se cumplen en general. / Let R a nonunital ring. A module M is set to be firm if it is isomorphic in the canonical way to the tensor product about R of R by M. The category of firm modules generalizes the usual category of unital modules for a unital ring.It was a open problem if the category of firm modules is an abelian category. We prove that, in general, this category is not abelian, and we find a ring and a monomorphism that is not a kernel in this category. The category of firm modules has been estudied in detail. We have deeply analyzed several properties equivalent to be abelian, and some others with weaker restrictions that are not satisfied in general

Orientador: Marcos Benevuto Jardim / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T04:40:41Z (GMT). No. of bitstreams: 1 Frejlich_Pedro_M.pdf: 852390 bytes, checksum: bcde0cd89c0bcfe3b2515b5cfe48e528 (MD5) Previous issue date: 2007 / Resumo: Construímos a transformada de Nahm de um fibrado de Higgs estável de grau nulo sobre uma superfície de Riemann de gênero pelo menos 2. Para tanto, empregamos a Teoria do Índice de Atiyah-Singer e um vanishing theorem que segue da hipótese de estabilidade do fibrado. O principal resultado é que o fibrado transformado é hiperholomorfo e sem fatores planos. Desse modo não só recuperamos os resultados algébricos de [7] e os de [12] para o cos q = 0 como também provamos uma descrição mais detalhada da estrutura geométrica da transformada ¿ o que, aliada às técnicas de [10] sugere que ela possa ser invertida. Palavras-chave: Superfícies de Riemann, Fibrados Estáveis, Teoria do Índice, Transformada de Nahm, Transformada de Fourier-Mukai, Variedades Hiper-Kähler, Variedades Abelianas, Conexões Hiperholomorfas / Abstract: We construct the Nahm transform of a stable, degree-zero Higgs bundle on a Riemann surface of genus at least 2. Atiyah-Singer¿s index theorem is the basic tool employed, along with a vanishing theorem which is due to the stability hypothesis. Our main result is that the transformed bundle is hyperholomorphic and without flat factors. This not only recovers the algebraic results of [7] and that of [12] for the cos q = 0, but also provides a more detailed description of the geometric structure of the transformed bundle. Such results suggest that this Nahm transform can be inverted, cf. [10]. Key-words:Riemann surfaces, Stable bundles, Index Theory, Nahm Transform, Fourier-Mukai Transform, Hyperk¨ahler manifolds, Abelian varieties, Hyperholomorphic connections / Mestrado / Geometria Diferencial/Geometria algebrica / Mestre em Matemática

Orientador: Marcos Benevenuto Jardim / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-24T02:07:51Z (GMT). No. of bitstreams: 1 Castilho_TiagoNunes_D.pdf: 20018125 bytes, checksum: 181cd44948098969af37059c2215917a (MD5) Previous issue date: 2013 / Resumo: Esta tese trata de variedades de Prym e de semigrupos de Weierstrass, ambos no contexto de recobrimentos duplos de curvas ramificados. A partir da descrição da variedade de Prym em termos de um conjunto de fibrações lineares do recobrimento, estuda-se a dualidade entre o lugar onde a aplicação de Gauss sobre o divisor Prym-Theta se degenera e o divisor de ramos do recobrimento duplo, em que provarse uma relação entre as fibras da aplicação de Gauss e os semigrupos de Weierstrass das ramificações do recobrimento / Abstract: ln this thesis we present results about Prym varieties and Weierstrass semigroups, both in the context of ramified double covers of curves. From the description of the Prym variety by a set of linear fibrations, we study the duality between the place where the Gauss map on the Prym-Theta divisor degenerates and the branch divisor of the double covering, in which we prove a relation between the fibers of the Gauss map and the Weierstrass semigroups of branched points of the double covering / Doutorado / Matematica / Doutor em Matemática

Seja K/Q uma extensÃo abeliana de grau primo Ãmpar ρ e condutor n, onde ρ nÃo se ramifica em K/Q. As principais contribuiÃÃes deste trabalho sÃo: 1) caracterizaÃÃo de ideais Ok em cuja fatoraÃÃo constam apenas ideais primos ramificados K/Q; 2) cÃlculo da densidade de centro da representaÃÃo geomÃtrica de Z-mÃdulos em Ok caracterizados por uma equaÃÃo modular (para ρ = 3,5 e 7, parametriza-se o algoritmo que otimiza a densidade de centro destes reticulados). AlÃm disso, os seguintes resultados sÃo tambÃm descritos: 1) FamÃlias de reticulados associados a polinÃmios em Z[x] de grau dois e trÃs; 2) uma prova alternativa da finitude do grupo das classes de um corpo nÃmeros baseada somente em empacotamentos esfÃricos. / Let K/Q be an Abelian extension of ood degree ρ and conductor n, where ρ does not ramify in K/Q. The main contributions of this work are: 1) characterization of ideals of Ok whose factorization includes only prime ramified ideals K/Q; 2) calculation of the center density of the geometric representation of Z-modules in Ok characterized by a modular equation (for ρ = 3.5, and 7, the algorithm that is used to optimize the center density of those lattices is parametrized). Besides, the following results are also described: 1) Families of lattices associated to polynomials in Z[x] of degree two and three; 2) an alternative proof of the finiteness of the class group of a number field based solely on sphere packings.

Neste projeto, propomos estudar a chamada \"Teoria de Corpos de Classe,\" que oferece uma descrição simples das extensões abelianas de corpos locais e globais, bem como algumas de suas aplicações, como os teoremas de Kronecker-Weber e Scholz-Reichardt / In this work, we study the so called \"Class Field Theory\", which give us a simple description of the abelian extension of local and global elds. We also study some applications, like the Kronecker-Weber and Scholz-Reichardt theorems

Neste projeto, propomos estudar a chamada \"Teoria de Corpos de Classe,\" que oferece uma descrição simples das extensões abelianas de corpos locais e globais, bem como algumas de suas aplicações, como os teoremas de Kronecker-Weber e Scholz-Reichardt / In this work, we study the so called \"Class Field Theory\", which give us a simple description of the abelian extension of local and global elds. We also study some applications, like the Kronecker-Weber and Scholz-Reichardt theorems

Neste trabalho apresentamos várias demonstrações do Teorema da Base Normal para certos tipos de extensões galoisianas de corpos, algumas existenciais e outras construtivas, destacando as diferenças e dificuldades de cada situação. Apresentamos também generalizações de tal teorema e mostramos que toda extensão galoisiana de grau ímpar de corpos admite uma base normal autodual com respeito µa forma bilinear traço / In this work we present several demonstrations of The Normal Basis Theorem for certain kinds of galoisian extensions of fields, some of them existential and others constructive, pointing the diffculties and differences in each situation. We also present generalizations of such theorem and show that every odd degree galoisian extension of fields admits a self-dual normal base with respect to the trace bilinear map

Neste trabalho apresentamos várias demonstrações do Teorema da Base Normal para certos tipos de extensões galoisianas de corpos, algumas existenciais e outras construtivas, destacando as diferenças e dificuldades de cada situação. Apresentamos também generalizações de tal teorema e mostramos que toda extensão galoisiana de grau ímpar de corpos admite uma base normal autodual com respeito µa forma bilinear traço / In this work we present several demonstrations of The Normal Basis Theorem for certain kinds of galoisian extensions of fields, some of them existential and others constructive, pointing the diffculties and differences in each situation. We also present generalizations of such theorem and show that every odd degree galoisian extension of fields admits a self-dual normal base with respect to the trace bilinear map