<?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-08T14:53:54Z</responseDate><request verb="GetRecord" identifier="oai:docta.ucm.es:20.500.14352/58901" metadataPrefix="rdf">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><rdf:RDF xmlns:rdf="http://www.openarchives.org/OAI/2.0/rdf/" xmlns:ow="http://www.ontoweb.org/ontology/1#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:ds="http://dspace.org/ds/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/rdf/ http://www.openarchives.org/OAI/2.0/rdf.xsd">
   <ow:Publication rdf:about="oai:docta.ucm.es:20.500.14352/58901">
      <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: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: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>1073-2780</dc:identifier>
      <dc:identifier>10.4310/MRL.2001.v8.n4.a6</dc:identifier>
      <dc:identifier>https://hdl.handle.net/20.500.14352/58901</dc:identifier>
      <dc:identifier>http://www.intlpress.com/site/pub/pages/journals/items/mrl/content/vols/0008/0004/a006/</dc:identifier>
      <dc:identifier>http://intlpress.com/site/_home/index.html</dc:identifier>
      <dc:language>eng</dc:language>
      <dc:relation>PB98–0533.</dc:relation>
      <dc:rights>open access</dc:rights>
      <dc:publisher>International Press</dc:publisher>
   </ow:Publication>
</rdf:RDF></metadata></record></GetRecord></OAI-PMH>