{\boldsymbol{\mathfrak A}}}_g'\to{\overline{\boldsymbol{\mathfrak A}}}_g$ which is one-to-one on geometric points ([@Alexeev:SQAV], Theorem 4.5). Alexeev remarks that in general this is not an isomorphism.

Again, we denote the universal family by $({\overline{\boldsymbol{\mathfrak A}}}_{g,1},{{\overline{\tilde{\boldsymbol{\varTheta}}}}}) \to {\overline{\boldsymbol{\mathfrak A}}}_g$. We denote by ${\overline{\boldsymbol{\mathfrak A}}}_{g,n}$ the fibered power $({\overline{\boldsymbol{\mathfrak A}}}_{g,1})^n_{{\overline{\boldsymbol{\mathfrak A}}}_g}$. (This is, to some extent, in analogy with the space of stable pointed curves ${\overline{{\mathcal M}}}_{g,n}$, although we do not use Knudsen’s stabilization.) Denote by $p_i:{\overline{\boldsymbol{\mathfrak A}}}_{g,n}\to{\overline{\boldsymbol{\mathfrak A}}}_{g,1}$ the projection to the $i$-th factor. We have a natural relatively ample divisor ${{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n \subset {\overline{\boldsymbol{\mathfrak A}}}_{g,n}$ defined by ${{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n=\sum_i p_i^*{{\overline{\tilde{\boldsymbol{\varTheta}}}}}$.

We denote by ${\overline{\mathbf A}}_{g,n}$ the coarse moduli spaces of ${\overline{\boldsymbol{\mathfrak A}}}_{g,n}$, and by ${{\overline{\boldsymbol{\Theta}}}}_n \subset {\overline{\mathbf A}}_{g,n}$ the image of ${{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n$. A-priori these are Artin algebraic spaces (see [@Keel-Mori]), but since some multiple $m{{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n$ descends to a Cartier divisor on ${\overline{\mathbf A}}_{g,n}$ and is relatively ample, these are projective schemes over ${\operatorname{Spec}}{{\mathbb{Z}}}$.

Properties of stable pairs
--------------------------

We now collect a few properties of stable principally polarized quasi-abelian schemes, which we will use in the next section.

To save words, we will refer to a stable principally polarized quasi-abelian scheme $(P, \Theta)$ (always assumed flat over a base scheme $S$) as a [*stable pair*]{}.

{ \boldsymbol{\mathfrak A}}}_g'\to{\overline{\boldsymbol{\mathfrak A}}}_g$ which is one - to - one on geometric points ([ @Alexeev: SQAV ], Theorem 4.5). Alexeev remarks that in general this is not an isomorphism. 

 Again, we denote the cosmopolitan syndicate by $ ({ \overline{\boldsymbol{\mathfrak A}}}_{g,1},{{\overline{\tilde{\boldsymbol{\varTheta } } } } }) \to { \overline{\boldsymbol{\mathfrak A}}}_g$. We denote by $ { \overline{\boldsymbol{\mathfrak A}}}_{g, n}$ the fibered power $ ({ \overline{\boldsymbol{\mathfrak A}}}_{g,1})^n_{{\overline{\boldsymbol{\mathfrak A}}}_g}$. (This is, to some extent, in doctrine of analogy with the space of static pointed curves $ { \overline{{\mathcal M}}}_{g, n}$, although we do not use Knudsen ’s stabilization .) announce by $ p_i:{\overline{\boldsymbol{\mathfrak A}}}_{g, n}\to{\overline{\boldsymbol{\mathfrak A}}}_{g,1}$ the projection to the $ i$-th factor. We have a lifelike relatively ample divisor $ { { \overline{\tilde{\boldsymbol{\varTheta}}}}}_n \subset { \overline{\boldsymbol{\mathfrak A}}}_{g, n}$ define by $ { { \overline{\tilde{\boldsymbol{\varTheta}}}}}_n=\sum_i p_i^*{{\overline{\tilde{\boldsymbol{\varTheta}}}}}$. 

 We denote by $ { \overline{\mathbf A}}_{g, n}$ the coarse modulus spaces of $ { \overline{\boldsymbol{\mathfrak A}}}_{g, n}$, and by $ { { \overline{\boldsymbol{\Theta}}}}_n \subset { \overline{\mathbf A}}_{g, n}$ the image of $ { { \overline{\tilde{\boldsymbol{\varTheta}}}}}_n$. A - priori these are Artin algebraic space (see [ @Keel - Mori ]), but since some multiple $ m{{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n$ descends to a Cartier divisor on $ { \overline{\mathbf A}}_{g, n}$ and is relatively ample, these are projective schemes over $ { \operatorname{Spec}}{{\mathbb{Z}}}$. 

 Properties of stable pairs 
 -------------------------- 

 We now roll up a few properties of stable principally polarize quasi - abelian schemes, which we will use in the next part. 

 To save words, we will refer to a stable principally polarize quasi - abelian scheme $ (P, \Theta)$ (always assumed flat over a base scheme $ S$) as a [ * stable pair * ] { }.
{\bolfsymbol{\mathfrak A}}}_g'\to{\overuine{\boldsymbol{\mcrhfrak A}}}_g$ whjch is ove-to-one on geometric points ([@Elexwev:SQQV], Theorem 4.5). Alexeev reoarks than in geneeal uhis is not an isomorphism.

Again, ae dznite the univerxal family by $({\overline{\bondrylbol{\mathfrak A}}}_{g,1},{{\overline{\tilde{\boldsymfol{\varTneha}}}}}) \to {\overline{\foldxrmbom{\mathfrak A}}}_g$. We denote by ${\overline{\goldsymuol{\mathfrak A}}}_{g,n}$ the fibered power $({\overlinf{\bolfsymbol{\mathfrak A}}}_{g,1})^j_{{\overline{\boodsyivol{\mathfrak X}}}_g}$. (This is, to some extgnt, in analogy with the space of stabke pointed cyrvfv ${\overline{{\methcal M}}}_{g,n}$, althougm we do not usr Knudsen’s stanilizetiob.) Denote by $p_i:{\overlinx{\boldsymbol{\mathfrak W}}}_{g,n}\to{\overniue{\boldsymbol{\mathfrak Q}}}_{g,1}$ the krojewtiov to tht $i$-vh ractor. We have a nafural relatuvely ample divisor ${{\odvtline{\tilde{\bomdsymbjl{\darTheta}}}}}_n \subset {\overline{\boldsymbol{\mathxrai A}}}_{g,n}$ defined by ${{\overlibe{\tilde{\boldsymbol{\varTjeta}}}}}_n=\sum_i p_i^*{{\overline{\tilde{\boldsymbol{\varTheta}}}}}$.

We denote by ${\ovarlinx{\mxthyn X}}_{t,n}$ the coarse moduli spaces of ${\overline{\boldsymbjm{\mstmfrak A}}}_{g,n}$, and by ${{\overline{\bokddykfol{\Theta}}}}_n \subret {\ovzdljne{\mathbf A}}_{g,n}$ the lmage os ${{\oveeline{\tildt{\boldxymbol{\varTheta}}}}}_n$. A-priori thewe are Artin qlgebraic spaces (sze [@Keel-Mori]), yut simce spme multiple $m{{\overline{\tnlde{\bomdsymbol{\varHheta}}}}}_n$ deazends to a Cartidr cieisor on ${\overline{\mathbf A}}_{g,g}$ and is celatnvely amole, jhese awe projectlve sgvemes over ${\operatogname{Dpac}}{{\mathbb{Z}}}$.

Pgoperties of stable pairs
--------------------------

We now collect a few psopvrties of stabke principallr polarized qucsi-abelicn schdmes, which we wiln use in thq next sectiot.

Jo save words, we will refwr ti a stacue principally polarizeb quawi-abelian scheme $(P, \Thgtz)$ (always assumeb dlat over a basr szheie $S$) af a [*stable pahr*]{}.

{\boldsymbol{\mathfrak A}}}_g'\to{\overline{\boldsymbol{\mathfrak A}}}_g$ which is one-to-one on ([@Alexeev:SQAV], 4.5). Alexeev that in general Again, denote the universal by $({\overline{\boldsymbol{\mathfrak A}}}_{g,1},{{\overline{\tilde{\boldsymbol{\varTheta}}}}}) {\overline{\boldsymbol{\mathfrak A}}}_g$. We denote by ${\overline{\boldsymbol{\mathfrak the fibered power $({\overline{\boldsymbol{\mathfrak A}}}_{g,1})^n_{{\overline{\boldsymbol{\mathfrak A}}}_g}$. (This is, to some extent, in analogy the space of stable pointed curves ${\overline{{\mathcal M}}}_{g,n}$, although we do not use stabilization.) by A}}}_{g,n}\to{\overline{\boldsymbol{\mathfrak the projection to the $i$-th factor. We have a natural relatively ample divisor ${{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n \subset {\overline{\boldsymbol{\mathfrak defined by ${{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n=\sum_i p_i^*{{\overline{\tilde{\boldsymbol{\varTheta}}}}}$. We denote by ${\overline{\mathbf the coarse moduli spaces ${\overline{\boldsymbol{\mathfrak A}}}_{g,n}$, and by ${{\overline{\boldsymbol{\Theta}}}}_n {\overline{\mathbf the image ${{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n$. these Artin algebraic spaces [@Keel-Mori]), but since some multiple $m{{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n$ descends to a Cartier divisor on ${\overline{\mathbf A}}_{g,n}$ and is relatively these are over ${\operatorname{Spec}}{{\mathbb{Z}}}$. of pairs We now collect properties of stable principally polarized quasi-abelian will use in the next section. To save we will to a stable principally polarized quasi-abelian $(P, \Theta)$ (always assumed flat over a base $S$) as a [*stable pair*]{}.
{\boldsymbol{\mathfrak A}}}_g'\to{\oveRline{\boldsYmbol{\MatHfrAk a}}}_g$ whIch iS one-to-one on geoMEtriC points ([@Alexeev:SQAV], TheoRem 4.5). AlExEEv reMArKs thaT in geneRAl THIs iS nOt An iSoMOrPhism.

agaIn, we denOte the univErsAl Family by $({\overLInE{\boldsymboL{\maThfrak A}}}_{g,1},{{\overLinE{\tilde{\BoLdsYMbol{\vArTHeta}}}}}) \tO {\overlINe{\boldSymbol{\matHfRAk A}}}_g$. We DEnote by ${\OVErLine{\Boldsymbol{\mathfraK a}}}_{g,N}$ The fibered poweR $({\overlInE{\BoLDSymBol{\Mathfrak A}}}_{g,1})^N_{{\oVerliNE{\boldsyMBoL{\MAThfRAk A}}}_g}$. (This is, to sOme extent, in ANalOgy witH tHe sPAce of sTable PoINteD curves ${\overLine{{\Mathcal M}}}_{g,N}$, althoUGh we do nOT use KnuDsen’s sTabIliZatiON.) DEnOte By $P_I:{\ovERlIne{\BOldSymbol{\maThFrAk A}}}_{g,n}\To{\ovERLINe{\boLdsYmboL{\mathFrak A}}}_{g,1}$ the projEctIon tO The $I$-th faCtor. WE havE a NaturAl relaTivelY aMple divisor ${{\overLine{\Tilde{\boldSymBoL{\vaRTHeta}}}}}_n \SUbset {\oVerLinE{\boldsyMbol{\matHFraK A}}}_{G,N}$ DEfIned by ${{\overline{\tildE{\bOLDsYmbol{\vartheta}}}}}_n=\SUm_I p_I^*{{\Overline{\TiLde{\BoldSYMbol{\vArThETa}}}}}$.

we denote By ${\overLInE{\mAthbf A}}_{g,N}$ tHe coarSe ModUli SpaceS Of ${\ovErline{\BoldsymbOl{\matHFrak A}}}_{g,n}$, and by ${{\ovERline{\boldsymbOL{\THETa}}}}_N \SubsEt {\oVerline{\mathBf A}}_{g,N}$ The iMage OF ${{\oVerLIne{\tiLde{\boLdSYmBOl{\varTheta}}}}}_n$. A-priori tHeSe are ARtin aLgebraic spaceS (see [@Keel-MoRI]), BUt since sOme mULtIPle $m{{\overline{\tiLde{\boLdsymbol{\vaRtheta}}}}}_n$ deScendS to a CartIer divisoR ON ${\overlinE{\maThbF A}}_{g,N}$ anD IS rElatively amplE, THese ArE projecTivE schemeS ovEr ${\oPerAtoRnAme{Spec}}{{\maThbb{Z}}}$.

ProPeRtIeS oF stAble pAIrs
--------------------------

We now CoLleCt A feW propERties oF stabLe prInCiPAllY polariZEd QUAsi-aBeLiAn scHemEs, Which We wiLL usE in the nExt sectioN.

To SAve wOrDs, We will rEfer to a stable PrIncipally pOlAriZed quaSI-Abelian sCheme $(P, \Theta)$ (always assumeD Flat oveR a bAse scHeme $s$) as a [*stablE paIr*]{}.

{\boldsymbol{\mathfrak A}} }_g'\to{\o verli ne{ \bo ld symb ol{\ mathfrak A}}}_ g $ wh ich is one-to-one on g eomet ri c  poi n ts  ([@A lexeev: S QA V ] , T he or em4. 5 ).  Alex eev  remark s that ingen er al this is n o tan isomorp his m.

Again, w e d enoteth e u n ivers alfamil y by $ ( {\over line{\bol ds y mbol{\ m athfrak A }} }_{g ,1},{{\overline{\ t il d e{\boldsymbol{ \varTh et a }} } } })\to  {\overlin e{ \bold s ymbol{\ m at h f r akA }}}_g$. We de note by ${\ o ver line{\ bo lds y mbol{\ mathf ra k  A} }}_{g,n}$ t he f ibered po wer $( { \overli n e{\bold symbol {\m ath frak A} }} _{g ,1 } )^n _ {{ \ov e rli ne{\bold sy mb ol{\m athf r a k A}}} _g} $. ( Thisis, to some e xte nt,i n a nalog y wit h th espace  of st ablepo inted curves ${ \ove rline{{\m ath ca l M }} }_{g, n }$, al tho ugh  we donot use Knu ds e n ’ sstabilization.) De no t e  b y $p_i:{ \overl i ne {\ b oldsymbo l{ \ma thfr a k  A}}} _{g, n }\ to{\over line{\ b ol ds ymbol{\ ma thfrak  A }}} _{g ,1}$t he p roject ion to t he $i $ -th factor. We have a natura l  r e l at i vely  am ple divisor  ${{ \ over line { \t ild e {\bol dsymb ol { \v a rTheta}}}}}_n \subs et  {\ove rline {\boldsymbol{ \mathfrakA } } }_{g,n}$  def i ne d  by ${{\overli ne{\t ilde{\bold s ymbol{\v arThe ta}}}}}_ n=\sum_ip _ i^*{{\ov erl ine {\t ild e { \b oldsymbol{\va r T heta }} }}}$.
Wedenoteby${\ ove rli ne {\mathbfA}}_{g,n }$  t he  c oar se mo d uli spac es  of  $ {\o verli n e{\bol dsymb ol{\ ma th f rak  A}}}_{ g ,n } $ , an dby  ${{ \ov er line{ \bol d sym bol{\Th eta}}}}_n  \s u bset  { \o verline {\mathbf A}}_ {g ,n}$ the i ma geof ${{ \ o verline{ \tilde{\boldsymbol{\var T heta}}} }}_ n$. A -pri ori these  ar e Arti n a l gebrai c spac es (s ee  [@ K e el-Mo r i ]) , b ut  since som e mul tiple  $ m{{\ overlin e{\tilde{\boldsymb o l{\ varTheta}}}}} _n$  des c e nd s t o  a Car ti e r d i v isor on ${\over line{\math bf A} }_{g,n}$ a n d i srelativ ely amp le, t h ese are  projecti ve scheme sover $ {\o peratornam e{Spec}} {{\mathbb { Z}}}$ . 
Prope rti es ofst abl e pai rs
--- - --- ----- ------ -- ------ 

Weno w collec t a few properties of s tableprinc ipa lly polar ize d  qu asi-abeli an s chemes, wh ich  we  will  us e  in t he n e xt  se c tion. 

To save word s ,wew i ll  refer to a s t abl e pri nci p ally p olar ized quasi-abelia n  scheme $(P, \ Thet a ) $ ( alw a ys a ss umed flat over  aba s e  scheme$S $) as a [*s table pa ir * ]{}.
{\boldsymbol{\mathfrak A}}}_g'\to{\overline{\boldsymbol{\mathfrak_A}}}_g$ which_is one-to-one on geometric_points ([@Alexeev:SQAV],_Theorem_4.5). Alexeev_remarks_that in general_this is not_an isomorphism.

Again, we denote_the universal family_by_$({\overline{\boldsymbol{\mathfrak A}}}_{g,1},{{\overline{\tilde{\boldsymbol{\varTheta}}}}}) \to {\overline{\boldsymbol{\mathfrak A}}}_g$. We denote by ${\overline{\boldsymbol{\mathfrak A}}}_{g,n}$ the fibered power $({\overline{\boldsymbol{\mathfrak_A}}}_{g,1})^n_{{\overline{\boldsymbol{\mathfrak_A}}}_g}$. (This_is,_to_some extent, in analogy with_the space of stable pointed_curves ${\overline{{\mathcal_M}}}_{g,n}$, although we do not use Knudsen’s stabilization.)_Denote_by $p_i:{\overline{\boldsymbol{\mathfrak A}}}_{g,n}\to{\overline{\boldsymbol{\mathfrak_A}}}_{g,1}$ the projection to the $i$-th factor. We have_a natural relatively ample divisor ${{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n_\subset {\overline{\boldsymbol{\mathfrak A}}}_{g,n}$_defined_by_${{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n=\sum_i p_i^*{{\overline{\tilde{\boldsymbol{\varTheta}}}}}$.

We denote by_${\overline{\mathbf A}}_{g,n}$ the coarse moduli spaces_of ${\overline{\boldsymbol{\mathfrak A}}}_{g,n}$, and by ${{\overline{\boldsymbol{\Theta}}}}_n_\subset {\overline{\mathbf A}}_{g,n}$ the image of ${{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n$._A-priori these are Artin algebraic spaces_(see [@Keel-Mori]), but since some_multiple $m{{\overline{\tilde{\boldsymbol{\varTheta}}}}}_n$_descends to a Cartier divisor_on ${\overline{\mathbf A}}_{g,n}$_and is_relatively ample, these_are projective schemes over ${\operatorname{Spec}}{{\mathbb{Z}}}$.

Properties of_stable pairs
--------------------------

We now_collect a few properties of stable_principally_polarized quasi-abelian schemes,_which_we_will use_in the next_section.

To_save words,_we_will refer to a stable principally_polarized_quasi-abelian scheme $(P, \Theta)$ (always assumed flat_over a base scheme_$S$)_as a [*stable pair*]{}.
