Restriction of product of automorphic forms Let $W \subset V$ be quadratic spaces over a number field $F$.
Let $G_n=SO(V)$ and $G_m=SO(W)$ and we consider $G_m$ as a subgoup of $G_n$ via a diagonal embedding.
Let $f$ be an automorphic form of $G_n$ and $g$ an automorphic form of $G_m$.
I am wondering whether the function $h$ on $G_m$ defined by $h(k)=f(k)g(k)$ is automorphic form on $G_m$.
Except for $\mathfrak{z}$-finiteness, I verified that other properties of autumorphic forms does hold. But I am doubtful $\mathfrak{z}$-finiteness hold.
Do you have any idea on this?
Thank you very much!
 A: This is a special case of restricting automorphic forms on a larger group $G$ to a smaller (sub)group $H$, of course. So far as I know, orthogonal groups are not special in this regard, although, yes, there are some obvious natural maps among them.
Certainly if the map $H\to G$ is a $k$-morphism (with groundfield $k$, or, being more careful, over some localization of the ring of integers of $k$), then the restrictions of left $G_k$-invariant functions are left $H_k$-invariant. This is the immediate part.
Under very mild hypotheses and/or normalizations, "right $K$-finiteness" is preserved, as is "moderate growth".
But $\mathfrak z$-finiteness (where $\mathfrak z$ is the center of the universal enveloping algebra) is very rarely preserved. Likewise, and in parallel, if we require automorphic forms to generate irreducibles under right translation, this property will very rarely be preserved under restriction.
The rarity of this is already visible on $\mathbb R$ with the Laplacian: very rarely is the product of two $\Delta$-eigenfunctions $\Delta$-finite...
In the automorphic context, indeed, computing decomposition coefficients of such a restriction (or product) occasionally produces very interesting Euler products. Rankin-Selberg and Langlands-Shahidi et al are instances of this.
EDIT: still, yes, it is true in some rather special situations (see work of Kudla and Rallis on "first occurrence", for example, and "Howe conjectures"), that for suitable $H_1\times H_2\subset G$, for rather degenerate (e.g., "minimal") (automorphic and other) repns on $G$, restriction to $H_1\times H_2$ and projection to certain $\pi_1$-components on $H_1$ produces an irreducible on $H_2$. (Also see Segal-Shale-Weil...)
This is not quite what is happening in the literal "map to Fourier-Jacobi coefficients" story. There we have a two-step-nilpotent abelian radical, and the map is "integrate along the center of that unipotent radical". This is a $G$-hom, so preserves $\mathfrak z_G$ eigenvalues. But it does not immediately promise eigenfunction properties for the Levi component. Yes, holomorphy is preserved, for example. Is this more in the direction of what you're wanting?
