The combinatorial Hodge conjecture for projective toric varieties

Let Σ\Sigma be a rational fan defining a projective toric variety XΣX_\Sigma. The combinatorial intersection cohomology is denoted IHcomb(Σ,Q)IH_{\mathrm{comb}}^*(\Sigma,\mathbb{Q}), and for each k0k\geq 0 let Hdgcombk(Σ)Hdg^k_{\mathrm{comb}}(\Sigma) be the span of the combinatorial cycle classes [V(τ)]comb[V(\tau)]_{\mathrm{comb}} associated with cones τΣ\tau\in\Sigma of dimension kk. Let

ϕ:IHcomb(Σ,Q)IH(XΣ,Q)\phi:IH_{\mathrm{comb}}^*(\Sigma,\mathbb{Q})\xrightarrow{\sim}IH^*(X_\Sigma,\mathbb{Q})

be the canonical isomorphism. The combinatorial Hodge conjecture. This isomorphism should map the combinatorial Hodge classes precisely onto the geometric Hodge classes:

ϕ(Hdgcombk(Σ))=Hdgk(XΣ).\phi\left(Hdg^k_{\mathrm{comb}}(\Sigma)\right)=\mathrm{Hdg}^k(X_\Sigma).

Equivalently, using the source's assertion that Hdgk(XΣ)=IH2k(XΣ,Q)\mathrm{Hdg}^k(X_\Sigma)=IH^{2k}(X_\Sigma,\mathbb{Q}) for projective toric varieties, the combinatorial cycle classes should span IHcomb2k(Σ,Q)IH^{2k}_{\mathrm{comb}}(\Sigma,\mathbb{Q}). The paper reports verification in dimensions at most 33 and for simplicial projective toric varieties, while the general claim remains open in the supplied text.

Sources & referencesView supporting material

Primary source

Rizwan Jahangir and Daisuke Ishii, “Combinatorial Cycle Classes in the Intersection Cohomology of Projective Toric Varieties”, arXiv:2512.06755 (2026).

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.