nvestigando a estrutura dos sistemas elementares com simetria de Poincaré em 1 + 1 dimensões, devemos considerar o problema da eliminação das anomalias clássicas, que têm origem no segundo grupo de cohomologia não-trivial deste grupo dinâmico, gerando um termo de Wess-Zumino na ação da partícula relativística. Efetuamos a classificação geral de todos os sistemas elementares em 1 + 1 dimensões, em termos de co-órbitas, mostrando que existe um simplectomorfismo entre o espaço de fase reduzido da partícula e uma determinada co-órbita na álgebra de Lie dual à de Poincaré estendida. / While researching the structure of elementar systems with Poincaré symmetry in 1+1 dimensions, we must be concerned about the problem of elimination of the classical anomalies, which arise from the non-trivial second cohomology group of this dynamical group, generating a Wess-Zumino term in the relativistic particle action. We classify all elementary systems in 1+1 dimensions in terms of co-orbits, showing that there is a symplectomorphism between the reduced phase space of the particle and a certain co-orbit in the Lie algebra dual to the extended Poincaré one.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The purpose of this dissertation is to introduce the notion of local cohomology as well as some of its applications. Initially, we performed a brief review on the main homological tools used in this work, such as: homology of a complex, isomorphism of complexes, injective resolutions, derived functors, etc. Next, we detail properties of the injective modules in the context of Noetherian rings. Finally, we present di erent ways of de ning local cohomology and we show how this notion is used to investigate the arithmetical rank of an ideal. / O objetivo dessa dissertação é introduzir a noção de cohomologia local bem como algumas de suas aplicações. Inicialmente, realizamos um breve apanhado sobre as principais noções homológicas utilizadas no trabalho, tais como: homologia de um complexo, isomorfismo de complexos, resoluções injetivas, funtores derivados, etc. Em seguida, detalhamos propriedades dos módulos injetivos no contexto dos anéis Noetherianos. Finalmente, apresentamos formas variadas de definir cohomologia local e mostramos como essa noção é utilizada para investigar o posto aritmético de um ideal.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / David Mumford introduced the concept of regularity of a coherent beam into the projective space in terms of local cohomology, generalizing a classic argument of Castelnuovo. In this dissertation under view of commutative algebra, we will introduce the concept of regularity of finitely generated graduated modules on the ring of polynomials. First, we perform a preliminary study on dimension theory and especially on Hilbert’s function. We also studied the basics of Cohen- Macaulay modules, properties of Betti’s graduated numbers, and the local cohomology functors. In the main chapter, we define the regularity of Castelnuovo-Mumford using the free resolution shifts. Soon after, we show that the definition of regularity can be given in terms of local cohomology, with emphasis on the cases of Artinian and Cohen-Macaulay modules. / David Mumford introduziu o conceito de regularidade de um feixe coerente no espac¸o projetivo em termos de cohomologia local, generalizando um argumento cl´assico de Castelnuovo. Nessa dissertac¸ ˜ao sob a vis˜ao da ´algebra comutativa, introduziremos o conceito de regularidade de m´odulos graduados finitamente gerados sobre o anel de polinˆomios. Primeiramente realizamos um estudo preliminar sobre teoria da dimens˜ao e em especial sobre a func¸ ˜ao de Hilbert. Tamb´em estudamos noc¸ ˜oes b´asicas em m´odulos Cohen-Macaulay, propriedades dos n´umeros graduados de Betti e dos funtores de cohomologia local. No cap´ıtulo principal, definimos a regularidade de Castelnuovo-Mumford utilizando os shifts de resoluc¸ ˜oes livres. Logo ap´os, mostramos que a definic¸ ˜ao de regularidade pode ser dada em termos de cohomologia local, dando ˆenfase aos casos de m´odulos Artinianos e Cohen-Macaulay. / São Cristóvão, SE

Dada uma ação isométrica livre do grupo binário tetraedral G sobre esferas de dimensão ímpar, obtemos uma decomposição celular finita explícita para as formas espaciais esféricas tetraedrais, fazendo uso do conceito de região (ou domínio) fundamental. A estrutura celular deixa explícita uma descrição do complexo de cadeias sobre o grupo G. Como aplicações, utilizamos o complexo de cadeias e a interpretação geométrica do produto cup para calcular o anel de cohomologia da forma espacial esférica tetraedral em dimensão três, e também calculamos a torção de Reidemeister destes espaços para uma determinada representação de G / Given a free isometric action of a binary tetrahedral group G on odd dimensional spheres, we obtain an explicit finite cellular decomposition of the tetrahedral spherical space forms, using the concept of fundamental domain. The cellular structure gives an explicit description of the associated cellular chain complex over the group G. As applications we use the chain complex and the geometric interpretation of the cup product to calculate the cohomology ring of the tetrahedral spherical space form in three dimension, and also compute the Reidemeister torsion of these spaces for a determined representation of G

Neste trabalho procuramos realizar uma apresentação autocontida sobre os conceitos da teoria algébrica de formas quadráticas e sobre os anéis graduados que surgiram no desenvolvimento desta teoria. Iniciamos procurando esclarecer o sentido da equivalência entre as várias acepções do conceito de forma quadrática. Após a apresentação de ingredientes e resultados geométricos, fazemos um extrato da teoria dos anéis de Witt, conceito que originou a moderna teoria algébrica de formas quadráticas. Disponibilizamos os elementos fundamentais para a formulação das teorias de cohomologia, nos concentrado no desenvolvimento da teoria de cohomologia profinita e, sobretudo, galoisiana. Descrevemos os funtores K0, K1 e K2 da K-teoria clássica e também a K-teoria de Milnor, que é mais adequada para formular questões sobre formas quadráticas. Finalizamos o trabalho com a apresentação de alguns conceitos da Teoria dos Grupos Especiais, uma codificação em primeira-ordem da teoria algébrica das formas quadráticas e exemplificamos sua importância, fornecendo um extrato da prova realizada por Dickmann-Miraglia da conjectura de Marshall sobre assinaturas, que se baseia fortemente nesta teoria. / In this work I try to provide a self-contained presentation on the concepts of algebraic theory of quadratic forms and on the graded rings that have emerged in the development of this theory. I started trying to clarify the meaning of \"equivalence\"between the various meanings of the concept of quadratic form. After the presentation of geometrical ingredients and results, we make an extract of the theory of Witt rings, a concept that originated the modern algebraic theory of quadratic forms. It is provided the key elements for the formulation of cohomology theories, focusing on the development of profinite cohomology theory and, especially, on galoisian cohomology. Are described the functors K0, K1 and K2 of classical K-theory and also the Milnor K-theory, which is more appropriate to formulate questions about quadratic forms. The dissertation is finished with the presentation of some concepts of the Theory of Special Groups, a first-order encoding of algebraic theory of quadratic forms, and with an example its importance by providing an extract of proof by Dickmann-Miraglia of the Marshalls conjecture on signatures, which relies heavily on this theory.

O teorema clássico de Borsuk-Ulam nos dá informações à respeito de aplicações \'S POT. n\' \'SETA\' \'R POT. n\', no qual \'S POT. n\' é um \'Z IND. 2\' -espaço livre. O teorema afirma que existe pelo menos uma órbita que é enviada em um único ponto em \'R POT. n\'. Dold [9] estendeu este problema para o contexto de fibrados, considerando aplicações f : S (E) \'SETA\' \'E POT. \'prime\'\' nos quais preservam fibras; aqui, S (E) denota o espaço total do fibrado em esfera sobre B associado ao fibrado vetorial E \'SETA\' B e \'E POT. \'prime\'\' \'SETA\' B é o outro fibrado vetorial. O objetivo desse trabalho é provar esta versão do teorema de Borsuk-Ulam obtida por Dold, chamada versão parametrizada do teorema de Borsuk-Ulam. Nós também provamos uma versão cohomológica deste problema / The classical Borsuk-Ulam Theorem gives information about maps \'S POT. n\' \'ARROW\' \'R POT. n\' where \'S POT. n\' has a free action of the cyclic group \'Z IND. 2\'. The theorem states that there is at least one orbit which is sent to a single point in \'R POT. n\'. Dold [9] extended this problem to a fibre-wise setting, by considering maps f : S (E) \'ARROW\' \' E POT. prime\' which preserve fibres; here, S (E) denotes the total space of the sphere bundle associated over B to a vector bundle E \'ARROW\' B and \'E POT. prime\' \'ARROW\' B is other vector bundle over B. The purpose of this work is to prove this version of the Borsuk-Ulam theorem obtained by A. Dold, called parametrized version of the Borsuk-Ulam theorem. We also prove a cohomological generalization of this problem

Neste trabalho estenderemos os resultados obtidos por Hara [34] e J. Jaworowski [38] substituindo as G-variedades por G-variedades generalizadas sobre Z. Além disso, provamos uma fórmula de comparação geral para grau de aplicações de uma variedade generalizada sobre uma esfera que são equivariantes com respeito a ações de grupos finitos, obtendo uma generalização do resultado de A. Kushkuley e Z. Balanov [40] / In this work, we extend the results obtained by Y. Hara [34] and J. Jaworowski [38] by replacing the free G-manifolds by free generalized G-manifolds over Z. Moreover, we prove a general comparison formula for degrees of equivariant maps from a generalized manifold to a sphere which are equivariant with respect to finite group actions, obtaining a generalization of the result of A. Kushkuley and Z. Balanov [40]

James W. Alexander, no artigo[1],mostra que se tivermos um mergulho PL f : \'S POT. 1\' × \'S POT. 1\' \'S POT. 3\', então o fecho de uma das componentes conexas de \'S POT. 3\' f(\'S POT. 1\' × \'S POT. 1\') é homeomorfo a um toro sólido, isto é, homeomorfo a \'S POT. 1\' × \'D POT. 2\'. Este teorema ficou conhecido por Teorema do toro de Alexander. Nesta dissertação, estamos detalhando a demonstração deste teorema feita em[25] que é diferente da demonstração apresentada em [1]. Mais geralmente, para um mergulho diferenciável f : \'S POT. p\' × \'S POT. q\' \'S POT. p + q+1\' , demonstra-se que o fecho de uma das componentes conexasde \'S POT. p +q + 1\' f(\'S POT. p\' × \'S POT. q\') é difeomorfo a \'S POT. p\' × \'D POT. q + 1\' se p q 1 e p + q \'DIFERENTE DE\' 3 ou se p = 2 e q = 1 um dos fechos será homeomorfo a \'S POT. 2\' × \'D POT. 2\' , nesta dissertação estaremos também detalhando estas demonstrações feita em [20] / James W. Alexander shows in[1] that the closure of one of the two connected components of \'S POT. 3\'f( \'S POT. 1 × \'S POT. 1\') is homeomorphic to a solid torus \'S POT. 1\' × \'D POT. 2\' , where f : \'S POT. 1\' ×\' SPOT. 1\' \'S POT. 3\' is a PL embedding. This result became known as Alexanders torus theorem. In this dissertation we are detailing the proof of this theorem made in[25] which is different from the demonstration presented in[1]. More generally, when considering a smooth embeding f : \'S POT. p\' × \'S POT. q\' \' SPOT. p+q+1\' , it is demonstrated that the closure of one of the two connected components \'S POT. p+q+1\' f (\'S POT. p\' × \'S POT. q\' ) is diffeomorphic to \'S POT. p\' × \'D POT. q+1\' if p q 1 and p+q \'DIFFERENT OF\' 3 or if p = 2 and q = 1 one of the closures will be homeomorphic to \'S POT. 2\' × \'D POT. 2\'. In this work we are also detailing the proves made in[20]

Antes da publicação do trabalho An ideal-valued cohomological index theory with applications to Borsuk-Ulam and Bourgin-Yang theorems\"de Fadell e Husseini [20], haviam sido apenas considerados índices numéricos de G-espaços, nos casos G =\'Z IND. 2\' e G um grupo finito. No entanto, tais índices numéricos são obviamente insuficientes no caso de grupos mais complexos, como por exemplo a 1-esfera \'S POT. 1\'. Neste contexto, Fadell e Husseini introduziram o chamado Indice cohomológico de valor ideal: a cada G-espaço X paracompacto, eles associaram um ideal \'Ind POT. G\' (X;K) do anel de cohomología H*(BG;K), onde a cohomologia de Cech H* é considerada com coeficientes em um corpo K e BG é o espaço classificante do grupo G. Além disso, Fadell e Husseini associaram a este ideal o Índice cohomológico de valor numérico, o qual é definido como sendo a dimensão do K-espaço vetorial obtido do quociente entre o anel H*(BG;K) e o ideal \'Ind POT. G\' (X;K). O objetivo principal deste trabalho é apresentar um estudo detalhado deste índice e utilizá-lo no estudo dos resultados sobre grau de aplicações G-equivariantes provados por Hara em \"The degree of equivariant maps\"[24] / Before the appearance of the paper An ideal-valued cohomological index theory with applications to Borsuk-Ulam and Bourgin-Yang theorems\"of Fadell and Husseini [20], had been considered numerical indices of G-spaces, when G = \'Z IND. 2\' and when G is a finite group. However, such numerical indices are obviously insufficient in the case of groups more complexes, for example, G =\'S POT 1\'. In this context Fadell andHusseini, introduced the called valued-ideal cohomological index: to every paracompact G-space X they associated an ideal \'Ind POT. G\' (X,K) of the cohomology ring H*(BG;K), where the Cech cohomology H* is considered with coefficients in a field K and BG is the classifying space of the group G. Moreover, they associated to this ideal the numerical valued cohomological index, that is, the dimension of K-vector space obtained by the quotient between the ring H*(BG;K) and the ideal \'Ind POT. G\' (X,K). The main objective of this work is to present a detailed study of this index and use such index on the study of results on degree of equivariant maps proved by Hara in his paper The degree of equivariant maps\"[24]

Orientador: Marcos Benevenuto Jardim / 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-25T16:48:31Z (GMT). No. of bitstreams: 1 Cardoso_NunoFilipedeAndrade_M.pdf: 1858794 bytes, checksum: bbe47182338feb3de60b480df87b52a7 (MD5) Previous issue date: 2014 / Resumo: Os teoremas de degenerescência de Hodge e de anulamento de Kodaira, Akizuki e Nakano são de suma importância na teoria de variedades complexas. Usando o teorema de comparação de Serre, ambos podem ser traduzidos para o contexto de esquemas projetivos e suaves sobre um corpo de característica zero. Para corpos de característica positiva, no entanto, os dois deixam de valer sem hipóteses adicionais, sendo que os primeiros contra-exemplos foram encontrados por Mumford e Raynaud. O objetivo desta dissertação é apresentar um teorema devido a Deligne e Illusie que assegura a degenerescência da seqüência espectral de Hodge-de Rham e uma versão do teorema de Kodaira, Akizuki e Nakano para certos esquemas projetivos e suaves sobre um corpo perfeito de característica positiva. Nos propusemos a dar um tratamento, na medida do possível, auto-suficiente / Abstract: The Hodge degeneration theorem and the Kodaira, Akizuki and Nakano's vanishing theorem are of paramount importance in the theory of complex manifolds. Using Serre's comparison theorem, both can be translated to the context of smooth projective schemes over a field of characteristic zero. For fields of positive characteristic, however, both fail to hold without additional hypothesis, and the first counterexamples were found by Mumford and Raynaud. Our goal in this dissertation is to present a theorem due to Deligne and Illusie that ensures the degeneration of the Hodge-de Rham spectral sequence and a version of the theorem of Kodaira, Akizuki and Nakano for certain smooth projective schemes over a perfect field of positive characteristic. We tried to keep the treatment as self-contained as possible / Mestrado / Matematica / Mestre em Matemática