View PDF HTML (experimental)

Abstract:We study the lattice $L_{\mathrm{rel}}(\Sigma)=\ker\big(\mathbb{Z}^{\Sigma(1)}\to N\big)$ of integer relations among the primitive ray generators of a rational fan $\Sigma$, from an intrinsic, coordinate-free point of view. For each cone $\tau\in\Sigma$ we introduce the \emph{star-supported} sublattice $L_{\mathrm{rel}}(\operatorname{Star}(\tau))$ of relations whose support lies in the star of $\tau$, and we organize these by codimension into a support filtration $F_\bullet L_{\mathrm{rel}}(\Sigma)$. Our main result is a sharp local generation theorem: for a complete fan the relation lattice is generated \emph{integrally} by the relations supported on the stars of walls (codimension-one cones). Equivalently, the support filtration collapses after a single step, $F_1 L_{\mathrm{rel}}(\Sigma)=L_{\mathrm{rel}}(\Sigma)$. This is an intrinsic repackaging of the classical wall (wall-crossing) relations that generate the group of numerically trivial classes on a complete toric variety. We make the resulting two-step structure precise: for simplicial fans one has $0=F_0\subsetneq F_1=L_{\mathrm{rel}}(\Sigma)$, while for general fans $F_0$ records the intrinsic relations of non-simplicial maximal cones and $F_1$ adds exactly the wall relations. We prove functoriality of $L_{\mathrm{rays}}$ and $L_{\mathrm{rel}}$ under fan isomorphisms and ray-preserving subdivisions, deduce that every primitive collection of size $m$ is wall-generated, and illustrate the theory on $\mathbb{P}^2\times\mathbb{P}^1$, products of projective lines, weighted projective spaces, and the (non-simplicial) fan over a cube. We are careful throughout to distinguish what the filtration does and does not detect, correcting a natural but false expectation that support-codimension yields a strictly increasing multi-step invariant.

Submission history

From: Rizwan Jahangir [view email]
[v1] Fri, 9 Jan 2026 09:53:35 UTC (10 KB)
[v2] Mon, 20 Jul 2026 09:19:16 UTC (12 KB)