Resumo Neste trabalho apresentamos, em detalhes, a construção de uma teoria quântica dos campos topológica (TQCT). Podemos definir uma TQCT como um funtor simétrico monoidal da categoria dos cobordismos para a categoria dos espaços vetoriais. Em duas dimensões podemos encontrar uma descrição completa da categoria dos cobordismos e classificar todas as TQCT\'s. Em três dimensões é possível estender alguns invariantes para 3-variedades e construir uma TQCT 3D. Nossa construção é baseada no invariante para 3-variedades de Kuperberg, o qual envolve diagramas de Heegaard e álgebras de Hopf. Começamos com a apresentação do invariante de Kuperberg definido para toda variedade 3D compacta, orientável e sem bordo. Para cada álgebra de Hopf de dimensão finita constrói-se um invariante. Por fim, apresentamos a TQCT associada com o invariante de Kuperberg. Isto é feito usando-se o fato de que o invariante de Kuperberg é definido como uma soma de pesos locais tal qual uma função de partição. A TQCT decorre dos operadores advindos de variedades com bordo. / Abstract In this work we present in detail a construction of a topological quantum field theory (TQFT). We can define a TQFT as a symmetric monoidal functor from cobordism categories to category of vector spaces. In two dimension, we can give a complete description of cobordism categories and classify all TQFT\'s. In three dimension it is possible to extend some specific 3-manifold invariants and to construct a TQFT 3D. Our construction is based on the Kuperberg 3-manifold invariant which involves Heegaard diagrams and Hopf algebras. We start with the presentation of the Kuperberg invariant defined for every orientable compact 3-manifold without boundary. For each finite-dimensional Hopf algebra we can construct a invariant. Finally we presente the TQFT associated with the Kuperberg invariant. This is made using the fact that the Kuperberg invariant is defined like a sum of local weights in the same way as a partition function. The TQFT is constructed from the operators given by manifolds with boundary.

Neste trabalho, seguindo a abordagem de Weierstrass, temos o objetivo de responder a seguinte questão: conhecida a equivalência entre holomorfia e analiticidade no caso complexo, quais propriedades das funções analíticas podem ser obtidas sem assumir tal equivalência? Analisando esta situação, resultados interessantes serão obtidos sem o uso de qualquer teorema de integração complexa e, para alcançar tal objetivo, nossas principais ferramentas serão a teoria de somas não ordenadas de famílias em C e propriedades do índice de caminhos fechados. Entre os resultados apresentados estão os conhecidos Teorema Fundamental da Álgebra, Lema de Schwarz, Teorema de Montel, Teorema da Série Dupla de Weierstrass, Princípio do Argumento, Teorema de Rouché, Teorema da Fatoração de Weierstrass, Pequeno Teorema de Picard e o Teorema da Aplicação de Riemann. / In this work, following the Weierstrass\'s approach, we aim to answer the following question: knowing the equivalence between holomorphy and analyticity in the complex case, which properties of analytic functions can be obtained without assuming such equivalence? Through analyzing this situation, interesting results will be obtained without employing of any complex integration theorem and in order to achieve this goal, our main tools will be the theory of unordered sums in C and properties of winding numbers of closed paths. Among the proven results are the well known Fundamental Theorem of Algebra, Schwarz\'s Lemma, Montel\'s Theorem, Weierstrass\'s Double Series Theorem, Argument Principle, Rouché\'s Theorem, Weierstrass\'s Factorization Theorem, Picard\'s Little Theorem and the Riemann\'s Mapping Theorem.

Singular Riemannian foliations in spheres provide local models for an extensive kind of singular Riemannian foliations, whose theory contributes in the understanding of Riemannian manifolds. Hence the importance of studying and classifying them, a research subject that still remains open. In 2014, Marco Radeschi constructed indecomposable singular Riemannian foliations of arbitrary codimension, most of them inhomogeneous, which generalized all known examples of that type so far. The present dissertation is a detailed study of his work, along with observations about the progress made on this dynamic field since that paper was published. Besides introducing preliminary notions and examples on singular Riemannian foliations, isometric actions and Clifford theory, it is explained a construction of inhomogeneous isoparametric hypersurfaces, due to Ferus, Karcher and Münzner, that was a fundamental framework for the results of Radeschi. After that, it is described exhaustively the construction of Clifford and composed foliations in spheres, which are the examples that Radeschi created using Clifford systems. In the sequel it is established an extraordinary bijective correspondence between Clifford foliations (merely geometric objects) and Clifford systems (purely algebraic objects). This text finishes examining the relations of homogeneity properties among FKM, Clifford and composed foliations. / Folheações Riemannianas singulares em esferas fornecem modelos locais para folheações Riemannianas singulares mais gerais, cuja teoria contribui na compreensão de variedades Riemannianas. Daí a sua importança de estudá-los e classificá-los, uma área de pesquisa que se mantém aberta. Em 2014, Marco Radeschi construiu folheações Riemannianas singulares indecomponíveis de codimensão arbitrária, a maioria delas não homogêneas, que generalizaram todos os exemplos conhecidos desse tipo até então. A presente dissertação é um estudo detalhado desse trabalho, junto com observações sobre avanços que se têm feito neste dinâmico campo desde a publicação do artigo. Após introduzir as noções e exemplos preliminares de folheações Riemannianas singulares, ações isométricas e teoria de Clifford, é explorada uma construção de hipersuperfícies isoparamétricas não homogêneas, devida a Ferus, Karcher e Münzner (FKM), que foi peça fundamental para os resultados de Radeschi. Em seguida, descreve-se minuciosamente a construção de folheações composta e de Clifford em esferas, que são os exemplos que o autor mencionado anteriormente gerou usando sistemas de Clifford. Continuando com a análise dessas novas folheações Riemannianas singulares, estabelece-se uma extraordinária correspondência biunívoca entre folheações de Clifford (objetos meramente geométricos) e sistemas de Clifford (objetos puramente algébricos). Este texto termina examinando as relações das propriedades de homogeneidade entre folheações FKM, compostas e de Clifford.

Neste trabalho estudamos algumas características das álgebras de Koszul, como por exemplo, a maneira como elas se relacionam com suas respectivas álgebras de Yoneda. Descrevemos a álgebra de Yoneda de uma álgebra monomial e como aplicação construímos uma família de álgebras: as chamadas homologicamente auto-duais. Uma álgebra de Koszul pode ser definida a partir da existência de resoluções lineares dos módulos simples. Por isso faz-se necessário a dedicação de parte de nossa atenção ao estudo destas resoluções. Além disso, achamos interessante estudar métodos para a construção de resoluções projetivas de módulos sobre quocientes de álgebras de caminhos. Para tal construção usamos essencialmente a teoria de bases de Gröbner não comutativas. Finalmente, para o caso de módulos lineares sobre álgebras de Koszul, veremos que é possível modicar essa construção de modo que a resolução resultante seja linear. / In this work we study some features of Koszul algebras as, for example, the way that they are related with their Yoneda algebras. We describe the Yoneda algebra of a monomial algebra and as an application we construct a family of algebras: the so called homologically self-dual algebras. A Koszul algebra can be dened as an algebra for which there are linear resolutions of their simple modules. Because of this we dedicate part of our attention to the study of projective resolutions. The study of methods for the construction of projectives resolutions of modules over quotients of path algebras, has an of interest its own. For the study of projective resolutions we used the theory of noncommutative, Gröbner bases. Finally, for the case of linear modules over Koszul algebras, we will see that it is possible to modify the general construction described here, so that the resulting resolution is linear.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-04-11T15:37:22Z No. of bitstreams: 1 arethafontesalves.pdf: 3205656 bytes, checksum: 5fc98b7b40ec8618513671e0d6085944 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-04-24T03:36:16Z (GMT) No. of bitstreams: 1 arethafontesalves.pdf: 3205656 bytes, checksum: 5fc98b7b40ec8618513671e0d6085944 (MD5) / Made available in DSpace on 2016-04-24T03:36:16Z (GMT). No. of bitstreams: 1 arethafontesalves.pdf: 3205656 bytes, checksum: 5fc98b7b40ec8618513671e0d6085944 (MD5) Previous issue date: 2013-11-08 / O presente trabalho tem como objetivo levantar as características de um Curso de Serviço de Álgebra Linear voltado a alunos de Licenciatura em Matemática. Para tanto, desenvolvemos uma análise segundo o Modelo dos Campos Semânticos e uma revisão de literatura, voltada para três temas que permeiam nosso estudo, são eles: a Produção de Significados para a Álgebra Linear; a noção de Curso de Serviço e; a Formação Matemática do Professor de Matemática. Esta análise possibilitou que nos preparássemos para realizar uma pesquisa de campo que se constituiu em um seminário de Álgebra Linear com o intuito de estruturar quais seriam estas características. / This work aims to raise the characteristics of a Service Course in Linear Algebra for students of Mathematics. For that, we develop an analysis according to the Model of Semantic Fields and a literature review focused on three themes that permeate our study, they are: Production of meanings for Linear Algebra, the notion of Service Course and; the Mathematics Training of mathematics teacher. This analysis allowed us to prepare ourselves to conduct a field research which constituted which was constituted by a seminary in Linear Algebra with the aim of structuring what these characteristics would be.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-09-29T19:20:16Z No. of bitstreams: 1 alinesouzareis.pdf: 273728 bytes, checksum: 48ebd086f8af423a6fe43cf974ce8847 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-10-09T19:38:40Z (GMT) No. of bitstreams: 1 alinesouzareis.pdf: 273728 bytes, checksum: 48ebd086f8af423a6fe43cf974ce8847 (MD5) / Made available in DSpace on 2017-10-09T19:38:40Z (GMT). No. of bitstreams: 1 alinesouzareis.pdf: 273728 bytes, checksum: 48ebd086f8af423a6fe43cf974ce8847 (MD5) Previous issue date: 2017-08-05 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho surgiu a partir de uma preocupação do desenvolvimento do raciocínio algébrico dos estudantes, visto que, muitos deles não se sentem confortáveis quando começam a estudar as incógnitas dentro da Matemática. Propomos a utilização da metodologia da Resolução de Problemas aliada a História da Álgebra, no desenvolvimento da linguagem algébrica, como método facilitador da compreensão dos conceitos relacionados à equação polinomial do primeiro grau. Buscamos, a partir de estudos bibliográficos referentes à História da Álgebra e Resolução de Problemas Matemáticos, propor atividades pedagógicas que abordam o desenvolvimento da linguagem algébrica. As atividades aqui descritas são proposta a serem aplicadas com turmas de 7o ano do Ensino Fundamental, ao longo de oito semanas, com encontros semanais de 1 hora e 40 minutos. Esperamos ampliar a formação do estudante contribuindo para a construção de conceitos relativos à abstração e generalização matemática, pois acreditamos ser primordial que o aluno compreenda a transição da linguagem verbal para a linguagem algébrica . / This work arose from a concern for the development of students’ algebraic reasoning, since many of them do not feel comfortable when they begin to study the variables within Mathematics. We propose the use of the Problem Solving methodology and the History of Algebra, in the development of algebraic language, as a facilitating method for understanding the concepts related to the first-degree polynomial equation. From bibliographic studies concerning the History of Algebra and Resolution of Mathematical Problems, we have proposed pedagogical activities that deal with the development of algebraic language. The activities are proposed to be applied with 7th grade classes of elementary school, over eight weeks, with weekly meetings of 1 hour and 40 minutes. We hope to broaden student training by contributing to the construction of concepts related to abstraction and mathematical generalization, as we believe it is paramount that the student understands the transition from verbal to algebraic language.

Orientador: Paulo Roberto Brumatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-18T19:35:36Z (GMT). No. of bitstreams: 1 Negreiros_DiogoBrunoFernandes_M.pdf: 5674415 bytes, checksum: bdd28225d3cc5505f91fd61e797f2794 (MD5) Previous issue date: 2011 / Resumo: Este texto tem como objetivo o estudo de um tipo de código que possui relações com as teorias de curvas algébricas e de formas quadráticas. Começaremos introduzindo as definições e resultados sobre as três teorias que serão necessárias a este estudo. Depois apresentaremos os códigos a serem estudados bem como as relações entre seus sub-códigos e curvas algébricas e entre suas palavras e formas quadráticas. Observando que sub-códigos de peso mais baixo correspondem a curvas com mais pontos, nos dedicaremos a obter um processo para a descoberta de sub-códigos de peso mínimo dentro deste tipo de código. Tal processo será possível através de investigações sobre as formas quadráticas associadas a palavras. Finalizaremos com exemplos de aplicações do processo em alguns códigos, o que permite também calcular seus pesos de Hamming generalizados de ordem mais baixa / Abstract: This text's objective is the study of a kind of code wich has relations with the theories of algebraic curves and quadratic forms. We start by introducing definitions and results about the three theories we will need in such study. Later, we present the codes wich will be studied along with relations between its subcodes and algebraic curves and between its words and quadratic forms. Noting that lower weight subcodes correspond to curves with more points, we research a process to find minimum weight subcodes in this kind of code. This process will be possible through investigations on the quadratic forms related to words. Finally we set examples of applications of the process on some codes, and that gives us their lower order generalized Hamming weights / Mestrado / Matematica / 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-20T05:02:36Z (GMT). No. of bitstreams: 1 Prata_DanielaMoura_D.pdf: 839425 bytes, checksum: 24b3dac76766d8c843d040b951a4376a (MD5) Previous issue date: 2012 / Resumo: Neste trabalho relacionamos algumas classes de fibrados vetoriais...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: In this work we relate some classes of vector bundles on...Note: The complete abstract is available with the full electronic document / Doutorado / Matematica / Doutor em Matemática

Orientador: Plamen Emilov Kochloukov / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-20T11:39:36Z (GMT). No. of bitstreams: 1 Reis_JulioCesardos_D.pdf: 2452563 bytes, checksum: 63f8b1d463a36f74d57c1d71769dc9ae (MD5) Previous issue date: 2012 / Resumo: Na presente tese, fornecemos bases das identidades polinomiais graduadas de...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: In this PhD thesis we give bases of the graded polynomial identities of...Note: The complete abstract is available with the full electronic document / Doutorado / Matematica / Doutor em Matemática

Orientador: Dessislava Hristova Kochloukova / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-20T17:04:33Z (GMT). No. of bitstreams: 1 Lima_IgordosSantos_D.pdf: 1446540 bytes, checksum: 1e68bfb627d234fa97739cd2e813b4a9 (MD5) Previous issue date: 2012 / Resumo: Neste trabalho, nos Teoremas Principais, damos condições suficientes para que o completamento pro-p de um grupo abstrato PDn seja virtualmente um grupo pro-p PDs para algum s ? n - 2 com n ? 4. Esse resultado é uma generalização do Teorema 3 em [K-2009]. Nossa prova é baseada em [K-2009] e nos resultados de A. A. Korenev [Ko-2004] e [Ko-2005]. Além disso, damos alguns exemplos de grupos que satisfazem as condições dos Teoremas Principais / Abstract: In this work we give in the Main Theorems suffiient conditions for that the pro- p completion of an abstract orientable PDn group to be virtually a pro-p PDs group for some s ? n - 2 with n ? 4. This result is a generalization of the Theorem 3 in [K-2009]. Our proof is based on [K-2009] and on the results of A. A. Korenev [Ko-2004] and [Ko-2005]. Furthermore we give some examples of groups that satisfy the conditions of the Main Theorems / Doutorado / Matematica / Doutor em Matemática