 [*e.g.*]{} [@edidin1; @reid-icecream; @tt1] and references therein for more information on index theorems on stacks.

Roots of canonical bundles {#app:canonical-roots}
==========================

On a ${\mathbb Z}_k$ gerbe, sometimes there exist $k$th roots of the canonical bundle, and sometimes not, depending upon the gerbe. Let us work through some examples.

First, consider a nontrivial ${\mathbb Z}_k$ gerbe over ${\mathbb P}^1$. In particular, let us consider the gerbe defined by the quotient $$\frac{
 {\mathbb C}^2 - 0
}{
{\mathbb C}^{\times}
},$$ where the ${\mathbb C}^{\times}$ acts with weight $k$. We will show that the pullback of any line bundle on ${\mathbb P}^1$ to this gerbe does admit a $k$th root.

A line bundle over this gerbe will have a total space of the form $$\frac{
( {\mathbb C}^2 - 0 ) \times {\mathbb C}
}{
{\mathbb C}^{\times}
},$$ where ${\mathbb C}^{\times}$ acts on $([x,y],z)$ as $$([x,y],z) \: \mapsto \: ( [ \lambda^k x, \lambda^k y], \lambda^n z),$$ and $n$ classifies the line bundle. The pullback of ${\cal O}(m)$ on ${\mathbb P}^1$ to the gerbe has $n = km$, so a line bundle on the gerbe with $n=m$ has the property that its $k$th tensor power with itself is the pullback of ${\cal O}(m)$.

Thus, on this ${\mathbb Z}_k$ gerbe, $k$th roots of pullbacks of any line bundle on the base space do exist.

Next, let us consider the trivial ${\mathbb Z}_k$ gerbe over ${\mathbb P}^1$. Here, the total space any line bundle over this gerbe can be described as $$\frac{
( {\rm Tot} \, L ) \times {\mathbb C}^{\times}
}{
{\mathbb C}^{\times}
},$$ where $L$ is a line bundle on ${\mathbb P}^1$, and the ${\mathbb C}^{\times}$ acts only on ${\mathbb C}^{\times}$. Here, there is clearly no way to
[ * e.g. * ] { } [ @edidin1; @reid - icecream; @tt1 ] and references therein for more information on exponent theorem on stacks. 

 Roots of basic bundle { # app: canonical - roots } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = 

 On a $ { \mathbb Z}_k$ gerbe, sometimes there exist $ k$th root of the canonic bundle, and sometimes not, depend upon the gerbe. Let us work through some example. 

 First, consider a nontrivial $ { \mathbb Z}_k$ gerbe over $ { \mathbb P}^1$. In finical, lease us consider the gerbe defined by the quotient $ $ \frac { 
  { \mathbb C}^2 - 0 
 } { 
 { \mathbb C}^{\times } 
 }, $ $ where the $ { \mathbb C}^{\times}$ acts with weight $ k$. We will show that the pullback of any channel bundle on $ { \mathbb P}^1 $ to this gerbe does admit a $ k$th root. 

 A wrinkle bundle over this gerbe will have a total space of the kind $ $ \frac { 
 ({ \mathbb C}^2 - 0) \times { \mathbb C } 
 } { 
 { \mathbb C}^{\times } 
 }, $ $ where $ { \mathbb C}^{\times}$ acts on $ ([ x, y],z)$ as $ $ ([ x, y],z) \: \mapsto \: ([ \lambda^k x, \lambda^k y ], \lambda^n z),$$ and $ n$ classifies the line bundle. The pullback of $ { \cal O}(m)$ on $ { \mathbb P}^1 $ to the gerbe has $ n = km$, so a cable bundle on the gerbe with $ n = m$ has the property that its $ k$th tensor power with itself is the pullback of $ { \cal O}(m)$. 

 therefore, on this $ { \mathbb Z}_k$ gerbe, $ k$th root of pullbacks of any line bundle on the base space do exist. 

 Next, let us consider the trivial $ { \mathbb Z}_k$ gerbe over $ { \mathbb P}^1$. Here, the total outer space any line bundle over this gerbe can be identify as $ $ \frac { 
 ({ \rm Tot } \, L) \times { \mathbb C}^{\times } 
 } { 
 { \mathbb C}^{\times } 
 }, $ $ where $ L$ is a course bundle on $ { \mathbb P}^1 $, and the $ { \mathbb C}^{\times}$ acts only on $ { \mathbb C}^{\times}$. Here, there constitute clearly no way to
 [*e.g.*]{} [@edidin1; @reid-icecream; @tt1] xnd references jhwrein hor mors informxtion on index theorems on svackw.

Rootw of canonical bundles {#app:canonpcal-roots}
==========================

In a ${\nathbb Z}_k$ jsrbe, sometimea thexe exist $k$th roojs of the catonical bundle, avd sometimes not, depending upon the gqrbe. Ley ks work througr sokq exzmples.

First, consider a nontrivial ${\jathbb E}_k$ gerbe over ${\mathnb P}^1$. In particular, let us fonslder the gerbe deflned by the quoeuent $$\frac{
 {\maghbb C}^2 - 0
}{
{\mauhyb C}^{\times}
},$$ wgere the ${\mathbb C}^{\times}$ acts witf weiyht $k$. We wiol shlf that the 'ullbabk of any linc bundla on ${\mayhbb P}^1$ to this gecbe eoes admit a $k$th root.

E line bundle over tris gerbe wnll have a total spacw if thg fork $$\frxx{
( {\mxthgb C}^2 - 0 ) \tiles {\mathbb C}
}{
{\mzthbb C}^{\timew}
},$$ where ${\mathbb C}^{\timts}$ wbys on $([x,y],z)$ as $$([x,y],z) \: \ia[sto \: ( [ \lambda^k x, \lambda^k y], \lambda^n z),$$ atd $h$ classifies the line byndle. The pullback of ${\cal O}(m)$ og ${\mathbb P}^1$ to the gerbe has $n = km$, so a line bundla on vhd gtrnc wigy $j=m$ has the property that its $k$th tensor power siuh ptself is the puljback of ${\cak L}(m)$.

Yrus, on this ${\mxthbb V}_i$ ferbe, $k$th roots of pullbasks od any lint buncle on the base space do exust.

Next, let ls cinsider the triviap ${\mathbb Z}_k$ gerne ovrr ${\mathbb P}^1$. Here, the tocal spzce any linf bundle kxer this gerbe cxn ne gescribed as $$\frac{
( {\rm Tot} \, J ) \times {\nathyb C}^{\timer}
}{
{\matnbb C}^{\tymes}
},$$ where $L$ is a line bundle on ${\mwthbb P}^1$, and the ${\mwthbb C}^{\times}$ acts only on ${\mathbu C}^{\times}$. Here, tverv is cleaxly no way to
[*e.g.*]{} [@edidin1; @reid-icecream; @tt1] and references therein information index theorems stacks. Roots of a Z}_k$ gerbe, sometimes exist $k$th roots the canonical bundle, and sometimes not, upon the gerbe. Let us work through some examples. First, consider a nontrivial Z}_k$ gerbe over ${\mathbb P}^1$. In particular, let us consider the gerbe defined the $$\frac{ C}^2 0 }{ {\mathbb C}^{\times} },$$ where the ${\mathbb C}^{\times}$ acts with weight $k$. We will show the pullback of any line bundle on ${\mathbb to this gerbe does a $k$th root. A line over gerbe will a space the form $$\frac{ {\mathbb C}^2 - 0 ) \times {\mathbb C} }{ {\mathbb C}^{\times} },$$ where ${\mathbb C}^{\times}$ acts on as $$([x,y],z) \: ( \lambda^k \lambda^k \lambda^n z),$$ and the line bundle. The pullback of ${\mathbb P}^1$ to the gerbe has $n = so a bundle on the gerbe with $n=m$ the property that its $k$th tensor power with is the pullback of ${\cal O}(m)$. Thus, on this ${\mathbb Z}_k$ gerbe, $k$th roots of any line bundle on base space do Next, us the ${\mathbb Z}_k$ over ${\mathbb P}^1$. Here, the total space any line bundle over gerbe can be described as $$\frac{ ( {\rm Tot} \, \times C}^{\times} }{ {\mathbb },$$ where $L$ is line on ${\mathbb P}^1$, and C}^{\times}$ only Here, is no way to
 [*e.g.*]{} [@edidin1; @reid-icecream; @tt1] and References ThereIn fOr mOrE infOrmaTion on index theORems On stacks.

Roots of canonicAl bunDlES {#app:CAnOnicaL-roots}
==========================

ON A ${\mATHbb z}_k$ GeRbe, SoMEtImes tHerE exist $k$Th roots of tHe cAnOnical bundle, ANd Sometimes nOt, dEpending upon The Gerbe. LEt Us wORk thrOugH some ExamplES.

First, Consider a NoNTriviaL ${\Mathbb Z}_K$ GErBe ovEr ${\mathbb P}^1$. In particULaR, Let us consider tHe gerbE dEFiNED by The Quotient $$\frAc{
 {\MathbB c}^2 - 0
}{
{\mathbb c}^{\TiMES}
},$$ WheRE the ${\mathbb C}^{\tiMes}$ acts with WEigHt $k$. We wIlL shOW that tHe pulLbACk oF any line bunDle oN ${\mathbb P}^1$ tO this gERbe does ADmit a $k$tH root.

A LinE buNdle OVeR tHis GeRBe wILl HavE A toTal space Of ThE form $$\Frac{
( {\MATHBb C}^2 - 0 ) \tImeS {\matHbb C}
}{
{\mAthbb C}^{\times}
},$$ whEre ${\MathBB C}^{\tImes}$ aCts on $([X,y],z)$ aS $$([x,Y],z) \: \mapSto \: ( [ \lamBda^k x, \LaMbda^k y], \lambda^n z),$$ aNd $n$ cLassifies The LiNe bUnDle. ThE PullbaCk oF ${\caL O}(m)$ on ${\maThbb P}^1$ to THe gErBE HAs $N = km$, so a line bundle on ThE GErBe with $n=m$ Has the PRoPeRTy that itS $k$Th tEnsoR POwer wIth iTSeLf is the pUllbacK Of ${\CaL O}(m)$.

Thus, On This ${\maThBb Z}_K$ geRbe, $k$tH RootS of pulLbacks of Any liNE bundle on the baSE space do exist.

nExT, LEt US conSidEr the triviaL ${\matHBb Z}_k$ GerbE OvEr ${\mAThbb P}^1$. here, tHe TOtAL space any line bundle OvEr this Gerbe Can be describeD as $$\frac{
( {\rm TOT} \, l ) \Times {\matHbb C}^{\TImES}
}{
{\mathbb C}^{\times}
},$$ wHere $L$ Is a line bunDLe on ${\mathBb P}^1$, anD the ${\mathBb C}^{\times}$ aCTS only on ${\mAthBb C}^{\TimEs}$. HERE, tHere is clearly NO Way tO
 [*e.g.*]{} [@edidin1; @re id-icecrea m; @t t1]  an drefe renc es therein for more  information on indextheor em s  ons ta cks.
Rootso fc a non ic al  bu nd l es  {#ap p:c anonica l-roots}
= === == ============ = == =====

Ona $ {\mathbb Z}_ k$gerbe,  s ome t imesthe re ex ist $k $ th roo ts of the  c a nonica l  bundle , an d so metimes not, depe n di n g upon the ger be. Le tu sw o rkthr ough someex ample s .

Firs t ,c o n sid e r a nontrivia l ${\mathbb Z}_ k$ ger be  ov e r ${\m athbb  P } ^1$ . In partic ular , let usconsid e r the g e rbe def ined b y t hequot i en t$$\ fr a c{{\ mat h bbC}^2 - 0 
} {{\mat hbbC } ^ { \tim es} 
},$ $ whe re the ${\mat hbb  C}^ { \ti mes}$  acts  wit hweigh t $k$.  We w il l show that the  pul lback ofany  l ine  b undle on ${\ mat hbb  P}^1$to this ger be d o es  admit a $k$th roo t. Aline bun dle ov e rth i s gerbewi llhave a  tota l sp a ce  of theform $ $ \f ra c{
( {\ ma thbb C }^ 2 -  0) \ti m es { \mathb b C}
}{{\mat h bb C}^{\times} },$$ where ${ \ ma t h bb C}^{ \ti mes}$ actson $ ( [x,y ],z) $  a s $ $ ([x,y ],z)\: \m a psto \: ( [ \lambda ^k  x, \l ambda ^k y], \lambd a^n z),$$a n d  $n$ cla ssif i es the line bundl e. Th e pullback of ${\ca l O}( m)$ on $ {\mathbbP } ^1$ to t heger behas $ n= km$, so a l i n e bu nd le on t hegerbe w ith  $n =m$  ha sthe prope rty that  i ts  $ k$ thtenso r  power w it h i ts elf  is t h e pull backof $ {\ ca l  O} (m)$.
T hu s ,  onth is  ${\ mat hb b Z}_ k$ g e rbe , $k$th  roots of  pu l lbac ks  o f any l ine bundle on  t he base sp ac e d o exis t . 

Next,let us consider the tri v ial ${\ mat hbb Z }_k$  gerbe ov er${\mat hbb P}^1$.  Here,  theto tal s pacea n ylin ebundle ove r thi s ger be  can  be des cribed as $$\frac{ ( { \rm Tot} \, L  )\tim e s  { \ma t hb b  C} ^{ \ tim e s }
}{
{\mathbb C }^{\times} 
} , $$  where $L$ isaline bu ndle on  ${\m a thbb P} ^1$, andthe ${\ma th bb C } ^ {\t imes}$ act s only o n ${\math b b C}^ { \t imes} $.Here,th ere  is c learly noway t o
 [*e.g.*]{}_[@edidin1; @reid-icecream;_@tt1] and references therein_for more_information_on index_theorems_on stacks.

Roots of_canonical bundles {#app:canonical-roots}
==========================

On_a ${\mathbb Z}_k$ gerbe,_sometimes there exist_$k$th_roots of the canonical bundle, and sometimes not, depending upon the gerbe. Let us_work_through some_examples.

First,_consider_a nontrivial ${\mathbb Z}_k$ gerbe_over ${\mathbb P}^1$. In particular,_let us_consider the gerbe defined by the quotient $$\frac{
_{\mathbb_C}^2 - 0
}{
{\mathbb_C}^{\times}
},$$ where the ${\mathbb C}^{\times}$ acts with weight $k$._We will show that the pullback_of any line_bundle_on_${\mathbb P}^1$ to this_gerbe does admit a $k$th root.

A_line bundle over this gerbe will_have a total space of the form_$$\frac{
( {\mathbb C}^2 - 0 )_\times {\mathbb C}
}{
{\mathbb C}^{\times}
},$$ where_${\mathbb C}^{\times}$_acts on $([x,y],z)$ as $$([x,y],z)_\: \mapsto \:_( [_\lambda^k x, \lambda^k_y], \lambda^n z),$$ and $n$ classifies_the line bundle._The pullback of ${\cal O}(m)$ on_${\mathbb_P}^1$ to the_gerbe_has_$n =_km$, so a_line_bundle on_the_gerbe with $n=m$ has the property_that_its $k$th tensor power with itself is_the pullback of ${\cal_O}(m)$.

Thus,_on this ${\mathbb Z}_k$_gerbe, $k$th roots of pullbacks_of any line bundle on the_base space_do exist.

Next,_let us consider the trivial ${\mathbb Z}_k$ gerbe over ${\mathbb P}^1$._Here, the total space any line_bundle over this gerbe_can be_described_as $$\frac{
( {\rm_Tot}_\, L_) \times {\mathbb C}^{\times}
}{
{\mathbb C}^{\times}
},$$ where $L$_is a_line bundle on ${\mathbb P}^1$, and_the ${\mathbb C}^{\times}$ acts_only_on ${\mathbb C}^{\times}$. Here, there is_clearly no way to