<?xml version="1.0" encoding="UTF-8"?><?xml-stylesheet type="text/xsl" href="static/style.xsl"?><OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd"><responseDate>2026-06-08T07:25:01Z</responseDate><request verb="GetRecord" identifier="oai:docta.ucm.es:20.500.14352/58901" metadataPrefix="oai_dc">https://docta.ucm.es/rest/oai/request</request><GetRecord><record><header><identifier>oai:docta.ucm.es:20.500.14352/58901</identifier><datestamp>2023-08-25T20:00:07Z</datestamp><setSpec>com_20.500.14352_14</setSpec><setSpec>col_20.500.14352_15</setSpec></header><metadata><oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
   <dc:title>Gauge interpretation of characteristic classes</dc:title>
   <dc:creator>Castrillón López, Marco</dc:creator>
   <dc:creator>Muñoz Masqué, Jaime</dc:creator>
   <dc:subject>514.7</dc:subject>
   <dc:subject>Connections on a principal bundle</dc:subject>
   <dc:subject>characteristic classes</dc:subject>
   <dc:subject>gauge invariance</dc:subject>
   <dc:subject>jet bundles.</dc:subject>
   <dc:subject>Geometría diferencial</dc:subject>
   <dc:subject>1204.04 Geometría Diferencial</dc:subject>
   <dc:description>Let π:P→M be a principal G-bundle. Then one can consider the following diagram of fibre bundles:
\CD J^{1}(P) @>\pi_{10}>> P\\
@VqVV @VV\pi V\\
C(P) @>p>> M\endCD
where p is the bundle of connections of π. As is well known, q is also a principal G-bundle, and the canonical contact form θ on J1(P) can be considered as a connection form on q, with curvature form Θ. One defines aut P as the Lie algebra of G-invariant vector fields on P and gau P as the ideal of π-vertical G-invariant vector fields on P. If X∈autP⊂X(P), then one defines the infinitesimal contact transformation associated to X, X1∈X(J1(P)), and its q-projection XC∈X(C(P)). A differential form Ω on C(P) is said to be aut P-invariant [resp. gauge invariant] if LXCΩ=0 for every X∈autP [resp. X∈gauP]. On the other hand, let us denote by g the Lie algebra of G. An element of the symmetric algebra of g∗ will be called a Weil polynomial. 
   The main result of the paper is the following theorem: If G is connected, for every gauge invariant form Ω on C(P) there exist differential forms ω1,…,ωk on M and Weil polynomials f1,…,fk such that Ω=p∗(ω1)∧f1(Θ)+⋯+p∗(ωk)∧fk(Θ). 
   As a consequence, the authors prove that a differential form Ω on C(P) is aut P-invariant iff Ω=f(Θ), where f is a Weil polynomial, and then Ω is closed. Explicit examples are shown and the link between the above theorem and the geometric formulation of Utiyama's theorem is explained.</dc:description>
   <dc:description>DGESIC (Spain)</dc:description>
   <dc:description>Depto. de Álgebra, Geometría y Topología</dc:description>
   <dc:description>Fac. de Ciencias Matemáticas</dc:description>
   <dc:description>TRUE</dc:description>
   <dc:description>pub</dc:description>
   <dc:date>2023-06-20T18:54:25Z</dc:date>
   <dc:date>2023-06-20T18:54:25Z</dc:date>
   <dc:date>2001</dc:date>
   <dc:type>journal article</dc:type>
   <dc:identifier>https://hdl.handle.net/20.500.14352/58901</dc:identifier>
   <dc:identifier>1073-2780</dc:identifier>
   <dc:identifier>10.4310/MRL.2001.v8.n4.a6</dc:identifier>
   <dc:language>eng</dc:language>
   <dc:relation>PB98–0533.</dc:relation>
   <dc:rights>open access</dc:rights>
   <dc:format>application/pdf</dc:format>
   <dc:publisher>International Press</dc:publisher>
</oai_dc:dc></metadata></record></GetRecord></OAI-PMH>