Este trabalho aborda a formulação geométrica das teorias clássicas de calibre, ou Yang-Mills, considerando-as como uma importante classe de modelos que deve ser incluída em qualquer tentativa de estabelecer um formalismo matemático geral para a teoria clássica dos campos. Tal formulação deve vir em (pelo menos) duas variantes: a versão hamiltoniana, que passou por uma fase de desenvolvimento rápido durante os últimos 10-15 anos, levando ao que hoje é conhecido como o ``formalismo multissimplético'', e a mais tradicional versão lagrangiana utilizada nesta tese. O motivo principal justificando tal investigação é que teorias de calibre constituem os mais importantes exemplos de sistemas dinâmicos que são altamente relevantes na Física e onde a equivalência entre a versão lagrangiana e a versão hamiltoniana, que no caso de sistemas não-singulares é estabelecida pela transformação de Legendre, deixa de ser óbvia, pois teorias de calibre são sistemas degenerados do ponto de vista lagrangiano e são sistemas vinculados do ponto de vista hamiltoniano. Esta propriedade característica das teorias de calibre é uma consequência direta do seu alto grau de simetria, isto é, da sua invariância de calibre. No entanto, numa formulação plenamente geométrica da teoria clássica dos campos, capaz de incorporar situações topologicamente não-triviais, a invariância sob transformações de calibre locais (transformações de calibre de segunda espécie) e, surpreendentemente, até mesmo a invariância sob as transformações de simetria globais correspondentes (transformações de calibre de primeira espécie) não podem ser adequadamente descritas em termos de grupos de Lie e suas ações em variedades, mas requerem a introdução e o uso sistemático de um novo conceito, a saber, fibrados de grupos de Lie e suas ações em fibrados (sobre a mesma variedade base). A meta principal da presente tese é tomar os primeiros passos no desenvolvimento de ferramentas matemáticas adequadas para lidar com este novo conceito de simetria e, como uma primeira aplicação, dar uma definição clara e simples do procedimento de ``acoplamento mínimo'' e uma demonstração simples do teorema de Utiyama, segundo o qual lagrangianas para potenciais de calibre (conexões) de primeira ordem (i.e., que dependem apenas dos próprios potenciais de calibre e de suas derivadas parciais até primeira ordem) que são invariantes sob transformações de calibre são necessariamente funções dos campos de calibre (i.e., do tensor de curvatura) invariantes sob as transformações de simetria globais correspondentes.

This thesis deals with the geometric formulation of classical gauge theories, or Yang-Mills theories, regarded as an important class of models that must be included in any attempt to establish a general mathematical framework for classical field theory. Such a formulation must come in (at least) two variants: the hamiltonian version which has gone through a phase of rapid development during the last 10-15 years, leading to what is now known as the ``multisymplectic formalism'', and the more traditional lagrangian version studied in this thesis. The main motivation justifying this kind of investigation is that gauge theories constitute the most important examples of dynamical systems that are highly relevant in physics and where the equivalence between the lagrangian and the hamiltonian version, which for non-singular systems is established through the Legendre trans% formation, is far from obvious, since gauge theories are degenerate systems from the lagrangian point of view and are constrained systems from the hamiltonian point of view. This characteristic property of gauge theories is a direct consequence of their high degree of symmetry, that is, of gauge invariance. However, in a fully geometric formulation of classical field theory, capable of incorporating topologically non-trivial situations, invariance under local gauge transformations (gauge transformations of the second kind) and, surprisingly, even invariance under the corresponding global symmetry transformations (gauge transformations of the first kind) cannot be described adequately in terms of Lie groups and their actions on manifolds but requires the introduction and systematic use of a new concept, namely Lie group bundles and their actions on fiber bundles (over the same base manifold). The main goal of the present thesis is to take the first steps in developing adequate mathematical tools for handling this new concept of symmetry and, as a first application, give a simple clear-cut definition for the prescription of ``minimal coupling'' and a simple proof of Utiyama´s theorem, according to which lagrangians for gauge potentials (connections) that are gauge invariant and of first order, i.e., dependent only on the gauge potentials themselves and on their partial derivatives up to first order, are necessarily functions of the gauge field strengths (i.e., the curvature tensor) invariant under the corresponding global symmetry transformations.