The projective compactification conjecture for canonical moduli-part period maps

Let W0WW_0\subset W be the base locus of the relevant smooth family, let pc ⁣:W0Dc/Γp^c\colon W_0\to D^c/\Gamma be the period map of the canonical moduli part, and set

P0=pc(W0).P_0=p^c(W_0).

Let MWc\mathcal M^c_W denote the canonical moduli part on WW. The projective compactification conjecture. There exists a projective compactification PP of P0P_0 such that: (i) PP admits a structure of a normal complex analytic variety; (ii) there exists an analytic extension pec ⁣:WPp^c_e\colon W\to P; and (iii) there exists an integer rr such that

(MWc)r=(pec)OPan(1).(\mathcal M^c_W)^{\otimes r}=(p^c_e)^*\mathcal O^{an}_{P}(1).

The conjecture concerns compactifying the image of the canonical-moduli-part period map and is motivated by analogous compactification results and conjectures for period-map images; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Haidong Liu, “Remarks on very basic slc-trivial fibrations”, arXiv:2004.12351 (2020).

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.