Duality for boundary pro-étale cohomology

From papers

Let YY be a smooth partially proper rigid analytic variety over KK of dimension dd, let Y\partial Y denote its boundary, and let Rproeˊt(YC,Qp){\mathbb R}_{\operatorname{pro\acute{e}t}}(\partial Y_C,{\bf Q}_p) be the corresponding TVS-valued pro-étale cohomology complex. Boundary pro-étale duality conjecture. There is a natural quasi-isomorphism in an as-yet unspecified category D(?)\mathcal D(?),

Rproeˊt(YC,Qp)RHom?(Rproeˊt(YC,Qp(d))[2d1],Qp).{\mathbb R}_{\operatorname{pro\acute{e}t}}(\partial Y_C,{\bf Q}_p)\stackrel{\sim}{\to}{\rm R}{\cal Hom}_{?}({\mathbb R}_{\operatorname{pro\acute{e}t}}(\partial Y_C,{\bf Q}_p(d))[2d-1],{\bf Q}_p).

This is explicitly presented as a desired extension of geometric duality to the boundary; the ambient category and the appropriate internal Hom are not known, so the problem remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Pierre Colmez and Wiesława Nizioł, “Hodge Theory of p-adic analytic varieties: a survey”, arXiv:2601.16557 (2026).

Additional references

2 papers in this index state this conjecture (2024–2026). The statement above is taken from the most recent of them; the others are arXiv:2411.12163.

Solutions 0

No solutions have been posted yet.