The Hodge-module open-orbit equivalence conjecture

Let G/PG/P and G/QG/Q be the two homogeneous spaces in the setup, let Z0G/P×G/QZ_0\subset G/P\times G/Q be the open GG-orbit, and let j:Z0G/P×G/Qj:Z_0\to G/P\times G/Q be its inclusion. Let δZ0,m\delta_{Z_0,m} be the corresponding Hodge module, and define its underlying Hodge D\mathcal{D}-module by

T=G(jδZ0,m)dim(G/P).\mathcal{T}=\mathsf{G}(j_*\delta_{Z_0,m})\langle\operatorname{dim}(G/P)\rangle.

Hodge-module open-orbit equivalence conjecture. The object T\mathcal{T} is the kernel of an equivalence

D(DG/P,h-mod)D(DG/Q,h-mod).D(\mathcal{D}_{G/P,h}\operatorname{-mod})\xrightarrow{\sim}D(\mathcal{D}_{G/Q,h}\operatorname{-mod}).

This is the Hodge-module enhancement of the preceding proposed equivalence, but the source supplies no evidence that it has been proved or disproved.

Sources & referencesView supporting material

Primary source

Sabin Cautis, Christopher Dodd and Joel Kamnitzer, “Associated graded of Hodge modules and categorical sl_2 actions”, arXiv:1603.07402 (2021).

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.