Submitted by Renata Lopes (renatasil82@gmail.com) on 2018-03-28T11:17:02Z No. of bitstreams: 1 andersoncorreaporto.pdf: 567494 bytes, checksum: e685a947374868ceaa838290c83bc61a (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-04-09T19:23:34Z (GMT) No. of bitstreams: 1 andersoncorreaporto.pdf: 567494 bytes, checksum: e685a947374868ceaa838290c83bc61a (MD5) / Made available in DSpace on 2018-04-09T19:23:34Z (GMT). No. of bitstreams: 1 andersoncorreaporto.pdf: 567494 bytes, checksum: e685a947374868ceaa838290c83bc61a (MD5) Previous issue date: 2018-02-08 / O objetivo desse trabalho é o estudo de conceitos básicos da Geometria Algébrica sob o ponto de vista clássico. O foco central do trabalho é o estudo do Teorema de Riemann- Roch e algumas de suas aplicações. Esse teorema constitui uma importante ferramenta no estudo da Geometria Algébrica clássica uma vez que possibilita, por exemplo, o cáculo do gênero de uma curva projetiva não singular no espaço projetivo de dimensão dois. Para o desenvolvimento do estudo do Teorema de Riemann-Roch e suas aplicações serão estudados conceitos tais como: variedades, dimensão, diferenciais de Weil, divisores, divisores sobre curvas e o anel topológico Adèle. / The goal of this work is the study of basic concepts of Algebraic Geometry from the classical point of view. The central focus of the paper is the study of Riemann-Roch Theorem and some of its applications. This theorem constitutes an important tool in the study of classical Algebraic Geometry since it allows, for example, the calculation of the genus of a non-singular projective curve in the projective space of dimension two. For the development of the study of the Riemann-Roch Theorem and its applications we will study concepts such as: varieties, dimension, Weil differentials, divisors, divisors on curves and the Adèle topological ring.

Orientadores: Fernando Eduardo Torres Orihuela, Cícero Fernandes de Carvalho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-19T03:11:40Z (GMT). No. of bitstreams: 1 Peixoto_Rafael_D.pdf: 876847 bytes, checksum: ae0f5d0ea0f2c3e3d550bc60eb1ac66a (MD5) Previous issue date: 2011 / Resumo: Definidas sobre uma F-álgebra, os conceitos de função peso e função peso fraco foram introduzidos de forma a simplificar a teoria dos códigos corretores de erros que utilizam ferramentas da geometria algébrica. Porém, todos os códigos suportados por estes conceitos estão intimamente ligados à códigos provenientes de curvas algébricas, ou seja, os códigos geométricos de Goppa. Uma modificação da noção de função peso foi apresentada permitindo assim construir códigos lineares sobre variedades algébricas. Nesta tese, apresentamos uma generalização da teoria de funções pesos fracos que possibilitou a construção de códigos sobre variedades de dimensão arbitrária. Determinamos uma cota para a distância mínima destes códigos, e finalmente, apresentamos uma caracterização tanto para as álgebras munidas de funções pesos quanto para as álgebras munidas de um conjunto especial de funções pesos fracos / Abstract: Defined on a F-algebra, the concepts of weight and near weight function were introduced to simplify the theory of error correcting codes using tools from algebraic geometry. However, all codes supported by these theories are geometric Goppa codes. The concept of weight function was generalized and used to construct linear codes on algebraic varieties. In this thesis, we present a generalization of near weights theory able to construct codes on higher dimensional varieties, and we define a formula for the minimum distance of such codes. Finally, we characterize the algebras with a weight function and the algebras admitting a special set of two near weight functions / Doutorado / Matematica / Doutor em Matemática

Orientador: Dessislava Hristova Kochloukova / Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-04T11:05:09Z (GMT). No. of bitstreams: 1 Kitani_PatriciaMassae_M.pdf: 1013676 bytes, checksum: 794e7e67a9a90f759b790877a816b7f6 (MD5) Previous issue date: 2005 / Resumo: Este trabalho consistiu no estudo das aplicações de topologia algébrica (recobrimentos, teorema de Van Kampen) em teoria de grupos e também, no estudo detalhado do resultado de R. Bieri, R. Strebel [Proc. London Math. Soc. (3) 41 (1980), no. 3, 439¿464], que para um grupo G do tipo FP2, ou G contém subgrupo livre não cíclico ou para qualquer subgrupo normal N C G tal que Q = G/N é abeliano, N/[N,N] é um ZQ-módulo manso via conjugação. A definição de módulo manso usa o invariante de Bieri-Strebel §A(Q), nesse caso A = N/[N,N] / Abstract: This work consisted of the study of the applications of algebraic topology (covering maps, Van Kampen theorem) in group theory and also, in the detailed study of a result of R. Bieri, R. Strebel [Proc. London Math. Soc. (3) 41 (1980), no. 3, 439¿464], that for a group G of type FP2, either G has a free non-cyclic subgroup or for any normal subgroup N C G such that Q = G/N is abelian, N/[N,N] is a tame ZQ-module where Q acts via conjugation. The definition of tame module uses the Bieri-Strebel invariant §A(Q), in this case A = N/[N,N] / Mestrado / Algebra / Mestre em Matemática

Orientador: Paulo Roberto Brumatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-04T02:10:19Z (GMT). No. of bitstreams: 1 Veloso_MarceloOliveira_M.pdf: 605567 bytes, checksum: 5882cdcae8b9c04096f915755c89a683 (MD5) Previous issue date: 2005 / Resumo: O objetivo principal deste trabalho é o estudo do número de soluções de equações polinomiais definidas sobre corpos finitos. Para isto utilizamos resultados básicos sobre a soma de Caracteres e resultados sobre o número de soluções de uma Forma Quadrática. Na nossa abordagem procuramos utilizar técnicas bem elementares, apesar disto implicar num número maior de cálculos. Contudo este método permitiu estudar e determinar fórmulas para o número de soluções de determinadas equações polinomiais muito estudadas, sem a necessidade de ferramentas mais elaboradas. Dentre as aplicações das fórmulas obtidas, temos alguns exemplos de curvas algébricas planas cujo número de pontos racionais atingem a cota de Weil, ou seja, curvas maximais que são de grande interesse em teoria dos códigos. Também conseguimos exemplos de variedades projetivas sobre corpos finitos cujo número de pontos atingem a cota de Weil-Deligne / Abstract: The main objective of this work is to study the number of solutions of polynomial equations over finite fields. For that we used basic results on Character sums and on the number of solutions of a Quadratic Form. This approach uses elementary techniques even considering the increasing on computations. Therefore this method allowed us to study and determine formulae for the number of solutions of certain polynomial equations well known, without the need of more sophisticated tools. Among the applications of the obtained formulae, we have some examples of plane algebraic curves which number of rational points achieve the Weil bound, that is, maximal curves which are of great interest in code theory. In addition, other examples were obtained of projective manifolds over finite fields which number of points achieve the Weil-Deligne bound / Mestrado / Algebra / Mestre em Matemática

Topological order is a new paradigm for quantum phases of matter developed to explain phase transitions which do not fit the symmetry breaking scheme for classifying phases of matter. They are characterized by patterns of entanglement that lead to topologically depended ground state degeneracy and anyonic excitations. One common approach for studying such phases in two-dimensional systems is through exactly solvable lattice Hamiltonian models such as quantum double models and String-Net models. The former can be understood as the Hamiltonian formulation of lattice gauge theories and, as such, it is defined by a finite gauge group. However, not much is known about topological phases in tridimensional systems. Motivated by this we develop a new class of three-dimensional exactly solvable models which go beyond quantum double models by using finite crossed modules instead of gauge groups. This approach relies on a lattice implementation of 2-gauge theory to obtain models with a richer topological structure. We construct the Hamiltonian model explicitly and provide a rigorous proof that the ground state degeneracy is a topological invariant and that the ground states can only be characterized with nonlocal order parameters. / Ordem topológica é um novo paradigma para fases quânticas da matéria desenvolvido para explicar transições de fase que não se encaixam no esquema de classificação de fases da matéria por quebra de simetria. Estas fases são caracterizadas por padrões de emaranhamento que levam a uma degenerescência de estado fundamental topológica e a excitações anyonicas. Uma abordagem comum para o estudo de tais fases em sistemas bidimensionais é através de modelos Hamiltonianos exatamente solúveis de rede como os modelos duplos quânticos e modelos de String-Nets. O primeiro pode ser entendido como a formulação Hamiltoniana de teorias de gauge na rede e, desta maneira, é definido por um group de gauge finito. Entretanto, pouco é conhecido a respeito de fases topológicas em sistemas tridimensionais. Motivado por isso nós desenvolvemos uma nova classe de modelos tridimensionais exatamente solúveis que vai alem de modelos duplos quânticos pelo uso de módulos cruzados finitos no lugar de grupos de gauge. Esta abordagem se baseia numa implementação em redes de teoria de 2-gauge para obter modelos com uma estrutura topológica mais rica. Nós construímos o modelos Hamiltoniano explicitamente e fornecemos uma demonstração rigorosa de que a degenerescência de estado fundamental é um invariante topológico e que os estados fundamentais só podem ser caracterizados por parâmetros de ordem não locais.

Orientador: Vanderlei Marcos do Nascimento / Banca: Suzinei Aparecida Siqueira Marconato / Banca: Karina Schiabel Silva / O PROFMAT - Programa de Mestrado Profissional em Matemática em Rede Nacional é coordenado pela Sociedade Brasileira de Matemática e realizado por uma rede de Instituições de Ensino Superior / Resumo: Neste trabalho exploramos as definições mais usuais de cônicas, em duas direções. Uma delas trata da equivalência entre tais definições; a outra trata de estabelecer propriedades das figuras então definidas, em uma sequência natural que valoriza o pensamento geométrico / Abstract: In this work we explore the most usual definitions of the conics, in two directions. One of them deals with the equivalence of the definitions themselves; the other one looks for properties of the figures just defined, stated in a natural sequence that enrichs the geometric thought / Mestre

Um texto sobre o corpo dos números complexos abordando-os de uma forma integrada e direcionada para professores de educação básica que atuam no ensino médio. Apresenta de forma bem fundamentada vários aspectos dos números complexos: par ordenado, vetor do plano, forma algébrica, forma trigonométrica e matricial. Todos os resultados essenciais foram demonstrados. Há um capítulo com alguns problemas resolvidos. / A text on the field of complex numbers in an integrated way and directed to teachers of basic education who work in high school. It presents in a well-founded form several aspects of the complex numbers: ordered pair, plane vector, algebraic form, trigonometric and matrix form. For every essential result, there is a proof. There is a chapter with some solved problems.

Este trabalho é focado num problema clássico das Ciências e Engenharia, que consiste em cobrir um objeto por esferas de mesmo raio, a ser minimizado. A abordagem prática usual conta com sérias desvantagens. Logo, faz-se necessário trabalhar com isto de forma diferenciada. A técnica proposta aqui envolve a utilização de resultados célebres da geometria algébrica real, que tem como peça central o positivstellensatz de Stengle e, fazendo a devida relação entre esses resultados e otimização com restrições envolvendo representações naturais por somas de quadrados, é possível reduzir o problema original a um de programação semidefinida não linear. Mas, por contar com particularidades que favorecem a aplicação do paradigma de restauração inexata, esta foi a técnica utilizada para resolvê-lo. A versatilidade da técnica e a possibilidade de generalização direta dos objetos envolvidos destacam-se como grandes vantagens desta abordagem, além da visão algébrica inovadora do problema. / This work is focused on a classic problem from Engineering. Basically, it consists of finding the optimal positioning and radius of a set of equal spheres in order to cover a given object. The common approach to this carries some substantial disadvantages, what makes it necessary to nd a dierent way. Here, we explore some renowned results from real algebraic geometry, which has Stengle\'s positivstellensatz as one of its central pieces, and SOS optimization. Once the proper link is made, the original problem can be reduced to a nonlinear semidenite programming one, which has peculiarities that favours the application of an inexact restoration paradigm. We point out the algebraic view and the no use of discretizations as great advantages of this approach, besides the notable versatility and easy generalization in terms of dimension and involved objects.

Este trabalho é focado num problema clássico das Ciências e Engenharia, que consiste em cobrir um objeto por esferas de mesmo raio, a ser minimizado. A abordagem prática usual conta com sérias desvantagens. Logo, faz-se necessário trabalhar com isto de forma diferenciada. A técnica proposta aqui envolve a utilização de resultados célebres da geometria algébrica real, que tem como peça central o positivstellensatz de Stengle e, fazendo a devida relação entre esses resultados e otimização com restrições envolvendo representações naturais por somas de quadrados, é possível reduzir o problema original a um de programação semidefinida não linear. Mas, por contar com particularidades que favorecem a aplicação do paradigma de restauração inexata, esta foi a técnica utilizada para resolvê-lo. A versatilidade da técnica e a possibilidade de generalização direta dos objetos envolvidos destacam-se como grandes vantagens desta abordagem, além da visão algébrica inovadora do problema. / This work is focused on a classic problem from Engineering. Basically, it consists of finding the optimal positioning and radius of a set of equal spheres in order to cover a given object. The common approach to this carries some substantial disadvantages, what makes it necessary to nd a dierent way. Here, we explore some renowned results from real algebraic geometry, which has Stengle\'s positivstellensatz as one of its central pieces, and SOS optimization. Once the proper link is made, the original problem can be reduced to a nonlinear semidenite programming one, which has peculiarities that favours the application of an inexact restoration paradigm. We point out the algebraic view and the no use of discretizations as great advantages of this approach, besides the notable versatility and easy generalization in terms of dimension and involved objects.

O caso finito de teorias topológicas de 1-gauge, quando nenhuma simetria global está presente, é bastante bem compreendido e classificado. Nos últimos anos, as tentativas de generalizar as teorias de 1-gauge através das chamadas teorias de 2-gauge abriram a porta para novos modelos interessantes e novas fases topológicas, as quais não são descritas pelos esquemas de classificação anteriores. Nesta tese, vamos além da construção de 2-gauge, e consideramos uma classe de modelos que vivem em maiores dimensões. Esses modelos estão inseridos em uma estrutura de complexos de cadeia de grupos abelianos, forçando a generalizar o conceito usual de configurações de gauge. A vantagem de tal abordagem é que, a ordem topológica fica manifestamente explcita. Isto é feito em ter- mos de uma cohomologia com coeficientes em um complexo de cadeia finita. Além disso, mostramos que a degenerescência do estado fundamental suporta um conjunto conve- niente de números quânticos que indexam os estados e que, além, foram completamente caracterizados. Consequentemente, nós também mostramos que muitos dos exemplos abelianos de teorias de 1 -gauge 2-gauge são recuperados como casos especiais desta construção. / The finite case of 1-gauge topological theories, when no global symmetries are present, is fairly well understood and classified. In recent years, attempts to generalize the latter situation through the so called 2-gauge theories have opened the door to interesting new models and new topological phases, not described by the previous schemes of classifica- tion. In this paper we go even beyond the 2-gauge construction by considering a class of models that live in arbitrary higher dimensions. These models are embedded in a structure of chain complexes of abelian groups, forcing to generalize the usual notion of gauge configurations. The advantage of such an approach is that, the topological order is explicitly manifest when the ground state space of these models is described. This is done in terms of a cohomology with coefficients in a finite chain complex. Furthermore, we show that the ground state degeneracy underpins a convenient set of quantum num- bers that label the states and that have been completely characterized. We also show that abelian examples of 1-gauge 2-gauge theories are recovered as special cases of this construction.