The almost self-dual fundamental lemma

Assume the relevant unramified hermitian-space setup and let K0(ϖ)K_0(\varpi), KK', k\mathfrak{k}', K1K_1^{{{{{{{{\flat}}}}}}}}, and K1K_1 be the compact subgroups and lattices defined in the source. Let GG', SS, and s\mathfrak{s} denote the homogeneous, inhomogeneous, and Lie algebra sides, with corresponding unitary targets. Almost self-dual fundamental lemma. The following transfers hold: the homogeneous test function (1)n1qn1q11GLn1(OF)×K0(ϖ)(-1)^{n-1}\frac{q^n-1}{q-1}\mathbf{1}_{\mathrm{GL}_{n-1}(O_F)\times K_0(\varpi)} transfers to (0,1K1×K1)(0,\mathbf{1}_{K_1^{{{{{{{{\flat}}}}}}}}\times K_1)}; the inhomogeneous function (1)n11K(-1)^{n-1}\mathbf{1}_{K'} transfers to (0,1K1)(0,\mathbf{1}_{K_1}); and the Lie algebra function (1)n11k(-1)^{n-1}\mathbf{1}_{\mathfrak{k}'} transfers to (0,1k1)(0,\mathbf{1}_{\mathfrak{k}_1}). The source explains that the Lie algebra part is equivalent to the ordinary Lie algebra fundamental lemma and that the other parts follow when qnq\geq n.

Sources & referencesView supporting material

Primary source

Michael Rapoport, Brian Smithling and Wei Zhang, “Regular formal moduli spaces and arithmetic transfer conjectures”, arXiv:1604.02419 (2017).

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.