Pareschi–Popa adjoint-module conjecture for indecomposable ppav's

Let (A,Θ)Ag(C)(A,\Theta)\in {\mathscr A}_g({\mathbb C}) be an indecomposable principally polarized abelian variety that is neither the Jacobian of a curve nor the intermediate Jacobian of a cubic threefold. Let AdΘ\mathscr{A}\hspace*{-0.15em}d_\Theta denote the clean holonomic D{\mathscr D}-module whose Tannakian representation is the adjoint representation associated with the theta divisor. A summand is a subobject MAdΘ\mathscr M\hookrightarrow\mathscr{A}\hspace*{-0.15em}d_\Theta.

Pareschi–Popa adjoint-module conjecture. Every summand MAdΘ\mathscr M\hookrightarrow\mathscr{A}\hspace*{-0.15em}d_\Theta is either a skyscraper sheaf or has support AA.

This criterion would imply the conjecture characterizing theta-divisor summands: lower-dimensional non-skyscraper constituents of the adjoint module are expected to occur only for Jacobians of curves and intermediate Jacobians of smooth cubic threefolds. The source presents the statement as an implication of the preceding conjecture, and no resolution is given.

Sources & referencesView supporting material

Primary source

Thomas Krämer, “Characteristic cycles and the microlocal geometry of the Gauss map, II”, arXiv:1807.01929 (2019).

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.