 {\mathbf y}) = {\left( \begin{smallmatrix} \langle {\mathbf x}_1, {\mathbf x}_1 \rangle & \langle {\mathbf x}_1, {\mathbf y}\rangle \\ \langle {\mathbf x}_1, {\mathbf y}\rangle' & \langle {\mathbf y}, {\mathbf y}\rangle  \end{smallmatrix} \right)} $. Again, the estimate shows that the series defining $f_{{\mathbf y}}({\bm{\tau}})$ converges absolutely to a smooth form on ${\mathbb H}_d^n \times {\mathbb D}^+$. Moreover, for a fixed $y \in V_1^{n-1}$ and any compactly supported test form $\alpha$ on ${\mathbb D}^+$, the value of the current ${ \mathfrak{g}}^o(y a_2^*)[\alpha]$ varies smoothly in the entries of $a_2^*$ (this fact follows easily from the discussion in [@GarciaSankaran §2.1.4]).

Taken together, the above considerations imply that the series $\xi({\bm{\tau}})(\varphi)$ converges absolutely to a $\Gamma$-invariant current on ${\mathbb D}^+$, and therefore descends to a current on $X$ that satisfies part (b) of as ${\bm{\tau}}$ varies. In addition, this discussion shows that given any test form $\alpha$, the value of the current $\xi({\bm{\tau}})[\alpha]$ is smooth in ${\bm{\tau}}$.

It remains to show that $\xi({\bm{\tau}})$ transforms like a Jacobi modular form, i.e. is invariant under the slash operators. Recall that the form $\varphi_{{\mathrm{KM}}}$ is of weight $p/2 +1$; more precisely, let $\widetilde U(1) \subset \operatorname{\widetilde{Sp}}_1({\mathbb R})$ denote the inverse image of $U(1)$, which admits a genuine character $\chi$ whose square is the identity on $U(1)$. Then $\omega(\widetilde k) \varphi_{{\mathrm{KM}}} = (\chi(\widetilde k))^{p+2} \varphi_{{\mathrm{KM}}}$ for all $\widetilde k \in \widetilde U(1)$, where $\omega$ is the Weil representation attached to $V_1$, cf. [@KudlaMillsonIHES Theorem 5.2].

To show that $\xi({\bm{\tau}})$ transforms like a Jacobi form
{ \mathbf y }) = { \left (\begin{smallmatrix } \langle { \mathbf x}_1, { \mathbf x}_1 \rangle & \langle { \mathbf x}_1, { \mathbf y}\rangle \\ \langle { \mathbf x}_1, { \mathbf y}\rangle' & \langle { \mathbf y }, { \mathbf y}\rangle   \end{smallmatrix } \right) } $. Again, the estimate shows that the series defining $ f_{{\mathbf y}}({\bm{\tau}})$ converges absolutely to a legato human body on $ { \mathbb H}_d^n \times { \mathbb D}^+$. Moreover, for a fixed $ y \in V_1^{n-1}$ and any compactly support test form $ \alpha$ on $ { \mathbb D}^+$, the value of the current $ { \mathfrak{g}}^o(y a_2^*)[\alpha]$ vary smoothly in the submission of $ a_2^*$ (this fact follows well from the discussion in [ @GarciaSankaran § 2.1.4 ]). 

 take together, the above consideration imply that the series $ \xi({\bm{\tau}})(\varphi)$ converges absolutely to a $ \Gamma$-invariant stream on $ { \mathbb D}^+$, and therefore descends to a current on $ X$ that satisfies part (b) of as $ { \bm{\tau}}$ varies. In addition, this discussion shows that contribute any test form $ \alpha$, the value of the current $ \xi({\bm{\tau}})[\alpha]$ is smooth in $ { \bm{\tau}}$. 

 It persist to show that $ \xi({\bm{\tau}})$ transforms like a Jacobi modular form, i.e.   is invariant under the cut operators. Recall that the form $ \varphi_{{\mathrm{KM}}}$ is of weight $ p/2 +1 $; more precisely, let $ \widetilde U(1) \subset \operatorname{\widetilde{Sp}}_1({\mathbb R})$ announce the inverse image of $ U(1)$, which admits a genuine character $ \chi$ whose square is the identity on $ U(1)$. Then $ \omega(\widetilde k) \varphi_{{\mathrm{KM } } } = (\chi(\widetilde k))^{p+2 } \varphi_{{\mathrm{KM}}}$ for all $ \widetilde k \in \widetilde U(1)$, where $ \omega$ is the Weil theatrical performance attach to $ V_1 $, cf.   [ @KudlaMillsonIHES Theorem 5.2 ]. 

 To show that $ \xi({\bm{\tau}})$ transforms like a Jacobi form
 {\mahhbf y}) = {\left( \begin{smallmxtrix} \langle {\majhvf x}_1, {\methbf x}_1 \rangle & \langle {\mathbf x}_1, {\mathbf y}\ranjle \\ \langoe {\mathbf x}_1, {\mathbf y}\ravgle' & \lanhle {\mathvf y}, {\nathbf y}\raifle  \end{smalljwtrir} \cight)} $. Again, thg estimate svows that the vefizs defining $f_{{\mathbf y}}({\bm{\tau}})$ converges absoluyepy to a smooth fork on ${\jathbb H}_d^n \times {\mathbb D}^+$. Moreover, for a hixed $y \in V_1^{n-1}$ amd any compactly supported tesh form $\alpha$ on ${\mahhbb D}^+$, the caluq of the currdnt ${ \mathfgck{g}}^o(y a_2^*)[\alphz]$ varies smoothly in the entrier of $c_2^*$ (this fact filllfs easily fcom thv discussion lm [@GarchaSankatan §2.1.4]).

Taken togebher, vhe qbove considerations mmply that the serief $\xi({\bm{\tau}})(\eaxphi)$ converges absolureoy to a $\Gdmma$-kbvafiaht chrrent on ${\mathbb D}^+$, znd therefoee descends to a cutrqbt on $X$ that aatisfyef part (b) of as ${\bm{\tau}}$ varies. In addition, thjs discussion shows thar given any test form $\alpha$, thq value of the current $\xi({\bm{\tau}})[\alpha]$ is smooth in ${\tm{\tau}}$.

Mt renalns gi dhow that $\xi({\bm{\tau}})$ transforms like a Jacobi moqhlsr form, i.e. is invcriant under the spaxr operators. Rgcall tkzt the form $\varphi_{{\mahhrm{KM}}}$ ys of weight $p/2 +1$; mote precisely, let $\widetilde Y(1) \subset \opegatoename{\widetilde{Sp}}_1({\machbb R})$ denotz the onverxe image of $U(1)$, which admnts a fenuine chagacter $\chj$ whose square is thv idantity on $U(1)$. Then $\omega(\wideeilde k) \verphi_{{\kathrm{KO}}} = (\cni(\wideeilde k))^{p+2} \vwrphi_{{\mathrm{KM}}}$ for all $\wifetilbe k \hn \widetilfe U(1)$, where $\omega$ is the Weil re'cesentation ajtawheg to $V_1$, cy. [@KudlaKillsonIHES Treorem 5.2].

To show that $\xn({\bm{\tau}})$ transforma like e Jacobi fori
{\mathbf y}) = {\left( \begin{smallmatrix} \langle {\mathbf x}_1 & \langle x}_1, {\mathbf y}\rangle y}\rangle' \langle {\mathbf y}, y}\rangle \end{smallmatrix} \right)} Again, the estimate shows that the defining $f_{{\mathbf y}}({\bm{\tau}})$ converges absolutely to a smooth form on ${\mathbb H}_d^n \times D}^+$. Moreover, for a fixed $y \in V_1^{n-1}$ and any compactly supported test $\alpha$ ${\mathbb the of the current ${ \mathfrak{g}}^o(y a_2^*)[\alpha]$ varies smoothly in the entries of $a_2^*$ (this fact follows from the discussion in [@GarciaSankaran §2.1.4]). Taken together, above considerations imply that series $\xi({\bm{\tau}})(\varphi)$ converges absolutely to $\Gamma$-invariant on ${\mathbb and descends a current on that satisfies part (b) of as ${\bm{\tau}}$ varies. In addition, this discussion shows that given any test $\alpha$, the the current is in It remains to $\xi({\bm{\tau}})$ transforms like a Jacobi modular invariant under the slash operators. Recall that the $\varphi_{{\mathrm{KM}}}$ is weight $p/2 +1$; more precisely, let U(1) \subset \operatorname{\widetilde{Sp}}_1({\mathbb R})$ denote the inverse image $U(1)$, which admits a genuine character $\chi$ whose square is the identity on $U(1)$. Then \varphi_{{\mathrm{KM}}} = (\chi(\widetilde k))^{p+2} for all $\widetilde \in U(1)$, $\omega$ the Weil attached to $V_1$, cf. [@KudlaMillsonIHES Theorem 5.2]. To show that $\xi({\bm{\tau}})$ like a Jacobi form
 {\mathbf y}) = {\left( \begin{smallmatrIx} \langle {\maThbf x}_1, {\MatHbf X}_1 \rAnglE & \lanGle {\mathbf x}_1, {\mathBF y}\raNgle \\ \langle {\mathbf x}_1, {\mathbF y}\ranGlE' & \LangLE {\mAthbf Y}, {\mathbf Y}\RaNGLe  \eNd{SmAllMaTRiX} \righT)} $. AgAin, the eStimate shoWs tHaT the series deFInIng $f_{{\mathbf Y}}({\bm{\Tau}})$ converges AbsOlutelY tO a sMOoth fOrm On ${\matHbb H}_d^n \TImes {\maThbb D}^+$. MoreOvER, for a fIXed $y \in V_1^{N-1}$ ANd Any cOmpactly supported TEsT Form $\alpha$ on ${\matHbb D}^+$, thE vALuE OF thE cuRrent ${ \mathfRaK{g}}^o(y a_2^*)[\ALpha]$ varIEs SMOOthLY in the entries Of $a_2^*$ (this fact FOllOws easIlY frOM the diScussIoN In [@GArciaSankarAn §2.1.4]).

TaKen togethEr, the aBOve consIDeratioNs implY thAt tHe seRIeS $\xI({\bm{\TaU}})(\VarPHi)$ ConVErgEs absoluTeLy To a $\GaMma$-iNVARIant CurRent On ${\matHbb D}^+$, and therefOre DescENds To a cuRrent On $X$ tHaT satiSfies pArt (b) oF aS ${\bm{\tau}}$ varies. In aDditIon, this diScuSsIon ShOws thAT given Any TesT form $\alPha$, the vALue Of THE CuRrent $\xi({\bm{\tau}})[\alpha]$ iS sMOOtH in ${\bm{\tau}}$.

it remaINs To SHow that $\xI({\bM{\taU}})$ traNSForms Like A jaCobi moduLar forM, I.e. Is InvariaNt Under tHe SlaSh oPeratORs. ReCall thAt the forM $\varpHI_{{\mathrm{KM}}}$ is of wEIght $p/2 +1$; more precISeLY, LeT $\WideTilDe U(1) \subset \opEratORnamE{\widETiLde{sP}}_1({\mathBb R})$ deNoTE tHE inverse image of $U(1)$, whiCh Admits A genuIne character $\cHi$ whose squARE Is the ideNtitY On $u(1)$. then $\omega(\widetIlde k) \Varphi_{{\mathRM{KM}}} = (\chi(\wiDetilDe k))^{p+2} \varpHi_{{\mathrm{Km}}}$ FOr all $\widEtiLde K \in \WidETIlDe U(1)$, where $\omega$ IS The WEiL represEntAtion atTacHed To $V_1$, Cf. [@KUdLaMillsoniHES TheoReM 5.2].

TO sHoW thAt $\xi({\bM{\Tau}})$ transFoRms LiKe a jacobI Form
 {\mathbf y}) = {\left( \b egin{small matri x}\la ng le { \mat hbf x}_1, {\ma t hbfx}_1 \rangle & \langle  {\ma th b f x} _ 1,  {\ma thbf y} \ ra n g le\\  \ lan gl e  { \math bfx}_1, { \mathbf y} \ra ng le' & \langl e  { \mathbf y} , { \mathbf y}\r ang le  \e nd {sm a llmat rix } \ri ght)}$ . Agai n, the es ti m ate sh o ws that t he  ser ies defining $f_{ { \m a thbf y}}({\bm{ \tau}} )$ co n v erg esabsolutely  t o a s m ooth fo r mo n ${\ m athbb H}_d^n\times {\ma t hbb  D}^+$ .Mor e over,for a  f i xed  $y \in V_1 ^{n- 1}$ and a ny com p actly s u pported  testfor m $ \alp h a$  o n $ {\ m ath b bD}^ + $,the valu eof  thecurr e n t ${ \ mat hfra k{g}} ^o(y a_2^*)[\ alp ha]$ var ies s mooth ly i nthe e ntries  of $ a_ 2^*$ (this fact  fol lows easi lyfr omth e dis c ussion  in  [@ GarciaS ankaran §2. 1. 4 ] ) .
Taken together, t he a bo ve consi derati o ns  i m ply that  t heseri e s  $\xi ({\b m {\ tau}})(\ varphi ) $co nverges  a bsolut el y t o a  $\Ga m ma$- invari ant curr ent o n  ${\mathbb D}^ + $, and theref o re d es c ends  to  a currenton $ X $ th at s a ti sfi e s par t (b)  o f  a s  ${\bm{\tau}}$ vari es . In a dditi on, this disc ussion sho w s that giv en a n yt est form $\alp ha$,the valueo f the cu rrent  $\xi({\ bm{\tau}} ) [ \alpha]$  is  sm oot h i n ${ \bm{\tau}}$.I t re ma ins tosho w that$\x i({ \bm {\t au }})$ tran sforms l ik eaJa cob i mod u lar form ,i.e .isinvar i ant un der t he s la sh ope rators. Re c a ll t ha tthefor m$\var phi_ { {\m athrm{K M}}}$ isofw eigh t$p /2 +1$;  more precise ly , let $\wi de til de U(1 ) \subset\operatorname{\widetild e {Sp}}_1 ({\ mathb b R} )$ denote  th e inve rse imageof $U( 1)$,wh ich a dmits a  g enu in e characte r $\c hi$ w ho se s quare i s the identity on$ U(1 )$. Then $\om ega (\wi d e ti lde k) \va rp h i_{ { \ mathrm{KM}}} =(\chi(\wid et i ld e k))^{p+2 }  \v ar phi_{{\ mathrm{ KM}}} $  for al l $\widet ilde k \i n\wid e t ild e U(1)$, w here $\o mega$ ist he We i lrepre sen tation  a tta chedto $V_ 1 $,cf. [ @Kudla Mi llsonI HES T he orem 5.2 ].

To show that $\xi({ \bm{\t au}}) $ t ransforms  li k e a  Jacobi f orm
 {\mathbf_y}) =_{\left( \begin{smallmatrix} \langle {\mathbf_x}_1, {\mathbf_x}_1_\rangle &_\langle_{\mathbf x}_1, {\mathbf_y}\rangle \\ \langle_{\mathbf x}_1, {\mathbf y}\rangle'_& \langle {\mathbf_y},_{\mathbf y}\rangle  \end{smallmatrix} \right)} $. Again, the estimate shows that the series defining_$f_{{\mathbf_y}}({\bm{\tau}})$ converges_absolutely_to_a smooth form on ${\mathbb_H}_d^n \times {\mathbb D}^+$. Moreover,_for a_fixed $y \in V_1^{n-1}$ and any compactly supported_test_form $\alpha$ on_${\mathbb D}^+$, the value of the current ${ \mathfrak{g}}^o(y_a_2^*)[\alpha]$ varies smoothly in the entries_of $a_2^*$ (this_fact_follows_easily from the discussion_in [@GarciaSankaran §2.1.4]).

Taken together, the above_considerations imply that the series $\xi({\bm{\tau}})(\varphi)$_converges absolutely to a $\Gamma$-invariant current on_${\mathbb D}^+$, and therefore descends to_a current on $X$ that_satisfies part_(b) of as ${\bm{\tau}}$ varies._In addition, this_discussion shows_that given any_test form $\alpha$, the value of_the current $\xi({\bm{\tau}})[\alpha]$_is smooth in ${\bm{\tau}}$.

It remains to_show_that $\xi({\bm{\tau}})$ transforms_like_a_Jacobi modular_form, i.e. is invariant_under_the slash_operators._Recall that the form $\varphi_{{\mathrm{KM}}}$ is_of_weight $p/2 +1$; more precisely, let $\widetilde_U(1) \subset \operatorname{\widetilde{Sp}}_1({\mathbb R})$_denote_the inverse image of_$U(1)$, which admits a genuine_character $\chi$ whose square is the_identity on_$U(1)$. Then_$\omega(\widetilde k) \varphi_{{\mathrm{KM}}} = (\chi(\widetilde k))^{p+2} \varphi_{{\mathrm{KM}}}$ for all $\widetilde k_\in \widetilde U(1)$, where $\omega$ is_the Weil representation attached_to $V_1$,_cf. [@KudlaMillsonIHES_Theorem 5.2].

To show_that_$\xi({\bm{\tau}})$ transforms_like a Jacobi form