 T_{12'} & T_2 \end{smallmatrix} \right)}, \varphi_1' \right) \right\},$$ and so in total, we have $$\label{eqn:final AHat eqn}
                \widehat A(T,{\mathbf v})(\varphi_1\otimes \varphi_2) = \sum_{{\mathbf y}\text{ mod } \Gamma}   \sum_m \widehat Z_{{\mathbf y}}(m, {\mathbf v}_1) (\varphi_1'' \otimes \varphi_2'')\cdot \widehat{\omega}^{n - { \mathrm{rk}}(T_2) - 1} \cdot      \left\{    \varphi_2'({\mathbf y}) \, r_{{\mathbf y}}\left( {\left( \begin{smallmatrix}T_1 - m & T_{12} \\ T_{12'} & T_2 \end{smallmatrix} \right)} \right) (\varphi_1')\right\}$$ whenever ${\mathrm{rank}}(T) = {\mathrm{rank}}(T_2) + 1$.

Now suppose ${\mathrm{rank}}(T) = {\mathrm{rank}}(T_2)$. Then for any tuple $({\mathbf x}_1, {\mathbf y}) \in \Omega(T)$, we must have ${\mathbf x}_1 \in U_{{\mathbf y}}$, and in particular, the only terms contributing to the right hand side of are those with $m=0$. On the other hand, we have $${ \mathfrak{a}}(T,{\mathbf v}) = 0, \qquad \psi(T,{\mathbf v}) = \delta_{Z(T)} \wedge \Omega^{n-{ \mathrm{rk}}(T)},$$ and hence $$\widehat A(T,{\mathbf v}) = \widehat{Z(T)}{}^{{\mathrm{can}}} \cdot \widehat \omega^{n-{ \mathrm{rk}}(T)};$$ with these observations, it follows easily from unwinding definitions that continues to hold in this case.

Finally, the statement in the proposition follows by observing that the $T$’th $q$ coefficient on the right hand side of is precisely the right hand side of.

\[thm:A series\] The series $\widehat \phi_A({\bm{\tau}})$ is a Jacobi modular form of weight $\kappa := (p+2)/2$ and index $T_2$, in the sense of.

Fix
T_{12' } & T_2 \end{smallmatrix } \right) }, \varphi_1' \right) \right\},$$ and so in total, we have $ $ \label{eqn: final AHat eqn } 
                 \widehat A(T,{\mathbf v})(\varphi_1\otimes \varphi_2) = \sum_{{\mathbf y}\text { mod } \Gamma }    \sum_m \widehat Z_{{\mathbf y}}(m, { \mathbf v}_1) (\varphi_1" \otimes \varphi_2'')\cdot \widehat{\omega}^{n - { \mathrm{rk}}(T_2) - 1 } \cdot       \left\ {     \varphi_2'({\mathbf y }) \, r_{{\mathbf y}}\left ({ \left (\begin{smallmatrix}T_1 - m & T_{12 } \\ T_{12' } & T_2 \end{smallmatrix } \right) } \right) (\varphi_1')\right\}$$ whenever $ { \mathrm{rank}}(T) = { \mathrm{rank}}(T_2) + 1$. 

 nowadays presuppose $ { \mathrm{rank}}(T) = { \mathrm{rank}}(T_2)$. Then for any tuple $ ({ \mathbf x}_1, { \mathbf y }) \in \Omega(T)$, we must have $ { \mathbf x}_1 \in U_{{\mathbf y}}$, and in particular, the only price contributing to the right hired hand side of are those with $ m=0$. On the other hired hand, we have $ $ { \mathfrak{a}}(T,{\mathbf v }) = 0, \qquad \psi(T,{\mathbf v }) = \delta_{Z(T) } \wedge \Omega^{n- { \mathrm{rk}}(T)},$$ and therefore $ $ \widehat A(T,{\mathbf v }) = \widehat{Z(T)}{}^{{\mathrm{can } } } \cdot \widehat \omega^{n- { \mathrm{rk}}(T)};$$ with these observations, it follows easily from relax definitions that continues to hold in this case. 

 Finally, the argument in the proposition follows by observing that the $ T$’th $ q$ coefficient on the correct hand side of is precisely the right hand slope of. 

 \[thm: A series\ ] The series $ \widehat \phi_A({\bm{\tau}})$ is a Jacobi modular form of weight $ \kappa: = (p+2)/2 $ and index $ T_2 $, in the sense of. 

 Fix
 T_{12'} & T_2 \end{smallmatrix} \right)}, \yarphi_1' \right) \rigkr\},$$ and vo in fotal, we have $$\label{eqn:final AHat eqn}
                \widehat A(T,{\matfbf v})(\varpji_1\otimes \varkhi_2) = \sum_{{\mathbf y}\txst{ mod } \Gamma}   \suk_n \widehat Z_{{\matmbf y}}(m, {\mathtf v}_1) (\varphi_1'' \othmds \varphi_2'')\cdot \widehat{\omega}^{n - { \mathrm{rh}}(T_2) - 1} \cdpt      \left\{    \darpny_2'({\matgbf y}) \, r_{{\mathbf y}}\left( {\left( \begin{smamlmatriq}T_1 - m & T_{12} \\ T_{12'} & T_2 \enc{smallmatrix} \right)} \right) (\vwrphl_1')\right\}$$ whenever ${\mahhrm{rank}}(T) = {\nathwn{rank}}(T_2) + 1$.

Now ruppose ${\mauhxm{rank}}(T) = {\majhrm{rank}}(T_2)$. Then for any tuple $({\matfbf x}_1, {\mathbf y}) \un \Omfca(T)$, we must have ${\mathbf x}_1 \in U_{{\mathbf y}}$, and on particular, bhe oily rerms contributing to the right hand siqe of are tkose with $m=0$. On the otyee hang, we havd $${ \mxthrrek{a}}(F,{\mathbv v}) = 0, \qquad \pai(T,{\mathbf v}) = \delta_{Z(T)} \wedge \Omeba^{g-{ \mathrm{rk}}(T)},$$ ans hencq $$\ridehat A(T,{\mathbf v}) = \widehat{Z(T)}{}^{{\mathrm{can}}} \bdot \widehat \omega^{n-{ \mathrm{rj}}(T)};$$ with these observajions, it fjllows easily from unwinding definitions that condinuea to hjue ln this case.

Finally, the statement in the propjaiuiok follows by obscrving that the $T$’tn $e$ vjefficient on the rnfhf hand side of is orecisejy thw right hwnd xide of.

\[thm:A series\] The seriws $\widehat \pki_A({\vm{\tau}})$ is a Jacobi lodular foro of weignt $\kappa := (p+2)/2$ and index $T_2$, in fhe sense ov.

Fix
T_{12'} & T_2 \end{smallmatrix} \right)}, \varphi_1' \right) so total, we $$\label{eqn:final AHat eqn} \sum_{{\mathbf mod } \Gamma} \widehat Z_{{\mathbf y}}(m, v}_1) (\varphi_1'' \otimes \varphi_2'')\cdot \widehat{\omega}^{n - \mathrm{rk}}(T_2) - 1} \cdot \left\{ \varphi_2'({\mathbf y}) \, r_{{\mathbf y}}\left( {\left( \begin{smallmatrix}T_1 - & T_{12} \\ T_{12'} & T_2 \end{smallmatrix} \right)} \right) (\varphi_1')\right\}$$ whenever ${\mathrm{rank}}(T) = + Now ${\mathrm{rank}}(T) {\mathrm{rank}}(T_2)$. Then for any tuple $({\mathbf x}_1, {\mathbf y}) \in \Omega(T)$, we must have ${\mathbf x}_1 U_{{\mathbf y}}$, and in particular, the only terms to the right hand of are those with $m=0$. the hand, we $${ v}) 0, \qquad \psi(T,{\mathbf = \delta_{Z(T)} \wedge \Omega^{n-{ \mathrm{rk}}(T)},$$ and hence $$\widehat A(T,{\mathbf v}) = \widehat{Z(T)}{}^{{\mathrm{can}}} \cdot \widehat \omega^{n-{ \mathrm{rk}}(T)};$$ with observations, it from unwinding that to in this case. statement in the proposition follows by $T$’th $q$ coefficient on the right hand side is precisely right hand side of. \[thm:A series\] series $\widehat \phi_A({\bm{\tau}})$ is a Jacobi modular form weight $\kappa := (p+2)/2$ and index $T_2$, in the sense of. Fix
 T_{12'} & T_2 \end{smallmatrix} \right)}, \varpHi_1' \right) \rigHt\},$$ and So iN toTaL, we hAve $$\lAbel{eqn:final AHAT eqn}
                \Widehat A(T,{\mathbf v})(\varphi_1\OtimeS \vARphi_2) = \SUm_{{\MathbF y}\text{ mOD } \GAMMa}   \sUm_M \wIdeHaT z_{{\mAthbf Y}}(m, {\mAthbf v}_1) (\vArphi_1'' \otimeS \vaRpHi_2'')\cdot \widehaT{\OmEga}^{n - { \mathrm{Rk}}(T_2) - 1} \Cdot      \left\{    \varpHi_2'({\mAthbf y}) \, R_{{\mAthBF y}}\lefT( {\leFt( \begIn{smalLMatrix}t_1 - m & T_{12} \\ T_{12'} & T_2 \end{sMaLLmatriX} \Right)} \riGHT) (\vArphI_1')\right\}$$ whenever ${\matHRm{RAnk}}(T) = {\mathrm{rank}}(t_2) + 1$.

Now suPpOSe ${\MAThrM{raNk}}(T) = {\mathrm{rAnK}}(T_2)$. TheN For any tUPlE $({\MAThbF X}_1, {\mathbf y}) \in \OmeGa(T)$, we must haVE ${\maThbf x}_1 \iN U_{{\MatHBf y}}$, and In parTiCUlaR, the only terMs coNtributinG to the RIght hanD Side of aRe thosE wiTh $m=0$. on thE OtHeR haNd, WE haVE $${ \mAthFRak{A}}(T,{\mathbf V}) = 0, \qQuAd \psi(t,{\matHBF V}) = \DeltA_{Z(T)} \WedgE \OmegA^{n-{ \mathrm{rk}}(T)},$$ anD heNce $$\wIDehAt A(T,{\mAthbf V}) = \widEhAt{Z(T)}{}^{{\mAthrm{cAn}}} \cdoT \wIdehat \omega^{n-{ \matHrm{rK}}(T)};$$ with theSe oBsErvAtIons, iT FollowS eaSilY from unWinding DEfiNiTIONs That continues to holD iN THiS case.

FinAlly, thE StAtEMent in thE pRopOsitION follOws bY ObServing tHat the $t$’Th $Q$ cOefficiEnT on the RiGht HanD side OF is pReciseLy the rigHt hanD Side of.

\[thm:A seriES\] The series $\widEHaT \PHi_a({\Bm{\taU}})$ is A Jacobi moduLar fORm of WeigHT $\kAppA := (P+2)/2$ and iNdex $T_2$, In THe SEnse of.

Fix
 T_{12'} & T_2 \end{smallm atrix} \ri ght)} , \ var ph i_1'  \ri ght) \right\}, $ $ an d so in total, we have  $$\l ab e l{eq n :f inalAHat eq n }        \ wideh atA(T,{\m athbf v})( \va rp hi_1\otimes\ va rphi_2) =\su m_{{\mathbfy}\ text{mo d } \Gamm a}  \su m_m \w i dehatZ_{{\math bf y}}(m, {\mathb f v} _1)(\varphi_1'' \oti m es \varphi_2'')\c dot \w id e ha t { \om ega }^{n - { \ ma thrm{ r k}}(T_2 )  - 1 }  \c d ot      \left \{    \varp h i_2 '({\ma th bfy }) \,r_{{\ ma t hbf  y}}\left({\le ft( \begi n{smal l matrix} T _1 - m& T_{1 2}\\T_{1 2 '}  &  T_ 2\ end { sm all m atr ix} \rig ht )}  \rig ht)( \ v a rphi _1' )\ri ght\} $$ whenever $ {\m athr m {ra nk}}( T) ={\ma th rm{ra nk}}(T _2) +  1 $.

Now suppose  ${\ mathrm{ra nk} }( T)={\mat h rm{ran k}} (T_ 2)$. Th en fora nytu p l e  $ ({\mathbf x}_1, {\ ma t h bf  y}) \in  \Omeg a (T )$ ,  we must  h ave  ${\ m a thbfx}_1 \i n U_{{\m athbfy }} $,  and in  p articu la r,the  only term s cont ributing  to t h e right hand s i de of are tho s ew i th $m=0 $.On the othe r ha n d, w e ha v e$${ \math frak{ a} } (T , {\mathbf v}) = 0, \ qq uad \p si(T, {\mathbf v})= \delta_{ Z ( T )} \wedg e \O m eg a ^{n-{ \mathrm{ rk}}( T)},$$ and hence $$ \wide hat A(T, {\mathbfv } ) = \wid eha t{Z (T) }{} ^ { {\ mathrm{can}}} \ cdot  \ widehat  \o mega^{n -{\ma thr m{r k} }(T)};$$with the se  o bs er vat ions, it follo ws  ea si lyfromu nwindi ng de fini ti on s  th at cont i nu e s  toho ld  inthi scase. 

Fi n all y, thestatement  in thepr op osition  follows by o bs erving tha tthe  $T$’t h $q$ coef ficient on the right ha n d sideofis pr ecis ely the r igh t hand  si d e of.
\[thm :A se ri es\ ] The s e r ie s $ \w idehat \ph i _ A({ \bm{\ ta u}}) $ is aJacobi modular for m  of  weight $\kap pa:= ( p + 2) /2$ an d  in de x  $T _ 2 $, in the sense  of.

Fix
 T_{12'}_& T_2_\end{smallmatrix} \right)}, \varphi_1' \right)_\right\},$$ and_so_in total,_we_have $$\label{eqn:final AHat_eqn}
  _   _  __     \widehat A(T,{\mathbf v})(\varphi_1\otimes \varphi_2) = \sum_{{\mathbf y}\text{ mod }_\Gamma}_ _\sum_m_\widehat_Z_{{\mathbf y}}(m, {\mathbf v}_1) (\varphi_1''_\otimes \varphi_2'')\cdot \widehat{\omega}^{n - {_\mathrm{rk}}(T_2) -_1} \cdot      \left\{__  \varphi_2'({\mathbf_y}) \, r_{{\mathbf y}}\left( {\left( \begin{smallmatrix}T_1 - m &_T_{12} \\ T_{12'} & T_2 \end{smallmatrix}_\right)} \right) (\varphi_1')\right\}$$_whenever_${\mathrm{rank}}(T)_= {\mathrm{rank}}(T_2) + 1$.

Now_suppose ${\mathrm{rank}}(T) = {\mathrm{rank}}(T_2)$. Then for_any tuple $({\mathbf x}_1, {\mathbf y})_\in \Omega(T)$, we must have ${\mathbf x}_1_\in U_{{\mathbf y}}$, and in particular,_the only terms contributing to_the right_hand side of are those_with $m=0$. On_the other_hand, we have_$${ \mathfrak{a}}(T,{\mathbf v}) = 0, \qquad_\psi(T,{\mathbf v}) =_\delta_{Z(T)} \wedge \Omega^{n-{ \mathrm{rk}}(T)},$$ and hence_$$\widehat_A(T,{\mathbf v}) =_\widehat{Z(T)}{}^{{\mathrm{can}}}_\cdot_\widehat \omega^{n-{_\mathrm{rk}}(T)};$$ with these_observations,_it follows_easily_from unwinding definitions that continues to_hold_in this case.

Finally, the statement in the_proposition follows by observing_that_the $T$’th $q$ coefficient_on the right hand side_of is precisely the right hand_side of.

\[thm:A_series\] The_series $\widehat \phi_A({\bm{\tau}})$ is a Jacobi modular form of weight $\kappa_:= (p+2)/2$ and index $T_2$, in_the sense of.

Fix