Boundedness conjecture for canonical models with fixed Iitaka volume

Let nn be a positive integer, let vv be a non-negative rational number, and let cmathcalI[0,1]cmathbbQcmathcal{I}\subset [0,1]\cap cmathbb{Q} be a DCC set of rational numbers. For a klt pair (X,cDelta)(X,cDelta) of dimension nn with cmathrmcoeffcDeltasubsetcmathcalIcmathrm{coeff} cDeltasubset cmathcal{I} and cmathrmIvol(KX+cDelta)=vcmathrm{Ivol}(K_X+cDelta)=v, let

Z=cmathrmProjcoprodm=0cinftyH0(X,cmathcalOX(m(KX+cDelta)))Z=cmathrm{Proj}coprod_{m=0}^{cinfty}H^0(X,cmathcal{O}_X(m(K_X+cDelta)))

and let f:XcdashrightarrowZf:Xcdashrightarrow Z be the Iitaka fibration associated with KX+cDeltaK_X+cDelta. Let cmathcalD(n,v,cmathcalI)cmathcal{D}(n,v,cmathcal{I}) be the set of all such varieties ZZ. Boundedness conjecture. The set cmathcalD(n,v,cmathcalI)cmathcal{D}(n,v,cmathcal{I}) is in a bounded family. The canonical ring is finitely generated, so ZZ is well defined; the conjecture is known when KX+cDeltaK_X+cDelta is big, when the general fiber is of epsilon-lc Fano type, and when the general fiber belongs to a bounded family, but remains open in general.

Sources & referencesView supporting material

Primary source

Junpeng Jiao, “On the boundedness of canonical models”, arXiv:2103.13609 (2023).

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.