Schapira's reflexive extension conjecture for DQ-modules

Let (X,AX)(X,\mathcal{A}_X) be a complex manifold endowed with a DQ-algebroid AX\mathcal{A}_X. A coherent AX\mathcal{A}_X-module M\mathcal{M} is dd-reflexive if it has no \hbar-torsion, ExtAXj(M,AX)=0\mathcal{E}xt_{\mathcal{A}_X}^j(\mathcal{M},\mathcal{A}_X)=0 for j<dj<d, and the natural biduality morphism is an isomorphism in degree dd. Let YY be a closed complex analytic subset of XX with codimXYd+3\operatorname{codim}_X Y\geq d+3, and let j:XYXj:X\setminus Y\hookrightarrow X be the open inclusion. Let M\mathcal{M} be a coherent AXXY\mathcal{A}_X|_{X\setminus Y}-module.

Schapira's conjecture. If M\mathcal{M} is dd-reflexive, then jMj_*\mathcal{M} is a coherent AX\mathcal{A}_X-module.

This extends the codimension-three conjecture from holonomic DQ-modules on symplectic manifolds to DQ-modules on arbitrary complex Poisson manifolds. The paper explains that the existing proof does not adapt directly because general Poisson manifolds do not locally have a unique star-algebra; the conjecture remains open.

Sources & referencesView supporting material

Primary source

Francois Petit, “The Codimension-Three conjecture for holonomic DQ-modules”, arXiv:1406.7074 (2014).

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.