Aspinwall–Plesser–Wang semiorthogonal-decomposition conjecture for secondary-polytope edges

Let AN=ZdA\subset N=\mathbb Z^d and Q=conv(A)Q=\operatorname{conv}(A), and let FF be an edge of the secondary polytope. Let ZFZ_F be the associated space, let nΓ,Fn_{\Gamma,F} be the multiplicity defined from the leading discriminant term for each non-empty face Γ\Gamma of QQ, and let XLΓX_{\mathbb L_\Gamma} be the toric Deligne–Mumford stack associated with Γ\Gamma. Aspinwall–Plesser–Wang decomposition conjecture. The category Db(ZF)D^b(Z_F) admits a semiorthogonal decomposition with nΓ,Fn_{\Gamma,F} components equivalent to Db(XLΓ)D^b(X_{\mathbb L_\Gamma}) for each non-empty face Γ\Gamma of QQ; moreover, for every non-empty face Γ\Gamma of QQ, there exists a spherical functor

Db(DΓ)Db(X)D^b(D_\Gamma)\to D^b(X)

for any toric Deligne–Mumford stack XX determined by a triangulation corresponding to a vertex of the secondary polytope. This refines the APW proposal by incorporating the multiplicities of discriminant components; the surrounding discussion presents it as conjectural evidence and notes that computing these multiplicities can be difficult.

Sources & referencesView supporting material

Primary source

R. Paul Horja and Ludmil Katzarkov, “Discriminants and toric K-theory”, arXiv:2205.00903 (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.