Standard \(L\)-functions attached to alternating tensor valued Siegel modular forms (Q1598270)

Let \((\rho,V_\rho)\) be an irreducible rational representation of \(\text{GL}(n,\mathbb{C})\) on a finite-dimensional complex vector space \(V_\rho\) such that the signature of \(\rho\) is \((\lambda_1,\lambda_2,\dots, \lambda_n)\in \mathbb{Z}^n\) with \(\lambda_1\geq \lambda_2\geq \cdots\geq \lambda_n\geq 0\). Let \(f\) be a \(V_\rho\)-valued Siegel cuspform of type \(\rho\) with respect to \(\text{Sp}(n,\mathbb{Z})\) (size \(2n\)). Suppose \(f\) is an eigenform, i.e., a nonzero common eigenfunction of the Hecke algebra. Then denote by \[ \Lambda(s,f, \underline{\text{St}}):= \Gamma_{\mathbb{R}} (s+\varepsilon) \prod_{j=1}^n \Gamma_{\mathbb{C}} (s+\lambda_j-j) L(s,f, \underline{\text{St}}), \] where \[ L(s,f, \underline{\text{St}}):= \prod_p \Biggl\{ (1-p^{-s}) \prod_{j=1}^n (1-\alpha_j(p)p^{-s}) (1-\alpha_j(p)^{-1} p^{-s}) \Biggr\}^{-1} \] i.o. the standard \(L\)-function attached to \(f\), \(p\) runs over all prime numbers and \(\alpha_j(p)\) \((1\leq j\leq n)\) are the Satake \(p\)-parameters of \(f\), with \(\Gamma_{\mathbb{R}}(s):= \pi^{-s/2} \Gamma (\frac{s}{2})\), \(\Gamma_{\mathbb{C}}(s):= 2(2\pi)^{-s} \Gamma(s)\), and \(\varepsilon:= 0\) for \(n\) even, and \(=1\) for \(n\) odd. Then the author proves the following: Theorem. Let \(n\in \mathbb{Z}_{>0}\), \(k,l\in 2\mathbb{Z}\), and \(2k\geq n>2\). Let \(f\) be a cuspidal eigenform of type \(\rho\). Then \(\Lambda(s,f, \underline{\text{St}})\) has a meromorphic continuation to the whole \(s\)-plane and satisfies the functional equation \[ \Lambda(s,f, \underline{\text{St}})= \Lambda(1-s,f, \underline{\text{St}}). \] Moreover, \(\Lambda (s,f, \underline{\text{St}})\) is holomorphic except for possible simple poles at \(s=0\) and \(s=1\). If \(n\) is odd, then \(\Lambda (s,f, \underline{\text{St}})\) is entire. Related results have been proved earlier, e.g. by Böcherer, Mizumoto, Takayanagi.