Os formalismos das simetrias de Becchi-Rouet-Stora-Tyutin e de Batalin-Vilkovisky e aplicações

Abstract

Sistemas com simetrias de gauge não podem ser quantizados da forma usual e necessitam de outros métodos capazes de fixar as condições de gauge. Sistemas que apresentam vínculos possuem graus de liberdade internos gerados por transformações de gauge. Nestes casos as equações de movimento não são suficientes para determinar a evolução de um sistema e é preciso impor vínculos ao sistema. Para fixar essas condições é necessário a adição de fantasmas. Depois que os vínculos foram fixados resta ainda uma transformação que envolve os campos físicos e fantasmas. Essa simetria é chamada simetria BRST. As propriedades do operador BRST permite determinar um conjunto de soluções independentes que satisfaçam os vínculos e, através desse processo é possível quantizar um sistema. Em alguns casos o operador BRST não é capaz de fixar todas as condições, para isso foi desenvolvido o formalismo BV. Além de fantasmas, também adiciona-se anticampos. Nesta dissertação foi feita uma revisão sobre vínculos, transformações de gauge e apresentou-se a simetria BRST. Utilizando as propriedades do operador BRST foi possível encontrar um método para determinar o operador BRST e apresentou-se o operador BV. Ao longo do texto apresenta-se exemplos para facilitar a compreensão da teoria

Systems with gauge symmetries cannot be quantized in the same way simpler systems can. This is due to the fact that gauge systems are constrained and it is impossible to find its time evolution just by using the equations of motion. One way to deal with this problem is by adding the so-called ghost fields, whose role is to fix the gauge. Once this fixation is done, there is still a transformation between physical and ghost fields. This symmetry is called BRST symmetry. In this approach, one is led to consider the BRST operator, which allows a set of independent solutions that satisfy the constraints to be found and the system to be properly quantized. However, there are still some conditions that cannot be fixed within the BRST formalism. For that reason, the BV formalism was developed. In the BV formalism, besides the ghost fields, it is necessary to include antifields in order to fix the constaints. This dissertation presents a review on constraints, gauge transformations and the BRST symmetry. Using the properties of the BRST operator, it is shown how to find the BRST operator itself. Also, the BV operator is presented. Some examples are presented in almost every step