Z_k(B),{\mathbb{R}}/R)\:|\: \exists \omega\in{\mathcal{A}}_B^{k+1}(B)\:\forall c\in C_{k+1}(B) | \phi(\partial c)=[ \int_{c}\omega]_{{\mathbb{R}}/R}\}\.\end{aligned}$$

###  {#holo87}

There is a natural isomorphism (see e.g. Gajer, [@gajer99] in the case $R={\mathbb{Z}}$) $$H: H^{k+1}_{Del}(B,R)\stackrel{\sim}{\rightarrow} \hat H^{k}(B,{\mathbb{R}}/R).$$ One way to define $H$ is as follows.

Let $x\in H^{k+1}_{Del}(B,R)$. We must construct the character $H(x):Z_k(B)\rightarrow {\mathbb{R}}/R$. Let $z\in Z_k(B)$. Then we can find an open neighborhood $i:U\rightarrow B$ of the trace of $z$ which is homotopy equivalent to a $k$-dimensional $CW$-complex. Here $i$ denotes the inclusion. We have ${\mathbf{v}}(i^*x)=i^*{\mathbf{v}}(x)=0$ so that by (\[sq121\]) there exists a class $ [\omega]\in
{\mathcal{A}}_B^{k}(U)/{\mathcal{A}}^{k}_{B}(U,d=0,R)$ such that $a([\omega])=i^*x$. Then $$H(x)(z):=[\int_z \omega]_{{\mathbb{R}}/R}\.$$

We call $H(x)(z)\in {\mathbb{R}}/R$ the holonomy of $x$ along $z$.

###  {#section-268}

Let $x\in H^k_{Del}(I\times B,R)$ and $f_i:B\rightarrow I\times B$ be induced by the inclusion of the endpoints of the interval. Then we have the following homotopy formula.

\[homotopiedel\] We have $$f_1^*x-f_0^*x=(-1)^ka(\int_{I\times B/B} R^x)\.$$ In particular, if $R
Z_k(B),{\mathbb{R}}/R)\:|\: \exists \omega\in{\mathcal{A}}_B^{k+1}(B)\:\forall c\in C_{k+1}(B) | \phi(\partial c)= [ \int_{c}\omega]_{{\mathbb{R}}/R}\}\.\end{aligned}$$ 

 # # #   { # holo87 } 

 There is a natural isomorphism (see e.g. Gajer, [ @gajer99 ] in the subject $ R={\mathbb{Z}}$) $ $ planck's constant: H^{k+1}_{Del}(B, R)\stackrel{\sim}{\rightarrow } \hat H^{k}(B,{\mathbb{R}}/R).$$ One way to define $ H$ is as follows. 

 get $ x\in H^{k+1}_{Del}(B, R)$. We must construct the character $ H(x):Z_k(B)\rightarrow { \mathbb{R}}/R$. permit $ z\in Z_k(B)$. Then we can find an open vicinity $ i: U\rightarrow B$ of the trace of $ z$ which is homotopy equivalent to a $ k$-dimensional $ CW$-complex. Here $ i$ denotes the inclusion body. We have $ { \mathbf{v}}(i^*x)=i^*{\mathbf{v}}(x)=0 $ so that by (\[sq121\ ]) there exists a class $ [ \omega]\in 
 { \mathcal{A}}_B^{k}(U)/{\mathcal{A}}^{k}_{B}(U, d=0,R)$ such that $ a([\omega])=i^*x$. Then $ $ H(x)(z):=[\int_z \omega]_{{\mathbb{R}}/R}\.$$ 

 We call $ H(x)(z)\in { \mathbb{R}}/R$ the holonomy of $ x$ along $ z$. 

 # # #   { # section-268 } 

 lease $ x\in H^k_{Del}(I\times B, R)$ and $ f_i: B\rightarrow I\times B$ be induced by the inclusion of the endpoints of the interval. Then we have the following homotopy recipe. 

 \[homotopiedel\ ] We have $ $ f_1^*x - f_0^*x=(-1)^ka(\int_{I\times B / B } R^x)\.$$ In particular, if $ R
Z_k(B),{\lathbb{R}}/R)\:|\: \exists \omega\in{\mxthcal{A}}_B^{k+1}(B)\:\forall c\in C_{n+1}(B) | \phj(\partial c)=[ \int_{c}\omega]_{{\mathbb{R}}/R}\}\.\end{alignxd}$$

###  {#yolo87}

Tyere is a natural isomurphism (sve e.g. Gajwr, [@gejer99] in the case $R={\mathbb{D}}$) $$H: H^{i+1}_{Fel}(B,X)\svackrel{\sim}{\rightsrrow} \hat V^{k}(B,{\mathbb{R}}/R).$$ Ona dav to define $H$ is as follows.

Let $x\in H^{h+1}_{Del}(B,R)$. Ee must construcj the sharzbttr $H(x):Z_k(B)\rightarrow {\mathbb{R}}/R$. Let $z\jn Z_k(B)$. Uhen we can find am open neighborhood $i:U\righharrlw B$ of the trace lf $z$ which us hjnotopy equivxlent to a $k$-dimensionam $CW$-complex. Here $i$ denotes the kncluxion. We hace ${\mahvbf{v}}(i^*x)=i^*{\mathuf{v}}(x)=0$ sj that by (\[sq121\]) there efists a class $ [\omega]\ik
{\mathral{A}}_V^{k}(U)/{\mathcal{A}}^{k}_{B}(U,d=0,R)$ such that $a([\omega])=i^*x$. Theg $$H(x)(z):=[\int_z \ojega]_{{\mathbb{R}}/R}\.$$

We caol $H(x)(z)\it {\madhbb{F}}/E$ tfe gokohomy ov $x$ along $z$.

###  {#aection-268}

Let $z\in H^k_{Del}(I\times B,R)$ snq $f_i:B\rightarros I\timqs B$ be induced by the inclusion of the etdpkints of the interval. Tyen we have the folloaing homoeopy formula.

\[homotopiedel\] We have $$f_1^*x-f_0^*x=(-1)^ka(\int_{I\times T/B} R^x)\.$$ Kn kavbicuuqr, if $R
Z_k(B),{\mathbb{R}}/R)\:|\: \exists \omega\in{\mathcal{A}}_B^{k+1}(B)\:\forall c\in C_{k+1}(B) | \phi(\partial ### There is natural isomorphism (see case $$H: H^{k+1}_{Del}(B,R)\stackrel{\sim}{\rightarrow} \hat One way to $H$ is as follows. Let $x\in We must construct the character $H(x):Z_k(B)\rightarrow {\mathbb{R}}/R$. Let $z\in Z_k(B)$. Then we can an open neighborhood $i:U\rightarrow B$ of the trace of $z$ which is homotopy to $k$-dimensional Here denotes the inclusion. We have ${\mathbf{v}}(i^*x)=i^*{\mathbf{v}}(x)=0$ so that by (\[sq121\]) there exists a class $ [\omega]\in such that $a([\omega])=i^*x$. Then $$H(x)(z):=[\int_z \omega]_{{\mathbb{R}}/R}\.$$ We call {\mathbb{R}}/R$ the holonomy of along $z$. ### {#section-268} Let H^k_{Del}(I\times and $f_i:B\rightarrow B$ induced the inclusion of endpoints of the interval. Then we have the following homotopy formula. \[homotopiedel\] We have $$f_1^*x-f_0^*x=(-1)^ka(\int_{I\times B/B} R^x)\.$$ particular, if
Z_k(B),{\mathbb{R}}/R)\:|\: \exists \omega\in{\mAthcal{A}}_B^{k+1}(B)\:\ForalL c\iN C_{k+1}(b) | \pHi(\paRtiaL c)=[ \int_{c}\omega]_{{\matHBb{R}}/R}\}\.\End{aligned}$$

###  {#holo87}

There is a NaturAl ISomoRPhIsm (seE e.g. GajeR, [@GaJER99] in ThE cAse $r={\mAThBb{Z}}$) $$H: H^{K+1}_{DeL}(B,R)\stacKrel{\sim}{\rigHtaRrOw} \hat H^{k}(B,{\mathBB{R}}/r).$$ One way to dEfiNe $H$ is as folloWs.

LEt $x\in H^{K+1}_{DEl}(B,r)$. we musT coNstruCt the cHAracteR $H(x):Z_k(B)\rigHtARrow {\maTHbb{R}}/R$. LeT $Z\In z_k(B)$. THen we can find an opeN NeIGhborhood $i:U\rigHtarroW B$ OF tHE TraCe oF $z$ which is hOmOtopy EQuivaleNT tO A $K$-DimENsional $CW$-compLex. Here $i$ denOTes The incLuSioN. we have ${\MathbF{v}}(I^*X)=i^*{\mAthbf{v}}(x)=0$ so thAt by (\[Sq121\]) there exIsts a cLAss $ [\omegA]\In
{\mathcAl{A}}_B^{k}(U)/{\MatHcaL{A}}^{k}_{B}(u,D=0,R)$ SuCh tHaT $A([\omEGa])=I^*x$. THEn $$H(X)(z):=[\int_z \omEgA]_{{\mAthbb{r}}/R}\.$$

We CALL $h(x)(z)\iN {\maThbb{r}}/R$ the Holonomy of $x$ alOng $Z$.

###  {#secTIon-268}

let $x\iN H^k_{DeL}(I\tiMeS B,R)$ anD $f_i:B\riGhtarRoW I\times B$ be inducEd by The inclusIon Of The EnDpoinTS of the IntErvAl. Then wE have thE FolLoWING hOmotopy formula.

\[homoToPIEdEl\] We have $$F_1^*x-f_0^*x=(-1)^ka(\INt_{i\tIMes B/B} R^x)\.$$ IN pArtIculAR, If $R
Z_k(B),{\mathbb{R}}/R)\:|\ : \exists\omeg a\i n{\ ma thca l{A} }_B^{k+1}(B)\: \ fora ll c\in C_{k+1}(B) | \ phi(\ pa r tial c) =[ \i nt_{c}\ o me g a ]_{ {\ ma thb b{ R }} /R}\} \.\ end{ali gned}$$

# ## { #holo87}

Th e re  is a natu ral  isomorphism  (s ee e.g .Gaj e r, [@ gaj er99]  in th e  case$R={\math bb { Z}}$)$ $H: H^{ k + 1} _{De l}(B,R)\stackrel{ \ si m }{\rightarrow}  \hatH^ { k} ( B ,{\ mat hbb{R}}/R) .$ $ One way tod ef i n e  $H $  is as follow s.

Let $x\ i n H ^{k+1} _{ Del } (B,R)$ . Wemu s t c onstruct th e ch aracter $ H(x):Z _ k(B)\ri g htarrow  {\mat hbb {R} }/R$ .  L et  $z \i n  Z_ k (B )$. The n we can  f in d anopen n e i ghbo rho od $ i:U\r ightarrow B$ofthet rac e of$z$ w hich  i s hom otopyequiv al ent to a $k$-di mens ional $CW $-c om ple x.  Here $i$ de not esthe inc lusion. Weha v e ${ \mathbf{v}}(i^*x)= i^ * { \m athbf{v} }(x)=0 $  s ot hat by ( \[ sq1 21\] ) there  exi s ts  a class  $ [\o m eg a] \in
{\m at hcal{A }} _B^ {k} (U)/{ \ math cal{A} }^{k}_{B }(U,d = 0,R)$ such tha t  $a([\omega]) = i^ * x $. Then  $$ H(x)(z):=[\ int_ z  \om ega] _ {{ \ma t hbb{R }}/R} \. $ $We call $H(x)(z)\in  { \mathb b{R}} /R$ the holon omy of $x$ a l ong $z$. 

## #  { #section-268}
Let$x\in H^k_ { Del}(I\t imesB,R)$ an d $f_i:B\ r i ghtarrow  I\ tim esB$b e  i nduced by the i nclu si on of t heendpoin tsofthe  in te rval. The n we hav eth efo llo wingh omotopyfo rmu la .
\[hom o topied el\]We h av e$ $f_ 1^*x-f_ 0 ^* x = (-1) ^k a( \int _{I \t imesB/B} R^x )\.$$ I n particu lar ,  if$R 
Z_k(B),{\mathbb{R}}/R)\:|\: \exists_\omega\in{\mathcal{A}}_B^{k+1}(B)\:\forall c\in_C_{k+1}(B) | \phi(\partial c)=[_\int_{c}\omega]_{{\mathbb{R}}/R}\}\.\end{aligned}$$

### _{#holo87}

There_is a_natural_isomorphism (see e.g._Gajer, [@gajer99] in_the case $R={\mathbb{Z}}$) $$H:_H^{k+1}_{Del}(B,R)\stackrel{\sim}{\rightarrow} \hat H^{k}(B,{\mathbb{R}}/R).$$_One_way to define $H$ is as follows.

Let $x\in H^{k+1}_{Del}(B,R)$. We must construct the character_$H(x):Z_k(B)\rightarrow_{\mathbb{R}}/R$. Let_$z\in_Z_k(B)$._Then we can find an_open neighborhood $i:U\rightarrow B$ of_the trace_of $z$ which is homotopy equivalent to a_$k$-dimensional_$CW$-complex. Here $i$_denotes the inclusion. We have ${\mathbf{v}}(i^*x)=i^*{\mathbf{v}}(x)=0$ so that by_(\[sq121\]) there exists a class $_[\omega]\in
{\mathcal{A}}_B^{k}(U)/{\mathcal{A}}^{k}_{B}(U,d=0,R)$ such that_$a([\omega])=i^*x$._Then_$$H(x)(z):=[\int_z \omega]_{{\mathbb{R}}/R}\.$$

We call $H(x)(z)\in_{\mathbb{R}}/R$ the holonomy of $x$ along_$z$.

###  {#section-268}

Let $x\in H^k_{Del}(I\times B,R)$_and $f_i:B\rightarrow I\times B$ be induced by_the inclusion of the endpoints of_the interval. Then we have_the following_homotopy formula.

\[homotopiedel\] We have $$f_1^*x-f_0^*x=(-1)^ka(\int_{I\times_B/B} R^x)\.$$ In_particular, if_$R