 (in [@JKV] this situation is referred to as “Ramond case”).

For every ${\lambda}\in k^*$ there is a natural line bundle ${{{\mathcal}L}}_{{\lambda}}$ on ${{{\mathcal}C}}$ such that $n^*{{{\mathcal}L}}_{{\lambda}}\simeq{{{\mathcal}O}}_{{\widetilde}{{{{\mathcal}C}}}}$ and the isomorphism $n^*{{{\mathcal}L}}_{{\lambda}}|_{{\sigma}_1}{\rightarrow}n^*{{{\mathcal}L}}_{{\lambda}}|_{{\sigma}_2}$ corresponds to the multiplication by ${\lambda}$. It is clear that ${{{\mathcal}L}}_{{\lambda}{\lambda}'}\simeq{{{\mathcal}L}}_{{\lambda}}\otimes{{{\mathcal}L}}_{{\lambda}'}$. In particular, if $\xi$ is an $r$-th root of unity then ${{{\mathcal}L}}_{\xi}^r\simeq{{{\mathcal}O}}_{{{{\mathcal}C}}}$. Therefore, we can twist the data $({{{\mathcal}T}},b)$ by considering ${{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi}$ and the map $b_{\xi}:({{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi})^r{\rightarrow}{\omega}_{{{{\mathcal}C}}/X}$ induced by $b$ and the trivialization of ${{{\mathcal}L}}_{\xi}^r$.

Now the Ramond case of Axiom 3 in [@JKV] is implied easily by Theorem \[axiom1thm\] together with the following result.

\[Ramondthm\] One has $$\sum_{\xi:\xi^r=1} c({{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi},b_{\xi})=0.$$

Recall that the relative dualizing sheaves on ${{{\mathcal}C}}/X$ and ${\widetilde}{{{{\mathcal}C}}}/X$ are related by the isomorphism $n^*{\omega}_{{{{\mathcal}C}}/X}\simeq{\omega}_{{\widetilde}{{{{\mathcal}C}}}/X}({\sigma}_1+{\sigma}_2)$ such that the following diagram is commutative $$\begin{diagram}
n^*{\omega}_{{{{\mathcal}C}}/X}|_{{\sigma}_1} &&\rTo && n^*{\omega}_{{{{\mathcal}C}}/X}|_{{\sigma}_2}\\
\dTo &&&&\dTo\\
{\omega}_{{\widetilde}{{{{\mathcal}C}}}/X}({\sigma}_1+{\sigma}_2)|_{{\sigma}_1}&\rTo^{{\operatorname{Res}}}&{{{\mathcal}O}}_
(in [ @JKV ] this situation is referred to as “ Ramond case ”). 

 For every $ { \lambda}\in k^*$ there is a lifelike credit line bundle $ { { { \mathcal}L}}_{{\lambda}}$ on $ { { { \mathcal}C}}$ such that $ n^*{{{\mathcal}L}}_{{\lambda}}\simeq{{{\mathcal}O}}_{{\widetilde}{{{{\mathcal}C}}}}$ and the isomorphism $ n^*{{{\mathcal}L}}_{{\lambda}}|_{{\sigma}_1}{\rightarrow}n^*{{{\mathcal}L}}_{{\lambda}}|_{{\sigma}_2}$ corresponds to the multiplication by $ { \lambda}$. It is clean that $ { { { \mathcal}L}}_{{\lambda}{\lambda}'}\simeq{{{\mathcal}L}}_{{\lambda}}\otimes{{{\mathcal}L}}_{{\lambda}'}$. In finical, if $ \xi$ is an $ r$-th root of unity then $ { { { \mathcal}L}}_{\xi}^r\simeq{{{\mathcal}O}}_{{{{\mathcal}C}}}$. consequently, we can twist the data $ ({ { { \mathcal}T}},b)$ by considering $ { { { \mathcal}T}}\otimes{{{\mathcal}L}}_{\xi}$ and the function $ b_{\xi}:({{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi})^r{\rightarrow}{\omega}_{{{{\mathcal}C}}/X}$ induce by $ b$ and the trivialization of $ { { { \mathcal}L}}_{\xi}^r$. 

 Now the Ramond character of Axiom 3 in [ @JKV ] is implied easily by Theorem \[axiom1thm\ ] in concert with the following result. 

 \[Ramondthm\ ] One has $ $ \sum_{\xi:\xi^r=1 } c({{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi},b_{\xi})=0.$$ 

 Recall that the relative dualizing sheaves on $ { { { \mathcal}C}}/X$ and $ { \widetilde}{{{{\mathcal}C}}}/X$ are related by the isomorphism $ n^*{\omega}_{{{{\mathcal}C}}/X}\simeq{\omega}_{{\widetilde}{{{{\mathcal}C}}}/X}({\sigma}_1+{\sigma}_2)$ such that the following diagram is commutative $ $ \begin{diagram } 
 n^*{\omega}_{{{{\mathcal}C}}/X}|_{{\sigma}_1 } & & \rTo & & n^*{\omega}_{{{{\mathcal}C}}/X}|_{{\sigma}_2}\\ 
 \dTo & & & & \dTo\\ 
 { \omega}_{{\widetilde}{{{{\mathcal}C}}}/X}({\sigma}_1+{\sigma}_2)|_{{\sigma}_1}&\rTo^{{\operatorname{Res}}}&{{{\mathcal}O } } _
 (in [@JKV] this situation is rtferred to as “Ramond casx”).

For evsry ${\lambaa}\in k^*$ there is a natural liie byndle ${{{\mathcal}L}}_{{\lambda}}$ on ${{{\matfcal}C}}$ sucj that $n^*{{{\nathral}L}}_{{\lambda}}\simeq{{{\mefhcal}O}}_{{\wlbetilsc}{{{{\matheao}C}}}}$ and the isokorphism $n^*{{{\kathcal}L}}_{{\lambda}}|_{{\viemc}_1}{\rightarrow}n^*{{{\mathcal}L}}_{{\lambda}}|_{{\sigma}_2}$ corrqsponds tl the multiplisatipg by ${\lambda}$. It is clear that ${{{\mathcal}L}}_{{\lzmbda}{\lakbda}'}\simeq{{{\mathval}L}}_{{\lambda}}\otimes{{{\mathcal}L}}_{{\lalbda}'}$. In particular, if $\di$ is an $r$-ty rojr of unity tfen ${{{\mathcal}L}}_{\xi}^r\simeq{{{\majhcal}O}}_{{{{\mathcal}C}}}$. Therefore, we can gwist the data $({{{\narhcwn}T}},b)$ by consmderind ${{{\mathcal}T}}\otlkes{{{\matvcal}L}}_{\xi}$ and the map $b_{\wi}:({{{\matical}R}}\otimes{{{\mathcal}L}}_{\xi})^r{\rigitarrow}{\omega}_{{{{\mathcal}C}}/V}$ induced bv $b$ and the trivializqtuon ox ${{{\madhcau}O}}_{\xi}^f$.

Nos vhe Ramonf cese of Axioj 3 in [@JKV] iw implied easily by Trvprem \[axiom1thj\] togeehqr with the following result.

\[Ramondthm\] Ote gas $$\sum_{\xi:\xi^r=1} c({{{\mathcal}T}}\orimes{{{\mathcal}L}}_{\xi},b_{\xi})=0.$$

Recwll that ehe relative dualizing sheaves on ${{{\mathcal}C}}/X$ and ${\whdetimae}{{{{\mcbmcal}Z}}}/Z$ wre related by the isomorphism $n^*{\omega}_{{{{\mathcal}C}}/V}\aikea{\omega}_{{\widetildc}{{{{\mathcal}C}}}/X}({\sigma}_1+{\sigka}_2)$ sish that the fullowiuf siagram is commutahive $$\bedin{diqgram}
n^*{\omeda}_{{{{\mayhcal}C}}/X}|_{{\sigma}_1} &&\rTo && n^*{\omega}_{{{{\matycal}C}}/X}|_{{\sigma}_2}\\
\dNo &&&&\dRo\\
{\omega}_{{\widetilde}{{{{\machcal}C}}}/X}({\sigma}_1+{\rigms}_2)|_{{\sigms}_1}&\rTo^{{\operatorname{Res}}}&{{{\matheal}O}}_
(in [@JKV] this situation is referred to case”). every ${\lambda}\in there is a ${{{\mathcal}C}}$ that $n^*{{{\mathcal}L}}_{{\lambda}}\simeq{{{\mathcal}O}}_{{\widetilde}{{{{\mathcal}C}}}}$ and isomorphism $n^*{{{\mathcal}L}}_{{\lambda}}|_{{\sigma}_1}{\rightarrow}n^*{{{\mathcal}L}}_{{\lambda}}|_{{\sigma}_2}$ corresponds the multiplication by ${\lambda}$. It is that ${{{\mathcal}L}}_{{\lambda}{\lambda}'}\simeq{{{\mathcal}L}}_{{\lambda}}\otimes{{{\mathcal}L}}_{{\lambda}'}$. In particular, if $\xi$ is an $r$-th root of unity then Therefore, we can twist the data $({{{\mathcal}T}},b)$ by considering ${{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi}$ and the map induced $b$ the of ${{{\mathcal}L}}_{\xi}^r$. Now the Ramond case of Axiom 3 in [@JKV] is implied easily by Theorem together with the following result. \[Ramondthm\] One has c({{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi},b_{\xi})=0.$$ Recall that the dualizing sheaves on ${{{\mathcal}C}}/X$ and are by the $n^*{\omega}_{{{{\mathcal}C}}/X}\simeq{\omega}_{{\widetilde}{{{{\mathcal}C}}}/X}({\sigma}_1+{\sigma}_2)$ that following diagram is $$\begin{diagram} n^*{\omega}_{{{{\mathcal}C}}/X}|_{{\sigma}_1} &&\rTo && n^*{\omega}_{{{{\mathcal}C}}/X}|_{{\sigma}_2}\\ \dTo &&&&\dTo\\ {\omega}_{{\widetilde}{{{{\mathcal}C}}}/X}({\sigma}_1+{\sigma}_2)|_{{\sigma}_1}&\rTo^{{\operatorname{Res}}}&{{{\mathcal}O}}_
 (in [@JKV] this situation is referRed to as “RamOnd caSe”).

FOr eVeRy ${\laMbda}\In k^*$ there is a natURal lIne bundle ${{{\mathcal}L}}_{{\lambdA}}$ on ${{{\maThCAl}C}}$ sUCh That $n^*{{{\Mathcal}l}}_{{\LaMBDa}}\sImEq{{{\MatHcAL}O}}_{{\WidetIldE}{{{{\mathcaL}C}}}}$ and the isOmoRpHism $n^*{{{\mathcal}l}}_{{\LaMbda}}|_{{\sigma}_1}{\rIghTarrow}n^*{{{\mathcAl}L}}_{{\Lambda}}|_{{\SiGma}_2}$ COrresPonDs to tHe multIPlicatIon by ${\lambDa}$. iT is cleAR that ${{{\maTHCaL}L}}_{{\laMbda}{\lambda}'}\simeq{{{\maTHcAL}L}}_{{\lambda}}\otimes{{{\MathcaL}L}}_{{\LAmBDA}'}$. In ParTicular, if $\xI$ iS an $r$-tH Root of uNItY THEn ${{{\mAThcal}L}}_{\xi}^r\simeQ{{{\mathcal}O}}_{{{{\maTHcaL}C}}}$. TherEfOre, WE can twIst thE dATa $({{{\mAthcal}T}},b)$ by cOnsiDering ${{{\matHcal}T}}\oTImes{{{\matHCal}L}}_{\xi}$ aNd the mAp $b_{\Xi}:({{{\mAthcAL}T}}\OtImeS{{{\mAThcAL}L}}_{\Xi})^r{\RIghTarrow}{\omEgA}_{{{{\mAthcaL}C}}/X}$ iNDUCEd by $B$ anD the TriviAlization of ${{{\maThcAl}L}}_{\xI}^R$.

NoW the RAmond Case Of axiom 3 In [@JKV] iS implIeD easily by TheoreM \[axiOm1thm\] togeTheR wIth ThE follOWing reSulT.

\[RaMondthm\] one has $$\sUM_{\xi:\Xi^R=1} C({{{\MAtHcal}T}}\otimes{{{\mathcal}l}}_{\xI},B_{\Xi})=0.$$

recall thAt the rELaTiVE dualiziNg SheAves ON ${{{\MathcAl}C}}/X$ ANd ${\WidetildE}{{{{\mathcAL}C}}}/x$ aRe relatEd By the iSoMorPhiSm $n^*{\omEGa}_{{{{\maThcal}C}}/x}\simeq{\omEga}_{{\wiDEtilde}{{{{\mathcal}C}}}/x}({\Sigma}_1+{\sigma}_2)$ sucH ThAT ThE FollOwiNg diagram is CommUTatiVe $$\beGIn{DiaGRam}
n^*{\oMega}_{{{{\mAtHCaL}c}}/X}|_{{\sigma}_1} &&\rTo && n^*{\omega}_{{{{\matHcAl}C}}/X}|_{{\siGma}_2}\\
\dTO &&&&\dTo\\
{\omega}_{{\wideTilde}{{{{\mathcAL}c}}}/x}({\sigma}_1+{\siGma}_2)|_{{\sIGmA}_1}&\RTo^{{\operatornamE{Res}}}&{{{\mAthcal}O}}_
 (in [@JKV] this situation  is referr ed to  as  “R am ondcase ”).

For every ${\l ambda}\in k^*$ there i s a n at u rall in e bun dle ${{ { \m a t hca l} L} }_{ {\ l am bda}} $ o n ${{{\ mathcal}C} }$su ch that $n^* { {{ \mathcal}L }}_ {{\lambda}}\ sim eq{{{\ ma thc a l}O}} _{{ \wide tilde} { {{{\ma thcal}C}} }} $  and t h e isomo r p hi sm $ n^*{{{\mathcal}L} } _{ { \lambda}}|_{{\ sigma} _1 } {\ r i ght arr ow}n^*{{{\ ma thcal } L}}_{{\ l am b d a }}| _ {{\sigma}_2}$  correspond s  to  the m ul tip l icatio n by${ \ lam bda}$. It i s cl ear that${{{\m a thcal}L } }_{{\la mbda}{ \la mbd a}'} \ si me q{{ {\ m ath c al }L} } _{{ \lambda} }\ ot imes{ {{\m a t h c al}L }}_ {{\l ambda }'}$. In part icu lar, if$\xi$  is a n $r $- th ro ot ofunity  t hen ${{{\mathca l}L} }_{\xi}^r \si me q{{ {\ mathc a l}O}}_ {{{ {\m athcal} C}}}$.T her ef o r e ,we can twist the d at a $( {{{\math cal}T} } ,b )$ by consi de rin g ${ { { \math cal} T }} \otimes{ {{\mat h ca l} L}}_{\x i} $ andth e m ap$b_{\ x i}:( {{{\ma thcal}T} }\oti m es{{{\mathcal} L }}_{\xi})^r{\ r ig h t ar r ow}{ \om ega}_{{{{\m athc a l}C} }/X} $  i ndu c ed by  $b$an d  t h e trivialization of  $ {{{\ma thcal }L}}_{\xi}^r$ .

Now the R a mond cas e of Ax i om 3 in [@JKV]  is i mplied eas i ly by Th eorem  \[axiom 1thm\] to g e ther wit h t hefol low i n gresult.

\[Ra m o ndth m\ ] One h as$$\sum_ {\x i:\ xi^ r=1 }c({{{\mat hcal}T}} \o ti me s{ {{\ mathc a l}L}}_{\ xi },b _{ \xi })=0. $ $

Rec all t hatth er ela tive du a li z i ng s he av es o n $ {{ {\mat hcal } C}} /X$ and  ${\widet ild e }{{{ {\ ma thcal}C }}}/X$ are re la ted by the  i som orphis m $n^*{\om ega}_{{{{\mathcal}C}}/X } \simeq{ \om ega}_ {{\w idetilde} {{{ {\math cal } C}}}/X }({\si gma}_ 1+ {\s i g ma}_2 ) $  s uch  t hat the fo l l owi ng di ag ramis comm utative $$\begin{d i agr am}
n^*{\omeg a}_ {{{{ \ m at hca l }C } }/X }| _ {{\ s i gma}_1} &&\rTo&& n^*{\om eg a }_ {{{{\mathc a l}C }} /X}|_{{ \sigma} _2}\\ \dTo && &&\dTo\\{\omega}_ {{ \wid e t ild e}{{{{\mat hcal}C}} }/X}({\si g ma}_1 + {\ sigma }_2 )|_{{\ si gma }_1}& \rTo^{ { \op erato rname{ Re s}}}&{ {{\ma th cal}O}}_ 
 (in_[@JKV] this_situation is referred to_as “Ramond_case”).

For_every ${\lambda}\in_k^*$_there is a_natural line bundle_${{{\mathcal}L}}_{{\lambda}}$ on ${{{\mathcal}C}}$ such_that $n^*{{{\mathcal}L}}_{{\lambda}}\simeq{{{\mathcal}O}}_{{\widetilde}{{{{\mathcal}C}}}}$ and_the_isomorphism $n^*{{{\mathcal}L}}_{{\lambda}}|_{{\sigma}_1}{\rightarrow}n^*{{{\mathcal}L}}_{{\lambda}}|_{{\sigma}_2}$ corresponds to the multiplication by ${\lambda}$. It is clear that ${{{\mathcal}L}}_{{\lambda}{\lambda}'}\simeq{{{\mathcal}L}}_{{\lambda}}\otimes{{{\mathcal}L}}_{{\lambda}'}$. In_particular,_if $\xi$_is_an_$r$-th root of unity then_${{{\mathcal}L}}_{\xi}^r\simeq{{{\mathcal}O}}_{{{{\mathcal}C}}}$. Therefore, we can twist_the data_$({{{\mathcal}T}},b)$ by considering ${{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi}$ and the map $b_{\xi}:({{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi})^r{\rightarrow}{\omega}_{{{{\mathcal}C}}/X}$_induced_by $b$ and_the trivialization of ${{{\mathcal}L}}_{\xi}^r$.

Now the Ramond case of Axiom_3 in [@JKV] is implied easily_by Theorem \[axiom1thm\]_together_with_the following result.

\[Ramondthm\] One_has $$\sum_{\xi:\xi^r=1} c({{{\mathcal}T}}\otimes{{{\mathcal}L}}_{\xi},b_{\xi})=0.$$

Recall that the relative_dualizing sheaves on ${{{\mathcal}C}}/X$ and ${\widetilde}{{{{\mathcal}C}}}/X$_are related by the isomorphism $n^*{\omega}_{{{{\mathcal}C}}/X}\simeq{\omega}_{{\widetilde}{{{{\mathcal}C}}}/X}({\sigma}_1+{\sigma}_2)$ such_that the following diagram is commutative_$$\begin{diagram}
n^*{\omega}_{{{{\mathcal}C}}/X}|_{{\sigma}_1} &&\rTo && n^*{\omega}_{{{{\mathcal}C}}/X}|_{{\sigma}_2}\\
\dTo &&&&\dTo\\
{\omega}_{{\widetilde}{{{{\mathcal}C}}}/X}({\sigma}_1+{\sigma}_2)|_{{\sigma}_1}&\rTo^{{\operatorname{Res}}}&{{{\mathcal}O}}_