Twisted Gan–Gross–Prasad conjecture for biquadratic unitary groups

Let FF be a non-Archimedean local field of characteristic 00, let EKE\neq K be distinct quadratic extensions of FF, and put L=EFKL=E\otimes_F K. Let VV be an nn-dimensional skew-Hermitian space over EE, let VK=VFKV_K=V\otimes_F K, and let μ\mu be a conjugate-symplectic character of E×E^\times. Write

mV(π,μ)=dimHomU(V)(π,ωV,μ)m_V(\pi,\mu)=\dim\operatorname{Hom}_{\operatorname{U}(V)}(\pi,\omega_{V,\mu})

for πIrr(U(VK))\pi\in\operatorname{Irr}(\operatorname{U}(V_K)). Fix a trace-zero element δE×\delta\in E^\times, set ψE,δ=ψF(TrE/F(δ))\psi_{E,\delta}=\psi_F(\operatorname{Tr}_{E/F}(\delta\cdot)), and write AsL/E+\operatorname{As}^+_{L/E} and IndLE\operatorname{Ind}_L^E for the indicated Asai and induction operations. Twisted Gan–Gross–Prasad conjecture. (1) For every πIrr(U(VK))\pi\in\operatorname{Irr}(\operatorname{U}(V_K)), mV(π,μ)1m_V(\pi,\mu)\leq 1. (2) If MM is a generic LL-parameter of U(VK)\operatorname{U}(V_K) with associated LL-packet ΠM\Pi_M, then

VπΠMmV(π,μ)=1,\sum_V\sum_{\pi\in\Pi_M}m_V(\pi,\mu)=1,

where the first sum runs over the two nn-dimensional skew-Hermitian spaces over EE. (3) The unique V0V_0 contributing nontrivially is characterized by

ϵ(V0)=ϵ(12,AsL/E+(M)μ1,ψE,δ)ωK/F(δ2)n(n1)/2.\epsilon(V_0)=\epsilon\left(\frac12,\operatorname{As}^+_{L/E}(M)\otimes\mu^{-1},\psi_{E,\delta}\right)\cdot\omega_{K/F}(\delta^2)^{n(n-1)/2}.

(4) The unique πΠM\pi\in\Pi_M contributing nontrivially corresponds, under the LLC with respect to the Whittaker datum associated to ψK\psi_K, to the character η\eta of AM=iIZ/2ZaiA_M=\prod_{i\in I}\mathbb{Z}/2\mathbb{Z}\cdot a_i satisfying

η(ai)=ϵ(12,IndLE(τMi(M/Mi))μ1,ψE,δ)\eta(a_i)=\epsilon\left(\frac12,\operatorname{Ind}_L^E\left({}^{\tau}M_i\otimes(M/M_i)\right)\cdot\mu^{-1},\psi_{E,\delta}\right)

for each irreducible constituent MiM_i corresponding to aiAMa_i\in A_M, equivalently by the second epsilon-factor expression in the source. This conjecture predicts multiplicity one and an explicit description of the unique nonzero multiplicity in each generic packet, including both the relevant Hermitian space and packet member. Its status is not established by the supplied material.

Sources & referencesView supporting material

Primary source

Rui Chen and Wee Teck Gan, “Twisted Gan-Gross-Prasad conjecture for certain tempered L-packets”, arXiv:2205.06775 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.