G}$ must, at minimum, satisfy level-matching, and as discussed earlier, even more in order to define a consistent heterotic string compactification.

For completeness, let us now consider some possible examples.

One example is described in the paper [@dopr]. (See also [@Donagi:2000zf; @Donagi:2000zs; @Donagi:2000fw; @Ovrut:2002jk; @Ovrut:2003zj; @Braun:2004xv].) In that paper, the authors first construct an elliptically-fibered Calabi-Yau threefold $Z$ with fundamental group ${\mathbb Z}_2 \times
{\mathbb Z}_2$, built as a freely-acting[^15] ${\mathbb Z}_2 \times {\mathbb Z}_2$ quotient of a simply-connected Calabi-Yau threefold $X$: $$Z \: = \: X / ( {\mathbb Z}_2 \times {\mathbb Z}_2 )$$ together with a bundle $V$ on $X$ that is not quite equivariant with respect to the ${\mathbb Z}_2 \times {\mathbb Z}_2$ action, and so descends to a twisted bundle on $Z$.

Consider the gerbe presented as $[X/G]$, where $$1 \: \longrightarrow \: {\mathbb Z}_2 \: \longrightarrow \:
G \: \longrightarrow \:
{\mathbb Z}_2 \times {\mathbb Z}_2 \: \longrightarrow \:
1,$$ with the ${\mathbb Z}_2$ kernel acting trivially. (Explicitly, the extension above is the Heisenberg extension, and $G = D_4$ [@tonypriv].) The bundle $V$ above descends to a bundle on a gerbe. Furthermore, the entire bundle is an eigenbundle under the nontrivial element of the center of $D_4$, with eigenvalue $-1$ (since it must square to the identity and can not itself be the identity) [@tonypriv].

For completeness, let us now work through the example of [@dopr] in more detail. Their Calabi-Yau manifold $X$ is an elliptic fibration over a rational elliptic surface, and in fact can be described as the fiber product over ${\mathbb P}^1$ of two rational elliptic surfaces $B$, $B'$: $$X \: = \: B \times_{ {\mathbb P}^1 } B'$$ where $\pi: X \
G}$ must, at minimum, satisfy level - matching, and as discussed earlier, even more in decree to specify a consistent heterotic string compactification. 

 For completeness, let us immediately consider some possible example. 

 One exercise is described in the composition [ @dopr ]. (See also [ @Donagi:2000zf; @Donagi:2000zs; @Donagi:2000fw; @Ovrut:2002jk; @Ovrut:2003zj; @Braun:2004xv ] .) In that newspaper, the authors first reconstruct an elliptically - fibered Calabi - Yau threefold $ Z$ with cardinal group $ { \mathbb Z}_2 \times 
 { \mathbb Z}_2 $, built as a freely - acting[^15 ] $ { \mathbb Z}_2 \times { \mathbb Z}_2 $ quotient of a simply - connect Calabi - Yau threefold $ X$: $ $ Z \: = \: X / ({ \mathbb Z}_2 \times { \mathbb Z}_2) $ $ together with a package $ V$ on $ X$ that is not quite equivariant with respect to the $ { \mathbb Z}_2 \times { \mathbb Z}_2 $ action, and so fall to a twisted bundle on $ Z$. 

 Consider the gerbe presented as $ [ ten / G]$, where $ $ 1 \: \longrightarrow \: { \mathbb Z}_2 \: \longrightarrow \: 
 G \: \longrightarrow \: 
 { \mathbb Z}_2 \times { \mathbb Z}_2 \: \longrightarrow \: 
 1,$$ with the $ { \mathbb Z}_2 $ kernel acting trivially. (Explicitly, the extension above is the Heisenberg extension, and $ G = D_4 $ [ @tonypriv ] .) The bundle $ V$ above descends to a package on a gerbe. Furthermore, the entire bundle is an eigenbundle under the nontrivial element of the center of $ D_4 $, with eigenvalue $ -1 $ (since it must square to the identity and cannot itself be the identity) [ @tonypriv ]. 

 For completeness, let us now work through the example of [ @dopr ] in more detail. Their Calabi - Yau manifold $ X$ is an elliptic fibration over a rational elliptic surface, and in fact can be described as the fiber merchandise over $ { \mathbb P}^1 $ of two rational elliptic surface $ B$, $ B'$: $ $ adam \: = \: B \times _ { { \mathbb P}^1 } B'$$ where $ \pi: X \
G}$ mkst, at minimum, satisfy ltvel-matching, and cw discnssed ezrlier, exen more in order to define e cobsisttut heterotic string zompactifpcation.

Foe conpleteness, let us now conalder vime possible ewamples.

One axample is deswrkbzd in the paper [@dopr]. (See also [@Donagi:2000sf; @Donabi:2000xs; @Donagi:2000fw; @Ovtut:2002jk; @Jvruf:2003dj; @Braun:2004xv].) In that paper, the aufhors fprst construct an elliptically-fibered Calabl-Yau threefold $Z$ with vundamental grotp ${\mathbb Z}_2 \tkmes
{\mathbb Z}_2$, built as z freely-acting[^15] ${\mathbb Z}_2 \times {\mxthbb Z}_2$ quotienj kf d simply-coniected Calabi-Yau tmgeefold $X$: $$Z \: = \: X / ( {\mathbb Z}_2 \bimes {\marhbb Z}_2 )$$ together with a bundle $V$ on $X$ trat is nod suite equivariant wuth rgspecd to rhe ${\mauhbu Z}_2 \times {\mavhbb Z}_2$ actikn, and so dwscends to a twistec flmdle on $Z$.

Conaider ehq gerbe presented as $[X/G]$, where $$1 \: \longrigvtadrow \: {\mathbb Z}_2 \: \longrigytarrow \:
G \: \longrightatrow \:
{\mathbf Z}_2 \times {\mathbb Z}_2 \: \longrightarrow \:
1,$$ with the ${\mathtb Z}_2$ idrntl activt hrivially. (Explicitly, the extension above is trs Nepsenberg extensiok, and $G = D_4$ [@tonyprif].) Hhr bundle $V$ aboxe desesnss to a bundle on w gerbe. Furtyermore, tre emtire bundle is an eigenbunele under thv nobtrivial element oy the center of $C_4$, witn eigenvalue $-1$ (since it oust square to hhe identjgy and can not igsekf be the identity) [@tonypriv].

Fjr complevenesx, let ur noe work through tje example of [@dopr] in moge dejail. Tveir Calabl-Yau manifold $X$ is an elliptic hmbration over a ranional eljiptig surface, and ig fact can be bescribeb as tfe fiber pgoduct ovxr ${\mathbb P}^1$ jf two rationdp elliptic snrfaces $B$, $B'$: $$X \: = \: V \times_{ {\oathbb P}^1 } B'$$ whrre $\pi: X \
G}$ must, at minimum, satisfy level-matching, and earlier, more in to define a completeness, us now consider possible examples. One is described in the paper [@dopr]. also [@Donagi:2000zf; @Donagi:2000zs; @Donagi:2000fw; @Ovrut:2002jk; @Ovrut:2003zj; @Braun:2004xv].) In that paper, the authors first an elliptically-fibered Calabi-Yau threefold $Z$ with fundamental group ${\mathbb Z}_2 \times {\mathbb Z}_2$, as freely-acting[^15] Z}_2 {\mathbb Z}_2$ quotient of a simply-connected Calabi-Yau threefold $X$: $$Z \: = \: X / ( Z}_2 \times {\mathbb Z}_2 )$$ together with a $V$ on $X$ that not quite equivariant with respect the Z}_2 \times Z}_2$ and descends to a bundle on $Z$. Consider the gerbe presented as $[X/G]$, where $$1 \: \longrightarrow \: {\mathbb Z}_2 \: \: G \: {\mathbb \times Z}_2 \longrightarrow \: 1,$$ ${\mathbb Z}_2$ kernel acting trivially. (Explicitly, is the Heisenberg extension, and $G = D_4$ The bundle above descends to a bundle on gerbe. Furthermore, the entire bundle is an eigenbundle the nontrivial element of the center of $D_4$, with eigenvalue $-1$ (since it must square identity and can not be the identity) For let now through the of [@dopr] in more detail. Their Calabi-Yau manifold $X$ is an fibration over a rational elliptic surface, and in fact can as fiber product over P}^1$ of two rational surfaces $B'$: $$X \: = \times_{ P}^1 $\pi: \
G}$ must, at minimum, satisfy leveL-matching, aNd as dIscUssEd EarlIer, eVen more in order TO defIne a consistent heterotiC striNg COmpaCTiFicatIon.

For cOMpLETenEsS, lEt uS nOW cOnsidEr sOme possIble examplEs.

ONe Example is desCRiBed in the paPer [@Dopr]. (See also [@DOnaGi:2000zf; @DoNaGi:2000zS; @donagI:2000fw; @ovrut:2002Jk; @OvruT:2003Zj; @BrauN:2004xv].) In that PaPEr, the aUThors fiRST cOnstRuct an ellipticallY-FiBEred Calabi-Yau tHreefoLd $z$ WiTH FunDamEntal group ${\MaThbb Z}_2 \TImes
{\matHBb z}_2$, BUIlt AS a freely-actinG[^15] ${\mathbb Z}_2 \timES {\maThbb Z}_2$ qUoTieNT of a siMply-cOnNEctEd Calabi-Yau ThreEfold $X$: $$Z \: = \: X / ( {\mAthbb Z}_2 \TImes {\matHBb Z}_2 )$$ togeTher wiTh a BunDle $V$ ON $X$ ThAt iS nOT quITe EquIVarIant with ReSpEct to The ${\mATHBB Z}_2 \tiMes {\MathBb Z}_2$ acTion, and so descEndS to a TWisTed buNdle oN $Z$.

CoNsIder tHe gerbE presEnTed as $[X/G]$, where $$1 \: \lonGrigHtarrow \: {\maThbB Z}_2 \: \LonGrIghtaRRow \:
G \: \loNgrIghTarrow \:
{\mAthbb Z}_2 \tIMes {\MaTHBB Z}_2 \: \Longrightarrow \:
1,$$ with ThE ${\MAtHbb Z}_2$ kernEl actiNG tRiVIally. (ExpLiCitLy, thE EXtensIon aBOvE is the HeIsenbeRG eXtEnsion, aNd $g = D_4$ [@tonyPrIv].) THe bUndle $v$ AbovE desceNds to a buNdle oN A gerbe. FurthermORe, the entire buNDlE IS aN EigeNbuNdle under thE nonTRiviAl elEMeNt oF The ceNter oF $D_4$, WItH Eigenvalue $-1$ (since it muSt Square To the Identity and caN not itself BE THe identiTy) [@toNYpRIv].

For completenEss, leT us now work THrough thE examPle of [@dopR] in more deTAIl. Their CAlaBi-YAu mAniFOLd $x$ is an elliptic FIBratIoN over a rAtiOnal ellIptIc sUrfAce, AnD in fact caN be descrIbEd As ThE fiBer prODuct over ${\MaThbB P}^1$ Of tWo ratIOnal elLiptiC surFaCeS $b$, $B'$: $$X \: = \: b \times_{ {\mAThBB p}^1 } B'$$ whErE $\pI: X \
G}$ must, at minimum, sati sfy level- match ing , a nd  asdisc ussed earlier, even  more in order to defi ne aco n sist e nt  hete rotic s t ri n g  co mp ac tif ic a ti on.
For  comple teness, le t u snow consider so me possibl e e xamples.

On e e xample  i s d e scrib edin th e pape r  [@dop r]. (Seeal s o [@Do n agi:200 0 z f;  @Do nagi:2000zs; @Don a gi : 2000fw; @Ovrut :2002j k; @O v r ut: 200 3zj; @Brau n: 2004x v ].) Int ha t p ape r , the authors  first cons t ruc t an e ll ipt i cally- fiber ed Cal abi-Yau thr eefo ld $Z$ wi th fun d amental group $ {\math bbZ}_ 2 \t i me s{\m at h bbZ }_ 2$, bui lt as afr ee ly-ac ting [ ^ 1 5 ] ${ \ma thbb  Z}_2  \times {\mat hbb  Z}_ 2 $ q uotie nt of  a s im ply-c onnect ed Ca la bi-Yau threefol d $X $: $$Z \:  =\:  X/( {\m a thbb Z }_2  \t imes {\ mathbbZ }_2  ) $ $ to gether with a bund le $ V$  on $X$that i s  n ot quite eq ui var iant w ith r espe c tto the $ {\math b bZ} _2 \tim es  {\mat hb b Z }_2 $ act i on,and so  descend s toa  twisted bundl e  on $Z$.

Con s id e r  t h e ge rbe  presentedas $ [ X/G] $, w h er e $ $ 1 \:\long ri g ht a rrow \: {\mathbb Z} _2  \: \l ongri ghtarrow \:
G  \: \longr i g h tarrow \ :
{\ m at h bb Z}_2 \times  {\ma thbb Z}_2\ : \longr ighta rrow \:1,$$ with t he ${\ma thb b Z }_2 $ k e r ne l acting triv i a lly.  ( Explici tly , the e xte nsi onabo ve  is the H eisenber gex te ns ion , and $G = D_4 $[@t on ypr iv].) The bu ndle$V$ab ov e  de scendst oa bund le  o n ager be . Fur ther m ore , the e ntire bun dle is a nei genbund le under theno ntrivial e le men t of t h e  centerof $D_4$, with eigenval u e $-1$(si nce i t mu st square  to  the i den t ity an d cannot i ts elf b e the i de nti ty ) [@tonypr i v ].
Forco mple teness,  let us now work t h rou gh the exampl e o f [@ d o pr ] i n  m o rede t ail . Their Calabi-Ya u manifold  $ X $is an elli p tic  f ibratio n overa rat i onal el liptic su rface, an din f a c t c an be desc ribed as  the fibe r  prod u ct  over  ${ \mathb bP}^ 1$ of  two r a tio nal e llipti csurfac es $B $,  $B'$: $ $X \: = \: B \times_{ { \mathb b P}^ 1 }  B'$$ whe re$ \pi : X \
G}$ must,_at minimum,_satisfy level-matching, and as_discussed earlier,_even_more in_order_to define a_consistent heterotic string_compactification.

For completeness, let us_now consider some_possible_examples.

One example is described in the paper [@dopr]. (See also [@Donagi:2000zf; @Donagi:2000zs; @Donagi:2000fw; @Ovrut:2002jk;_@Ovrut:2003zj;_@Braun:2004xv].) In_that_paper,_the authors first construct an_elliptically-fibered Calabi-Yau threefold $Z$ with_fundamental group_${\mathbb Z}_2 \times
{\mathbb Z}_2$, built as a freely-acting[^15]_${\mathbb_Z}_2 \times {\mathbb_Z}_2$ quotient of a simply-connected Calabi-Yau threefold $X$: $$Z_\: = \: X / (_{\mathbb Z}_2 \times_{\mathbb_Z}_2_)$$ together with a_bundle $V$ on $X$ that is_not quite equivariant with respect to_the ${\mathbb Z}_2 \times {\mathbb Z}_2$ action,_and so descends to a twisted_bundle on $Z$.

Consider the gerbe_presented as_$[X/G]$, where $$1 \: \longrightarrow_\: {\mathbb Z}_2_\: \longrightarrow_\:
G \: \longrightarrow_\:
{\mathbb Z}_2 \times {\mathbb Z}_2 \:_\longrightarrow \:
1,$$ with_the ${\mathbb Z}_2$ kernel acting trivially._(Explicitly,_the extension above_is_the_Heisenberg extension,_and $G =_D_4$_[@tonypriv].) The_bundle_$V$ above descends to a bundle_on_a gerbe. Furthermore, the entire bundle is_an eigenbundle under the_nontrivial_element of the center_of $D_4$, with eigenvalue $-1$_(since it must square to the_identity and_can not_itself be the identity) [@tonypriv].

For completeness, let us now work through_the example of [@dopr] in more_detail. Their Calabi-Yau manifold_$X$ is_an_elliptic fibration over_a_rational elliptic_surface, and in fact can be described_as the_fiber product over ${\mathbb P}^1$ of_two rational elliptic surfaces_$B$,_$B'$: $$X \: = \: B_\times_{ {\mathbb P}^1 } B'$$ where_$\pi: X \