Gamma(M,B), L^2(M,B \otimes S), D_B)$. The conditions on $\gamma_B$ to be a grading operator for this spectral triple are easily checked.

In the next section we show that the triple ${(\Gamma(M,B), L^2(M,B\otimes S),D_B,J,\gamma_B)}$ gives a non-trivial Yang–Mills theory over the manifold $M$. The Serre–Swan Theorem \[thm:serreswan2\] plays an essential role in the proof. First, we explore the form of this spectral triple in the context of Kasparov’s KK-theory.

Relation with the unbounded Kasparov internal product {#sect:KK}
-----------------------------------------------------

\[ssct:kkproduct\] In this section we establish that the spectral triple of Theorem \[thm:spectraltriple1\] is an unbounded Kasparov product of two unbounded KK-cycles [@KasparovKK; @BaajJulg]. Let us briefly recall some elementary notions from (unbounded) KK-theory. Denote by ${\mathcal}{B}(E)$ the bounded endomorphisms of a right Hilbert $B$-module $E$ and by ${\mathcal}{K}(E)$ the compact endomorphisms.

Let $A$ and $B$ be $\mathbb{Z}_2$-graded $C^*$-algebras. A Kasparov $A$-$B$-module consists of a triple $(E, \phi, F)$ where $E$ is a countably generated $\mathbb{Z}_2$-graded Hilbert-$B$-module, $\phi$ is a graded $*$-homomorphism $A \rightarrow {\mathcal}{B}(E)$ and $F$ is a bounded operator of degree $1$, such that $[F, \phi(a)]$, $(F^2 -1)\phi(a)$, and $(F - F^*)\phi(a)$ are in ${\mathcal}{K}(E)$.

There are the natural notions of unitary and homotopy equivalence and under the direct sum the set of equivalence classes of Kasparov $A-B$-modules forms an abelian group which is denoted by $KK(A,B)$ [@Kasparov]. One of the key properties of $KK$-theory is the existence of the internal Kasparov product.

\[dfn:boundedkasparovproduct\] Let $E_1$
Gamma(M, B), L^2(M, B \otimes S), D_B)$. The conditions on $ \gamma_B$ to be a grading operator for this spectral trio are well check. 

 In the next incision we testify that the triple $ { (\Gamma(M, B), L^2(M, B\otimes S),D_B, J,\gamma_B)}$ gives a non - superficial Yang – mill theory over the manifold $ M$. The Serre – Swan Theorem \[thm: serreswan2\ ] act an essential role in the validation. First, we explore the form of this spectral trio in the context of Kasparov ’s KK - theory. 

 Relation with the unbounded Kasparov inner product { # sect: KK } 
 ----------------------------------------------------- 

 \[ssct: kkproduct\ ] In this part we establish that the spectral triple of Theorem \[thm: spectraltriple1\ ] is an boundless Kasparov product of two unbounded KK - cycle [ @KasparovKK; @BaajJulg ]. Let us concisely recall some elementary notion from (unbounded) KK - theory. Denote by $ { \mathcal}{B}(E)$ the restrict endomorphisms of a right Hilbert $ B$-module $ E$ and by $ { \mathcal}{K}(E)$ the compact endomorphisms. 

 Let $ A$ and $ B$ be $ \mathbb{Z}_2$-graded $ C^*$-algebras. A Kasparov $ A$ -$B$-module consists of a triple $ (E, \phi, F)$ where $ E$ is a countably generated $ \mathbb{Z}_2$-graded Hilbert-$B$-module, $ \phi$ is a graded $ * $ -homomorphism $ A \rightarrow { \mathcal}{B}(E)$ and $ F$ is a bounded operator of degree $ 1 $, such that $ [ F, \phi(a)]$, $ (F^2 -1)\phi(a)$, and $ (F - F^*)\phi(a)$ are in $ { \mathcal}{K}(E)$. 

 There are the natural notions of unitary and homotopy equivalence and under the direct kernel the set of equivalence class of Kasparov $ deoxyadenosine monophosphate - B$-modules forms an abelian group which is denoted by $ KK(A, B)$ [ @Kasparov ]. One of the key property of $ KK$-theory is the being of the internal Kasparov product. 

 \[dfn: boundedkasparovproduct\ ] lease $ E_1 $
Gamla(M,B), L^2(M,B \otimes S), D_B)$. The conditions on $\yqmma_B$ vo be a grading operator for this spectral vripoe art easily checked.

In ghe next dection qe siow that the tri'me ${(\Gamma(M,B), L^2(M,G\ltimzs S),D_B,J,\gamma_B)}$ giyes a non-trhvial Yang–Millv ghzory over the manifold $M$. The Serre–Swwn Theotel \[thm:serreswan2\] plajs an sssential role in the proof. First, se explmre the form pf this spectral triple in the context of Kasparlv’s KK-theori.

Delwrion with thd unbounded Kasparov ihternal product {#sect:KK}
-----------------------------------------------------

\[ssct:kkproauct\] Nn this secjnin ag establish vhat tre spectral bgiple ox Theorrm \[thm:spectralbriplx1\] is an unbounded Kasparot product of two unbjunded KK-wyeles [@KasparovKK; @BaajJylt]. Let us triewoy feczlk aome epemxntary notikns from (unvounded) KK-theory. Demoev by ${\mathcal}{B}(S)$ the fotnded endomorphisms of a right Hilbert $T$-mosule $E$ and by ${\mathcal}{K}(E)$ the compact endomorpjisms.

Let $W$ and $B$ be $\mathbb{Z}_2$-graded $C^*$-algebras. A Kasparov $A$-$B$-mmdule zonwifgw lf a triple $(E, \phi, F)$ where $E$ is a countably gegsrstvd $\mathbb{Z}_2$-graded Milbert-$B$-module, $\phi$ id s graded $*$-homomurphism $A \rightarrow {\mathcap}{B}(E)$ and $F$ is a boundeq oprrator of degree $1$, such that $[F, \phi(a)]$, $(F^2 -1)\php(a)$, abd $(F - F^*)\phi(a)$ are in ${\mathcal}{K}(E)$.

Tkere ate the natural notions of unicary ahd homotopy equivalehze and under the digect sum the set of equivalencq classes of Lasparox $A-B$-kodulef forms an abelldn group which is fenotgd by $NK(A,B)$ [@Kaspagov]. One of the key properties oh $KK$-theory is tve vxistence of tme internal Kas[arov product.

\[dyn:boundebkaspafovproduct\] Let $E_1$
Gamma(M,B), L^2(M,B \otimes S), D_B)$. The conditions to a grading for this spectral the section we show the triple ${(\Gamma(M,B), S),D_B,J,\gamma_B)}$ gives a non-trivial Yang–Mills theory the manifold $M$. The Serre–Swan Theorem \[thm:serreswan2\] plays an essential role in the First, we explore the form of this spectral triple in the context of KK-theory. with unbounded internal product {#sect:KK} ----------------------------------------------------- \[ssct:kkproduct\] In this section we establish that the spectral triple of Theorem is an unbounded Kasparov product of two unbounded [@KasparovKK; @BaajJulg]. Let us recall some elementary notions from KK-theory. by ${\mathcal}{B}(E)$ bounded of right Hilbert $B$-module and by ${\mathcal}{K}(E)$ the compact endomorphisms. Let $A$ and $B$ be $\mathbb{Z}_2$-graded $C^*$-algebras. A Kasparov $A$-$B$-module consists a triple F)$ where is countably $\mathbb{Z}_2$-graded Hilbert-$B$-module, $\phi$ graded $*$-homomorphism $A \rightarrow {\mathcal}{B}(E)$ and bounded operator of degree $1$, such that $[F, $(F^2 -1)\phi(a)$, $(F - F^*)\phi(a)$ are in ${\mathcal}{K}(E)$. are the natural notions of unitary and homotopy and under the direct sum the set of equivalence classes of Kasparov $A-B$-modules forms an which is denoted by [@Kasparov]. One of key of is existence of internal Kasparov product. \[dfn:boundedkasparovproduct\] Let $E_1$
Gamma(M,B), L^2(M,B \otimes S), D_B)$. The conDitions on $\gAmma_B$ To bE a gRaDing OperAtor for this speCTral Triple are easily checked.

in the NeXT secTIoN we shOw that tHE tRIPle ${(\gaMmA(M,B), l^2(M,b\OtImes S),d_B,J,\Gamma_B)}$ gIves a non-trIviAl yang–Mills theORy Over the manIfoLd $M$. The Serre–SWan theoreM \[tHm:sERreswAn2\] pLays aN essenTIal rolE in the proOf. fIrst, we EXplore tHE FoRm of This spectral triplE In THe context of KasParov’s kK-THeORY.

ReLatIon with the UnBoundED KasparOV iNTERnaL Product {#sect:KK}
-----------------------------------------------------

\[Ssct:kkproduCT\] In This seCtIon WE estabLish tHaT The Spectral triPle oF Theorem \[tHm:specTRaltripLE1\] is an unBoundeD KaSpaRov pROdUcT of TwO UnbOUnDed kk-cyCles [@KaspArOvkK; @BaaJJulG]. lET Us brIefLy reCall sOme elementary NotIons FRom (UnbouNded) Kk-theOrY. DenoTe by ${\maThcal}{b}(E)$ The bounded endomOrphIsms of a riGht hiLbeRt $b$-moduLE $E$ and bY ${\maThcAl}{K}(E)$ the Compact ENdoMoRPHIsMs.

Let $A$ and $B$ be $\mathbb{z}_2$-gRADeD $C^*$-algebrAs. A KasPArOv $a$-$b$-module cOnSisTs of A TRiple $(e, \phi, f)$ WhEre $E$ is a cOuntabLY gEnErated $\mAtHbb{Z}_2$-grAdEd HIlbErt-$B$-mODule, $\Phi$ is a Graded $*$-hoMomorPHism $A \rightarroW {\Mathcal}{B}(E)$ and $F$ IS a BOUnDEd opEraTor of degree $1$, Such THat $[F, \Phi(a)]$, $(f^2 -1)\PhI(a)$, aND $(F - F^*)\phI(a)$ are In ${\MAtHCal}{K}(E)$.

There are the natUrAl notiOns of Unitary and homOtopy equivALENce and unDer tHE dIRect sum the set oF equiValence claSSes of KasParov $a-B$-moduleS forms an aBELian grouP whIch Is dEnoTED bY $KK(A,B)$ [@Kasparov]. oNE of tHe Key propErtIes of $KK$-TheOry Is tHe eXiStence of tHe internAl kaSpArOv pRoducT.

\[Dfn:boundEdKasPaRovProduCT\] Let $E_1$
Gamma(M,B), L^2(M,B \otime s S), D_B) $. Th e c ond it ions  on$\gamma_B$ tob e agrading operator for t his s pe c tral tr ipleare eas i ly c hec ke d. 

I nt he  next  se ction w e show tha t t he  triple ${(\ G am ma(M,B), L ^2( M,B\otimes S ),D _B,J,\ ga mma _ B)}$giv es anon-tr i vial Y ang–Mills  t h eory o v er them a ni fold  $M$. The Serre–S w an Theorem \[thm: serres wa n 2\ ] pla ysan essenti al  role in thep ro o f .  Fi r st, we explor e the formo f t his sp ec tra l  tripl e inth e  co ntext of Ka spar ov’s KK-t heory. 
Relati o n withthe un bou nde d Ka s pa ro v i nt e rna l  p rod u ct{#sect:K K} 
- ----- ---- - - - - ---- --- ---- ----- ------------- --- ---- - --
\[ss ct:kk prod uc t\] I n this  sect io n we establishthat  the spec tra ltri pl e ofT heorem  \[ thm :spectr altripl e 1\]  i s a nunbounded Kasparov  p r o du ct of tw o unbo u nd ed KK-cycle s[@K aspa r o vKK;@Baa j Ju lg]. Let  us br i ef ly  recall  s ome el em ent ary  noti o ns f rom (u nbounded ) KK- t heory. Denoteb y ${\mathcal} { B} ( E )$ thebou nded endomo rphi s ms o f ar ig htH ilber t $B$ -m o du l e $E$ and by ${\mat hc al}{K} (E)$the compact e ndomorphis m s . 

Let $A $ an d  $ B $ be $\mathbb{ Z}_2$ -graded $C ^ *$-algeb ras.A Kaspar ov $A$-$B $ - module c ons ist s o f a t ri ple $(E, \phi , F)$wh ere $E$  is  a coun tab lygen era te d $\mathb b{Z}_2$- gr ad ed  H ilb ert-$ B $-module ,$\p hi $ i s a g r aded $ *$-ho momo rp hi s m $ A \righ t ar r o w {\ ma th cal} {B} (E )$ an d $F $  is  a boun ded opera tor of d eg re e $1$,such that $[F ,\phi(a)]$,  $ (F^ 2 -1)\ p h i(a)$, a nd $(F - F^*)\phi(a)$ a r e in ${ \ma thcal }{K} (E)$.

Th ere  are t hen atural  notio ns of  u nit a r y and h om oto py  equivalen c e  an d und er  the  direct  sum the set of eq u iva lence classes  of  Kas p a ro v $ A -B $ -mo du l esf o rms an abeliangroup whic hi sdenoted by $KK (A ,B)$ [@ Kasparo v]. O n e of th e key pro perties o f$KK$ - t heo ry is theexistenc e of thei ntern a lKaspa rov  produ ct .
\[dfn :bound e dka sparo vprodu ct \] Let  $E_1 $
Gamma(M,B), L^2(M,B_\otimes S),_D_B)$. The conditions on_$\gamma_B$ to_be_a grading_operator_for this spectral_triple are easily_checked.

In the next section_we show that_the_triple ${(\Gamma(M,B), L^2(M,B\otimes S),D_B,J,\gamma_B)}$ gives a non-trivial Yang–Mills theory over the manifold $M$. The_Serre–Swan_Theorem \[thm:serreswan2\]_plays_an_essential role in the proof._First, we explore the form_of this_spectral triple in the context of Kasparov’s KK-theory.

Relation_with_the unbounded Kasparov_internal product {#sect:KK}
-----------------------------------------------------

\[ssct:kkproduct\] In this section we establish that_the spectral triple of Theorem \[thm:spectraltriple1\]_is an unbounded_Kasparov_product_of two unbounded KK-cycles_[@KasparovKK; @BaajJulg]. Let us briefly recall_some elementary notions from (unbounded) KK-theory._Denote by ${\mathcal}{B}(E)$ the bounded endomorphisms of_a right Hilbert $B$-module $E$ and_by ${\mathcal}{K}(E)$ the compact endomorphisms.

Let_$A$ and_$B$ be $\mathbb{Z}_2$-graded $C^*$-algebras. A_Kasparov $A$-$B$-module consists_of a_triple $(E, \phi,_F)$ where $E$ is a countably_generated $\mathbb{Z}_2$-graded Hilbert-$B$-module,_$\phi$ is a graded $*$-homomorphism $A_\rightarrow_{\mathcal}{B}(E)$ and $F$_is_a_bounded operator_of degree $1$,_such_that $[F,_\phi(a)]$,_$(F^2 -1)\phi(a)$, and $(F - F^*)\phi(a)$_are_in ${\mathcal}{K}(E)$.

There are the natural notions of_unitary and homotopy equivalence_and_under the direct sum_the set of equivalence classes_of Kasparov $A-B$-modules forms an abelian_group which_is denoted_by $KK(A,B)$ [@Kasparov]. One of the key properties of $KK$-theory is_the existence of the internal Kasparov_product.

\[dfn:boundedkasparovproduct\] Let $E_1$