Perry's noncommutative integral Hodge conjecture

Let C\mathscr C be a geometric C\mathbf C-linear category, meaning a semiorthogonal component of Dperf(X)\mathrm{D}_{\mathrm{perf}}(X) for a smooth, proper scheme XX over C\mathbf C. Let Hdg(C,Z)\operatorname{Hdg}(\mathscr C,\mathbf Z) denote the group of integral Hodge classes in K0top(C)\mathrm{K}^{\mathrm{top}}_0(\mathscr C).

Perry's noncommutative integral Hodge conjecture. The homomorphism

K0(C)Hdg(C,Z)\mathrm{K}_0(\mathscr C)\longrightarrow \operatorname{Hdg}(\mathscr C,\mathbf Z)

is surjective.

This extends the integral Hodge conjecture from smooth proper varieties to geometric linear categories and is formulated as a noncommutative Hodge-theoretic analogue. The source gives no resolution status for the conjecture.

Sources & referencesView supporting material

Primary source

James Hotchkiss, “Hodge theory of twisted derived categories and the period-index problem”, arXiv:2212.10638 (2022).

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.