Abstract <p> For a bundle of compact Lie groups <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\colon {\cal G} \to B\)</EquationSource> </InlineEquation> over a compactum <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(B\)</EquationSource> </InlineEquation> (with the structure group of automorphisms of the corresponding group), we introduce the gauge-equivariant <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\)</EquationSource> </InlineEquation>-theory group <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq6.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(K_{{\cal G}}^{0}(X; {\mathcal A} )\)</EquationSource> </InlineEquation> of a bundle <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi_{X}\colon X \to B\)</EquationSource> </InlineEquation> endowed with a continuous action of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal G}\)</EquationSource> </InlineEquation> constructed using bundles <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(E\to X\)</EquationSource> </InlineEquation> with the typical fiber being a projective finitely generated module over a unital <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^*\)</EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathcal A} \)</EquationSource> </InlineEquation>. The index of a family of gauge-invariant (= <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq12.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\({\cal G}\)</EquationSource> </InlineEquation>-equivariant) Fredholm operators naturally takes values in these groups. We introduce and study products and use them to define the Thom homomorphism in gauge-equivariant <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3214_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\)</EquationSource> </InlineEquation>-theory and prove that this homomorphism is an isomorphism. </p> <p> <b> DOI</b> 10.1134/S106192082460168X </p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Thom Isomorphism in Gauge-Equivariant \(K\)-Theory of \(C^*\)-Bundles

  • D. Fufaev,
  • E. Troitsky

摘要

Abstract

For a bundle of compact Lie groups \(p\colon {\cal G} \to B\) over a compactum \(B\) (with the structure group of automorphisms of the corresponding group), we introduce the gauge-equivariant \(K\) -theory group \(K_{{\cal G}}^{0}(X; {\mathcal A} )\) of a bundle \(\pi_{X}\colon X \to B\) endowed with a continuous action of \({\cal G}\) constructed using bundles \(E\to X\) with the typical fiber being a projective finitely generated module over a unital \(C^*\) -algebra \( {\mathcal A} \) . The index of a family of gauge-invariant (= \({\cal G}\) -equivariant) Fredholm operators naturally takes values in these groups. We introduce and study products and use them to define the Thom homomorphism in gauge-equivariant \(K\) -theory and prove that this homomorphism is an isomorphism.

DOI 10.1134/S106192082460168X