Canonical identification of minimal and deformed maximal extensions

Let ii be the inclusion of the relevant KK-orbit, let ϕ\phi be the corresponding local system, and let i!ϕi_!\phi and i+ϕi_+\phi denote its minimal and maximal extensions as (Dλ,K)(\mathcal{D}_\lambda,K)-modules. Let I(λt,Q,ϕ)\mathcal{I}(\lambda_t,Q,\phi) be the family of standard Harish-Chandra sheaves, with specialization at t=1t=1 denoted by I(λt,Q,ϕ)t=1\mathcal{I}(\lambda_t,Q,\phi)|_{t=1}. There is a canonical morphism i!ϕi+ϕi_!\phi\to i_+\phi and a canonical morphism I(λt,Q,ϕ)t=1i+ϕ\mathcal{I}(\lambda_t,Q,\phi)|_{t=1}\to i_+\phi. Canonical extension conjecture. There is a canonical isomorphism of (Dλ,K)(\mathcal{D}_\lambda,K)-modules

i!ϕI(λt,Q,ϕ)t=1,i_!\phi\cong \mathcal{I}(\lambda_t,Q,\phi)|_{t=1},

which identifies the canonical morphism I(λt,Q,ϕ)t=1i+ϕ\mathcal{I}(\lambda_t,Q,\phi)|_{t=1}\to i_+\phi with the canonical morphism i!ϕi+ϕi_!\phi\to i_+\phi. This would identify the minimal extension with the specialization of the deformed standard Harish-Chandra sheaf and clarify the intrinsic nature of the construction; the source provides no evidence that the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Shilin Yu, “Mackey analogy as deformation of D-modules”, arXiv:1707.00240 (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.