I'm trying to find a reference or a proof to the following statement used by [Matringe, N., 2012. Cuspidal representations of GL (n, F) distinguished by a maximal Levi subgroup, with F a non-archimedean local field. Comptes Rendus Mathematique, 350(17-18), pp.797-800.](https://arxiv.org/abs/1207.3925) (used in the proof of Proposition 2.1/Proposition 3.1) and [Kable, A.C., 2004. Asai L-functions and Jacquet's conjecture. American journal of mathematics, 126(4), pp.789-820.](https://www.jstor.org/stable/40067961) (used in the proof of Proposition 1).


Let $F$ be a $p$-adic field.


We denote by $P\_n$ the subgroup of $ \mathrm{GL}\_{n}\left(F\right) $ of matrices having $ \begin{pmatrix}0 & \dots & 0 & 1\end{pmatrix} $ as their last row.


We denote $G\_{n-1}=\left\{ \begin{pmatrix}g\\
 & 1
\end{pmatrix}\mid g\in\mathrm{GL}\_{n-1}\left(F\right)\right\} $ and $ U\_{n}=\left\{ \begin{pmatrix}I\_{m-1} & v\\
 & 1
\end{pmatrix}\mid v\in F^{m-1}\right\} $. It is known that $ P\_{n}=G\_{n-1}\ltimes U\_{n} $.


Let $ V $ be a vector space over $ \mathbb{C}$ and let $ \tilde{T}:C\_{c}^{\infty}\left(P\_{n},V\right)\rightarrow\mathbb{C} $ be a distribution such that $ \tilde{T}$ is invariant to left translations of $ U\_n $, i.e. $ \left\langle \tilde{T},\lambda\left(u\right)f\right\rangle =\left\langle \tilde{T},f\right\rangle $ for every $ u \in U\_n $ and $ f \in C\_{c}^{\infty}\left(P\_{n},V\right) $. Then there exists a distribution $ S $ on $ C\_{c}^{\infty}\left(G\_{n-1},V\right) $ with compact support, such that $$ \left\langle \tilde{T},f\right\rangle =\int\_{G\_{n-1}}\left[\int\_{U\_{n}}f\left(ug\right)d\mu\_{U\_{n}}\left(u\right)\right]dS\left(g\right) $$


Here $ \mu\_{U\_{n}} $ is an Haar measure of $ U\_{n} $.


I think I could prove this is $ U\_n $ was an open-compact subgroup of $ P\_n $, but it is neither of these. I guess the statement is not unique for $ P\_n $, and that a similar statement holds for any semi-direct product.



Distributions on the mirabolic subgroup which are left invariant to the unipotent radical
For a totally disconnected group $G$ and closed subgroup $H$, the averaging map $\alpha:C^\infty\_c(G)\to C^\infty\_c(H\backslash G)$ is surjective, certainly for scalar-valued functions, and I think for $V$-valued functions where $V$ is quasi-complete, locally convex, so that Gelfand-Pettis (or some equivalent kind of) vector-valued integrals work well. Here $C^\infty\_c$ means compactly supported and locally constant, as usual for t.d. situations, and "distribution" means a continuous linear functional on $C^\infty\_c$ (the latter with the canonical LF-space topology as strict colimit of finite-dimensional spaces).


The $H$-invariance of a distribution $u$ on $C^\infty\_c(G)$ implies that $u$ factors through the averaging map to $C^\infty\_c(H\backslash G)$, that is, gives a continuous linear functional on the latter.


There is no promise that that distribution on $H\backslash G$ is compactly supported, though. Do you really need or expect that? I don't think it would be true without additional hypotheses.


