<?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-29T16:41:58Z</responseDate><request verb="GetRecord" identifier="oai:docta.ucm.es:20.500.14352/58911" metadataPrefix="rdf">https://docta.ucm.es/rest/oai/request</request><GetRecord><record><header><identifier>oai:docta.ucm.es:20.500.14352/58911</identifier><datestamp>2023-08-25T23:25:53Z</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/58911">
      <dc:title>Gauge forms on SU(2)-bundles</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 SU(2)-bundle, let autP [resp. gauP⊂autP] be the Lie algebra [resp. the ideal] of all G-invariant [resp. G-invariant π-vertical] vector fields in X(P), and let p:C(P)→M be the bundle of connections of P. A differential form ωr on C(P) of arbitrary degree 0≤r≤4n, n=dimM, is said to be autP-invariant [resp. gauP-invariant] if it is invariant under the natural representation of autP [resp. gauP] on X(C(P)). The Z-graded algebra over Ω∙(M) of autP-invariant [resp. gauP-invariant] differential forms is denoted by IautP [resp. IgauP]. The basic results of this paper are the following: (1) The algebra of gauge invariant differential forms on p:C(P)→M is generated over the algebra of differential forms on M by a 4-form η4, i.e., IgauP(C(P))=(p∗Ω∙(M))[η4], where the form η4 is globally defined on C(P) by using the canonical su(s)-valued 1-form of the bundle T∗(M)⊗su(2) and the determinant function det:su(2)→R; its local expression is
η4=14S123(dA1i∧dxi∧dA1j∧dxj+2A2jA3kdxj∧dxk∧dA1i∧dxi),
(Aij,xj), 1≤i≤3, 1≤j≤n, being the coordinate system induced from (xj) and the standard basis (B1,B2,B3) of su(2) on C(P). (2) Assume M is connected. Then, IautP(C(P))=R[η4]. (3) The cohomology class of η4 in H4(C(P);R) coincides with −4π2p∗(c2(P)), where c2(P) stands for the second Chern class of P. Remark that p:C(P)→M is an affine bundle and hence one has a natural isomorphism p∗:H∙(M;R)→H∙(C(P);R). Another important remark is the following. If dimM≤3, then every principal SU(2)-bundle π:P→M is trivial and hence its Chern class vanishes, but the form η4 is not zero although its pull-back along every section of C(P) does vanish</dc:description>
      <dc:date>2023-06-20T18:54:42Z</dc:date>
      <dc:date>2023-06-20T18:54:42Z</dc:date>
      <dc:date>1999-07</dc:date>
      <dc:type>journal article</dc:type>
      <dc:identifier>0393-0440</dc:identifier>
      <dc:identifier>10.1016/S0393-0440(98)00065-5</dc:identifier>
      <dc:identifier>https://hdl.handle.net/20.500.14352/58911</dc:identifier>
      <dc:identifier>http://www.sciencedirect.com/science/article/pii/S0393044098000655</dc:identifier>
      <dc:identifier>http://www.sciencedirect.com/</dc:identifier>
      <dc:language>eng</dc:language>
      <dc:relation>PB95-0124</dc:relation>
      <dc:rights>restricted access</dc:rights>
      <dc:publisher>Elsevier</dc:publisher>
   </ow:Publication>
</rdf:RDF></metadata></record></GetRecord></OAI-PMH>