The logarithmic Picard group conjecture for toric degenerations

About 23 years old · traced to

Let f:X→Sf:\mathcal{X}\rightarrow S be a toric degeneration, and write X=X0X=\mathcal{X}_0. Let ZZ be the singular set of the degeneration, and let MX\mathcal{M}_X denote the induced log structure on XX. Logarithmic Picard group conjecture. If

H1(X,OX)=H2(X,OX)=0,H^1(X,\mathcal{O}_X)=H^2(X,\mathcal{O}_X)=0,

then

Pic⁡(Xηˉ∖Z)≅H1(X∖Z,MXgp⁡).\operatorname{Pic}(\mathcal{X}_{\bar\eta}\setminus Z)\cong H^1(X\setminus Z,\mathcal{M}_X^{\operatorname{gp}}).

This conjecture identifies the Picard group of the general fibre away from the singular locus with the first cohomology of the groupification of the induced logarithmic structure on the central fibre. The supplied text presents it as a conjecture for toric degenerations, without stating a resolution or a proof.

References

Primary source

Mark Gross and Bernd Siebert, “Mirror Symmetry via Logarithmic Degeneration Data I”, arXiv:math/0309070 (2005).

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.