On the Siegel-Weil formula for unitary groups (Q996016)

The Siegel-Weil formula relates a special value of an Eisenstein series of Siegel type to an integral of a theta series. It was established by \textit{A. Weil} [Acta Math. 113, 1--87 (1965; Zbl 0161.02304)] in the case that the Eisenstein series is absolutely convergent. In the past two decades the formula has been extended: to the case that the Eisenstein series is not convergent (if necessary, one must replace the special value by a residue) and to the case that the theta integral is divergent (so one must regularize). It has also been extended to unitary groups. Contributors include Kudla and Rallis, Ikeda, the author, Tan, Murase and Sugano. In this paper the author extends the range of validity of the Siegel-Weil formula in the unitary case. Let \(F\) be a totally real field and \(E\) a totally imaginary quadratic extension. Let \(G=U(n,n)\) be the associated quasi-split unitary group stabilizing a skew-Hermitian space over \(E\) of dimension \(2n\). Let \(V\) be a Hermitian space over \(E\) of dimension \(m\) and Witt index \(r\), and \(H\) be the unitary group of \(V\). Then \(G({\mathbb A}_F)\times H({\mathbb A}_F)\) acts on the Schwartz space on \(V^n({\mathbb A}_F)\) via the Weil representation \(\omega\). Given \(\Phi\) in the subspace of Schwartz functions that correspond to polynomials in the Fock model at every archimedean place of \(F\), one defines a Siegel Eisenstein series on \(G\), \(E(g,s,\Phi)\), which is absolutely convergent for \(\Re(s)>n/2\) and has meromorphic continuation to the full \(s\)-plane. Here the notation is given in A.-M.\ Aubert's review of the author's prior paper [Math. Z. 247, No. 2, 241--277 (2004; Zbl 1071.11022)]. By a result of \textit{T. Ikeda} [Compos. Math. 103, No. 2, 183--218 (1996; Zbl 0863.11034)], if \(n<m\leq 2n\) and \(m-r>n\), then \(E(g,s,\Phi)\) is holomorphic at \(s_0:=(m-n)/2\) for every \(\Phi\) as above. There is also a theta integral \(I(g,\Phi)\) which is the integral of a theta function over \(H(F)\backslash H({\mathbb A}_F)\). This integral is absolutely convergent if \(m-r>n\) or \(r=0\). The author's main result is the equality \(E(g,s_0,\Phi)=I(g,\Phi)\), and this is established for all \(\Phi\) as above when \(n<m\leq 2n\) and \(m-r>n\). (If \(m>2n\), this equality goes back to Weil, while for \(n<m\leq 2n\) and \(m-r\leq n\) it is treated in the author's prior work [loc. cit.].)