Duality compatibility conjecture for the filtered nearby-cycle object

Let Ψ\Psi be the nearby-cycle object with filtrations FF and GG, let D\mathbb{D} denote duality, and let bb be the isomorphism relating the dual nearby cycles to Ψ(1δX)\Psi(-1-\delta_X). For indices p,qp,q, the graded pieces are identified with direct sums over strata DID_I satisfying I=p+q+1\lvert I\rvert=p+q+1. Duality compatibility conjecture. The following diagram is commutative:

\xymatrix{ \mathbb{D}(\operatorname{Gr}^F_p\operatorname{Gr}_G^q \Psi) \ar[r]^{\sim} \ar[d]_{\sim} & \operatorname{Gr}_G^p\operatorname{Gr}^F_q \mathbb{D}(\Psi) \ar[r]^{\sim} & \operatorname{Gr}_G^p \operatorname{Gr}^F_q \Psi(-1-\delta_X) \ar[d]_{\sim}\\ \displaystyle \bigoplus_{\lvert I\rvert=p+q+1} \mathbb{D}(\mathbb{R}\underline{\Gamma}^{\dagger}_{D_I}(\mathcal{O}_{\mathfrak{X},\mathbb{Q}})(q+1)[p+q+1]) \ar[rr]^{\sim} & & \displaystyle \bigoplus_{\lvert I\rvert=p+q+1} \mathbb{R}\underline{\Gamma}^{\dagger}_{D_I}(\mathcal{O}_{\mathfrak{X},\mathbb{Q}})(p-\delta_X)[p+q+1] }

where the bottom isomorphism is induced by

D(RΓDI(OX,Q)[p+q+1])RΓDI(OX,Q)(δX+p+q+1)[p+q+1].\mathbb{D}(\mathbb{R}\underline{\Gamma}^{\dagger}_{D_I}(\mathcal{O}_{\mathfrak{X},\mathbb{Q}})[p+q+1])\simeq\mathbb{R}\underline{\Gamma}^{\dagger}_{D_I}(\mathcal{O}_{\mathfrak{X},\mathbb{Q}})(-\delta_X+p+q+1)[p+q+1].

The source states this as a conjectural commutativity assertion in the duality discussion; no resolution status is supplied.

Sources & referencesView supporting material

Primary source

Yuanmin Liu, “p-Adic Weight Spectral Sequences of Strictly Semi-stable Schemes over Formal Power Series Rings via Arithmetic D-modules”, arXiv:2502.12136 (2026).

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.