Abstract:We investigate the space $X$ of unitary hermitian matrices over $\frp$-adic fields through spherical functions. First we consider Cartan decomposition of $X$, and give precise representatives for fields with odd residual characteristic, i.e., $2\notin \frp$. In the latter half we assume odd residual characteristic, and give explicit formulas of typical spherical functions on $X$, where Hall-Littlewood symmetric polynomials of type $C_n$ appear as a main term, parametrization of all the spherical functions. By spherical Fourier transform, we show the Schwartz space $\SKX$ is a free Hecke algebra $\hec$-module of rank $2^n$, where $2n$ is the size of matrices in $X$, and give the explicit Plancherel formula on $\SKX$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the study of spherical functions on the unitary Hermitian matrix space \(X\) over the p -adic number field. Specifically, the author aims to solve this problem through the following aspects:
1. **Cartan Decomposition**: Study the Cartan decomposition of \(X\) (i.e., the \(K\)-orbit decomposition) and give the exact representatives in the residue field of odd characteristic.
2. **Explicit Formulas for Spherical Functions**: Assuming the residue field of odd characteristic, give the explicit formulas for the typical spherical functions. In these formulas, the Hall - Littlewood symmetric polynomials of type C appear as the main terms and parameterize all spherical functions.
3. **Harmonic Analysis**: Through the spherical Fourier transform, prove that the Schwartz space \(S(K\backslash X)\) is a free Hecke algebra \(H(G, K)\)-module with rank \(2n\), where \(2n\) is the size of the matrix \(X\), and give the explicit Plancherel formula on \(S(K\backslash X)\).
### Main Results
- **Theorem 1**: Gives the \(K\)-orbit decomposition of \(X\) and discusses the situations under different characteristic residue fields.
- **Theorem 2**: For each \(\sigma\in W\), the spherical function \(\omega(x; z)\) satisfies a specific functional equation, and \(G(z)\cdot\omega(x; z)\) is contained in \(C[q^{\pm z_1},\ldots, q^{\pm z_n}]^W\).
- **Theorem 3**: For each \(\lambda\in\Lambda_n^+\), gives the explicit formula of \(\omega(x_\lambda; z)\).
- **Theorem 4**: Proves that the spherical Fourier transform \(F\) is an \(H(G, K)\)-module isomorphism and gives the corresponding Plancherel formula.
### Applications and Significance
This research not only promotes the harmonic analysis on the unitary Hermitian matrix space \(X\), but also provides new tools and perspectives for the theory of automorphic forms. In particular, spherical functions are closely related to p -adic Hermitian Siegel forms, which provides potential application directions for future research.
Through these studies, the author hopes to further understand the structure of the unitary Hermitian matrix space and its applications in number theory and representation theory.