A Resolution of the Diagonal for Smooth Projective Toric Varieties

Abstract

The cellular construction of Bayer-Popescu-Sturmfels extends Beilinson's diagonal resolution from projective space to projective toric varieties whose lattice of principal divisors is unimodular. We investigate the smooth projective case in which this lattice condition fails. The periodic arrangement then contains vertices outside the lattice, and the associated finite cellular complex can acquire homology in degree $0$ and in higher degrees. We use a floor-function labeling to assign Laurent monomials to vertices in a way compatible with the periodic hyperplane arrangement. A counterexample shows that, without further hypotheses, the undeformed complex need not resolve the diagonal. We therefore impose a symmetry hypothesis on the fan (central symmetry across the origin) under which the construction yields a locally free resolution of $\mathcal{O}_Δ$ on $X_Σ\times X_Σ$. We also discuss how a deformation parameter $ε$ should lead to a broader family of resolutions.