Duality for boundary pro-étale cohomology

About 2 years old · traced to

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))[2d−1],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.

References

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.

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.