The combinatorial Hodge conjecture for projective toric varieties

About 1 year old · traced to

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 k≥0k\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.

References

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.