Schapira's reflexive extension conjecture for DQ-modules

About 12 years old · traced to

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 codim⁡XY≥d+3\operatorname{codim}_X Y\geq d+3, and let j:X∖Y↪Xj:X\setminus Y\hookrightarrow X be the open inclusion. Let M\mathcal{M} be a coherent AX∣X∖Y\mathcal{A}_X|_{X\setminus Y}-module.

Schapira's conjecture. If M\mathcal{M} is dd-reflexive, then j∗Mj_*\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.

References

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.