The Hodge-module open-orbit equivalence conjecture

About 10 years old · traced to

Let G/PG/P and G/QG/Q be the two homogeneous spaces in the setup, let Z0⊂G/P×G/QZ_0\subset G/P\times G/Q be the open GG-orbit, and let j:Z0→G/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.

References

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.