Neste trabalho, abordamos o conceito de simetria em teoria de campos, no âmbito hamiltoniano mais precisamente, sua relação com leis de conservação, conforme estabelecida pelo(s) teorema(s) de Noether. Propomos uma visão alternativa àquela normalmente usada na literatura, baseada na substituição de grupos e álgebras de Lie por grupoides e algebroides de Lie. Tradicionalmente, dado um fibrado E de configuração sobre o espaço-tempo M (cujas seções são os campos do modelo sob investigação), simetrias são implementadas pela ação de um grupo de automorfismos de E, ou seja, um subgrupo de Aut(E), no espaço &#915 (E) das seções de E, exigindo-se que o funcional ação S seja invariante sob tal ação: neste caso, quando o pertinente subgrupo for de dimensão infinita, surgem graves dificuldades quando queremos tratar de questões de análise e de geometria com rigor matemático. A vantagem principal desta abordagem alternativa provém do fato de que, embora o grupo Aut(E) e, tipicamente, os subgrupos relevantes, assim como o espaço &#915 (E), sejam de dimensão infinita, a sua ação é induzida por uma ação de um grupoide de Lie no fibrado pertinente, a qual envolve apenas variedades de dimensão finita e portanto não há qualquer dúvida em relação a questões tais como qual seria a topologia ou estrutura de variedade subjacente ou em qual sentido essa ação deve ser suave. Formulamos o teorema de Noether neste contexto, baseado em uma nova versão da construção da aplicação momento que a cada gerador de simetrias que associa uma (n - 1)-forma sobre J*E cujo pull-back com uma seção de J* E, que é solução das equações de movimento, produz uma (n - 1)-forma sobre o espaço-tempo, a famosa corrente de Noether, que é conservada, ou seja, fechada / In this thesis, we deal with the concept of symmetry in field theory, in the covariant hamiltonian approach more precisely, its relation with conservation laws, as established by Noethers theorem(s). We propose an alternative view to that normally used in the literature, based on replacing Lie groups and algebras by Lie groupoids and algebroids. Traditionally, given a configuration bundle E over space-time M (whose sections are the fields of the model under investigation), symmetries are implemented by the action of a group of automorphisms of E, i.e., a subgroup of Aut(E), on the space &#915 (E) of sections of E, requiring the action functional S to be invariant under that action: in this case, when the pertinent subgroup has infinite dimension, serious difficulties arise when we want to deal with analytical and geometrical questions with mathematical rigor. The main advantage of this alternative approach comes from the fact that, although the group Aut(E) and, typically, the relevant subgroups, as well as the space &#915 (E), are infinite-dimensional, its action is induced by the action of a Lie groupoid in the pertinent bundle, which involves only finite-dimentional manifolds and therefore there is no doubt about questions such as what should be the topology or the underlying manifold structure or in what sense this action should be smooth. We formulate the Noethers theorem in this context, based on a new version of the construction of the momentum map that associates a (n - 1)-form on J*E to each symmetries generator whose pull-back with a section of J*E, that is solution of the equations of motion, produces a (n - 1)-form on the space-time, the famous Noether current, that is conserved, i.e., closed

Neste trabalho, abordamos o conceito de simetria em teoria de campos, no âmbito hamiltoniano mais precisamente, sua relação com leis de conservação, conforme estabelecida pelo(s) teorema(s) de Noether. Propomos uma visão alternativa àquela normalmente usada na literatura, baseada na substituição de grupos e álgebras de Lie por grupoides e algebroides de Lie. Tradicionalmente, dado um fibrado E de configuração sobre o espaço-tempo M (cujas seções são os campos do modelo sob investigação), simetrias são implementadas pela ação de um grupo de automorfismos de E, ou seja, um subgrupo de Aut(E), no espaço &#915 (E) das seções de E, exigindo-se que o funcional ação S seja invariante sob tal ação: neste caso, quando o pertinente subgrupo for de dimensão infinita, surgem graves dificuldades quando queremos tratar de questões de análise e de geometria com rigor matemático. A vantagem principal desta abordagem alternativa provém do fato de que, embora o grupo Aut(E) e, tipicamente, os subgrupos relevantes, assim como o espaço &#915 (E), sejam de dimensão infinita, a sua ação é induzida por uma ação de um grupoide de Lie no fibrado pertinente, a qual envolve apenas variedades de dimensão finita e portanto não há qualquer dúvida em relação a questões tais como qual seria a topologia ou estrutura de variedade subjacente ou em qual sentido essa ação deve ser suave. Formulamos o teorema de Noether neste contexto, baseado em uma nova versão da construção da aplicação momento que a cada gerador de simetrias que associa uma (n - 1)-forma sobre J*E cujo pull-back com uma seção de J* E, que é solução das equações de movimento, produz uma (n - 1)-forma sobre o espaço-tempo, a famosa corrente de Noether, que é conservada, ou seja, fechada / In this thesis, we deal with the concept of symmetry in field theory, in the covariant hamiltonian approach more precisely, its relation with conservation laws, as established by Noethers theorem(s). We propose an alternative view to that normally used in the literature, based on replacing Lie groups and algebras by Lie groupoids and algebroids. Traditionally, given a configuration bundle E over space-time M (whose sections are the fields of the model under investigation), symmetries are implemented by the action of a group of automorphisms of E, i.e., a subgroup of Aut(E), on the space &#915 (E) of sections of E, requiring the action functional S to be invariant under that action: in this case, when the pertinent subgroup has infinite dimension, serious difficulties arise when we want to deal with analytical and geometrical questions with mathematical rigor. The main advantage of this alternative approach comes from the fact that, although the group Aut(E) and, typically, the relevant subgroups, as well as the space &#915 (E), are infinite-dimensional, its action is induced by the action of a Lie groupoid in the pertinent bundle, which involves only finite-dimentional manifolds and therefore there is no doubt about questions such as what should be the topology or the underlying manifold structure or in what sense this action should be smooth. We formulate the Noethers theorem in this context, based on a new version of the construction of the momentum map that associates a (n - 1)-form on J*E to each symmetries generator whose pull-back with a section of J*E, that is solution of the equations of motion, produces a (n - 1)-form on the space-time, the famous Noether current, that is conserved, i.e., closed