Non-Abelian Fourier Transforms and Normalized Intertwining Operators for General Parabolics over Finite Fields, and the Kloosterman Fourier Transform for Quadric Cones

Aaron Slipper
2024-10-23
Abstract:Let $G$ be a (split) reductive group over $\mathbb{F}_q$, and let $M$ be a standard Levi subgroup of $G$. Consider $P$ and $P'$ parabolics in $G$, containing $M$, with Levi factor $M$. we let $U = R_u(P)$ (resp., $U' = R_u(P')$) denote the unipotent radical; and we denote by $\overline{G/U}$ (resp., $\overline{G/U'}$) the affinization of the corresponding homogeneous space. Extending the work of Braverman-Kazhdan ( arXiv:9809.112 , arXiv:0206.119 ) to general parabolic basic affine (or ``paraspherical") space, we propose a construction for certain intertwining operators $F_{P',P}: S(\overline{G/U}(\mathbb{F}_q), \mathbb{C}) \to S(\overline{G/U'}(\mathbb{F}_q), \mathbb{C})$ for a suitable function spaces $S$, defined via kernels analogous to those appearing (loc. cit.). We then study the extent to which these intertwiners are normalized. We show that, for opposite $(n-1)+1$ parabolics of $\textrm{SL}_n$, our transform reduces to the classical linear Fourier transform; and that, for opposite unipotents in $\textrm{SL}_3$ or opposite Siegel parabolics in $\textrm{Sp}_4$, our transforms are given by a Fourier transform on a quadric cone (with kernel coming from a Kloosterman sum). We prove Fourier inversion for this transform on (a natural subclass of) functions on the quadric cone, establishing a finite-field analogue of the quadric Fourier transform of Gurevich-Kazhdan <a class="link-https" data-arxiv-id="2304.13993" href="https://arxiv.org/abs/2304.13993">arXiv:2304.13993</a> and Getz-Hsu-Leslie <a class="link-https" data-arxiv-id="2103.10261" href="https://arxiv.org/abs/2103.10261">arXiv:2103.10261</a>.
Representation Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct and study the so - called Non - Abelian Fourier Transform and its normalized intertwining operators for general parabolic subgroups over the finite field \(F_q\). Specifically, the paper focuses on: 1. **Constructing specific intertwining operators**: For a given split reductive group \(G\) and its standard Levi subgroup \(M\), the paper proposes a construction method of certain intertwining operators \(F_{P',P}\) between the function spaces from one parabolic subgroup \(P\) to another \(P'\). These operators are defined by kernel functions similar to the work of Braverman - Kazhdan. 2. **Studying the normalization degree of these intertwining operators**: The author explores whether these intertwining operators can be normalized and shows that in some special cases (such as the opposite parabolic subgroups of \(SL_n\)), these transforms can be simplified to the classical linear Fourier transform. 3. **Kloosterman Fourier transform on the quaternionic cone**: In particular, for the opposite one - parameter parabolic subgroups in \(SL_3\) and \(Sp_4\), the author proves that these transforms can be represented by the Fourier transform given by the Kloosterman sum on the quaternionic cone and establishes the Fourier inversion formula for functions on the quaternionic cone for this transform. ### Summary of mathematical expressions - **Intertwining operators**: \[ F_{P',P}: S(G/U(F_q),\mathbb{C})\to S(G/U'(F_q),\mathbb{C}) \] where \(U = R_u(P)\) and \(U'=R_u(P')\) are the unipotent radicals of \(P\) and \(P'\) respectively. - **Kloosterman Fourier transform on the quaternionic cone**: \[ F(f)(y)=\sum_{x\in G/U(F_q)}f(x)\langle x,y\rangle \] where \(\langle x,y\rangle: G/U(F_q)\times G/U^{\text{op}}(F_q)\to\mathbb{C}\) is a pairing depending on the additive character \(\psi: F_q\to\mathbb{C}\). ### Main contributions - **Normalized intertwining operators**: The paper proposes how to construct normalized intertwining operators over the finite field and proves the properties of these operators in some cases. - **New results on the quaternionic cone**: The author proves the inversion formula of the Kloosterman Fourier transform on the quaternionic cone, which is one of the central new results in this field. ### Application prospects These results not only provide a new perspective for understanding the Non - Abelian Fourier transform over the finite field, but also lay the foundation for further research on similar problems in other related fields such as number theory and representation theory.