 :=  \{ {\mathbf y}\in (L')^{n-1} \ | \langle {\mathbf y}, {\mathbf y}\rangle = T_{2} \text{ and } {\mathbb D}^+_{y} \cap \overline U = \emptyset  \}.$$

Using the estimates and, and standard arguments for convergence of theta series, it follows that the sum $$\label{eqn:xi_0 sum}
        \sum_{T = {\left( \begin{smallmatrix}* & * \\ * & T_2 \end{smallmatrix} \right)}} \sum_{\substack{({\mathbf x}_1, {\mathbf y}) \in \Omega(T) \\ {\mathbf y}\in S_2}}\varphi({\mathbf x}_1,{\mathbf y}) \varphi_{{\mathrm{KM}}} \left( \sqrt{v_1} x_1+ \frac{y \cdot v'_{12} }{ \sqrt{v_1}} \right)\wedge { \mathfrak{g}}(ya_2^*)    \prod_{i=2}^d \varphi_{\infty_i}( \sigma_i ({\mathbf x}_1, {\mathbf y}) a_i)  \ e( T \mathbf u )$$ converges absolutely to a smooth form on ${\mathbb H}^d_n \times U$. The (finitely many) remaining terms, corresponding to ${\mathbf y}\in S_1$, can be written as $$\sum_{{\mathbf y}\in S_1}   f_{{\mathbf y}}({\bm{\tau}})(\varphi)\wedge { \mathfrak{g}}(y a_2^*)$$ where, for any ${\mathbf y}\in V^{n-1}$ and $\varphi \in S(L^n)$, we set $$f_{{\mathbf y}}({\bm{\tau}}) (\varphi) \ = \  \sum_{ {\mathbf x}_1 \in V}  \varphi({\mathbf x}_1, {\mathbf y}) \varphi_{{\mathrm{KM}}} \left( \sqrt{v_1} x_1+ \frac{y \cdot v'_{12} }{ \sqrt{v_1}} \right)   \prod_{i=2}^d \varphi_{\infty_i}( \sigma_i ({\mathbf x}_1, {\mathbf y})a_i)  \ e( T({\mathbf x}_1, {\mathbf y})\mathbf u ),$$ where $T({\mathbf x}_1,
: =   \ { { \mathbf y}\in (L')^{n-1 } \ | \langle { \mathbf y }, { \mathbf y}\rangle = T_{2 } \text { and } { \mathbb D}^+_{y } \cap \overline U = \emptyset   \}.$$ 

 Using the estimates and, and standard arguments for overlap of theta serial, it stick to that the sum $ $ \label{eqn: xi_0 kernel } 
         \sum_{T = { \left (\begin{smallmatrix } * & * \\ * & T_2 \end{smallmatrix } \right) } } \sum_{\substack{({\mathbf x}_1, { \mathbf y }) \in \Omega(T) \\ { \mathbf y}\in S_2}}\varphi({\mathbf x}_1,{\mathbf y }) \varphi_{{\mathrm{KM } } } \left (\sqrt{v_1 } x_1 + \frac{y \cdot v'_{12 } } { \sqrt{v_1 } } \right)\wedge { \mathfrak{g}}(ya_2^ *)     \prod_{i=2}^d \varphi_{\infty_i } (\sigma_i ({ \mathbf x}_1, { \mathbf y }) a_i)   \ e (T \mathbf u) $ $ converges absolutely to a fluent form on $ { \mathbb H}^d_n \times U$. The (finitely many) remaining condition, corresponding to $ { \mathbf y}\in S_1 $, can be written as $ $ \sum_{{\mathbf y}\in S_1 }    f_{{\mathbf y}}({\bm{\tau}})(\varphi)\wedge { \mathfrak{g}}(y a_2^*)$$ where, for any $ { \mathbf y}\in V^{n-1}$ and $ \varphi \in S(L^n)$, we sic $ $ f_{{\mathbf y}}({\bm{\tau } }) (\varphi) \ = \   \sum _ { { \mathbf x}_1 \in V }   \varphi({\mathbf x}_1, { \mathbf y }) \varphi_{{\mathrm{KM } } } \left (\sqrt{v_1 } x_1 + \frac{y \cdot v'_{12 } } { \sqrt{v_1 } } \right)    \prod_{i=2}^d \varphi_{\infty_i } (\sigma_i ({ \mathbf x}_1, { \mathbf y})a_i)   \ e (T({\mathbf x}_1, { \mathbf y})\mathbf u), $ $ where $ T({\mathbf x}_1,
 :=  \{ {\mathbf y}\in (L')^{n-1} \ | \langle {\oathbf y}, {\mathbf y}\ranglx = T_{2} \test{ and } {\oathbb D}^+_{y} \cap \overline U = \em'tyswt  \}.$$

Uwing the estimates and, and stanfard argymenus for convergencx of thebc serjcs, it hollows that thg sum $$\label{exn:xi_0 sum}
        \rul_{T = {\left( \begin{smallmatrix}* & * \\ * & T_2 \enq{smallmstgix} \right)}} \sum_{\sobstabk{({\iathgf x}_1, {\mathbf y}) \in \Omega(T) \\ {\mathbf y}\ih S_2}}\varpii({\mathbf x}_1,{\mathbg y}) \varphi_{{\mathrm{KM}}} \left( \sqgt{v_1} d_1+ \frac{y \cdot v'_{12} }{ \sqgt{v_1}} \right)\weege { \nathfrak{g}}(ya_2^*)    \prod_{i=2}^d \ncrphi_{\infty_i}( \sigma_i ({\mathbf x}_1, {\mathbf y}) a_i)  \ d( T \mcthbf u )$$ cobvwrgfv absolutelb to a smooth form on ${\mathtb H}^d_n \yimes U$. The (fikitelb maby) remaining terms, cocresponding to ${\mathbs y}\in S_1$, cdn be written as $$\sun_{{\mqthbf y}\in S_1}   d_{{\maghbr b}}({\bm{\fau}})(\varohi)\xedge { \mathrrak{g}}(y a_2^*)$$ whwre, for any ${\mathbf u}\ig V^{n-1}$ and $\varphj \in S(J^n)$, we set $$f_{{\mathbf y}}({\bm{\tau}}) (\varphi) \ = \  \sum_{ {\mdthgf x}_1 \in V}  \varphi({\mathbf x}_1, {\mathbf y}) \varphi_{{\matjrm{KM}}} \lefe( \sqrt{v_1} x_1+ \frac{y \cdot v'_{12} }{ \sqrt{v_1}} \right)   \prod_{i=2}^d \varpvi_{\infvy_k}( \snnix_u ({\lathbf x}_1, {\mathbf y})a_i)  \ e( T({\mathbf x}_1, {\mathbf y})\matrgf u ),$$ where $T({\mathbn x}_1,
:= \{ {\mathbf y}\in (L')^{n-1} \ | y}, y}\rangle = \text{ and } = \}.$$ Using the and, and standard for convergence of theta series, it that the sum $$\label{eqn:xi_0 sum} \sum_{T = {\left( \begin{smallmatrix}* & * \\ * T_2 \end{smallmatrix} \right)}} \sum_{\substack{({\mathbf x}_1, {\mathbf y}) \in \Omega(T) \\ {\mathbf y}\in S_2}}\varphi({\mathbf y}) \left( x_1+ \cdot v'_{12} }{ \sqrt{v_1}} \right)\wedge { \mathfrak{g}}(ya_2^*) \prod_{i=2}^d \varphi_{\infty_i}( \sigma_i ({\mathbf x}_1, {\mathbf y}) a_i) \ T \mathbf u )$$ converges absolutely to a form on ${\mathbb H}^d_n U$. The (finitely many) remaining corresponding ${\mathbf y}\in can written $$\sum_{{\mathbf y}\in S_1} y}}({\bm{\tau}})(\varphi)\wedge { \mathfrak{g}}(y a_2^*)$$ where, for any ${\mathbf y}\in V^{n-1}$ and $\varphi \in S(L^n)$, we set $$f_{{\mathbf (\varphi) \ \sum_{ {\mathbf \in \varphi({\mathbf {\mathbf y}) \varphi_{{\mathrm{KM}}} x_1+ \frac{y \cdot v'_{12} }{ \sqrt{v_1}} \sigma_i ({\mathbf x}_1, {\mathbf y})a_i) \ e( T({\mathbf {\mathbf y})\mathbf ),$$ where $T({\mathbf x}_1,
 :=  \{ {\mathbf y}\in (L')^{n-1} \ | \langle {\mathbf y}, {\mAthbf y}\rangLe = T_{2} \teXt{ aNd } {\mAtHbb D}^+_{Y} \cap \Overline U = \emptySEt  \}.$$

UsIng the estimates and, and sTandaRd ARgumENtS for cOnvergeNCe OF TheTa SeRieS, iT FoLlows ThaT the sum $$\Label{eqn:xi_0 Sum}
        \SuM_{T = {\left( \begin{sMAlLmatrix}* & * \\ * & T_2 \enD{smAllmatrix} \rigHt)}} \sUm_{\subsTaCk{({\mAThbf x}_1, {\MatHbf y}) \iN \Omega(t) \\ {\Mathbf Y}\in S_2}}\varphI({\mAThbf x}_1,{\mAThbf y}) \vaRPHi_{{\MathRm{KM}}} \left( \sqrt{v_1} x_1+ \fraC{Y \cDOt v'_{12} }{ \sqrt{v_1}} \right)\wEdge { \maThFRaK{G}}(Ya_2^*)    \pRod_{I=2}^d \varphi_{\inFtY_i}( \sigMA_i ({\mathbF X}_1, {\mATHBf y}) A_I)  \ e( T \mathbf u )$$ conVerges absolUTelY to a smOoTh fORm on ${\maThbb H}^D_n \TImeS U$. The (finiteLy maNy) remainiNg termS, CorrespONding to ${\Mathbf Y}\in s_1$, caN be wRItTeN as $$\SuM_{{\MatHBf Y}\in s_1}   F_{{\maThbf y}}({\bm{\tAu}})(\VaRphi)\wEdge { \MATHFrak{G}}(y a_2^*)$$ WherE, for aNy ${\mathbf y}\in V^{n-1}$ And $\VarpHI \in s(L^n)$, we Set $$f_{{\mAthbF y}}({\Bm{\tau}}) (\Varphi) \ = \  \Sum_{ {\maThBf x}_1 \in V}  \varphi({\matHbf x}_1, {\Mathbf y}) \vaRphI_{{\mAthRm{kM}}} \lefT( \Sqrt{v_1} x_1+ \FraC{y \cDot v'_{12} }{ \sqrT{v_1}} \right)   \PRod_{I=2}^d \VARPhI_{\infty_i}( \sigma_i ({\mathbF x}_1, {\MAThBf y})a_i)  \ e( T({\mAthbf x}_1, {\MAtHbF Y})\mathbf u ),$$ WhEre $t({\matHBF x}_1,
 :=  \{ {\mathbf y}\in (L' )^{n-1} \| \la ngl e { \m athb f y} , {\mathbf y}\ r angl e = T_{2} \text{ and }  {\ma th b b D} ^ +_ {y} \ cap \ov e rl i n e U  =  \ emp ty s et   \}. $$
Usingthe estima tes  a nd, and stan d ar d argument s f or convergen ceof the ta  se r ies,itfollo ws tha t  the s um $$\lab el { eqn:xi _ 0 sum}    \sum_{T = {\left( \b e gin{smallmatri x}* &*\ \* & T _2\end{small ma trix} \right) } }\ s u m_{ \ substack{({\m athbf x}_1, {\m athbfy} ) \ i n \Ome ga(T)  \ \  {\ mathbf y}\i n S_ 2}}\varph i({\ma t hbf x}_ 1 ,{\math bf y})  \v arp hi_{ { \m at hrm {K M }}} \l eft (  \s qrt{v_1}  x _1 + \fr ac{y \ c d ot v '_{ 12}}{ \s qrt{v_1}} \ri ght )\we d ge{ \ma thfra k{g} }( ya_2^ *)   \prod _{ i=2}^d \varphi_ {\in fty_i}( \ sig ma _i({ \math b f x}_1 , { \ma thbf y} ) a_i)\ e (T \ ma thbf u )$$ converg es a bs olutelyto a s m oo th form on${ \ma thbb H }^d_n  \ti m es  U$. The  (fini t el ymany) r em aining  t erm s,corre s pond ing to  ${\math bf y} \ in S_1$, can b e  written as $ $ \s u m _{ { \mat hbf  y}\in S_1}    f _ {{\m athb f  y }}( { \bm{\ tau}} )( \ va r phi)\wedge { \mathf ra k{g}}( y a_2 ^*)$$ where,for any ${ \ m a thbf y}\ in V ^ {n - 1}$ and $\varp hi \i n S(L^n)$, we set $ $f_{{ \mathbfy}}({\bm{ \ t au}}) (\ var phi ) \  =\  \ sum_{ {\mathb f x}_1  \ in V} \va rphi({\ mat hbf  x} _1,  { \mathbf y }) \varp hi _{ {\ ma thr m{KM} } } \left(  \ sqr t{ v_1 } x_1 +  \frac {y \c dotv' _{ 1 2}}{ \sqr t {v _ 1 }} \ ri gh t)  \p ro d_{i= 2}^d \va rphi_{\ infty_i}(  \s i gma_ i({ \mathbf  x}_1, {\math bf  y})a_i) \e(T({\ma t h bf x}_1,  {\mathbf y})\mathbf u) ,$$ whe re$T({\ math bf x}_1,
 :=_ \{_{\mathbf y}\in (L')^{n-1} \_| \langle_{\mathbf_y}, {\mathbf_y}\rangle_= T_{2} \text{_and } {\mathbb_D}^+_{y} \cap \overline U_= \emptyset _\}.$$

Using_the estimates and, and standard arguments for convergence of theta series, it follows that_the_sum $$\label{eqn:xi_0_sum}
__    _ \sum_{T = {\left( \begin{smallmatrix}*_& *_\\ * & T_2 \end{smallmatrix} \right)}} \sum_{\substack{({\mathbf x}_1,_{\mathbf_y}) \in \Omega(T)_\\ {\mathbf y}\in S_2}}\varphi({\mathbf x}_1,{\mathbf y}) \varphi_{{\mathrm{KM}}} \left( \sqrt{v_1}_x_1+ \frac{y \cdot v'_{12} }{ \sqrt{v_1}}_\right)\wedge { \mathfrak{g}}(ya_2^*)___ \prod_{i=2}^d \varphi_{\infty_i}( \sigma_i_({\mathbf x}_1, {\mathbf y}) a_i) _\ e( T \mathbf u )$$_converges absolutely to a smooth form on_${\mathbb H}^d_n \times U$. The (finitely_many) remaining terms, corresponding to_${\mathbf y}\in_S_1$, can be written as_$$\sum_{{\mathbf y}\in S_1}_ _f_{{\mathbf y}}({\bm{\tau}})(\varphi)\wedge {_\mathfrak{g}}(y a_2^*)$$ where, for any ${\mathbf_y}\in V^{n-1}$ and_$\varphi \in S(L^n)$, we set $$f_{{\mathbf_y}}({\bm{\tau}})_(\varphi) \ =_\__\sum_{ {\mathbf_x}_1 \in V}__\varphi({\mathbf x}_1,_{\mathbf_y}) \varphi_{{\mathrm{KM}}} \left( \sqrt{v_1} x_1+ \frac{y_\cdot_v'_{12} }{ \sqrt{v_1}} \right)   \prod_{i=2}^d_\varphi_{\infty_i}( \sigma_i ({\mathbf x}_1,_{\mathbf_y})a_i)  \ e(_T({\mathbf x}_1, {\mathbf y})\mathbf u_),$$ where $T({\mathbf x}_1,