Finiteness conjecture for curve components of derived categories of threefolds

Let XX be a threefold satisfying the stated properties, including a decomposition of its intermediate Jacobian

J(X)=i=1NJ(Si),J(X)=\bigoplus_{i=1}^N J(S_i),

where the SiS_i are smooth projective curves of positive genus and the associated fully faithful functors Db(Si)Db(X)D^b(S_i)\to D^b(X) exist. Let CDb(Si)Aut(Db(X))(Db(X))C_{D^b(S_i)}^{{\rm Aut}(D^b(X))}(D^b(X)) denote the set of such curve components modulo the action of the group of exact autoequivalences of Db(X)D^b(X). Finiteness conjecture. For each i=1,,Ni=1,\dots,N, one has

CDb(Si)Aut(Db(X))(Db(X))<.\left\lvert C_{D^b(S_i)}^{{\rm Aut}(D^b(X))}(D^b(X))\right\rvert<\infty.

The claim is proposed for the listed examples of threefolds, including smooth quadrics, certain projective bundles and Fano threefolds, complete intersections of two quadrics, rational conic bundles, and the specified Del Pezzo fibrations. The conjecture concerns finiteness after quotienting by all derived autoequivalences, whereas the preceding result identifies the possible positive-genus curves with the factors SiS_i of the intermediate Jacobian.

Sources & referencesView supporting material

Primary source

George Dimitrov and Ludmil Katzarkov, “More finite sets coming from non-commutative counting”, arXiv:1903.00295 (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.